[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
[oota-llvm.git] / test / Transforms / GVN / 2011-04-27-phioperands.ll
1 ; RUN: opt -gvn -disable-output < %s
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-f128:128:128-n8:16:32:64"
4
5 @nuls = external global [10 x i8]
6
7 define fastcc void @p_ere() nounwind {
8 entry:
9   br label %"<bb 5>"
10
11 "<L18>.i":
12   br i1 undef, label %"<bb 3>.i30.i", label %doemit.exit51.i
13
14 "<bb 3>.i30.i":
15   unreachable
16
17 doemit.exit51.i:
18   br label %"<bb 53>.i"
19
20 "<L19>.i":
21   br i1 undef, label %"<bb 3>.i55.i", label %doemit.exit76.i
22
23 "<bb 3>.i55.i":
24   unreachable
25
26 doemit.exit76.i:
27   br label %"<bb 53>.i"
28
29 "<L98>.i":
30   store i8* getelementptr inbounds ([10 x i8], [10 x i8]* @nuls, i64 0, i64 0), i8** undef, align 8
31   br label %"<bb 53>.i"
32
33 "<L99>.i":
34   br label %"<bb 53>.i"
35
36 "<L24>.i":
37   br i1 undef, label %"<bb 53>.i", label %"<bb 35>.i"
38
39 "<bb 35>.i":
40   br label %"<bb 53>.i"
41
42 "<L28>.i":
43   br label %"<bb 53>.i"
44
45 "<L29>.i":
46   br label %"<bb 53>.i"
47
48 "<L39>.i":
49   br label %"<bb 53>.i"
50
51 "<bb 53>.i":
52   %wascaret_2.i = phi i32 [ 0, %"<L39>.i" ], [ 0, %"<L29>.i" ], [ 0, %"<L28>.i" ], [ 0, %"<bb 35>.i" ], [ 0, %"<L99>.i" ], [ 0, %"<L98>.i" ], [ 0, %doemit.exit76.i ], [ 1, %doemit.exit51.i ], [ 0, %"<L24>.i" ]
53   %D.5496_84.i = load i8*, i8** undef, align 8
54   br i1 undef, label %"<bb 54>.i", label %"<bb 5>"
55
56 "<bb 54>.i":
57   br i1 undef, label %"<bb 5>", label %"<bb 58>.i"
58
59 "<bb 58>.i":
60   br i1 undef, label %"<bb 64>.i", label %"<bb 59>.i"
61
62 "<bb 59>.i":
63   br label %"<bb 64>.i"
64
65 "<bb 64>.i":
66   switch i32 undef, label %"<bb 5>" [
67     i32 42, label %"<L54>.i"
68     i32 43, label %"<L55>.i"
69     i32 63, label %"<L56>.i"
70     i32 123, label %"<bb 5>.i258.i"
71   ]
72
73 "<L54>.i":
74   br i1 undef, label %"<bb 3>.i105.i", label %doemit.exit127.i
75
76 "<bb 3>.i105.i":
77   unreachable
78
79 doemit.exit127.i:
80   unreachable
81
82 "<L55>.i":
83   br i1 undef, label %"<bb 3>.i157.i", label %"<bb 5>"
84
85 "<bb 3>.i157.i":
86   unreachable
87
88 "<L56>.i":
89   br label %"<bb 5>"
90
91 "<bb 5>.i258.i":
92   unreachable
93
94 "<bb 5>":
95   switch i32 undef, label %"<L39>.i" [
96     i32 36, label %"<L19>.i"
97     i32 94, label %"<L18>.i"
98     i32 124, label %"<L98>.i"
99     i32 42, label %"<L99>.i"
100     i32 43, label %"<L99>.i"
101     i32 46, label %"<L24>.i"
102     i32 63, label %"<L99>.i"
103     i32 91, label %"<L28>.i"
104     i32 92, label %"<L29>.i"
105   ]
106 }