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