test/CodeGen/CellSPU/icmp32.ll

   1 ; RUN: llc < %s -march=cellspu | FileCheck %s
   2
   3 target datalayout = "E-p:32:32:128-f64:64:128-f32:32:128-i64:32:128-i32:32:128-i16:16:128-i8:8:128-i1:8:128-a0:0:128-v128:128:128-s0:128:128"
   4 target triple = "spu"
   5
   6 ; $3 = %arg1, $4 = %arg2, $5 = %val1, $6 = %val2
   7 ; $3 = %arg1, $4 = %val1, $5 = %val2
   8 ;
   9 ; For "positive" comparisons:
  10 ; selb $3, $6, $5, <i1>
  11 ; selb $3, $5, $4, <i1>
  12 ;
  13 ; For "negative" comparisons, i.e., those where the result of the comparison
  14 ; must be inverted (setne, for example):
  15 ; selb $3, $5, $6, <i1>
  16 ; selb $3, $4, $5, <i1>
  17
  18 ; i32 integer comparisons:
  19 define i32 @icmp_eq_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
  20 ; CHECK:      icmp_eq_select_i32:
  21 ; CHECK:        ceq
  22 ; CHECK:        selb $3, $6, $5, $3
  23
  24 entry:
  25        %A = icmp eq i32 %arg1, %arg2
  26        %B = select i1 %A, i32 %val1, i32 %val2
  27        ret i32 %B
  28 }
  29
  30 define i1 @icmp_eq_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
  31 ; CHECK:      icmp_eq_setcc_i32:
  32 ; CHECK:        ilhu
  33 ; CHECK:        ceq
  34 ; CHECK:        iohl
  35 ; CHECK:        shufb
  36
  37 entry:
  38        %A = icmp eq i32 %arg1, %arg2
  39        ret i1 %A
  40 }
  41
  42 define i32 @icmp_eq_immed01_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
  43 ; CHECK:      icmp_eq_immed01_i32:
  44 ; CHECK:        ceqi
  45 ; CHECK:        selb $3, $5, $4, $3
  46
  47 entry:
  48        %A = icmp eq i32 %arg1, 511
  49        %B = select i1 %A, i32 %val1, i32 %val2
  50        ret i32 %B
  51 }
  52
  53 define i32 @icmp_eq_immed02_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
  54 ; CHECK:      icmp_eq_immed02_i32:
  55 ; CHECK:        ceqi
  56 ; CHECK:        selb $3, $5, $4, $3
  57
  58 entry:
  59        %A = icmp eq i32 %arg1, -512
  60        %B = select i1 %A, i32 %val1, i32 %val2
  61        ret i32 %B
  62 }
  63
  64 define i32 @icmp_eq_immed03_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
  65 ; CHECK:      icmp_eq_immed03_i32:
  66 ; CHECK:        ceqi
  67 ; CHECK:        selb $3, $5, $4, $3
  68
  69 entry:
  70        %A = icmp eq i32 %arg1, -1
  71        %B = select i1 %A, i32 %val1, i32 %val2
  72        ret i32 %B
  73 }
  74
  75 define i32 @icmp_eq_immed04_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
  76 ; CHECK:      icmp_eq_immed04_i32:
  77 ; CHECK:        ila
  78 ; CHECK:        ceq
  79 ; CHECK:        selb $3, $5, $4, $3
  80
  81 entry:
  82        %A = icmp eq i32 %arg1, 32768
  83        %B = select i1 %A, i32 %val1, i32 %val2
  84        ret i32 %B
  85 }
  86
  87 define i32 @icmp_ne_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
  88 ; CHECK:      icmp_ne_select_i32:
  89 ; CHECK:        ceq
  90 ; CHECK:        selb $3, $5, $6, $3
  91
  92 entry:
  93        %A = icmp ne i32 %arg1, %arg2
  94        %B = select i1 %A, i32 %val1, i32 %val2
  95        ret i32 %B
  96 }
  97
  98 define i1 @icmp_ne_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
  99 ; CHECK:      icmp_ne_setcc_i32:
 100 ; CHECK:        ceq
 101 ; CHECK:        ilhu
 102 ; CHECK:        xori
 103 ; CHECK:        iohl
 104 ; CHECK:        shufb
 105
 106 entry:
 107        %A = icmp ne i32 %arg1, %arg2
 108        ret i1 %A
 109 }
 110
 111 define i32 @icmp_ne_immed01_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 112 ; CHECK:      icmp_ne_immed01_i32:
 113 ; CHECK:        ceqi
 114 ; CHECK:        selb $3, $4, $5, $3
 115
 116 entry:
 117        %A = icmp ne i32 %arg1, 511
 118        %B = select i1 %A, i32 %val1, i32 %val2
 119        ret i32 %B
 120 }
 121
 122 define i32 @icmp_ne_immed02_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 123 ; CHECK:      icmp_ne_immed02_i32:
 124 ; CHECK:        ceqi
 125 ; CHECK:        selb $3, $4, $5, $3
 126
 127 entry:
 128        %A = icmp ne i32 %arg1, -512
 129        %B = select i1 %A, i32 %val1, i32 %val2
 130        ret i32 %B
 131 }
 132
 133 define i32 @icmp_ne_immed03_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 134 ; CHECK:      icmp_ne_immed03_i32:
 135 ; CHECK:        ceqi
 136 ; CHECK:        selb $3, $4, $5, $3
 137
 138 entry:
 139        %A = icmp ne i32 %arg1, -1
 140        %B = select i1 %A, i32 %val1, i32 %val2
 141        ret i32 %B
 142 }
 143
 144 define i32 @icmp_ne_immed04_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 145 ; CHECK:      icmp_ne_immed04_i32:
 146 ; CHECK:        ila
 147 ; CHECK:        ceq
 148 ; CHECK:        selb $3, $4, $5, $3
 149
 150 entry:
 151        %A = icmp ne i32 %arg1, 32768
 152        %B = select i1 %A, i32 %val1, i32 %val2
 153        ret i32 %B
 154 }
 155
 156 define i32 @icmp_ugt_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 157 ; CHECK:      icmp_ugt_select_i32:
 158 ; CHECK:        clgt
 159 ; CHECK:        selb $3, $6, $5, $3
 160
 161 entry:
 162        %A = icmp ugt i32 %arg1, %arg2
 163        %B = select i1 %A, i32 %val1, i32 %val2
 164        ret i32 %B
 165 }
 166
 167 define i1 @icmp_ugt_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 168 ; CHECK:      icmp_ugt_setcc_i32:
 169 ; CHECK:        ilhu
 170 ; CHECK:        clgt
 171 ; CHECK:        iohl
 172 ; CHECK:        shufb
 173
 174 entry:
 175        %A = icmp ugt i32 %arg1, %arg2
 176        ret i1 %A
 177 }
 178
 179 define i32 @icmp_ugt_immed01_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 180 ; CHECK:      icmp_ugt_immed01_i32:
 181 ; CHECK:        clgti
 182 ; CHECK:        selb $3, $5, $4, $3
 183
 184 entry:
 185        %A = icmp ugt i32 %arg1, 511
 186        %B = select i1 %A, i32 %val1, i32 %val2
 187        ret i32 %B
 188 }
 189
 190 define i32 @icmp_ugt_immed02_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 191 ; CHECK:      icmp_ugt_immed02_i32:
 192 ; CHECK:        clgti
 193 ; CHECK:        selb $3, $5, $4, $3
 194
 195 entry:
 196        %A = icmp ugt i32 %arg1, 4294966784
 197        %B = select i1 %A, i32 %val1, i32 %val2
 198        ret i32 %B
 199 }
 200
 201 define i32 @icmp_ugt_immed03_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 202 ; CHECK:      icmp_ugt_immed03_i32:
 203 ; CHECK:        clgti
 204 ; CHECK:        selb $3, $5, $4, $3
 205
 206 entry:
 207        %A = icmp ugt i32 %arg1, 4294967293
 208        %B = select i1 %A, i32 %val1, i32 %val2
 209        ret i32 %B
 210 }
 211
 212 define i32 @icmp_ugt_immed04_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 213 ; CHECK:      icmp_ugt_immed04_i32:
 214 ; CHECK:        ila
 215 ; CHECK:        clgt
 216 ; CHECK:        selb $3, $5, $4, $3
 217
 218 entry:
 219        %A = icmp ugt i32 %arg1, 32768
 220        %B = select i1 %A, i32 %val1, i32 %val2
 221        ret i32 %B
 222 }
 223
 224 define i32 @icmp_uge_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 225 ; CHECK:      icmp_uge_select_i32:
 226 ; CHECK:        ceq
 227 ; CHECK:        clgt
 228 ; CHECK:        or
 229 ; CHECK:        selb $3, $6, $5, $3
 230
 231 entry:
 232        %A = icmp uge i32 %arg1, %arg2
 233        %B = select i1 %A, i32 %val1, i32 %val2
 234        ret i32 %B
 235 }
 236
 237 define i1 @icmp_uge_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 238 ; CHECK:      icmp_uge_setcc_i32:
 239 ; CHECK:        ceq
 240 ; CHECK:        clgt
 241 ; CHECK:        ilhu
 242 ; CHECK:        or
 243 ; CHECK:        iohl
 244 ; CHECK:        shufb
 245
 246 entry:
 247        %A = icmp uge i32 %arg1, %arg2
 248        ret i1 %A
 249 }
 250
 251 ;; Note: icmp uge i32 %arg1, <immed> can always be transformed into
 252 ;;       icmp ugt i32 %arg1, <immed>-1
 253 ;;
 254 ;; Consequently, even though the patterns exist to match, it's unlikely
 255 ;; they'll ever be generated.
 256
 257 define i32 @icmp_ult_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 258 ; CHECK:      icmp_ult_select_i32:
 259 ; CHECK:        ceq
 260 ; CHECK:        clgt
 261 ; CHECK:        nor
 262 ; CHECK:        selb $3, $6, $5, $3
 263
 264 entry:
 265        %A = icmp ult i32 %arg1, %arg2
 266        %B = select i1 %A, i32 %val1, i32 %val2
 267        ret i32 %B
 268 }
 269
 270 define i1 @icmp_ult_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 271 ; CHECK:      icmp_ult_setcc_i32:
 272 ; CHECK:        ceq
 273 ; CHECK:        clgt
 274 ; CHECK:        ilhu
 275 ; CHECK:        nor
 276 ; CHECK:        iohl
 277 ; CHECK:        shufb
 278
 279 entry:
 280        %A = icmp ult i32 %arg1, %arg2
 281        ret i1 %A
 282 }
 283
 284 define i32 @icmp_ult_immed01_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 285 ; CHECK:      icmp_ult_immed01_i32:
 286 ; CHECK:        ceqi
 287 ; CHECK:        clgti
 288 ; CHECK:        nor
 289 ; CHECK:        selb $3, $5, $4, $3
 290
 291 entry:
 292        %A = icmp ult i32 %arg1, 511
 293        %B = select i1 %A, i32 %val1, i32 %val2
 294        ret i32 %B
 295 }
 296
 297 define i32 @icmp_ult_immed02_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 298 ; CHECK:      icmp_ult_immed02_i32:
 299 ; CHECK:        ceqi
 300 ; CHECK:        clgti
 301 ; CHECK:        nor
 302 ; CHECK:        selb $3, $5, $4, $3
 303
 304 entry:
 305        %A = icmp ult i32 %arg1, 4294966784
 306        %B = select i1 %A, i32 %val1, i32 %val2
 307        ret i32 %B
 308 }
 309
 310 define i32 @icmp_ult_immed03_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 311 ; CHECK:      icmp_ult_immed03_i32:
 312 ; CHECK:        ceqi
 313 ; CHECK:        clgti
 314 ; CHECK:        nor
 315 ; CHECK:        selb $3, $5, $4, $3
 316
 317 entry:
 318        %A = icmp ult i32 %arg1, 4294967293
 319        %B = select i1 %A, i32 %val1, i32 %val2
 320        ret i32 %B
 321 }
 322
 323 define i32 @icmp_ult_immed04_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 324 ; CHECK:      icmp_ult_immed04_i32:
 325 ; CHECK:        rotmi
 326 ; CHECK:        ceqi
 327 ; CHECK:        selb $3, $5, $4, $3
 328
 329 entry:
 330        %A = icmp ult i32 %arg1, 32768
 331        %B = select i1 %A, i32 %val1, i32 %val2
 332        ret i32 %B
 333 }
 334
 335 define i32 @icmp_ule_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 336 ; CHECK:      icmp_ule_select_i32:
 337 ; CHECK:        clgt
 338 ; CHECK:        selb $3, $5, $6, $3
 339
 340 entry:
 341        %A = icmp ule i32 %arg1, %arg2
 342        %B = select i1 %A, i32 %val1, i32 %val2
 343        ret i32 %B
 344 }
 345
 346 define i1 @icmp_ule_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 347 ; CHECK:      icmp_ule_setcc_i32:
 348 ; CHECK:        clgt
 349 ; CHECK:        ilhu
 350 ; CHECK:        xori
 351 ; CHECK:        iohl
 352 ; CHECK:        shufb
 353
 354 entry:
 355        %A = icmp ule i32 %arg1, %arg2
 356        ret i1 %A
 357 }
 358
 359 ;; Note: icmp ule i32 %arg1, <immed> can always be transformed into
 360 ;;       icmp ult i32 %arg1, <immed>+1
 361 ;;
 362 ;; Consequently, even though the patterns exist to match, it's unlikely
 363 ;; they'll ever be generated.
 364
 365 define i32 @icmp_sgt_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 366 ; CHECK:      icmp_sgt_select_i32:
 367 ; CHECK:        cgt
 368 ; CHECK:        selb $3, $6, $5, $3
 369
 370 entry:
 371        %A = icmp sgt i32 %arg1, %arg2
 372        %B = select i1 %A, i32 %val1, i32 %val2
 373        ret i32 %B
 374 }
 375
 376 define i1 @icmp_sgt_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 377 ; CHECK:      icmp_sgt_setcc_i32:
 378 ; CHECK:        ilhu
 379 ; CHECK:        cgt
 380 ; CHECK:        iohl
 381 ; CHECK:        shufb
 382
 383 entry:
 384        %A = icmp sgt i32 %arg1, %arg2
 385        ret i1 %A
 386 }
 387
 388 define i32 @icmp_sgt_immed01_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 389 ; CHECK:      icmp_sgt_immed01_i32:
 390 ; CHECK:        cgti
 391 ; CHECK:        selb $3, $5, $4, $3
 392
 393 entry:
 394        %A = icmp sgt i32 %arg1, 511
 395        %B = select i1 %A, i32 %val1, i32 %val2
 396        ret i32 %B
 397 }
 398
 399 define i32 @icmp_sgt_immed02_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 400 ; CHECK:      icmp_sgt_immed02_i32:
 401 ; CHECK:        cgti
 402 ; CHECK:        selb $3, $5, $4, $3
 403
 404 entry:
 405        %A = icmp sgt i32 %arg1, 4294966784
 406        %B = select i1 %A, i32 %val1, i32 %val2
 407        ret i32 %B
 408 }
 409
 410 define i32 @icmp_sgt_immed03_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 411 ; CHECK:      icmp_sgt_immed03_i32:
 412 ; CHECK:        cgti
 413 ; CHECK:        selb $3, $5, $4, $3
 414
 415 entry:
 416        %A = icmp sgt i32 %arg1, 4294967293
 417        %B = select i1 %A, i32 %val1, i32 %val2
 418        ret i32 %B
 419 }
 420
 421 define i32 @icmp_sgt_immed04_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 422 ; CHECK:      icmp_sgt_immed04_i32:
 423 ; CHECK:        ila
 424 ; CHECK:        cgt
 425 ; CHECK:        selb $3, $5, $4, $3
 426
 427 entry:
 428        %A = icmp sgt i32 %arg1, 32768
 429        %B = select i1 %A, i32 %val1, i32 %val2
 430        ret i32 %B
 431 }
 432
 433 define i32 @icmp_sge_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 434 ; CHECK:      icmp_sge_select_i32:
 435 ; CHECK:        ceq
 436 ; CHECK:        cgt
 437 ; CHECK:        or
 438 ; CHECK:        selb $3, $6, $5, $3
 439
 440 entry:
 441        %A = icmp sge i32 %arg1, %arg2
 442        %B = select i1 %A, i32 %val1, i32 %val2
 443        ret i32 %B
 444 }
 445
 446 define i1 @icmp_sge_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 447 ; CHECK:      icmp_sge_setcc_i32:
 448 ; CHECK:        ceq
 449 ; CHECK:        cgt
 450 ; CHECK:        ilhu
 451 ; CHECK:        or
 452 ; CHECK:        iohl
 453 ; CHECK:        shufb
 454
 455 entry:
 456        %A = icmp sge i32 %arg1, %arg2
 457        ret i1 %A
 458 }
 459
 460 ;; Note: icmp sge i32 %arg1, <immed> can always be transformed into
 461 ;;       icmp sgt i32 %arg1, <immed>-1
 462 ;;
 463 ;; Consequently, even though the patterns exist to match, it's unlikely
 464 ;; they'll ever be generated.
 465
 466 define i32 @icmp_slt_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 467 ; CHECK:      icmp_slt_select_i32:
 468 ; CHECK:        ceq
 469 ; CHECK:        cgt
 470 ; CHECK:        nor
 471 ; CHECK:        selb $3, $6, $5, $3
 472
 473 entry:
 474        %A = icmp slt i32 %arg1, %arg2
 475        %B = select i1 %A, i32 %val1, i32 %val2
 476        ret i32 %B
 477 }
 478
 479 define i1 @icmp_slt_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 480 ; CHECK:      icmp_slt_setcc_i32:
 481 ; CHECK:        ceq
 482 ; CHECK:        cgt
 483 ; CHECK:        ilhu
 484 ; CHECK:        nor
 485 ; CHECK:        iohl
 486 ; CHECK:        shufb
 487
 488 entry:
 489        %A = icmp slt i32 %arg1, %arg2
 490        ret i1 %A
 491 }
 492
 493 define i32 @icmp_slt_immed01_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 494 ; CHECK:      icmp_slt_immed01_i32:
 495 ; CHECK:        ceqi
 496 ; CHECK:        cgti
 497 ; CHECK:        nor
 498 ; CHECK:        selb $3, $5, $4, $3
 499
 500 entry:
 501        %A = icmp slt i32 %arg1, 511
 502        %B = select i1 %A, i32 %val1, i32 %val2
 503        ret i32 %B
 504 }
 505
 506 define i32 @icmp_slt_immed02_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 507 ; CHECK:      icmp_slt_immed02_i32:
 508 ; CHECK:        ceqi
 509 ; CHECK:        cgti
 510 ; CHECK:        nor
 511 ; CHECK:        selb $3, $5, $4, $3
 512
 513 entry:
 514        %A = icmp slt i32 %arg1, -512
 515        %B = select i1 %A, i32 %val1, i32 %val2
 516        ret i32 %B
 517 }
 518
 519 define i32 @icmp_slt_immed03_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 520 ; CHECK:      icmp_slt_immed03_i32:
 521 ; CHECK:        ceqi
 522 ; CHECK:        cgti
 523 ; CHECK:        nor
 524 ; CHECK:        selb $3, $5, $4, $3
 525
 526 entry:
 527        %A = icmp slt i32 %arg1, -1
 528        %B = select i1 %A, i32 %val1, i32 %val2
 529        ret i32 %B
 530 }
 531
 532 define i32 @icmp_slt_immed04_i32(i32 %arg1, i32 %val1, i32 %val2) nounwind {
 533 ; CHECK:      icmp_slt_immed04_i32:
 534 ; CHECK:        ila
 535 ; CHECK:        ceq
 536 ; CHECK:        cgt
 537 ; CHECK:        nor
 538 ; CHECK:        selb $3, $5, $4, $3
 539
 540 entry:
 541        %A = icmp slt i32 %arg1, 32768
 542        %B = select i1 %A, i32 %val1, i32 %val2
 543        ret i32 %B
 544 }
 545
 546 define i32 @icmp_sle_select_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 547 ; CHECK:      icmp_sle_select_i32:
 548 ; CHECK:        cgt
 549 ; CHECK:        selb $3, $5, $6, $3
 550
 551 entry:
 552        %A = icmp sle i32 %arg1, %arg2
 553        %B = select i1 %A, i32 %val1, i32 %val2
 554        ret i32 %B
 555 }
 556
 557 define i1 @icmp_sle_setcc_i32(i32 %arg1, i32 %arg2, i32 %val1, i32 %val2) nounwind {
 558 ; CHECK:      icmp_sle_setcc_i32:
 559 ; CHECK:        cgt
 560 ; CHECK:        ilhu
 561 ; CHECK:        xori
 562 ; CHECK:        iohl
 563 ; CHECK:        shufb
 564
 565 entry:
 566        %A = icmp sle i32 %arg1, %arg2
 567        ret i1 %A
 568 }
 569
 570 ;; Note: icmp sle i32 %arg1, <immed> can always be transformed into
 571 ;;       icmp slt i32 %arg1, <immed>+1
 572 ;;
 573 ;; Consequently, even though the patterns exist to match, it's unlikely
 574 ;; they'll ever be generated.
 575