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