1 ; RUN: llc < %s -march=x86-64 -mtriple=x86_64-apple-darwin -mcpu=nehalem -asm-verbose=false | FileCheck %s 2 ; RUN: llc < %s -march=x86-64 -mtriple=x86_64-apple-darwin -mcpu=nehalem -asm-verbose=false -enable-unsafe-fp-math -enable-no-nans-fp-math | FileCheck -check-prefix=UNSAFE %s 3 ; RUN: llc < %s -march=x86-64 -mtriple=x86_64-apple-darwin -mcpu=nehalem -asm-verbose=false -enable-no-nans-fp-math | FileCheck -check-prefix=FINITE %s 4 5 ; Some of these patterns can be matched as SSE min or max. Some of 6 ; then can be matched provided that the operands are swapped. 7 ; Some of them can't be matched at all and require a comparison 8 ; and a conditional branch. 9 10 ; The naming convention is {,x_,y_}{o,u}{gt,lt,ge,le}{,_inverse} 11 ; _x: use 0.0 instead of %y 12 ; _y: use -0.0 instead of %y 13 ; _inverse : swap the arms of the select. 14 15 ; CHECK-LABEL: ogt: 16 ; CHECK-NEXT: maxsd %xmm1, %xmm0 17 ; CHECK-NEXT: ret 18 ; UNSAFE-LABEL: ogt: 19 ; UNSAFE-NEXT: maxsd %xmm1, %xmm0 20 ; UNSAFE-NEXT: ret 21 ; FINITE-LABEL: ogt: 22 ; FINITE-NEXT: maxsd %xmm1, %xmm0 23 ; FINITE-NEXT: ret 24 define double @ogt(double %x, double %y) nounwind { 25 %c = fcmp ogt double %x, %y 26 %d = select i1 %c, double %x, double %y 27 ret double %d 28 } 29 30 ; CHECK-LABEL: olt: 31 ; CHECK-NEXT: minsd %xmm1, %xmm0 32 ; CHECK-NEXT: ret 33 ; UNSAFE-LABEL: olt: 34 ; UNSAFE-NEXT: minsd %xmm1, %xmm0 35 ; UNSAFE-NEXT: ret 36 ; FINITE-LABEL: olt: 37 ; FINITE-NEXT: minsd %xmm1, %xmm0 38 ; FINITE-NEXT: ret 39 define double @olt(double %x, double %y) nounwind { 40 %c = fcmp olt double %x, %y 41 %d = select i1 %c, double %x, double %y 42 ret double %d 43 } 44 45 ; CHECK-LABEL: ogt_inverse: 46 ; CHECK-NEXT: minsd %xmm0, %xmm1 47 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 48 ; CHECK-NEXT: ret 49 ; UNSAFE-LABEL: ogt_inverse: 50 ; UNSAFE-NEXT: minsd %xmm1, %xmm0 51 ; UNSAFE-NEXT: ret 52 ; FINITE-LABEL: ogt_inverse: 53 ; FINITE-NEXT: minsd %xmm0, %xmm1 54 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 55 ; FINITE-NEXT: ret 56 define double @ogt_inverse(double %x, double %y) nounwind { 57 %c = fcmp ogt double %x, %y 58 %d = select i1 %c, double %y, double %x 59 ret double %d 60 } 61 62 ; CHECK-LABEL: olt_inverse: 63 ; CHECK-NEXT: maxsd %xmm0, %xmm1 64 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 65 ; CHECK-NEXT: ret 66 ; UNSAFE-LABEL: olt_inverse: 67 ; UNSAFE-NEXT: maxsd %xmm1, %xmm0 68 ; UNSAFE-NEXT: ret 69 ; FINITE-LABEL: olt_inverse: 70 ; FINITE-NEXT: maxsd %xmm0, %xmm1 71 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 72 ; FINITE-NEXT: ret 73 define double @olt_inverse(double %x, double %y) nounwind { 74 %c = fcmp olt double %x, %y 75 %d = select i1 %c, double %y, double %x 76 ret double %d 77 } 78 79 ; CHECK-LABEL: oge: 80 ; CHECK: cmplesd %xmm0 81 ; UNSAFE-LABEL: oge: 82 ; UNSAFE-NEXT: maxsd %xmm1, %xmm0 83 ; UNSAFE-NEXT: ret 84 ; FINITE-LABEL: oge: 85 ; FINITE-NEXT: maxsd %xmm1, %xmm0 86 ; FINITE-NEXT: ret 87 define double @oge(double %x, double %y) nounwind { 88 %c = fcmp oge double %x, %y 89 %d = select i1 %c, double %x, double %y 90 ret double %d 91 } 92 93 ; CHECK-LABEL: ole: 94 ; CHECK: cmplesd %xmm1 95 ; UNSAFE-LABEL: ole: 96 ; UNSAFE-NEXT: minsd %xmm1, %xmm0 97 ; FINITE-LABEL: ole: 98 ; FINITE-NEXT: minsd %xmm1, %xmm0 99 define double @ole(double %x, double %y) nounwind { 100 %c = fcmp ole double %x, %y 101 %d = select i1 %c, double %x, double %y 102 ret double %d 103 } 104 105 ; CHECK-LABEL: oge_inverse: 106 ; CHECK: cmplesd %xmm0 107 ; UNSAFE-LABEL: oge_inverse: 108 ; UNSAFE-NEXT: minsd %xmm1, %xmm0 109 ; UNSAFE-NEXT: ret 110 ; FINITE-LABEL: oge_inverse: 111 ; FINITE-NEXT: minsd %xmm0, %xmm1 112 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 113 ; FINITE-NEXT: ret 114 define double @oge_inverse(double %x, double %y) nounwind { 115 %c = fcmp oge double %x, %y 116 %d = select i1 %c, double %y, double %x 117 ret double %d 118 } 119 120 ; CHECK-LABEL: ole_inverse: 121 ; CHECK: cmplesd %xmm1 122 ; UNSAFE-LABEL: ole_inverse: 123 ; UNSAFE-NEXT: maxsd %xmm1, %xmm0 124 ; UNSAFE-NEXT: ret 125 ; FINITE-LABEL: ole_inverse: 126 ; FINITE-NEXT: maxsd %xmm0, %xmm1 127 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 128 ; FINITE-NEXT: ret 129 define double @ole_inverse(double %x, double %y) nounwind { 130 %c = fcmp ole double %x, %y 131 %d = select i1 %c, double %y, double %x 132 ret double %d 133 } 134 135 ; CHECK-LABEL: ogt_x: 136 ; CHECK-NEXT: xorp{{[sd]}} %xmm1, %xmm1 137 ; CHECK-NEXT: maxsd %xmm1, %xmm0 138 ; CHECK-NEXT: ret 139 ; UNSAFE-LABEL: ogt_x: 140 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 141 ; UNSAFE-NEXT: maxsd %xmm0, %xmm1 142 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 143 ; UNSAFE-NEXT: ret 144 ; FINITE-LABEL: ogt_x: 145 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 146 ; FINITE-NEXT: maxsd %xmm1, %xmm0 147 ; FINITE-NEXT: ret 148 define double @ogt_x(double %x) nounwind { 149 %c = fcmp ogt double %x, 0.000000e+00 150 %d = select i1 %c, double %x, double 0.000000e+00 151 ret double %d 152 } 153 154 ; CHECK-LABEL: olt_x: 155 ; CHECK-NEXT: xorp{{[sd]}} %xmm1, %xmm1 156 ; CHECK-NEXT: minsd %xmm1, %xmm0 157 ; CHECK-NEXT: ret 158 ; UNSAFE-LABEL: olt_x: 159 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 160 ; UNSAFE-NEXT: minsd %xmm0, %xmm1 161 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 162 ; UNSAFE-NEXT: ret 163 ; FINITE-LABEL: olt_x: 164 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 165 ; FINITE-NEXT: minsd %xmm1, %xmm0 166 ; FINITE-NEXT: ret 167 define double @olt_x(double %x) nounwind { 168 %c = fcmp olt double %x, 0.000000e+00 169 %d = select i1 %c, double %x, double 0.000000e+00 170 ret double %d 171 } 172 173 ; CHECK-LABEL: ogt_inverse_x: 174 ; CHECK-NEXT: xorp{{[sd]}} %xmm1, %xmm1 175 ; CHECK-NEXT: minsd %xmm0, %xmm1 176 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 177 ; CHECK-NEXT: ret 178 ; UNSAFE-LABEL: ogt_inverse_x: 179 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 180 ; UNSAFE-NEXT: minsd %xmm0, %xmm1 181 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 182 ; UNSAFE-NEXT: ret 183 ; FINITE-LABEL: ogt_inverse_x: 184 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 185 ; FINITE-NEXT: minsd %xmm0, %xmm1 186 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 187 ; FINITE-NEXT: ret 188 define double @ogt_inverse_x(double %x) nounwind { 189 %c = fcmp ogt double %x, 0.000000e+00 190 %d = select i1 %c, double 0.000000e+00, double %x 191 ret double %d 192 } 193 194 ; CHECK-LABEL: olt_inverse_x: 195 ; CHECK-NEXT: xorp{{[sd]}} %xmm1, %xmm1 196 ; CHECK-NEXT: maxsd %xmm0, %xmm1 197 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 198 ; CHECK-NEXT: ret 199 ; UNSAFE-LABEL: olt_inverse_x: 200 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 201 ; UNSAFE-NEXT: maxsd %xmm0, %xmm1 202 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 203 ; UNSAFE-NEXT: ret 204 ; FINITE-LABEL: olt_inverse_x: 205 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 206 ; FINITE-NEXT: maxsd %xmm0, %xmm1 207 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 208 ; FINITE-NEXT: ret 209 define double @olt_inverse_x(double %x) nounwind { 210 %c = fcmp olt double %x, 0.000000e+00 211 %d = select i1 %c, double 0.000000e+00, double %x 212 ret double %d 213 } 214 215 ; CHECK-LABEL: oge_x: 216 ; CHECK: cmplesd %xmm 217 ; CHECK-NEXT: andpd 218 ; UNSAFE-LABEL: oge_x: 219 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 220 ; UNSAFE-NEXT: maxsd %xmm0, %xmm1 221 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 222 ; UNSAFE-NEXT: ret 223 ; FINITE-LABEL: oge_x: 224 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 225 ; FINITE-NEXT: maxsd %xmm1, %xmm0 226 ; FINITE-NEXT: ret 227 define double @oge_x(double %x) nounwind { 228 %c = fcmp oge double %x, 0.000000e+00 229 %d = select i1 %c, double %x, double 0.000000e+00 230 ret double %d 231 } 232 233 ; CHECK-LABEL: ole_x: 234 ; CHECK: cmplesd %xmm 235 ; CHECK-NEXT: andpd 236 ; UNSAFE-LABEL: ole_x: 237 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 238 ; UNSAFE-NEXT: minsd %xmm0, %xmm1 239 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 240 ; UNSAFE-NEXT: ret 241 ; FINITE-LABEL: ole_x: 242 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 243 ; FINITE-NEXT: minsd %xmm1, %xmm0 244 ; FINITE-NEXT: ret 245 define double @ole_x(double %x) nounwind { 246 %c = fcmp ole double %x, 0.000000e+00 247 %d = select i1 %c, double %x, double 0.000000e+00 248 ret double %d 249 } 250 251 ; CHECK-LABEL: oge_inverse_x: 252 ; CHECK: cmplesd %xmm 253 ; CHECK-NEXT: andnpd 254 ; UNSAFE-LABEL: oge_inverse_x: 255 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 256 ; UNSAFE-NEXT: minsd %xmm0, %xmm1 257 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 258 ; UNSAFE-NEXT: ret 259 ; FINITE-LABEL: oge_inverse_x: 260 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 261 ; FINITE-NEXT: minsd %xmm0, %xmm1 262 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 263 ; FINITE-NEXT: ret 264 define double @oge_inverse_x(double %x) nounwind { 265 %c = fcmp oge double %x, 0.000000e+00 266 %d = select i1 %c, double 0.000000e+00, double %x 267 ret double %d 268 } 269 270 ; CHECK-LABEL: ole_inverse_x: 271 ; CHECK: cmplesd %xmm 272 ; UNSAFE-LABEL: ole_inverse_x: 273 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 274 ; UNSAFE-NEXT: maxsd %xmm0, %xmm1 275 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 276 ; UNSAFE-NEXT: ret 277 ; FINITE-LABEL: ole_inverse_x: 278 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 279 ; FINITE-NEXT: maxsd %xmm0, %xmm1 280 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 281 ; FINITE-NEXT: ret 282 define double @ole_inverse_x(double %x) nounwind { 283 %c = fcmp ole double %x, 0.000000e+00 284 %d = select i1 %c, double 0.000000e+00, double %x 285 ret double %d 286 } 287 288 ; CHECK-LABEL: ugt: 289 ; CHECK: cmpnlesd %xmm1 290 ; UNSAFE-LABEL: ugt: 291 ; UNSAFE-NEXT: maxsd %xmm1, %xmm0 292 ; UNSAFE-NEXT: ret 293 ; FINITE-LABEL: ugt: 294 ; FINITE-NEXT: maxsd %xmm1, %xmm0 295 ; FINITE-NEXT: ret 296 define double @ugt(double %x, double %y) nounwind { 297 %c = fcmp ugt double %x, %y 298 %d = select i1 %c, double %x, double %y 299 ret double %d 300 } 301 302 ; CHECK-LABEL: ult: 303 ; CHECK: cmpnlesd %xmm0 304 ; UNSAFE-LABEL: ult: 305 ; UNSAFE-NEXT: minsd %xmm1, %xmm0 306 ; UNSAFE-NEXT: ret 307 ; FINITE-LABEL: ult: 308 ; FINITE-NEXT: minsd %xmm1, %xmm0 309 ; FINITE-NEXT: ret 310 define double @ult(double %x, double %y) nounwind { 311 %c = fcmp ult double %x, %y 312 %d = select i1 %c, double %x, double %y 313 ret double %d 314 } 315 316 ; CHECK-LABEL: ugt_inverse: 317 ; CHECK: cmpnlesd %xmm1 318 ; UNSAFE-LABEL: ugt_inverse: 319 ; UNSAFE-NEXT: minsd %xmm1, %xmm0 320 ; UNSAFE-NEXT: ret 321 ; FINITE-LABEL: ugt_inverse: 322 ; FINITE-NEXT: minsd %xmm0, %xmm1 323 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 324 ; FINITE-NEXT: ret 325 define double @ugt_inverse(double %x, double %y) nounwind { 326 %c = fcmp ugt double %x, %y 327 %d = select i1 %c, double %y, double %x 328 ret double %d 329 } 330 331 ; CHECK-LABEL: ult_inverse: 332 ; CHECK: cmpnlesd %xmm0 333 ; UNSAFE-LABEL: ult_inverse: 334 ; UNSAFE-NEXT: maxsd %xmm1, %xmm0 335 ; UNSAFE-NEXT: ret 336 ; FINITE-LABEL: ult_inverse: 337 ; FINITE-NEXT: maxsd %xmm0, %xmm1 338 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 339 ; FINITE-NEXT: ret 340 define double @ult_inverse(double %x, double %y) nounwind { 341 %c = fcmp ult double %x, %y 342 %d = select i1 %c, double %y, double %x 343 ret double %d 344 } 345 346 ; CHECK-LABEL: uge: 347 ; CHECK-NEXT: maxsd %xmm0, %xmm1 348 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 349 ; CHECK-NEXT: ret 350 ; UNSAFE-LABEL: uge: 351 ; UNSAFE-NEXT: maxsd %xmm1, %xmm0 352 ; UNSAFE-NEXT: ret 353 ; FINITE-LABEL: uge: 354 ; FINITE-NEXT: maxsd %xmm1, %xmm0 355 ; FINITE-NEXT: ret 356 define double @uge(double %x, double %y) nounwind { 357 %c = fcmp uge double %x, %y 358 %d = select i1 %c, double %x, double %y 359 ret double %d 360 } 361 362 ; CHECK-LABEL: ule: 363 ; CHECK-NEXT: minsd %xmm0, %xmm1 364 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 365 ; CHECK-NEXT: ret 366 ; UNSAFE-LABEL: ule: 367 ; UNSAFE-NEXT: minsd %xmm1, %xmm0 368 ; UNSAFE-NEXT: ret 369 ; FINITE-LABEL: ule: 370 ; FINITE-NEXT: minsd %xmm1, %xmm0 371 ; FINITE-NEXT: ret 372 define double @ule(double %x, double %y) nounwind { 373 %c = fcmp ule double %x, %y 374 %d = select i1 %c, double %x, double %y 375 ret double %d 376 } 377 378 ; CHECK-LABEL: uge_inverse: 379 ; CHECK-NEXT: minsd %xmm1, %xmm0 380 ; CHECK-NEXT: ret 381 ; UNSAFE-LABEL: uge_inverse: 382 ; UNSAFE-NEXT: minsd %xmm1, %xmm0 383 ; UNSAFE-NEXT: ret 384 ; FINITE-LABEL: uge_inverse: 385 ; FINITE-NEXT: minsd %xmm0, %xmm1 386 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 387 ; FINITE-NEXT: ret 388 define double @uge_inverse(double %x, double %y) nounwind { 389 %c = fcmp uge double %x, %y 390 %d = select i1 %c, double %y, double %x 391 ret double %d 392 } 393 394 ; CHECK-LABEL: ule_inverse: 395 ; CHECK-NEXT: maxsd %xmm1, %xmm0 396 ; CHECK-NEXT: ret 397 ; UNSAFE-LABEL: ule_inverse: 398 ; UNSAFE-NEXT: maxsd %xmm1, %xmm0 399 ; UNSAFE-NEXT: ret 400 ; FINITE-LABEL: ule_inverse: 401 ; FINITE-NEXT: maxsd %xmm0, %xmm1 402 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 403 ; FINITE-NEXT: ret 404 define double @ule_inverse(double %x, double %y) nounwind { 405 %c = fcmp ule double %x, %y 406 %d = select i1 %c, double %y, double %x 407 ret double %d 408 } 409 410 ; CHECK-LABEL: ugt_x: 411 ; CHECK: cmpnlesd %xmm 412 ; CHECK-NEXT: andpd 413 ; UNSAFE-LABEL: ugt_x: 414 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 415 ; UNSAFE-NEXT: maxsd %xmm0, %xmm1 416 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 417 ; UNSAFE-NEXT: ret 418 ; FINITE-LABEL: ugt_x: 419 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 420 ; FINITE-NEXT: maxsd %xmm1, %xmm0 421 ; FINITE-NEXT: ret 422 define double @ugt_x(double %x) nounwind { 423 %c = fcmp ugt double %x, 0.000000e+00 424 %d = select i1 %c, double %x, double 0.000000e+00 425 ret double %d 426 } 427 428 ; CHECK-LABEL: ult_x: 429 ; CHECK: cmpnlesd %xmm 430 ; CHECK-NEXT: andpd 431 ; UNSAFE-LABEL: ult_x: 432 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 433 ; UNSAFE-NEXT: minsd %xmm0, %xmm1 434 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 435 ; UNSAFE-NEXT: ret 436 ; FINITE-LABEL: ult_x: 437 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 438 ; FINITE-NEXT: minsd %xmm1, %xmm0 439 ; FINITE-NEXT: ret 440 define double @ult_x(double %x) nounwind { 441 %c = fcmp ult double %x, 0.000000e+00 442 %d = select i1 %c, double %x, double 0.000000e+00 443 ret double %d 444 } 445 446 ; CHECK-LABEL: ugt_inverse_x: 447 ; CHECK: cmpnlesd %xmm 448 ; CHECK-NEXT: andnpd 449 ; UNSAFE-LABEL: ugt_inverse_x: 450 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 451 ; UNSAFE-NEXT: minsd %xmm0, %xmm1 452 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 453 ; UNSAFE-NEXT: ret 454 ; FINITE-LABEL: ugt_inverse_x: 455 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 456 ; FINITE-NEXT: minsd %xmm0, %xmm1 457 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 458 ; FINITE-NEXT: ret 459 define double @ugt_inverse_x(double %x) nounwind { 460 %c = fcmp ugt double %x, 0.000000e+00 461 %d = select i1 %c, double 0.000000e+00, double %x 462 ret double %d 463 } 464 465 ; CHECK-LABEL: ult_inverse_x: 466 ; CHECK: cmpnlesd %xmm 467 ; CHECK-NEXT: andnpd 468 ; UNSAFE-LABEL: ult_inverse_x: 469 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 470 ; UNSAFE-NEXT: maxsd %xmm0, %xmm1 471 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 472 ; UNSAFE-NEXT: ret 473 ; FINITE-LABEL: ult_inverse_x: 474 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 475 ; FINITE-NEXT: maxsd %xmm0, %xmm1 476 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 477 ; FINITE-NEXT: ret 478 define double @ult_inverse_x(double %x) nounwind { 479 %c = fcmp ult double %x, 0.000000e+00 480 %d = select i1 %c, double 0.000000e+00, double %x 481 ret double %d 482 } 483 484 ; CHECK-LABEL: uge_x: 485 ; CHECK-NEXT: xorp{{[sd]}} %xmm1, %xmm1 486 ; CHECK-NEXT: maxsd %xmm0, %xmm1 487 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 488 ; CHECK-NEXT: ret 489 ; UNSAFE-LABEL: uge_x: 490 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 491 ; UNSAFE-NEXT: maxsd %xmm0, %xmm1 492 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 493 ; UNSAFE-NEXT: ret 494 ; FINITE-LABEL: uge_x: 495 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 496 ; FINITE-NEXT: maxsd %xmm1, %xmm0 497 ; FINITE-NEXT: ret 498 define double @uge_x(double %x) nounwind { 499 %c = fcmp uge double %x, 0.000000e+00 500 %d = select i1 %c, double %x, double 0.000000e+00 501 ret double %d 502 } 503 504 ; CHECK-LABEL: ule_x: 505 ; CHECK-NEXT: xorp{{[sd]}} %xmm1, %xmm1 506 ; CHECK-NEXT: minsd %xmm0, %xmm1 507 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 508 ; CHECK-NEXT: ret 509 ; UNSAFE-LABEL: ule_x: 510 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 511 ; UNSAFE-NEXT: minsd %xmm0, %xmm1 512 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 513 ; UNSAFE-NEXT: ret 514 ; FINITE-LABEL: ule_x: 515 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 516 ; FINITE-NEXT: minsd %xmm1, %xmm0 517 ; FINITE-NEXT: ret 518 define double @ule_x(double %x) nounwind { 519 %c = fcmp ule double %x, 0.000000e+00 520 %d = select i1 %c, double %x, double 0.000000e+00 521 ret double %d 522 } 523 524 ; CHECK-LABEL: uge_inverse_x: 525 ; CHECK-NEXT: xorp{{[sd]}} %xmm1, %xmm1 526 ; CHECK-NEXT: minsd %xmm1, %xmm0 527 ; CHECK-NEXT: ret 528 ; UNSAFE-LABEL: uge_inverse_x: 529 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 530 ; UNSAFE-NEXT: minsd %xmm0, %xmm1 531 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 532 ; UNSAFE-NEXT: ret 533 ; FINITE-LABEL: uge_inverse_x: 534 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 535 ; FINITE-NEXT: minsd %xmm0, %xmm1 536 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 537 ; FINITE-NEXT: ret 538 define double @uge_inverse_x(double %x) nounwind { 539 %c = fcmp uge double %x, 0.000000e+00 540 %d = select i1 %c, double 0.000000e+00, double %x 541 ret double %d 542 } 543 544 ; CHECK-LABEL: ule_inverse_x: 545 ; CHECK-NEXT: xorp{{[sd]}} %xmm1, %xmm1 546 ; CHECK-NEXT: maxsd %xmm1, %xmm0 547 ; CHECK-NEXT: ret 548 ; UNSAFE-LABEL: ule_inverse_x: 549 ; UNSAFE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 550 ; UNSAFE-NEXT: maxsd %xmm0, %xmm1 551 ; UNSAFE-NEXT: movap{{[sd]}} %xmm1, %xmm0 552 ; UNSAFE-NEXT: ret 553 ; FINITE-LABEL: ule_inverse_x: 554 ; FINITE-NEXT: xorp{{[sd]}} %xmm1, %xmm1 555 ; FINITE-NEXT: maxsd %xmm0, %xmm1 556 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 557 ; FINITE-NEXT: ret 558 define double @ule_inverse_x(double %x) nounwind { 559 %c = fcmp ule double %x, 0.000000e+00 560 %d = select i1 %c, double 0.000000e+00, double %x 561 ret double %d 562 } 563 564 ; CHECK-LABEL: ogt_y: 565 ; CHECK-NEXT: maxsd {{[^,]*}}, %xmm0 566 ; CHECK-NEXT: ret 567 ; UNSAFE-LABEL: ogt_y: 568 ; UNSAFE-NEXT: maxsd {{[^,]*}}, %xmm0 569 ; UNSAFE-NEXT: ret 570 ; FINITE-LABEL: ogt_y: 571 ; FINITE-NEXT: maxsd {{[^,]*}}, %xmm0 572 ; FINITE-NEXT: ret 573 define double @ogt_y(double %x) nounwind { 574 %c = fcmp ogt double %x, -0.000000e+00 575 %d = select i1 %c, double %x, double -0.000000e+00 576 ret double %d 577 } 578 579 ; CHECK-LABEL: olt_y: 580 ; CHECK-NEXT: minsd {{[^,]*}}, %xmm0 581 ; CHECK-NEXT: ret 582 ; UNSAFE-LABEL: olt_y: 583 ; UNSAFE-NEXT: minsd {{[^,]*}}, %xmm0 584 ; UNSAFE-NEXT: ret 585 ; FINITE-LABEL: olt_y: 586 ; FINITE-NEXT: minsd {{[^,]*}}, %xmm0 587 ; FINITE-NEXT: ret 588 define double @olt_y(double %x) nounwind { 589 %c = fcmp olt double %x, -0.000000e+00 590 %d = select i1 %c, double %x, double -0.000000e+00 591 ret double %d 592 } 593 594 ; CHECK-LABEL: ogt_inverse_y: 595 ; CHECK-NEXT: movsd {{[^,]*}}, %xmm1 596 ; CHECK-NEXT: minsd %xmm0, %xmm1 597 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 598 ; CHECK-NEXT: ret 599 ; UNSAFE-LABEL: ogt_inverse_y: 600 ; UNSAFE-NEXT: minsd {{[^,]*}}, %xmm0 601 ; UNSAFE-NEXT: ret 602 ; FINITE-LABEL: ogt_inverse_y: 603 ; FINITE-NEXT: movsd {{[^,]*}}, %xmm1 604 ; FINITE-NEXT: minsd %xmm0, %xmm1 605 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 606 ; FINITE-NEXT: ret 607 define double @ogt_inverse_y(double %x) nounwind { 608 %c = fcmp ogt double %x, -0.000000e+00 609 %d = select i1 %c, double -0.000000e+00, double %x 610 ret double %d 611 } 612 613 ; CHECK-LABEL: olt_inverse_y: 614 ; CHECK-NEXT: movsd {{[^,]*}}, %xmm1 615 ; CHECK-NEXT: maxsd %xmm0, %xmm1 616 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 617 ; CHECK-NEXT: ret 618 ; UNSAFE-LABEL: olt_inverse_y: 619 ; UNSAFE-NEXT: maxsd {{[^,]*}}, %xmm0 620 ; UNSAFE-NEXT: ret 621 ; FINITE-LABEL: olt_inverse_y: 622 ; FINITE-NEXT: movsd {{[^,]*}}, %xmm1 623 ; FINITE-NEXT: maxsd %xmm0, %xmm1 624 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 625 ; FINITE-NEXT: ret 626 define double @olt_inverse_y(double %x) nounwind { 627 %c = fcmp olt double %x, -0.000000e+00 628 %d = select i1 %c, double -0.000000e+00, double %x 629 ret double %d 630 } 631 632 ; CHECK-LABEL: oge_y: 633 ; CHECK: cmplesd %xmm0 634 ; UNSAFE-LABEL: oge_y: 635 ; UNSAFE-NEXT: maxsd {{[^,]*}}, %xmm0 636 ; UNSAFE-NEXT: ret 637 ; FINITE-LABEL: oge_y: 638 ; FINITE-NEXT: maxsd {{[^,]*}}, %xmm0 639 ; FINITE-NEXT: ret 640 define double @oge_y(double %x) nounwind { 641 %c = fcmp oge double %x, -0.000000e+00 642 %d = select i1 %c, double %x, double -0.000000e+00 643 ret double %d 644 } 645 646 ; CHECK-LABEL: ole_y: 647 ; CHECK: cmplesd %xmm 648 ; UNSAFE-LABEL: ole_y: 649 ; UNSAFE-NEXT: minsd {{[^,]*}}, %xmm0 650 ; UNSAFE-NEXT: ret 651 ; FINITE-LABEL: ole_y: 652 ; FINITE-NEXT: minsd {{[^,]*}}, %xmm0 653 ; FINITE-NEXT: ret 654 define double @ole_y(double %x) nounwind { 655 %c = fcmp ole double %x, -0.000000e+00 656 %d = select i1 %c, double %x, double -0.000000e+00 657 ret double %d 658 } 659 660 ; CHECK-LABEL: oge_inverse_y: 661 ; CHECK: cmplesd %xmm0 662 ; UNSAFE-LABEL: oge_inverse_y: 663 ; UNSAFE-NEXT: minsd {{[^,]*}}, %xmm0 664 ; UNSAFE-NEXT: ret 665 ; FINITE-LABEL: oge_inverse_y: 666 ; FINITE-NEXT: movsd {{[^,]*}}, %xmm1 667 ; FINITE-NEXT: minsd %xmm0, %xmm1 668 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 669 ; FINITE-NEXT: ret 670 define double @oge_inverse_y(double %x) nounwind { 671 %c = fcmp oge double %x, -0.000000e+00 672 %d = select i1 %c, double -0.000000e+00, double %x 673 ret double %d 674 } 675 676 ; CHECK-LABEL: ole_inverse_y: 677 ; CHECK: cmplesd %xmm 678 ; UNSAFE-LABEL: ole_inverse_y: 679 ; UNSAFE-NEXT: maxsd {{[^,]*}}, %xmm0 680 ; UNSAFE-NEXT: ret 681 ; FINITE-LABEL: ole_inverse_y: 682 ; FINITE-NEXT: movsd {{[^,]*}}, %xmm1 683 ; FINITE-NEXT: maxsd %xmm0, %xmm1 684 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 685 ; FINITE-NEXT: ret 686 define double @ole_inverse_y(double %x) nounwind { 687 %c = fcmp ole double %x, -0.000000e+00 688 %d = select i1 %c, double -0.000000e+00, double %x 689 ret double %d 690 } 691 692 ; CHECK-LABEL: ugt_y: 693 ; CHECK: cmpnlesd %xmm 694 ; UNSAFE-LABEL: ugt_y: 695 ; UNSAFE-NEXT: maxsd {{[^,]*}}, %xmm0 696 ; UNSAFE-NEXT: ret 697 ; FINITE-LABEL: ugt_y: 698 ; FINITE-NEXT: maxsd {{[^,]*}}, %xmm0 699 ; FINITE-NEXT: ret 700 define double @ugt_y(double %x) nounwind { 701 %c = fcmp ugt double %x, -0.000000e+00 702 %d = select i1 %c, double %x, double -0.000000e+00 703 ret double %d 704 } 705 706 ; CHECK-LABEL: ult_y: 707 ; CHECK: cmpnlesd %xmm0 708 ; UNSAFE-LABEL: ult_y: 709 ; UNSAFE-NEXT: minsd {{[^,]*}}, %xmm0 710 ; UNSAFE-NEXT: ret 711 ; FINITE-LABEL: ult_y: 712 ; FINITE-NEXT: minsd {{[^,]*}}, %xmm0 713 ; FINITE-NEXT: ret 714 define double @ult_y(double %x) nounwind { 715 %c = fcmp ult double %x, -0.000000e+00 716 %d = select i1 %c, double %x, double -0.000000e+00 717 ret double %d 718 } 719 720 ; CHECK-LABEL: ugt_inverse_y: 721 ; CHECK: cmpnlesd %xmm 722 ; UNSAFE-LABEL: ugt_inverse_y: 723 ; UNSAFE-NEXT: minsd {{[^,]*}}, %xmm0 724 ; UNSAFE-NEXT: ret 725 ; FINITE-LABEL: ugt_inverse_y: 726 ; FINITE-NEXT: movsd {{[^,]*}}, %xmm1 727 ; FINITE-NEXT: minsd %xmm0, %xmm1 728 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 729 ; FINITE-NEXT: ret 730 define double @ugt_inverse_y(double %x) nounwind { 731 %c = fcmp ugt double %x, -0.000000e+00 732 %d = select i1 %c, double -0.000000e+00, double %x 733 ret double %d 734 } 735 736 ; CHECK-LABEL: ult_inverse_y: 737 ; CHECK: cmpnlesd %xmm 738 ; UNSAFE-LABEL: ult_inverse_y: 739 ; UNSAFE-NEXT: maxsd {{[^,]*}}, %xmm0 740 ; UNSAFE-NEXT: ret 741 ; FINITE-LABEL: ult_inverse_y: 742 ; FINITE-NEXT: movsd {{[^,]*}}, %xmm1 743 ; FINITE-NEXT: maxsd %xmm0, %xmm1 744 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 745 ; FINITE-NEXT: ret 746 define double @ult_inverse_y(double %x) nounwind { 747 %c = fcmp ult double %x, -0.000000e+00 748 %d = select i1 %c, double -0.000000e+00, double %x 749 ret double %d 750 } 751 752 ; CHECK-LABEL: uge_y: 753 ; CHECK-NEXT: movsd {{[^,]*}}, %xmm1 754 ; CHECK-NEXT: maxsd %xmm0, %xmm1 755 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 756 ; CHECK-NEXT: ret 757 ; UNSAFE-LABEL: uge_y: 758 ; UNSAFE-NEXT: maxsd {{[^,]*}}, %xmm0 759 ; UNSAFE-NEXT: ret 760 ; FINITE-LABEL: uge_y: 761 ; FINITE-NEXT: maxsd {{[^,]*}}, %xmm0 762 ; FINITE-NEXT: ret 763 define double @uge_y(double %x) nounwind { 764 %c = fcmp uge double %x, -0.000000e+00 765 %d = select i1 %c, double %x, double -0.000000e+00 766 ret double %d 767 } 768 769 ; CHECK-LABEL: ule_y: 770 ; CHECK-NEXT: movsd {{[^,]*}}, %xmm1 771 ; CHECK-NEXT: minsd %xmm0, %xmm1 772 ; CHECK-NEXT: movap{{[sd]}} %xmm1, %xmm0 773 ; CHECK-NEXT: ret 774 ; UNSAFE-LABEL: ule_y: 775 ; UNSAFE-NEXT: minsd {{[^,]*}}, %xmm0 776 ; UNSAFE-NEXT: ret 777 ; FINITE-LABEL: ule_y: 778 ; FINITE-NEXT: minsd {{[^,]*}}, %xmm0 779 ; FINITE-NEXT: ret 780 define double @ule_y(double %x) nounwind { 781 %c = fcmp ule double %x, -0.000000e+00 782 %d = select i1 %c, double %x, double -0.000000e+00 783 ret double %d 784 } 785 786 ; CHECK-LABEL: uge_inverse_y: 787 ; CHECK-NEXT: minsd {{[^,]*}}, %xmm0 788 ; CHECK-NEXT: ret 789 ; UNSAFE-LABEL: uge_inverse_y: 790 ; UNSAFE-NEXT: minsd {{[^,]*}}, %xmm0 791 ; UNSAFE-NEXT: ret 792 ; FINITE-LABEL: uge_inverse_y: 793 ; FINITE-NEXT: movsd {{[^,]*}}, %xmm1 794 ; FINITE-NEXT: minsd %xmm0, %xmm1 795 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 796 ; FINITE-NEXT: ret 797 define double @uge_inverse_y(double %x) nounwind { 798 %c = fcmp uge double %x, -0.000000e+00 799 %d = select i1 %c, double -0.000000e+00, double %x 800 ret double %d 801 } 802 803 ; CHECK-LABEL: ule_inverse_y: 804 ; CHECK-NEXT: maxsd {{[^,]*}}, %xmm0 805 ; CHECK-NEXT: ret 806 ; UNSAFE-LABEL: ule_inverse_y: 807 ; UNSAFE-NEXT: maxsd {{[^,]*}}, %xmm0 808 ; UNSAFE-NEXT: ret 809 ; FINITE-LABEL: ule_inverse_y: 810 ; FINITE-NEXT: movsd {{[^,]*}}, %xmm1 811 ; FINITE-NEXT: maxsd %xmm0, %xmm1 812 ; FINITE-NEXT: movap{{[sd]}} %xmm1, %xmm0 813 ; FINITE-NEXT: ret 814 define double @ule_inverse_y(double %x) nounwind { 815 %c = fcmp ule double %x, -0.000000e+00 816 %d = select i1 %c, double -0.000000e+00, double %x 817 ret double %d 818 } 819 ; Test a few more misc. cases. 820 821 ; CHECK-LABEL: clampTo3k_a: 822 ; CHECK: minsd 823 ; UNSAFE-LABEL: clampTo3k_a: 824 ; UNSAFE: minsd 825 ; FINITE-LABEL: clampTo3k_a: 826 ; FINITE: minsd 827 define double @clampTo3k_a(double %x) nounwind readnone { 828 entry: 829 %0 = fcmp ogt double %x, 3.000000e+03 ; <i1> [#uses=1] 830 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1] 831 ret double %x_addr.0 832 } 833 834 ; CHECK-LABEL: clampTo3k_b: 835 ; CHECK: minsd 836 ; UNSAFE-LABEL: clampTo3k_b: 837 ; UNSAFE: minsd 838 ; FINITE-LABEL: clampTo3k_b: 839 ; FINITE: minsd 840 define double @clampTo3k_b(double %x) nounwind readnone { 841 entry: 842 %0 = fcmp uge double %x, 3.000000e+03 ; <i1> [#uses=1] 843 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1] 844 ret double %x_addr.0 845 } 846 847 ; CHECK-LABEL: clampTo3k_c: 848 ; CHECK: maxsd 849 ; UNSAFE-LABEL: clampTo3k_c: 850 ; UNSAFE: maxsd 851 ; FINITE-LABEL: clampTo3k_c: 852 ; FINITE: maxsd 853 define double @clampTo3k_c(double %x) nounwind readnone { 854 entry: 855 %0 = fcmp olt double %x, 3.000000e+03 ; <i1> [#uses=1] 856 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1] 857 ret double %x_addr.0 858 } 859 860 ; CHECK-LABEL: clampTo3k_d: 861 ; CHECK: maxsd 862 ; UNSAFE-LABEL: clampTo3k_d: 863 ; UNSAFE: maxsd 864 ; FINITE-LABEL: clampTo3k_d: 865 ; FINITE: maxsd 866 define double @clampTo3k_d(double %x) nounwind readnone { 867 entry: 868 %0 = fcmp ule double %x, 3.000000e+03 ; <i1> [#uses=1] 869 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1] 870 ret double %x_addr.0 871 } 872 873 ; CHECK-LABEL: clampTo3k_e: 874 ; CHECK: maxsd 875 ; UNSAFE-LABEL: clampTo3k_e: 876 ; UNSAFE: maxsd 877 ; FINITE-LABEL: clampTo3k_e: 878 ; FINITE: maxsd 879 define double @clampTo3k_e(double %x) nounwind readnone { 880 entry: 881 %0 = fcmp olt double %x, 3.000000e+03 ; <i1> [#uses=1] 882 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1] 883 ret double %x_addr.0 884 } 885 886 ; CHECK-LABEL: clampTo3k_f: 887 ; CHECK: maxsd 888 ; UNSAFE-LABEL: clampTo3k_f: 889 ; UNSAFE: maxsd 890 ; FINITE-LABEL: clampTo3k_f: 891 ; FINITE: maxsd 892 define double @clampTo3k_f(double %x) nounwind readnone { 893 entry: 894 %0 = fcmp ule double %x, 3.000000e+03 ; <i1> [#uses=1] 895 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1] 896 ret double %x_addr.0 897 } 898 899 ; CHECK-LABEL: clampTo3k_g: 900 ; CHECK: minsd 901 ; UNSAFE-LABEL: clampTo3k_g: 902 ; UNSAFE: minsd 903 ; FINITE-LABEL: clampTo3k_g: 904 ; FINITE: minsd 905 define double @clampTo3k_g(double %x) nounwind readnone { 906 entry: 907 %0 = fcmp ogt double %x, 3.000000e+03 ; <i1> [#uses=1] 908 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1] 909 ret double %x_addr.0 910 } 911 912 ; CHECK-LABEL: clampTo3k_h: 913 ; CHECK: minsd 914 ; UNSAFE-LABEL: clampTo3k_h: 915 ; UNSAFE: minsd 916 ; FINITE-LABEL: clampTo3k_h: 917 ; FINITE: minsd 918 define double @clampTo3k_h(double %x) nounwind readnone { 919 entry: 920 %0 = fcmp uge double %x, 3.000000e+03 ; <i1> [#uses=1] 921 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1] 922 ret double %x_addr.0 923 } 924 925 ; UNSAFE-LABEL: test_maxpd: 926 ; UNSAFE: maxpd 927 define <2 x double> @test_maxpd(<2 x double> %x, <2 x double> %y) { 928 %max_is_x = fcmp oge <2 x double> %x, %y 929 %max = select <2 x i1> %max_is_x, <2 x double> %x, <2 x double> %y 930 ret <2 x double> %max 931 } 932 933 ; UNSAFE-LABEL: test_minpd: 934 ; UNSAFE: minpd 935 define <2 x double> @test_minpd(<2 x double> %x, <2 x double> %y) { 936 %min_is_x = fcmp ole <2 x double> %x, %y 937 %min = select <2 x i1> %min_is_x, <2 x double> %x, <2 x double> %y 938 ret <2 x double> %min 939 } 940 941 ; UNSAFE-LABEL: test_maxps: 942 ; UNSAFE: maxps 943 define <4 x float> @test_maxps(<4 x float> %x, <4 x float> %y) { 944 %max_is_x = fcmp oge <4 x float> %x, %y 945 %max = select <4 x i1> %max_is_x, <4 x float> %x, <4 x float> %y 946 ret <4 x float> %max 947 } 948 949 ; UNSAFE-LABEL: test_minps: 950 ; UNSAFE: minps 951 define <4 x float> @test_minps(<4 x float> %x, <4 x float> %y) { 952 %min_is_x = fcmp ole <4 x float> %x, %y 953 %min = select <4 x i1> %min_is_x, <4 x float> %x, <4 x float> %y 954 ret <4 x float> %min 955 } 956
