Mercurial > hg > CbC > CbC_llvm

comparison test/CodeGen/X86/fast-isel-cmp-branch2.ll @ 77:54457678186b LLVM3.6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.6
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Mon, 08 Sep 2014 22:06:00 +0900
parents
children afa8332a0e37
comparison
equal deleted inserted replaced
34:e874dbf0ad9d 77:54457678186b
1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 | FileCheck %s
2 ; RUN: llc < %s -fast-isel -fast-isel-abort -mtriple=x86_64-apple-darwin10 | FileCheck %s
3
4 define i32 @fcmp_oeq(float %x, float %y) {
5 ; CHECK-LABEL: fcmp_oeq
6 ; CHECK: ucomiss %xmm1, %xmm0
7 ; CHECK-NEXT: jne {{LBB.+_1}}
8 ; CHECK-NEXT: jnp {{LBB.+_2}}
9 %1 = fcmp oeq float %x, %y
10 br i1 %1, label %bb1, label %bb2
11 bb2:
12 ret i32 1
13 bb1:
14 ret i32 0
15 }
16
17 define i32 @fcmp_ogt(float %x, float %y) {
18 ; CHECK-LABEL: fcmp_ogt
19 ; CHECK: ucomiss %xmm1, %xmm0
20 ; CHECK-NEXT: jbe {{LBB.+_1}}
21 %1 = fcmp ogt float %x, %y
22 br i1 %1, label %bb1, label %bb2
23 bb2:
24 ret i32 1
25 bb1:
26 ret i32 0
27 }
28
29 define i32 @fcmp_oge(float %x, float %y) {
30 ; CHECK-LABEL: fcmp_oge
31 ; CHECK: ucomiss %xmm1, %xmm0
32 ; CHECK-NEXT: jb {{LBB.+_1}}
33 %1 = fcmp oge float %x, %y
34 br i1 %1, label %bb1, label %bb2
35 bb2:
36 ret i32 1
37 bb1:
38 ret i32 0
39 }
40
41 define i32 @fcmp_olt(float %x, float %y) {
42 ; CHECK-LABEL: fcmp_olt
43 ; CHECK: ucomiss %xmm0, %xmm1
44 ; CHECK-NEXT: jbe {{LBB.+_1}}
45 %1 = fcmp olt float %x, %y
46 br i1 %1, label %bb1, label %bb2
47 bb2:
48 ret i32 1
49 bb1:
50 ret i32 0
51 }
52
53 define i32 @fcmp_ole(float %x, float %y) {
54 ; CHECK-LABEL: fcmp_ole
55 ; CHECK: ucomiss %xmm0, %xmm1
56 ; CHECK-NEXT: jb {{LBB.+_1}}
57 %1 = fcmp ole float %x, %y
58 br i1 %1, label %bb1, label %bb2
59 bb2:
60 ret i32 1
61 bb1:
62 ret i32 0
63 }
64
65 define i32 @fcmp_one(float %x, float %y) {
66 ; CHECK-LABEL: fcmp_one
67 ; CHECK: ucomiss %xmm1, %xmm0
68 ; CHECK-NEXT: je {{LBB.+_1}}
69 %1 = fcmp one float %x, %y
70 br i1 %1, label %bb1, label %bb2
71 bb2:
72 ret i32 1
73 bb1:
74 ret i32 0
75 }
76
77 define i32 @fcmp_ord(float %x, float %y) {
78 ; CHECK-LABEL: fcmp_ord
79 ; CHECK: ucomiss %xmm1, %xmm0
80 ; CHECK-NEXT: jp {{LBB.+_1}}
81 %1 = fcmp ord float %x, %y
82 br i1 %1, label %bb1, label %bb2
83 bb2:
84 ret i32 1
85 bb1:
86 ret i32 0
87 }
88
89 define i32 @fcmp_uno(float %x, float %y) {
90 ; CHECK-LABEL: fcmp_uno
91 ; CHECK: ucomiss %xmm1, %xmm0
92 ; CHECK-NEXT: jp {{LBB.+_2}}
93 %1 = fcmp uno float %x, %y
94 br i1 %1, label %bb1, label %bb2
95 bb2:
96 ret i32 1
97 bb1:
98 ret i32 0
99 }
100
101 define i32 @fcmp_ueq(float %x, float %y) {
102 ; CHECK-LABEL: fcmp_ueq
103 ; CHECK: ucomiss %xmm1, %xmm0
104 ; CHECK-NEXT: je {{LBB.+_2}}
105 %1 = fcmp ueq float %x, %y
106 br i1 %1, label %bb1, label %bb2
107 bb2:
108 ret i32 1
109 bb1:
110 ret i32 0
111 }
112
113 define i32 @fcmp_ugt(float %x, float %y) {
114 ; CHECK-LABEL: fcmp_ugt
115 ; CHECK: ucomiss %xmm0, %xmm1
116 ; CHECK-NEXT: jae {{LBB.+_1}}
117 %1 = fcmp ugt float %x, %y
118 br i1 %1, label %bb1, label %bb2
119 bb2:
120 ret i32 1
121 bb1:
122 ret i32 0
123 }
124
125 define i32 @fcmp_uge(float %x, float %y) {
126 ; CHECK-LABEL: fcmp_uge
127 ; CHECK: ucomiss %xmm0, %xmm1
128 ; CHECK-NEXT: ja {{LBB.+_1}}
129 %1 = fcmp uge float %x, %y
130 br i1 %1, label %bb1, label %bb2
131 bb2:
132 ret i32 1
133 bb1:
134 ret i32 0
135 }
136
137 define i32 @fcmp_ult(float %x, float %y) {
138 ; CHECK-LABEL: fcmp_ult
139 ; CHECK: ucomiss %xmm1, %xmm0
140 ; CHECK-NEXT: jae {{LBB.+_1}}
141 %1 = fcmp ult float %x, %y
142 br i1 %1, label %bb1, label %bb2
143 bb2:
144 ret i32 1
145 bb1:
146 ret i32 0
147 }
148
149 define i32 @fcmp_ule(float %x, float %y) {
150 ; CHECK-LABEL: fcmp_ule
151 ; CHECK: ucomiss %xmm1, %xmm0
152 ; CHECK-NEXT: ja {{LBB.+_1}}
153 %1 = fcmp ule float %x, %y
154 br i1 %1, label %bb1, label %bb2
155 bb2:
156 ret i32 1
157 bb1:
158 ret i32 0
159 }
160
161 define i32 @fcmp_une(float %x, float %y) {
162 ; CHECK-LABEL: fcmp_une
163 ; CHECK: ucomiss %xmm1, %xmm0
164 ; CHECK-NEXT: jne {{LBB.+_2}}
165 ; CHECK-NEXT: jp {{LBB.+_2}}
166 ; CHECK-NEXT: jmp {{LBB.+_1}}
167 %1 = fcmp une float %x, %y
168 br i1 %1, label %bb1, label %bb2
169 bb2:
170 ret i32 1
171 bb1:
172 ret i32 0
173 }
174
175 define i32 @icmp_eq(i32 %x, i32 %y) {
176 ; CHECK-LABEL: icmp_eq
177 ; CHECK: cmpl %esi, %edi
178 ; CHECK-NEXT: jne {{LBB.+_1}}
179 %1 = icmp eq i32 %x, %y
180 br i1 %1, label %bb1, label %bb2
181 bb2:
182 ret i32 1
183 bb1:
184 ret i32 0
185 }
186
187 define i32 @icmp_ne(i32 %x, i32 %y) {
188 ; CHECK-LABEL: icmp_ne
189 ; CHECK: cmpl %esi, %edi
190 ; CHECK-NEXT: je {{LBB.+_1}}
191 %1 = icmp ne i32 %x, %y
192 br i1 %1, label %bb1, label %bb2
193 bb2:
194 ret i32 1
195 bb1:
196 ret i32 0
197 }
198
199 define i32 @icmp_ugt(i32 %x, i32 %y) {
200 ; CHECK-LABEL: icmp_ugt
201 ; CHECK: cmpl %esi, %edi
202 ; CHECK-NEXT: jbe {{LBB.+_1}}
203 %1 = icmp ugt i32 %x, %y
204 br i1 %1, label %bb1, label %bb2
205 bb2:
206 ret i32 1
207 bb1:
208 ret i32 0
209 }
210
211 define i32 @icmp_uge(i32 %x, i32 %y) {
212 ; CHECK-LABEL: icmp_uge
213 ; CHECK: cmpl %esi, %edi
214 ; CHECK-NEXT: jb {{LBB.+_1}}
215 %1 = icmp uge i32 %x, %y
216 br i1 %1, label %bb1, label %bb2
217 bb2:
218 ret i32 1
219 bb1:
220 ret i32 0
221 }
222
223 define i32 @icmp_ult(i32 %x, i32 %y) {
224 ; CHECK-LABEL: icmp_ult
225 ; CHECK: cmpl %esi, %edi
226 ; CHECK-NEXT: jae {{LBB.+_1}}
227 %1 = icmp ult i32 %x, %y
228 br i1 %1, label %bb1, label %bb2
229 bb2:
230 ret i32 1
231 bb1:
232 ret i32 0
233 }
234
235 define i32 @icmp_ule(i32 %x, i32 %y) {
236 ; CHECK-LABEL: icmp_ule
237 ; CHECK: cmpl %esi, %edi
238 ; CHECK-NEXT: ja {{LBB.+_1}}
239 %1 = icmp ule i32 %x, %y
240 br i1 %1, label %bb1, label %bb2
241 bb2:
242 ret i32 1
243 bb1:
244 ret i32 0
245 }
246
247 define i32 @icmp_sgt(i32 %x, i32 %y) {
248 ; CHECK-LABEL: icmp_sgt
249 ; CHECK: cmpl %esi, %edi
250 ; CHECK-NEXT: jle {{LBB.+_1}}
251 %1 = icmp sgt i32 %x, %y
252 br i1 %1, label %bb1, label %bb2
253 bb2:
254 ret i32 1
255 bb1:
256 ret i32 0
257 }
258
259 define i32 @icmp_sge(i32 %x, i32 %y) {
260 ; CHECK-LABEL: icmp_sge
261 ; CHECK: cmpl %esi, %edi
262 ; CHECK-NEXT: jl {{LBB.+_1}}
263 %1 = icmp sge i32 %x, %y
264 br i1 %1, label %bb1, label %bb2
265 bb2:
266 ret i32 1
267 bb1:
268 ret i32 0
269 }
270
271 define i32 @icmp_slt(i32 %x, i32 %y) {
272 ; CHECK-LABEL: icmp_slt
273 ; CHECK: cmpl %esi, %edi
274 ; CHECK-NEXT: jge {{LBB.+_1}}
275 %1 = icmp slt i32 %x, %y
276 br i1 %1, label %bb1, label %bb2
277 bb2:
278 ret i32 1
279 bb1:
280 ret i32 0
281 }
282
283 define i32 @icmp_sle(i32 %x, i32 %y) {
284 ; CHECK-LABEL: icmp_sle
285 ; CHECK: cmpl %esi, %edi
286 ; CHECK-NEXT: jg {{LBB.+_1}}
287 %1 = icmp sle i32 %x, %y
288 br i1 %1, label %bb1, label %bb2
289 bb2:
290 ret i32 1
291 bb1:
292 ret i32 0
293 }
294