[TwoAddressInstructionPass] When looking for a 3 addr conversion after commuting...
[oota-llvm.git] / test / CodeGen / X86 / insert-positions.ll
1 ; RUN: llc < %s -march=x86-64 >/dev/null
2
3 target 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
5 define void @test0() nounwind {
6 if.end90.i.i:
7   br label %while.body.i.i221.i
8
9 while.body.i.i221.i:                              ; preds = %while.cond.backedge.i.i.i, %if.end90.i.i
10   br i1 undef, label %if.then.i.i224.i, label %while.cond.backedge.i.i.i
11
12 while.cond.backedge.i.i.i:                        ; preds = %for.end.i.i.i, %while.body.i.i221.i
13   br label %while.body.i.i221.i
14
15 if.then.i.i224.i:                                 ; preds = %while.body.i.i221.i
16   switch i32 undef, label %for.cond.i.i226.i [
17     i32 92, label %sw.bb.i.i225.i
18     i32 34, label %sw.bb.i.i225.i
19     i32 110, label %sw.bb21.i.i.i
20   ]
21
22 sw.bb.i.i225.i:                                   ; preds = %if.then.i.i224.i, %if.then.i.i224.i
23   unreachable
24
25 sw.bb21.i.i.i:                                    ; preds = %if.then.i.i224.i
26   unreachable
27
28 for.cond.i.i226.i:                                ; preds = %for.body.i.i.i, %if.then.i.i224.i
29   %0 = phi i64 [ %tmp154.i.i.i, %for.body.i.i.i ], [ 0, %if.then.i.i224.i ] ; <i64> [#uses=2]
30   %tmp154.i.i.i = add i64 %0, 1                   ; <i64> [#uses=2]
31   %i.0.i.i.i = trunc i64 %0 to i32                ; <i32> [#uses=1]
32   br i1 undef, label %land.rhs.i.i.i, label %for.end.i.i.i
33
34 land.rhs.i.i.i:                                   ; preds = %for.cond.i.i226.i
35   br i1 undef, label %for.body.i.i.i, label %for.end.i.i.i
36
37 for.body.i.i.i:                                   ; preds = %land.rhs.i.i.i
38   br label %for.cond.i.i226.i
39
40 for.end.i.i.i:                                    ; preds = %land.rhs.i.i.i, %for.cond.i.i226.i
41   %idx.ext.i.i.i = sext i32 %i.0.i.i.i to i64     ; <i64> [#uses=1]
42   %sub.ptr72.sum.i.i.i = xor i64 %idx.ext.i.i.i, -1 ; <i64> [#uses=1]
43   %pos.addr.1.sum155.i.i.i = add i64 %tmp154.i.i.i, %sub.ptr72.sum.i.i.i ; <i64> [#uses=1]
44   %arrayidx76.i.i.i = getelementptr inbounds i8, i8* undef, i64 %pos.addr.1.sum155.i.i.i ; <i8*> [#uses=0]
45   br label %while.cond.backedge.i.i.i
46 }
47
48 define void @test1() nounwind {
49 entry:
50   %t = shl i32 undef, undef                     ; <i32> [#uses=1]
51   %t9 = sub nsw i32 0, %t                     ; <i32> [#uses=1]
52   br label %outer
53
54 outer:                                             ; preds = %bb18, %bb
55   %i12 = phi i32 [ %t21, %bb18 ], [ 0, %entry ]  ; <i32> [#uses=2]
56   %i13 = phi i32 [ %t20, %bb18 ], [ 0, %entry ]  ; <i32> [#uses=2]
57   br label %inner
58
59 inner:                                             ; preds = %bb16, %bb11
60   %t17 = phi i32 [ %i13, %outer ], [ undef, %inner ] ; <i32> [#uses=1]
61   store i32 %t17, i32* undef
62   br i1 undef, label %bb18, label %inner
63
64 bb18:                                             ; preds = %bb16
65   %t19 = add i32 %i13, %t9                 ; <i32> [#uses=1]
66   %t20 = add i32 %t19, %i12                 ; <i32> [#uses=1]
67   %t21 = add i32 %i12, 1                      ; <i32> [#uses=1]
68   br label %outer
69 }