1; RUN:  llvm-dis < %s.bc| FileCheck %s
2
3; miscInstructions.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
4; The test checks that LLVM does not misread miscellaneous instructions of
5; older bitcode files.
6
7@X = global i8 1
8@_ZTIi = global i8* @X
9@_ZTId = global i8* @X
10
11define i32 @__gxx_personality_v0(...){
12entry:
13  ret i32 0
14}
15
16; CHECK-LABEL: define void @landingpadInstr1
17; CHECK-SAME: personality i32 (...)* @__gxx_personality_v0
18define void @landingpadInstr1(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
19entry:
20; CHECK: %res = landingpad { i8*, i32 }
21  %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
22; CHECK: catch i8** @_ZTIi
23  catch i8** @_ZTIi
24  ret void
25}
26
27; CHECK-LABEL: define void @landingpadInstr2
28; CHECK-SAME: personality i32 (...)* @__gxx_personality_v0
29define void @landingpadInstr2(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
30entry:
31; CHECK: %res = landingpad { i8*, i32 }
32  %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
33; CHECK: cleanup
34  cleanup
35  ret void
36}
37
38; CHECK-LABEL: define void @landingpadInstr3
39; CHECK-SAME: personality i32 (...)* @__gxx_personality_v0
40define void @landingpadInstr3(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
41entry:
42; CHECK: %res = landingpad { i8*, i32 }
43  %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
44; CHECK: catch i8** @_ZTIi
45  catch i8** @_ZTIi
46; CHECK: filter [1 x i8**] [i8** @_ZTId]
47  filter [1 x i8**] [i8** @_ZTId]
48  ret void
49}
50
51define void @phiInstr(){
52LoopHeader:
53  %x = add i32 0, 0
54  br label %Loop
55Loop:
56; CHECK:  %indvar = phi i32 [ 0, %LoopHeader ], [ %nextindvar, %Loop ]
57  %indvar = phi i32 [ 0, %LoopHeader ], [ %nextindvar, %Loop ]
58  %nextindvar = add i32 %indvar, 1
59  br label %Loop
60  ret void
61}
62
63define void @selectInstr(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
64entry:
65; CHECK: %res1 = select i1 %cond1, i8 1, i8 0
66  %res1 = select i1 %cond1, i8 1, i8 0
67; CHECK-NEXT: %res2 = select <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2
68  %res2 = select <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2
69
70  ret void
71}
72
73define void @icmp(i32 %x1, i32 %x2, i32* %ptr1, i32* %ptr2, <2 x i32> %vec1, <2 x i32> %vec2){
74entry:
75; CHECK: %res1 = icmp eq i32 %x1, %x2
76  %res1 = icmp eq i32 %x1, %x2
77
78; CHECK-NEXT: %res2 = icmp ne i32 %x1, %x2
79  %res2 = icmp ne i32 %x1, %x2
80
81; CHECK-NEXT: %res3 = icmp ugt i32 %x1, %x2
82  %res3 = icmp ugt i32 %x1, %x2
83
84; CHECK-NEXT: %res4 = icmp uge i32 %x1, %x2
85  %res4 = icmp uge i32 %x1, %x2
86
87; CHECK-NEXT: %res5 = icmp ult i32 %x1, %x2
88  %res5 = icmp ult i32 %x1, %x2
89
90; CHECK-NEXT: %res6 = icmp ule i32 %x1, %x2
91  %res6 = icmp ule i32 %x1, %x2
92
93; CHECK-NEXT: %res7 = icmp sgt i32 %x1, %x2
94  %res7 = icmp sgt i32 %x1, %x2
95
96; CHECK-NEXT: %res8 = icmp sge i32 %x1, %x2
97  %res8 = icmp sge i32 %x1, %x2
98
99; CHECK-NEXT: %res9 = icmp slt i32 %x1, %x2
100  %res9 = icmp slt i32 %x1, %x2
101
102; CHECK-NEXT: %res10 = icmp sle i32 %x1, %x2
103  %res10 = icmp sle i32 %x1, %x2
104
105; CHECK-NEXT: %res11 = icmp eq i32* %ptr1, %ptr2
106  %res11 = icmp eq i32* %ptr1, %ptr2
107
108; CHECK-NEXT: %res12 = icmp eq <2 x i32> %vec1, %vec2
109  %res12 = icmp eq <2 x i32> %vec1, %vec2
110
111  ret void
112}
113
114
115define void @fcmp(float %x1, float %x2, <2 x float> %vec1, <2 x float> %vec2){
116entry:
117; CHECK: %res1 = fcmp oeq float %x1, %x2
118  %res1 = fcmp oeq float %x1, %x2
119
120; CHECK-NEXT: %res2 = fcmp one float %x1, %x2
121  %res2 = fcmp one float %x1, %x2
122
123; CHECK-NEXT: %res3 = fcmp ugt float %x1, %x2
124  %res3 = fcmp ugt float %x1, %x2
125
126; CHECK-NEXT: %res4 = fcmp uge float %x1, %x2
127  %res4 = fcmp uge float %x1, %x2
128
129; CHECK-NEXT: %res5 = fcmp ult float %x1, %x2
130  %res5 = fcmp ult float %x1, %x2
131
132; CHECK-NEXT: %res6 = fcmp ule float %x1, %x2
133  %res6 = fcmp ule float %x1, %x2
134
135; CHECK-NEXT: %res7 = fcmp ogt float %x1, %x2
136  %res7 = fcmp ogt float %x1, %x2
137
138; CHECK-NEXT: %res8 = fcmp oge float %x1, %x2
139  %res8 = fcmp oge float %x1, %x2
140
141; CHECK-NEXT: %res9 = fcmp olt float %x1, %x2
142  %res9 = fcmp olt float %x1, %x2
143
144; CHECK-NEXT: %res10 = fcmp ole float %x1, %x2
145  %res10 = fcmp ole float %x1, %x2
146
147; CHECK-NEXT: %res11 = fcmp ord float %x1, %x2
148  %res11 = fcmp ord float %x1, %x2
149
150; CHECK-NEXT: %res12 = fcmp ueq float %x1, %x2
151  %res12 = fcmp ueq float %x1, %x2
152
153; CHECK-NEXT: %res13 = fcmp une float %x1, %x2
154  %res13 = fcmp une float %x1, %x2
155
156; CHECK-NEXT: %res14 = fcmp uno float %x1, %x2
157  %res14 = fcmp uno float %x1, %x2
158
159; CHECK-NEXT: %res15 = fcmp true float %x1, %x2
160  %res15 = fcmp true float %x1, %x2
161
162; CHECK-NEXT: %res16 = fcmp false float %x1, %x2
163  %res16 = fcmp false float %x1, %x2
164
165; CHECK-NEXT: %res17 = fcmp oeq <2 x float> %vec1, %vec2
166  %res17 = fcmp oeq <2 x float> %vec1, %vec2
167
168  ret void
169}
170
171declare i32 @printf(i8* noalias nocapture, ...)
172
173define void @call(i32 %x, i8* %msg ){
174entry:
175
176; CHECK: %res1 = call i32 @test(i32 %x)
177  %res1 = call i32 @test(i32 %x)
178
179; CHECK-NEXT: %res2 = tail call i32 @test(i32 %x)
180  %res2 = tail call i32 @test(i32 %x)
181
182; CHECK-NEXT: %res3 = call i32 (i8*, ...) @printf(i8* %msg, i32 12, i8 42)
183  %res3 = call i32 (i8*, ...) @printf(i8* %msg, i32 12, i8 42)
184
185  ret void
186}
187
188define i32 @test(i32 %x){
189entry:
190
191  ret i32 %x
192}
193