diff options
Diffstat (limited to 'llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll')
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll b/llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll index c5ff988..75be963 100644 --- a/llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll +++ b/llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll @@ -13,7 +13,7 @@ ; FIXME: DependenceAnalysis currently detects no dependency between the two ; stores, but it does exist. For example, each store will access A[0] when i ; is 1 and 0 respectively. -; The root cause is that the product of the BTC and the coefficient +; The root cause is that the product of the BTC and the coefficient ; ((1LL << 62) - 1 and 2) overflows in a signed sense. define void @symbolicrdiv_prod_ovfl(ptr %A) { ; CHECK-ALL-LABEL: 'symbolicrdiv_prod_ovfl' @@ -75,10 +75,10 @@ exit: ; FIXME: DependenceAnalysis currently detects no dependency between the two ; stores, but it does exist. For example, ; -; memory access | i == 2^61 | i == 2^61 + 2^59 | i == 2^61 + 2^60 +; memory access | i == 2^61 | i == 2^61 + 2^59 | i == 2^61 + 2^60 ; -------------------------|-----------|------------------|------------------- -; A[2*i - 2^62] (offset0) | | A[2^60] | A[2^61] -; A[-i + 2^62] (offset1) | A[2^61] | | A[2^60] +; A[2*i - 2^62] (offset0) | | A[2^60] | A[2^61] +; A[-i + 2^62] (offset1) | A[2^61] | | A[2^60] ; ; The root cause is that the calculation of the differenct between the two ; constants (-2^62 and 2^62) overflows in a signed sense. |