test/Transforms/LoopStrengthReduce/nested-reduce.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce &&
   2 ; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce | llvm-dis | not grep mul
   3
   4 ; Make sure we don't get a multiply by 6 in this loop.
   5
   6 int %foo(int %A, int %B, int %C, int %D) {
   7 entry:
   8         %tmp.5 = setgt int %C, 0                ; <bool> [#uses=1]
   9         %tmp.25 = and int %A, 1         ; <int> [#uses=1]
  10         br label %loopentry.1
  11
  12 loopentry.1:            ; preds = %loopexit.1, %entry
  13         %indvar20 = phi uint [ 0, %entry ], [ %indvar.next21, %loopexit.1 ]             ; <uint> [#uses=2]
  14         %k.1 = phi int [ 0, %entry ], [ %k.1.3, %loopexit.1 ]           ; <int> [#uses=2]
  15         br bool %tmp.5, label %no_exit.1.preheader, label %loopexit.1
  16
  17 no_exit.1.preheader:            ; preds = %loopentry.1
  18         %i.0.0 = cast uint %indvar20 to int             ; <int> [#uses=1]
  19         %tmp.9 = mul int %i.0.0, 6              ; <int> [#uses=1]
  20         br label %no_exit.1.outer
  21
  22 no_exit.1.outer:                ; preds = %cond_true, %no_exit.1.preheader
  23         %k.1.2.ph = phi int [ %k.1, %no_exit.1.preheader ], [ %k.09, %cond_true ]               ; <int> [#uses=2]
  24         %j.1.2.ph = phi int [ 0, %no_exit.1.preheader ], [ %inc.1, %cond_true ]         ; <int> [#uses=1]
  25         br label %no_exit.1
  26
  27 no_exit.1:              ; preds = %cond_continue, %no_exit.1.outer
  28         %indvar = phi uint [ 0, %no_exit.1.outer ], [ %indvar.next, %cond_continue ]            ; <uint> [#uses=2]
  29         %indvar = cast uint %indvar to int              ; <int> [#uses=1]
  30         %j.1.2 = add int %indvar, %j.1.2.ph             ; <int> [#uses=2]
  31         %tmp.11 = add int %j.1.2, %tmp.9                ; <int> [#uses=1]
  32         %tmp.12 = cast int %tmp.11 to ubyte             ; <ubyte> [#uses=1]
  33         %tmp.13 = shl int %D, ubyte %tmp.12             ; <int> [#uses=2]
  34         %tmp.15 = seteq int %tmp.13, %B         ; <bool> [#uses=1]
  35         %inc.1 = add int %j.1.2, 1              ; <int> [#uses=3]
  36         br bool %tmp.15, label %cond_true, label %cond_continue
  37
  38 cond_true:              ; preds = %no_exit.1
  39         %tmp.26 = and int %tmp.25, %tmp.13              ; <int> [#uses=1]
  40         %k.09 = add int %tmp.26, %k.1.2.ph              ; <int> [#uses=2]
  41         %tmp.517 = setlt int %inc.1, %C         ; <bool> [#uses=1]
  42         br bool %tmp.517, label %no_exit.1.outer, label %loopexit.1
  43
  44 cond_continue:          ; preds = %no_exit.1
  45         %tmp.519 = setlt int %inc.1, %C         ; <bool> [#uses=1]
  46         %indvar.next = add uint %indvar, 1              ; <uint> [#uses=1]
  47         br bool %tmp.519, label %no_exit.1, label %loopexit.1
  48
  49 loopexit.1:             ; preds = %cond_continue, %cond_true, %loopentry.1
  50         %k.1.3 = phi int [ %k.1, %loopentry.1 ], [ %k.09, %cond_true ], [ %k.1.2.ph, %cond_continue ]           ; <int> [#uses=2]
  51         %indvar.next21 = add uint %indvar20, 1          ; <uint> [#uses=2]
  52         %exitcond = seteq uint %indvar.next21, 4                ; <bool> [#uses=1]
  53         br bool %exitcond, label %loopexit.0, label %loopentry.1
  54
  55 loopexit.0:             ; preds = %loopexit.1
  56         ret int %k.1.3
  57 }