Mercurial > hg > CbC > CbC_llvm
comparison test/Transforms/IndVarSimplify/no-iv-rewrite.ll @ 83:60c9769439b8 LLVM3.7
LLVM 3.7
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 18 Feb 2015 14:55:36 +0900 |
parents | 95c75e76d11b |
children | afa8332a0e37 |
comparison
equal
deleted
inserted
replaced
78:af83660cff7b | 83:60c9769439b8 |
---|---|
227 ; ScalarEvolution is able to understand the loop evolution and that '%iv' at the | 227 ; ScalarEvolution is able to understand the loop evolution and that '%iv' at the |
228 ; end of the loop is an even value. Thus '%val' is computed at the end of the | 228 ; end of the loop is an even value. Thus '%val' is computed at the end of the |
229 ; loop and the OR instruction is replaced by an ADD keeping the result | 229 ; loop and the OR instruction is replaced by an ADD keeping the result |
230 ; equivalent. | 230 ; equivalent. |
231 ; | 231 ; |
232 ; CHECK: sext | |
232 ; CHECK: loop: | 233 ; CHECK: loop: |
233 ; CHECK: phi i64 | 234 ; CHECK: phi i64 |
234 ; CHECK-NOT: sext | 235 ; CHECK-NOT: sext |
235 ; CHECK: icmp slt i32 | 236 ; CHECK: icmp slt i64 |
236 ; CHECK: exit: | 237 ; CHECK: exit: |
237 ; CHECK: add i64 | 238 ; CHECK: add i64 |
238 loop: | 239 loop: |
239 %iv = phi i32 [ 0, %entry], [ %iv.next, %loop ] | 240 %iv = phi i32 [ 0, %entry], [ %iv.next, %loop ] |
240 %t1 = sext i32 %iv to i64 | 241 %t1 = sext i32 %iv to i64 |