llvm/test/Transforms/IndVarSimplify/pr102597.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -S -passes=indvars < %s | FileCheck %s
   3
   4 ; The %tobool condition should not be optimized away.
   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 i128 [ 3, %[[ENTRY]] ], [ [[IV_DEC:%.*]], %[[LOOP_LATCH:.*]] ]
  11 ; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp ne i128 [[IV]], 0
  12 ; CHECK-NEXT:    br i1 [[TOBOOL]], label %[[LOOP_LATCH]], label %[[IF:.*]]
  13 ; CHECK:       [[IF]]:
  14 ; CHECK-NEXT:    call void @foo()
  15 ; CHECK-NEXT:    br label %[[LOOP_LATCH]]
  16 ; CHECK:       [[LOOP_LATCH]]:
  17 ; CHECK-NEXT:    [[IV_DEC]] = add nsw i128 [[IV]], -1
  18 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ugt i128 [[IV]], 0
  19 ; CHECK-NEXT:    br i1 [[CMP]], label %[[LOOP]], label %[[EXIT:.*]]
  20 ; CHECK:       [[EXIT]]:
  21 ; CHECK-NEXT:    ret void
  22 ;
  23 entry:
  24   br label %loop
  25
  26 loop:
  27   %iv = phi i128 [ 3, %entry ], [ %iv.dec, %loop.latch ]
  28   %tobool = icmp ne i128 %iv, 0
  29   br i1 %tobool, label %loop.latch, label %if
  30
  31 if:
  32   call void @foo()
  33   br label %loop.latch
  34
  35 loop.latch:
  36   %iv.dec = add nsw i128 %iv, -1
  37   %cmp = icmp sgt i128 %iv, 0
  38   br i1 %cmp, label %loop, label %exit
  39
  40 exit:
  41   ret void
  42 }
  43
  44 declare void @foo()