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