forked from OSchip/llvm-project
0767a511ba
We now use the minimal necessary bit width for the generated code. If operations might overflow (add/sub/mul) we will try to adjust the types in order to ensure a non-wrapping computation. If the type adjustment is not possible, thus the necessary type is bigger than the type value of --polly-max-expr-bit-width, we will use assumptions to verify the computation will not wrap. However, for run-time checks we cannot build assumptions but instead utilize overflow tracking intrinsics. llvm-svn: 271878 |
||
|---|---|---|
| .. | ||
| Analysis | ||
| CodeGen | ||
| Exchange | ||
| External | ||
| JSON | ||
| Support | ||
| Transform | ||
| CMakeLists.txt | ||
| Polly.cpp | ||