test/Transforms/IndVarSimplify/pr25060.ll

   1 ; RUN: opt -S -indvars < %s | FileCheck %s
   2
   3 define i16 @fn1() {
   4 ; CHECK-LABEL: @fn1(
   5 entry:
   6   br label %bb1
   7
   8 bb1:
   9   %i = phi i16 [ 0, %entry ], [ 1, %bb1 ]
  10   %storemerge = phi i16 [ %storemerge2, %bb1 ], [ 0, %entry ]
  11   %storemerge2 = phi i16 [ 10, %entry ], [ 200, %bb1 ]
  12   %tmp10 = icmp eq i16 %i, 1
  13   br i1 %tmp10, label %bb5, label %bb1
  14
  15 bb5:
  16   %storemerge.lcssa = phi i16 [ %storemerge, %bb1 ]
  17 ; CHECK: ret i16 10
  18   ret i16 %storemerge.lcssa
  19 }
  20
  21 define i16 @fn2() {
  22 ; CHECK-LABEL: @fn2(
  23 entry:
  24   br label %bb1
  25
  26 bb1:
  27   %canary = phi i16 [ 0, %entry ], [ %canary.inc, %bb1 ]
  28   %i = phi i16 [ 0, %entry ], [ %storemerge, %bb1 ]
  29   %storemerge = phi i16 [ 0, %bb1 ], [ 10, %entry ]
  30   %canary.inc = add i16 %canary, 1
  31   %_tmp10 = icmp eq i16 %i, 10
  32   br i1 %_tmp10, label %bb5, label %bb1
  33
  34 bb5:
  35 ; CHECK: ret i16 1
  36   ret i16 %canary
  37 }