llvm/test/Transforms/IndVarSimplify/pr66066.ll

   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.
   5 define 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 ;
  19 entry:
  20   br label %loop
  21
  22 loop:
  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
  30 exit:
  31   ret void
  32 }
  33
  34 declare void @use(i32)