1 ; RUN: llvm-dis < %s.bc| FileCheck %s
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
11 define i32 @__gxx_personality_v0(...){
16 define void @landingpadInstr1(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
18 ; CHECK: %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
19 %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
20 ; CHECK: catch i8** @_ZTIi
25 define void @landingpadInstr2(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
27 ; CHECK: %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
28 %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
34 define void @landingpadInstr3(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
36 ; CHECK: %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
37 %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
38 ; CHECK: catch i8** @_ZTIi
40 ; CHECK: filter [1 x i8**] [i8** @_ZTId]
41 filter [1 x i8**] [i8** @_ZTId]
45 define void @phiInstr(){
50 ; CHECK: %indvar = phi i32 [ 0, %LoopHeader ], [ %nextindvar, %Loop ]
51 %indvar = phi i32 [ 0, %LoopHeader ], [ %nextindvar, %Loop ]
52 %nextindvar = add i32 %indvar, 1
57 define void @selectInstr(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
59 ; CHECK: %res1 = select i1 %cond1, i8 1, i8 0
60 %res1 = select i1 %cond1, i8 1, i8 0
61 ; CHECK-NEXT: %res2 = select <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2
62 %res2 = select <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2
67 define void @icmp(i32 %x1, i32 %x2, i32* %ptr1, i32* %ptr2, <2 x i32> %vec1, <2 x i32> %vec2){
69 ; CHECK: %res1 = icmp eq i32 %x1, %x2
70 %res1 = icmp eq i32 %x1, %x2
72 ; CHECK-NEXT: %res2 = icmp ne i32 %x1, %x2
73 %res2 = icmp ne i32 %x1, %x2
75 ; CHECK-NEXT: %res3 = icmp ugt i32 %x1, %x2
76 %res3 = icmp ugt i32 %x1, %x2
78 ; CHECK-NEXT: %res4 = icmp uge i32 %x1, %x2
79 %res4 = icmp uge i32 %x1, %x2
81 ; CHECK-NEXT: %res5 = icmp ult i32 %x1, %x2
82 %res5 = icmp ult i32 %x1, %x2
84 ; CHECK-NEXT: %res6 = icmp ule i32 %x1, %x2
85 %res6 = icmp ule i32 %x1, %x2
87 ; CHECK-NEXT: %res7 = icmp sgt i32 %x1, %x2
88 %res7 = icmp sgt i32 %x1, %x2
90 ; CHECK-NEXT: %res8 = icmp sge i32 %x1, %x2
91 %res8 = icmp sge i32 %x1, %x2
93 ; CHECK-NEXT: %res9 = icmp slt i32 %x1, %x2
94 %res9 = icmp slt i32 %x1, %x2
96 ; CHECK-NEXT: %res10 = icmp sle i32 %x1, %x2
97 %res10 = icmp sle i32 %x1, %x2
99 ; CHECK-NEXT: %res11 = icmp eq i32* %ptr1, %ptr2
100 %res11 = icmp eq i32* %ptr1, %ptr2
102 ; CHECK-NEXT: %res12 = icmp eq <2 x i32> %vec1, %vec2
103 %res12 = icmp eq <2 x i32> %vec1, %vec2
109 define void @fcmp(float %x1, float %x2, <2 x float> %vec1, <2 x float> %vec2){
111 ; CHECK: %res1 = fcmp oeq float %x1, %x2
112 %res1 = fcmp oeq float %x1, %x2
114 ; CHECK-NEXT: %res2 = fcmp one float %x1, %x2
115 %res2 = fcmp one float %x1, %x2
117 ; CHECK-NEXT: %res3 = fcmp ugt float %x1, %x2
118 %res3 = fcmp ugt float %x1, %x2
120 ; CHECK-NEXT: %res4 = fcmp uge float %x1, %x2
121 %res4 = fcmp uge float %x1, %x2
123 ; CHECK-NEXT: %res5 = fcmp ult float %x1, %x2
124 %res5 = fcmp ult float %x1, %x2
126 ; CHECK-NEXT: %res6 = fcmp ule float %x1, %x2
127 %res6 = fcmp ule float %x1, %x2
129 ; CHECK-NEXT: %res7 = fcmp ogt float %x1, %x2
130 %res7 = fcmp ogt float %x1, %x2
132 ; CHECK-NEXT: %res8 = fcmp oge float %x1, %x2
133 %res8 = fcmp oge float %x1, %x2
135 ; CHECK-NEXT: %res9 = fcmp olt float %x1, %x2
136 %res9 = fcmp olt float %x1, %x2
138 ; CHECK-NEXT: %res10 = fcmp ole float %x1, %x2
139 %res10 = fcmp ole float %x1, %x2
141 ; CHECK-NEXT: %res11 = fcmp ord float %x1, %x2
142 %res11 = fcmp ord float %x1, %x2
144 ; CHECK-NEXT: %res12 = fcmp ueq float %x1, %x2
145 %res12 = fcmp ueq float %x1, %x2
147 ; CHECK-NEXT: %res13 = fcmp une float %x1, %x2
148 %res13 = fcmp une float %x1, %x2
150 ; CHECK-NEXT: %res14 = fcmp uno float %x1, %x2
151 %res14 = fcmp uno float %x1, %x2
153 ; CHECK-NEXT: %res15 = fcmp true float %x1, %x2
154 %res15 = fcmp true float %x1, %x2
156 ; CHECK-NEXT: %res16 = fcmp false float %x1, %x2
157 %res16 = fcmp false float %x1, %x2
159 ; CHECK-NEXT: %res17 = fcmp oeq <2 x float> %vec1, %vec2
160 %res17 = fcmp oeq <2 x float> %vec1, %vec2
165 declare i32 @printf(i8* noalias nocapture, ...)
167 define void @call(i32 %x, i8* %msg ){
170 ; CHECK: %res1 = call i32 @test(i32 %x)
171 %res1 = call i32 @test(i32 %x)
173 ; CHECK-NEXT: %res2 = tail call i32 @test(i32 %x)
174 %res2 = tail call i32 @test(i32 %x)
176 ; CHECK-NEXT: %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42)
177 %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42)
182 define i32 @test(i32 %x){