test/Transforms/LoopStrengthReduce/nested-reduce.ll

   1 ; RUN: opt < %s -loop-reduce -S | not grep mul
   2
   3 ; Make sure we don't get a multiply by 6 in this loop.
   4
   5 define i32 @foo(i32 %A, i32 %B, i32 %C, i32 %D) {
   6 entry:
   7         %tmp.5 = icmp sgt i32 %C, 0             ; <i1> [#uses=1]
   8         %tmp.25 = and i32 %A, 1         ; <i32> [#uses=1]
   9         br label %loopentry.1
  10 loopentry.1:            ; preds = %loopexit.1, %entry
  11         %indvar20 = phi i32 [ 0, %entry ], [ %indvar.next21, %loopexit.1 ]              ; <i32> [#uses=2]
  12         %k.1 = phi i32 [ 0, %entry ], [ %k.1.3, %loopexit.1 ]           ; <i32> [#uses=2]
  13         br i1 %tmp.5, label %no_exit.1.preheader, label %loopexit.1
  14 no_exit.1.preheader:            ; preds = %loopentry.1
  15         %i.0.0 = bitcast i32 %indvar20 to i32           ; <i32> [#uses=1]
  16         %tmp.9 = mul i32 %i.0.0, 6              ; <i32> [#uses=1]
  17         br label %no_exit.1.outer
  18 no_exit.1.outer:                ; preds = %cond_true, %no_exit.1.preheader
  19         %k.1.2.ph = phi i32 [ %k.1, %no_exit.1.preheader ], [ %k.09, %cond_true ]               ; <i32> [#uses=2]
  20         %j.1.2.ph = phi i32 [ 0, %no_exit.1.preheader ], [ %inc.1, %cond_true ]         ; <i32> [#uses=1]
  21         br label %no_exit.1
  22 no_exit.1:              ; preds = %cond_continue, %no_exit.1.outer
  23         %indvar.ui = phi i32 [ 0, %no_exit.1.outer ], [ %indvar.next, %cond_continue ]          ; <i32> [#uses=2]
  24         %indvar = bitcast i32 %indvar.ui to i32         ; <i32> [#uses=1]
  25         %j.1.2 = add i32 %indvar, %j.1.2.ph             ; <i32> [#uses=2]
  26         %tmp.11 = add i32 %j.1.2, %tmp.9                ; <i32> [#uses=1]
  27         %tmp.12 = trunc i32 %tmp.11 to i8               ; <i8> [#uses=1]
  28         %shift.upgrd.1 = zext i8 %tmp.12 to i32         ; <i32> [#uses=1]
  29         %tmp.13 = shl i32 %D, %shift.upgrd.1            ; <i32> [#uses=2]
  30         %tmp.15 = icmp eq i32 %tmp.13, %B               ; <i1> [#uses=1]
  31         %inc.1 = add i32 %j.1.2, 1              ; <i32> [#uses=3]
  32         br i1 %tmp.15, label %cond_true, label %cond_continue
  33 cond_true:              ; preds = %no_exit.1
  34         %tmp.26 = and i32 %tmp.25, %tmp.13              ; <i32> [#uses=1]
  35         %k.09 = add i32 %tmp.26, %k.1.2.ph              ; <i32> [#uses=2]
  36         %tmp.517 = icmp slt i32 %inc.1, %C              ; <i1> [#uses=1]
  37         br i1 %tmp.517, label %no_exit.1.outer, label %loopexit.1
  38 cond_continue:          ; preds = %no_exit.1
  39         %tmp.519 = icmp slt i32 %inc.1, %C              ; <i1> [#uses=1]
  40         %indvar.next = add i32 %indvar.ui, 1            ; <i32> [#uses=1]
  41         br i1 %tmp.519, label %no_exit.1, label %loopexit.1
  42 loopexit.1:             ; preds = %cond_continue, %cond_true, %loopentry.1
  43         %k.1.3 = phi i32 [ %k.1, %loopentry.1 ], [ %k.09, %cond_true ], [ %k.1.2.ph, %cond_continue ]           ; <i32> [#uses=2]
  44         %indvar.next21 = add i32 %indvar20, 1           ; <i32> [#uses=2]
  45         %exitcond = icmp eq i32 %indvar.next21, 4               ; <i1> [#uses=1]
  46         br i1 %exitcond, label %loopexit.0, label %loopentry.1
  47 loopexit.0:             ; preds = %loopexit.1
  48         ret i32 %k.1.3
  49 }