1 ; RUN: llc < %s -march=x86-64 -mtriple=x86_64-apple-darwin -mcpu=nehalem | FileCheck %s
3 define double @test1(double %a, double %b, double %eps) {
4 %cmp = fcmp olt double %a, %eps
5 %cond = select i1 %cmp, double %b, double 0.000000e+00
9 ; CHECK: cmpltsd %xmm2, %xmm0
10 ; CHECK-NEXT: andpd %xmm1, %xmm0
13 define double @test2(double %a, double %b, double %eps) {
14 %cmp = fcmp ole double %a, %eps
15 %cond = select i1 %cmp, double %b, double 0.000000e+00
19 ; CHECK: cmplesd %xmm2, %xmm0
20 ; CHECK-NEXT: andpd %xmm1, %xmm0
23 define double @test3(double %a, double %b, double %eps) {
24 %cmp = fcmp ogt double %a, %eps
25 %cond = select i1 %cmp, double %b, double 0.000000e+00
29 ; CHECK: cmpltsd %xmm0, %xmm2
30 ; CHECK-NEXT: andpd %xmm1, %xmm2
33 define double @test4(double %a, double %b, double %eps) {
34 %cmp = fcmp oge double %a, %eps
35 %cond = select i1 %cmp, double %b, double 0.000000e+00
39 ; CHECK: cmplesd %xmm0, %xmm2
40 ; CHECK-NEXT: andpd %xmm1, %xmm2
43 define double @test5(double %a, double %b, double %eps) {
44 %cmp = fcmp olt double %a, %eps
45 %cond = select i1 %cmp, double 0.000000e+00, double %b
49 ; CHECK: cmpltsd %xmm2, %xmm0
50 ; CHECK-NEXT: andnpd %xmm1, %xmm0
53 define double @test6(double %a, double %b, double %eps) {
54 %cmp = fcmp ole double %a, %eps
55 %cond = select i1 %cmp, double 0.000000e+00, double %b
59 ; CHECK: cmplesd %xmm2, %xmm0
60 ; CHECK-NEXT: andnpd %xmm1, %xmm0
63 define double @test7(double %a, double %b, double %eps) {
64 %cmp = fcmp ogt double %a, %eps
65 %cond = select i1 %cmp, double 0.000000e+00, double %b
69 ; CHECK: cmpltsd %xmm0, %xmm2
70 ; CHECK-NEXT: andnpd %xmm1, %xmm2
73 define double @test8(double %a, double %b, double %eps) {
74 %cmp = fcmp oge double %a, %eps
75 %cond = select i1 %cmp, double 0.000000e+00, double %b
79 ; CHECK: cmplesd %xmm0, %xmm2
80 ; CHECK-NEXT: andnpd %xmm1, %xmm2
83 define float @test9(float %a, float %b, float %eps) {
84 %cmp = fcmp olt float %a, %eps
85 %cond = select i1 %cmp, float %b, float 0.000000e+00
89 ; CHECK: cmpltss %xmm2, %xmm0
90 ; CHECK-NEXT: andps %xmm1, %xmm0
93 define float @test10(float %a, float %b, float %eps) {
94 %cmp = fcmp ole float %a, %eps
95 %cond = select i1 %cmp, float %b, float 0.000000e+00
98 ; CHECK-LABEL: @test10
99 ; CHECK: cmpless %xmm2, %xmm0
100 ; CHECK-NEXT: andps %xmm1, %xmm0
103 define float @test11(float %a, float %b, float %eps) {
104 %cmp = fcmp ogt float %a, %eps
105 %cond = select i1 %cmp, float %b, float 0.000000e+00
108 ; CHECK-LABEL: @test11
109 ; CHECK: cmpltss %xmm0, %xmm2
110 ; CHECK-NEXT: andps %xmm1, %xmm2
113 define float @test12(float %a, float %b, float %eps) {
114 %cmp = fcmp oge float %a, %eps
115 %cond = select i1 %cmp, float %b, float 0.000000e+00
118 ; CHECK-LABEL: @test12
119 ; CHECK: cmpless %xmm0, %xmm2
120 ; CHECK-NEXT: andps %xmm1, %xmm2
123 define float @test13(float %a, float %b, float %eps) {
124 %cmp = fcmp olt float %a, %eps
125 %cond = select i1 %cmp, float 0.000000e+00, float %b
128 ; CHECK-LABEL: @test13
129 ; CHECK: cmpltss %xmm2, %xmm0
130 ; CHECK-NEXT: andnps %xmm1, %xmm0
133 define float @test14(float %a, float %b, float %eps) {
134 %cmp = fcmp ole float %a, %eps
135 %cond = select i1 %cmp, float 0.000000e+00, float %b
138 ; CHECK-LABEL: @test14
139 ; CHECK: cmpless %xmm2, %xmm0
140 ; CHECK-NEXT: andnps %xmm1, %xmm0
143 define float @test15(float %a, float %b, float %eps) {
144 %cmp = fcmp ogt float %a, %eps
145 %cond = select i1 %cmp, float 0.000000e+00, float %b
148 ; CHECK-LABEL: @test15
149 ; CHECK: cmpltss %xmm0, %xmm2
150 ; CHECK-NEXT: andnps %xmm1, %xmm2
153 define float @test16(float %a, float %b, float %eps) {
154 %cmp = fcmp oge float %a, %eps
155 %cond = select i1 %cmp, float 0.000000e+00, float %b
158 ; CHECK-LABEL: @test16
159 ; CHECK: cmpless %xmm0, %xmm2
160 ; CHECK-NEXT: andnps %xmm1, %xmm2
163 define float @test17(float %a, float %b, float %c, float %eps) {
164 %cmp = fcmp oge float %a, %eps
165 %cond = select i1 %cmp, float %c, float %b
168 ; CHECK-LABEL: @test17
169 ; CHECK: cmpless %xmm0, %xmm3
170 ; CHECK-NEXT: andps %xmm3, %xmm2
171 ; CHECK-NEXT: andnps %xmm1, %xmm3
172 ; CHECK-NEXT: orps %xmm2, %xmm3
175 define double @test18(double %a, double %b, double %c, double %eps) {
176 %cmp = fcmp oge double %a, %eps
177 %cond = select i1 %cmp, double %c, double %b
180 ; CHECK-LABEL: @test18
181 ; CHECK: cmplesd %xmm0, %xmm3
182 ; CHECK-NEXT: andpd %xmm3, %xmm2
183 ; CHECK-NEXT: andnpd %xmm1, %xmm3
184 ; CHECK-NEXT: orpd %xmm2, %xmm3