1*f4a2713aSLionel Sambuc; RUN: llc < %s -march=x86-64 >/dev/null 2*f4a2713aSLionel Sambuc 3*f4a2713aSLionel Sambuctarget datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 4*f4a2713aSLionel Sambuc 5*f4a2713aSLionel Sambucdefine void @test0() nounwind { 6*f4a2713aSLionel Sambucif.end90.i.i: 7*f4a2713aSLionel Sambuc br label %while.body.i.i221.i 8*f4a2713aSLionel Sambuc 9*f4a2713aSLionel Sambucwhile.body.i.i221.i: ; preds = %while.cond.backedge.i.i.i, %if.end90.i.i 10*f4a2713aSLionel Sambuc br i1 undef, label %if.then.i.i224.i, label %while.cond.backedge.i.i.i 11*f4a2713aSLionel Sambuc 12*f4a2713aSLionel Sambucwhile.cond.backedge.i.i.i: ; preds = %for.end.i.i.i, %while.body.i.i221.i 13*f4a2713aSLionel Sambuc br label %while.body.i.i221.i 14*f4a2713aSLionel Sambuc 15*f4a2713aSLionel Sambucif.then.i.i224.i: ; preds = %while.body.i.i221.i 16*f4a2713aSLionel Sambuc switch i32 undef, label %for.cond.i.i226.i [ 17*f4a2713aSLionel Sambuc i32 92, label %sw.bb.i.i225.i 18*f4a2713aSLionel Sambuc i32 34, label %sw.bb.i.i225.i 19*f4a2713aSLionel Sambuc i32 110, label %sw.bb21.i.i.i 20*f4a2713aSLionel Sambuc ] 21*f4a2713aSLionel Sambuc 22*f4a2713aSLionel Sambucsw.bb.i.i225.i: ; preds = %if.then.i.i224.i, %if.then.i.i224.i 23*f4a2713aSLionel Sambuc unreachable 24*f4a2713aSLionel Sambuc 25*f4a2713aSLionel Sambucsw.bb21.i.i.i: ; preds = %if.then.i.i224.i 26*f4a2713aSLionel Sambuc unreachable 27*f4a2713aSLionel Sambuc 28*f4a2713aSLionel Sambucfor.cond.i.i226.i: ; preds = %for.body.i.i.i, %if.then.i.i224.i 29*f4a2713aSLionel Sambuc %0 = phi i64 [ %tmp154.i.i.i, %for.body.i.i.i ], [ 0, %if.then.i.i224.i ] ; <i64> [#uses=2] 30*f4a2713aSLionel Sambuc %tmp154.i.i.i = add i64 %0, 1 ; <i64> [#uses=2] 31*f4a2713aSLionel Sambuc %i.0.i.i.i = trunc i64 %0 to i32 ; <i32> [#uses=1] 32*f4a2713aSLionel Sambuc br i1 undef, label %land.rhs.i.i.i, label %for.end.i.i.i 33*f4a2713aSLionel Sambuc 34*f4a2713aSLionel Sambucland.rhs.i.i.i: ; preds = %for.cond.i.i226.i 35*f4a2713aSLionel Sambuc br i1 undef, label %for.body.i.i.i, label %for.end.i.i.i 36*f4a2713aSLionel Sambuc 37*f4a2713aSLionel Sambucfor.body.i.i.i: ; preds = %land.rhs.i.i.i 38*f4a2713aSLionel Sambuc br label %for.cond.i.i226.i 39*f4a2713aSLionel Sambuc 40*f4a2713aSLionel Sambucfor.end.i.i.i: ; preds = %land.rhs.i.i.i, %for.cond.i.i226.i 41*f4a2713aSLionel Sambuc %idx.ext.i.i.i = sext i32 %i.0.i.i.i to i64 ; <i64> [#uses=1] 42*f4a2713aSLionel Sambuc %sub.ptr72.sum.i.i.i = xor i64 %idx.ext.i.i.i, -1 ; <i64> [#uses=1] 43*f4a2713aSLionel Sambuc %pos.addr.1.sum155.i.i.i = add i64 %tmp154.i.i.i, %sub.ptr72.sum.i.i.i ; <i64> [#uses=1] 44*f4a2713aSLionel Sambuc %arrayidx76.i.i.i = getelementptr inbounds i8* undef, i64 %pos.addr.1.sum155.i.i.i ; <i8*> [#uses=0] 45*f4a2713aSLionel Sambuc br label %while.cond.backedge.i.i.i 46*f4a2713aSLionel Sambuc} 47*f4a2713aSLionel Sambuc 48*f4a2713aSLionel Sambucdefine void @test1() nounwind { 49*f4a2713aSLionel Sambucentry: 50*f4a2713aSLionel Sambuc %t = shl i32 undef, undef ; <i32> [#uses=1] 51*f4a2713aSLionel Sambuc %t9 = sub nsw i32 0, %t ; <i32> [#uses=1] 52*f4a2713aSLionel Sambuc br label %outer 53*f4a2713aSLionel Sambuc 54*f4a2713aSLionel Sambucouter: ; preds = %bb18, %bb 55*f4a2713aSLionel Sambuc %i12 = phi i32 [ %t21, %bb18 ], [ 0, %entry ] ; <i32> [#uses=2] 56*f4a2713aSLionel Sambuc %i13 = phi i32 [ %t20, %bb18 ], [ 0, %entry ] ; <i32> [#uses=2] 57*f4a2713aSLionel Sambuc br label %inner 58*f4a2713aSLionel Sambuc 59*f4a2713aSLionel Sambucinner: ; preds = %bb16, %bb11 60*f4a2713aSLionel Sambuc %t17 = phi i32 [ %i13, %outer ], [ undef, %inner ] ; <i32> [#uses=1] 61*f4a2713aSLionel Sambuc store i32 %t17, i32* undef 62*f4a2713aSLionel Sambuc br i1 undef, label %bb18, label %inner 63*f4a2713aSLionel Sambuc 64*f4a2713aSLionel Sambucbb18: ; preds = %bb16 65*f4a2713aSLionel Sambuc %t19 = add i32 %i13, %t9 ; <i32> [#uses=1] 66*f4a2713aSLionel Sambuc %t20 = add i32 %t19, %i12 ; <i32> [#uses=1] 67*f4a2713aSLionel Sambuc %t21 = add i32 %i12, 1 ; <i32> [#uses=1] 68*f4a2713aSLionel Sambuc br label %outer 69*f4a2713aSLionel Sambuc} 70