llvm/test/Transforms/LoopStrengthReduce/nested-reduce.ll

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