1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 2; RUN: opt -S -passes=indvars < %s | FileCheck %s 3 4; The comparison should not get folded to false. 5define void @test() { 6; CHECK-LABEL: define void @test() { 7; CHECK-NEXT: entry: 8; CHECK-NEXT: br label [[LOOP:%.*]] 9; CHECK: loop: 10; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 1, [[ENTRY:%.*]] ], [ [[IV_DEC:%.*]], [[LOOP]] ] 11; CHECK-NEXT: [[IV_DEC]] = add nsw i8 [[IV]], -1 12; CHECK-NEXT: [[SHL:%.*]] = shl i8 [[IV]], 7 13; CHECK-NEXT: call void @use(i8 [[SHL]]) 14; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[SHL]], 0 15; CHECK-NEXT: br i1 [[CMP1]], label [[EXIT:%.*]], label [[LOOP]] 16; CHECK: exit: 17; CHECK-NEXT: ret void 18; 19entry: 20 br label %loop 21 22loop: 23 %iv = phi i8 [ 1, %entry ], [ %iv.dec, %loop ] 24 %iv.dec = add i8 %iv, -1 25 %shl = shl i8 %iv, 7 26 call void @use(i8 %shl) 27 %cmp1 = icmp eq i8 %shl, 0 28 br i1 %cmp1, label %exit, label %loop 29 30exit: 31 ret void 32} 33 34declare void @use(i32) 35