test/CodeGen/X86/fast-isel-cmp-branch3.ll

   1 ; RUN: llc < %s -fast-isel -fast-isel-abort=1 -mtriple=x86_64-apple-darwin10 | FileCheck %s
   2
   3 define i32 @fcmp_oeq1(float %x) {
   4 ; CHECK-LABEL: fcmp_oeq1
   5 ; CHECK:       ucomiss  %xmm0, %xmm0
   6 ; CHECK-NEXT:  jp {{LBB.+_1}}
   7   %1 = fcmp oeq float %x, %x
   8   br i1 %1, label %bb1, label %bb2
   9 bb2:
  10   ret i32 1
  11 bb1:
  12   ret i32 0
  13 }
  14
  15 define i32 @fcmp_oeq2(float %x) {
  16 ; CHECK-LABEL: fcmp_oeq2
  17 ; CHECK:       xorps    %xmm1, %xmm1
  18 ; CHECK-NEXT:  ucomiss  %xmm1, %xmm0
  19 ; CHECK-NEXT:  jne {{LBB.+_1}}
  20 ; CHECK-NEXT:  jp {{LBB.+_1}}
  21   %1 = fcmp oeq float %x, 0.000000e+00
  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_ogt1(float %x) {
  30 ; CHECK-LABEL: fcmp_ogt1
  31 ; CHECK-NOT:   ucomiss
  32 ; CHECK:       movl $1, %eax
  33   %1 = fcmp ogt float %x, %x
  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_ogt2(float %x) {
  42 ; CHECK-LABEL: fcmp_ogt2
  43 ; CHECK:       xorps    %xmm1, %xmm1
  44 ; CHECK-NEXT:  ucomiss  %xmm1, %xmm0
  45 ; CHECK-NEXT:  jbe {{LBB.+_1}}
  46   %1 = fcmp ogt float %x, 0.000000e+00
  47   br i1 %1, label %bb1, label %bb2
  48 bb2:
  49   ret i32 1
  50 bb1:
  51   ret i32 0
  52 }
  53
  54 define i32 @fcmp_oge1(float %x) {
  55 ; CHECK-LABEL: fcmp_oge1
  56 ; CHECK:       ucomiss  %xmm0, %xmm0
  57 ; CHECK-NEXT:  jp {{LBB.+_1}}
  58   %1 = fcmp oge float %x, %x
  59   br i1 %1, label %bb1, label %bb2
  60 bb2:
  61   ret i32 1
  62 bb1:
  63   ret i32 0
  64 }
  65
  66 define i32 @fcmp_oge2(float %x) {
  67 ; CHECK-LABEL: fcmp_oge2
  68 ; CHECK:       xorps    %xmm1, %xmm1
  69 ; CHECK-NEXT:  ucomiss  %xmm1, %xmm0
  70 ; CHECK-NEXT:  jb {{LBB.+_1}}
  71   %1 = fcmp oge float %x, 0.000000e+00
  72   br i1 %1, label %bb1, label %bb2
  73 bb2:
  74   ret i32 1
  75 bb1:
  76   ret i32 0
  77 }
  78
  79 define i32 @fcmp_olt1(float %x) {
  80 ; CHECK-LABEL: fcmp_olt1
  81 ; CHECK-NOT:   ucomiss
  82 ; CHECK:       movl $1, %eax
  83   %1 = fcmp olt float %x, %x
  84   br i1 %1, label %bb1, label %bb2
  85 bb2:
  86   ret i32 1
  87 bb1:
  88   ret i32 0
  89 }
  90
  91 define i32 @fcmp_olt2(float %x) {
  92 ; CHECK-LABEL: fcmp_olt2
  93 ; CHECK:       xorps    %xmm1, %xmm1
  94 ; CHECK-NEXT:  ucomiss  %xmm0, %xmm1
  95 ; CHECK-NEXT:  jbe {{LBB.+_1}}
  96   %1 = fcmp olt float %x, 0.000000e+00
  97   br i1 %1, label %bb1, label %bb2
  98 bb2:
  99   ret i32 1
 100 bb1:
 101   ret i32 0
 102 }
 103
 104 define i32 @fcmp_ole1(float %x) {
 105 ; CHECK-LABEL: fcmp_ole1
 106 ; CHECK:       ucomiss  %xmm0, %xmm0
 107 ; CHECK-NEXT:  jp {{LBB.+_1}}
 108   %1 = fcmp ole float %x, %x
 109   br i1 %1, label %bb1, label %bb2
 110 bb2:
 111   ret i32 1
 112 bb1:
 113   ret i32 0
 114 }
 115
 116 define i32 @fcmp_ole2(float %x) {
 117 ; CHECK-LABEL: fcmp_ole2
 118 ; CHECK:       xorps    %xmm1, %xmm1
 119 ; CHECK-NEXT:  ucomiss  %xmm0, %xmm1
 120 ; CHECK-NEXT:  jb {{LBB.+_1}}
 121   %1 = fcmp ole float %x, 0.000000e+00
 122   br i1 %1, label %bb1, label %bb2
 123 bb2:
 124   ret i32 1
 125 bb1:
 126   ret i32 0
 127 }
 128
 129 define i32 @fcmp_one1(float %x) {
 130 ; CHECK-LABEL: fcmp_one1
 131 ; CHECK-NOT:   ucomiss
 132 ; CHECK:       movl $1, %eax
 133   %1 = fcmp one float %x, %x
 134   br i1 %1, label %bb1, label %bb2
 135 bb2:
 136   ret i32 1
 137 bb1:
 138   ret i32 0
 139 }
 140
 141 define i32 @fcmp_one2(float %x) {
 142 ; CHECK-LABEL: fcmp_one2
 143 ; CHECK:       xorps    %xmm1, %xmm1
 144 ; CHECK-NEXT:  ucomiss  %xmm1, %xmm0
 145 ; CHECK-NEXT:  je {{LBB.+_1}}
 146   %1 = fcmp one float %x, 0.000000e+00
 147   br i1 %1, label %bb1, label %bb2
 148 bb2:
 149   ret i32 1
 150 bb1:
 151   ret i32 0
 152 }
 153
 154 define i32 @fcmp_ord1(float %x) {
 155 ; CHECK-LABEL: fcmp_ord1
 156 ; CHECK:       ucomiss  %xmm0, %xmm0
 157 ; CHECK-NEXT:  jp {{LBB.+_1}}
 158   %1 = fcmp ord float %x, %x
 159   br i1 %1, label %bb1, label %bb2
 160 bb2:
 161   ret i32 1
 162 bb1:
 163   ret i32 0
 164 }
 165
 166 define i32 @fcmp_ord2(float %x) {
 167 ; CHECK-LABEL: fcmp_ord2
 168 ; CHECK:       ucomiss  %xmm0, %xmm0
 169 ; CHECK-NEXT:  jp {{LBB.+_1}}
 170   %1 = fcmp ord float %x, 0.000000e+00
 171   br i1 %1, label %bb1, label %bb2
 172 bb2:
 173   ret i32 1
 174 bb1:
 175   ret i32 0
 176 }
 177
 178 define i32 @fcmp_uno1(float %x) {
 179 ; CHECK-LABEL: fcmp_uno1
 180 ; CHECK:       ucomiss  %xmm0, %xmm0
 181 ; CHECK-NEXT:  jp {{LBB.+_2}}
 182   %1 = fcmp uno float %x, %x
 183   br i1 %1, label %bb1, label %bb2
 184 bb2:
 185   ret i32 1
 186 bb1:
 187   ret i32 0
 188 }
 189
 190 define i32 @fcmp_uno2(float %x) {
 191 ; CHECK-LABEL: fcmp_uno2
 192 ; CHECK:       ucomiss  %xmm0, %xmm0
 193 ; CHECK-NEXT:  jp {{LBB.+_2}}
 194   %1 = fcmp uno float %x, 0.000000e+00
 195   br i1 %1, label %bb1, label %bb2
 196 bb2:
 197   ret i32 1
 198 bb1:
 199   ret i32 0
 200 }
 201
 202 define i32 @fcmp_ueq1(float %x) {
 203 ; CHECK-LABEL: fcmp_ueq1
 204 ; CHECK-NOT:   ucomiss
 205   %1 = fcmp ueq float %x, %x
 206   br i1 %1, label %bb1, label %bb2
 207 bb2:
 208   ret i32 1
 209 bb1:
 210   ret i32 0
 211 }
 212
 213 define i32 @fcmp_ueq2(float %x) {
 214 ; CHECK-LABEL: fcmp_ueq2
 215 ; CHECK:       xorps    %xmm1, %xmm1
 216 ; CHECK-NEXT:  ucomiss  %xmm1, %xmm0
 217 ; CHECK-NEXT:  je {{LBB.+_2}}
 218   %1 = fcmp ueq float %x, 0.000000e+00
 219   br i1 %1, label %bb1, label %bb2
 220 bb2:
 221   ret i32 1
 222 bb1:
 223   ret i32 0
 224 }
 225
 226 define i32 @fcmp_ugt1(float %x) {
 227 ; CHECK-LABEL: fcmp_ugt1
 228 ; CHECK:       ucomiss  %xmm0, %xmm0
 229 ; CHECK-NEXT:  jnp {{LBB.+_1}}
 230   %1 = fcmp ugt float %x, %x
 231   br i1 %1, label %bb1, label %bb2
 232 bb2:
 233   ret i32 1
 234 bb1:
 235   ret i32 0
 236 }
 237
 238 define i32 @fcmp_ugt2(float %x) {
 239 ; CHECK-LABEL: fcmp_ugt2
 240 ; CHECK:       xorps    %xmm1, %xmm1
 241 ; CHECK-NEXT:  ucomiss  %xmm0, %xmm1
 242 ; CHECK-NEXT:  jae {{LBB.+_1}}
 243   %1 = fcmp ugt float %x, 0.000000e+00
 244   br i1 %1, label %bb1, label %bb2
 245 bb2:
 246   ret i32 1
 247 bb1:
 248   ret i32 0
 249 }
 250
 251 define i32 @fcmp_uge1(float %x) {
 252 ; CHECK-LABEL: fcmp_uge1
 253 ; CHECK-NOT:   ucomiss
 254   %1 = fcmp uge float %x, %x
 255   br i1 %1, label %bb1, label %bb2
 256 bb2:
 257   ret i32 1
 258 bb1:
 259   ret i32 0
 260 }
 261
 262 define i32 @fcmp_uge2(float %x) {
 263 ; CHECK-LABEL: fcmp_uge2
 264 ; CHECK:       xorps    %xmm1, %xmm1
 265 ; CHECK-NEXT:  ucomiss  %xmm0, %xmm1
 266 ; CHECK-NEXT:  ja {{LBB.+_1}}
 267   %1 = fcmp uge float %x, 0.000000e+00
 268   br i1 %1, label %bb1, label %bb2
 269 bb2:
 270   ret i32 1
 271 bb1:
 272   ret i32 0
 273 }
 274
 275 define i32 @fcmp_ult1(float %x) {
 276 ; CHECK-LABEL: fcmp_ult1
 277 ; CHECK:       ucomiss  %xmm0, %xmm0
 278 ; CHECK-NEXT:  jnp {{LBB.+_1}}
 279   %1 = fcmp ult float %x, %x
 280   br i1 %1, label %bb1, label %bb2
 281 bb2:
 282   ret i32 1
 283 bb1:
 284   ret i32 0
 285 }
 286
 287 define i32 @fcmp_ult2(float %x) {
 288 ; CHECK-LABEL: fcmp_ult2
 289 ; CHECK:       xorps    %xmm1, %xmm1
 290 ; CHECK-NEXT:  ucomiss  %xmm1, %xmm0
 291 ; CHECK-NEXT:  jae {{LBB.+_1}}
 292   %1 = fcmp ult float %x, 0.000000e+00
 293   br i1 %1, label %bb1, label %bb2
 294 bb2:
 295   ret i32 1
 296 bb1:
 297   ret i32 0
 298 }
 299
 300 define i32 @fcmp_ule1(float %x) {
 301 ; CHECK-LABEL: fcmp_ule1
 302 ; CHECK-NOT:   ucomiss
 303   %1 = fcmp ule float %x, %x
 304   br i1 %1, label %bb1, label %bb2
 305 bb2:
 306   ret i32 1
 307 bb1:
 308   ret i32 0
 309 }
 310
 311 define i32 @fcmp_ule2(float %x) {
 312 ; CHECK-LABEL: fcmp_ule2
 313 ; CHECK:       xorps    %xmm1, %xmm1
 314 ; CHECK-NEXT:  ucomiss  %xmm1, %xmm0
 315 ; CHECK-NEXT:  ja {{LBB.+_1}}
 316   %1 = fcmp ule float %x, 0.000000e+00
 317   br i1 %1, label %bb1, label %bb2
 318 bb2:
 319   ret i32 1
 320 bb1:
 321   ret i32 0
 322 }
 323
 324 define i32 @fcmp_une1(float %x) {
 325 ; CHECK-LABEL: fcmp_une1
 326 ; CHECK:       ucomiss  %xmm0, %xmm0
 327 ; CHECK-NEXT:  jnp {{LBB.+_1}}
 328   %1 = fcmp une float %x, %x
 329   br i1 %1, label %bb1, label %bb2
 330 bb2:
 331   ret i32 1
 332 bb1:
 333   ret i32 0
 334 }
 335
 336 define i32 @fcmp_une2(float %x) {
 337 ; CHECK-LABEL: fcmp_une2
 338 ; CHECK:       xorps    %xmm1, %xmm1
 339 ; CHECK-NEXT:  ucomiss  %xmm1, %xmm0
 340 ; CHECK-NEXT:  jne {{LBB.+_2}}
 341 ; CHECK-NEXT:  jnp {{LBB.+_1}}
 342   %1 = fcmp une float %x, 0.000000e+00
 343   br i1 %1, label %bb1, label %bb2
 344 bb2:
 345   ret i32 1
 346 bb1:
 347   ret i32 0
 348 }
 349
 350 define i32 @icmp_eq(i32 %x) {
 351 ; CHECK-LABEL: icmp_eq
 352 ; CHECK-NOT:   cmpl
 353 ; CHECK:       xorl %eax, %eax
 354   %1 = icmp eq i32 %x, %x
 355   br i1 %1, label %bb1, label %bb2
 356 bb2:
 357   ret i32 1
 358 bb1:
 359   ret i32 0
 360 }
 361
 362 define i32 @icmp_ne(i32 %x) {
 363 ; CHECK-LABEL: icmp_ne
 364 ; CHECK-NOT:   cmpl
 365 ; CHECK:       movl $1, %eax
 366   %1 = icmp ne i32 %x, %x
 367   br i1 %1, label %bb1, label %bb2
 368 bb2:
 369   ret i32 1
 370 bb1:
 371   ret i32 0
 372 }
 373
 374 define i32 @icmp_ugt(i32 %x) {
 375 ; CHECK-LABEL: icmp_ugt
 376 ; CHECK-NOT:   cmpl
 377 ; CHECK:       movl $1, %eax
 378   %1 = icmp ugt i32 %x, %x
 379   br i1 %1, label %bb1, label %bb2
 380 bb2:
 381   ret i32 1
 382 bb1:
 383   ret i32 0
 384 }
 385
 386 define i32 @icmp_uge(i32 %x) {
 387 ; CHECK-LABEL: icmp_uge
 388 ; CHECK-NOT:   cmpl
 389 ; CHECK:       xorl %eax, %eax
 390   %1 = icmp uge i32 %x, %x
 391   br i1 %1, label %bb1, label %bb2
 392 bb2:
 393   ret i32 1
 394 bb1:
 395   ret i32 0
 396 }
 397
 398 define i32 @icmp_ult(i32 %x) {
 399 ; CHECK-LABEL: icmp_ult
 400 ; CHECK-NOT:   cmpl
 401 ; CHECK:       movl $1, %eax
 402   %1 = icmp ult i32 %x, %x
 403   br i1 %1, label %bb1, label %bb2
 404 bb2:
 405   ret i32 1
 406 bb1:
 407   ret i32 0
 408 }
 409
 410 define i32 @icmp_ule(i32 %x) {
 411 ; CHECK-LABEL: icmp_ule
 412 ; CHECK-NOT:   cmpl
 413 ; CHECK:       xorl %eax, %eax
 414   %1 = icmp ule i32 %x, %x
 415   br i1 %1, label %bb1, label %bb2
 416 bb2:
 417   ret i32 1
 418 bb1:
 419   ret i32 0
 420 }
 421
 422 define i32 @icmp_sgt(i32 %x) {
 423 ; CHECK-LABEL: icmp_sgt
 424 ; CHECK-NOT:   cmpl
 425 ; CHECK:       movl $1, %eax
 426   %1 = icmp sgt i32 %x, %x
 427   br i1 %1, label %bb1, label %bb2
 428 bb2:
 429   ret i32 1
 430 bb1:
 431   ret i32 0
 432 }
 433
 434 define i32 @icmp_sge(i32 %x) {
 435 ; CHECK-LABEL: icmp_sge
 436 ; CHECK-NOT:   cmpl
 437 ; CHECK:       xorl %eax, %eax
 438   %1 = icmp sge i32 %x, %x
 439   br i1 %1, label %bb1, label %bb2
 440 bb2:
 441   ret i32 1
 442 bb1:
 443   ret i32 0
 444 }
 445
 446 define i32 @icmp_slt(i32 %x) {
 447 ; CHECK-LABEL: icmp_slt
 448 ; CHECK-NOT:   cmpl
 449 ; CHECK:       movl $1, %eax
 450   %1 = icmp slt i32 %x, %x
 451   br i1 %1, label %bb1, label %bb2
 452 bb2:
 453   ret i32 1
 454 bb1:
 455   ret i32 0
 456 }
 457
 458 define i32 @icmp_sle(i32 %x) {
 459 ; CHECK-LABEL: icmp_sle
 460 ; CHECK-NOT:   cmpl
 461 ; CHECK:       xorl %eax, %eax
 462   %1 = icmp sle i32 %x, %x
 463   br i1 %1, label %bb1, label %bb2
 464 bb2:
 465   ret i32 1
 466 bb1:
 467   ret i32 0
 468 }
 469