test/Transforms/IndVarSimplify/scevexpander-phi-base-case.ll

   1 ; RUN: opt -indvars -S < %s | FileCheck %s
   2
   3 define i32 @fn() {
   4 entry:
   5   ret i32 10
   6 }
   7
   8 define i32 @test_nested2(i32 %tnr) {
   9 ; CHECK-LABEL: test_nested2
  10 ; CHECK-NOT: %indvars.iv
  11 ; CHECK: %i.0
  12
  13 ; indvars should not replace the i.0 variable with a new one; SCEVExpander
  14 ; should determine that the old one is good to reuse.
  15
  16 entry:
  17   %res = alloca i32, align 4
  18   store volatile i32 0, i32* %res, align 4
  19   %call = call i32 @fn()
  20   br label %for.cond
  21
  22 for.cond:                                         ; preds = %for.inc6, %entry
  23   %i.0 = phi i32 [ 0, %entry ], [ %inc7, %for.inc6 ]
  24   %cmp = icmp slt i32 %i.0, %call
  25   br i1 %cmp, label %for.body, label %for.cond.cleanup
  26
  27 for.cond.cleanup:                                 ; preds = %for.cond
  28   br label %for.end8
  29
  30 for.body:                                         ; preds = %for.cond
  31   br label %for.cond1
  32
  33 for.cond1:                                        ; preds = %for.inc, %for.body
  34   %j.0 = phi i32 [ 0, %for.body ], [ %inc5, %for.inc ]
  35   %cmp2 = icmp slt i32 %j.0, %i.0
  36   br i1 %cmp2, label %for.body4, label %for.cond.cleanup3
  37
  38 for.cond.cleanup3:                                ; preds = %for.cond1
  39   br label %for.end
  40
  41 for.body4:                                        ; preds = %for.cond1
  42   %0 = load volatile i32, i32* %res, align 4
  43   %inc = add nsw i32 %0, 1
  44   store volatile i32 %inc, i32* %res, align 4
  45   br label %for.inc
  46
  47 for.inc:                                          ; preds = %for.body4
  48   %inc5 = add nsw i32 %j.0, 1
  49   br label %for.cond1
  50
  51 for.end:                                          ; preds = %for.cond.cleanup3
  52   br label %for.inc6
  53
  54 for.inc6:                                         ; preds = %for.end
  55   %inc7 = add nsw i32 %i.0, 1
  56   br label %for.cond
  57
  58 for.end8:                                         ; preds = %for.cond.cleanup
  59   %1 = load volatile i32, i32* %res, align 4
  60   %cmp9 = icmp eq i32 %1, 45
  61   %conv = zext i1 %cmp9 to i32
  62   ret i32 %conv
  63 }