1 ; RUN: opt -indvars -S < %s | FileCheck %s 2 3 declare void @use(i1) 4 5 define void @f() { 6 ; CHECK-LABEL: @f( 7 entry: 8 %x = alloca i32 9 %y = alloca i32 10 br label %loop 11 12 loop: 13 %iv = phi i32 [ 0, %entry ], [ %iv.inc, %loop ] 14 %iv.inc = add i32 %iv, 1 15 16 %x.gep = getelementptr i32, i32* %x, i32 %iv 17 %eql = icmp eq i32* %x.gep, %y 18 ; CHECK-NOT: @use(i1 true) 19 call void @use(i1 %eql) 20 21 ; %be.cond deliberately 'false' -- we want want the trip count to be 0. 22 %be.cond = icmp ult i32 %iv, 0 23 br i1 %be.cond, label %loop, label %leave 24 25 leave: 26 ret void 27 } 28
