test/CodeGen/CellSPU/icmp16.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 ; i16 integer comparisons:
  19 define i16 @icmp_eq_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
  20 ; CHECK:      icmp_eq_select_i16:
  21 ; CHECK:        ceqh
  22 ; CHECK:        selb $3, $6, $5, $3
  23
  24 entry:
  25        %A = icmp eq i16 %arg1, %arg2
  26        %B = select i1 %A, i16 %val1, i16 %val2
  27        ret i16 %B
  28 }
  29
  30 define i1 @icmp_eq_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
  31 ; CHECK:      icmp_eq_setcc_i16:
  32 ; CHECK:        ilhu
  33 ; CHECK:        ceqh
  34 ; CHECK:        iohl
  35 ; CHECK:        shufb
  36
  37 entry:
  38        %A = icmp eq i16 %arg1, %arg2
  39        ret i1 %A
  40 }
  41
  42 define i16 @icmp_eq_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
  43 ; CHECK:      icmp_eq_immed01_i16:
  44 ; CHECK:        ceqhi
  45 ; CHECK:        selb $3, $5, $4, $3
  46
  47 entry:
  48        %A = icmp eq i16 %arg1, 511
  49        %B = select i1 %A, i16 %val1, i16 %val2
  50        ret i16 %B
  51 }
  52
  53 define i16 @icmp_eq_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
  54 ; CHECK:      icmp_eq_immed02_i16:
  55 ; CHECK:        ceqhi
  56 ; CHECK:        selb $3, $5, $4, $3
  57
  58 entry:
  59        %A = icmp eq i16 %arg1, -512
  60        %B = select i1 %A, i16 %val1, i16 %val2
  61        ret i16 %B
  62 }
  63
  64 define i16 @icmp_eq_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
  65 ; CHECK:      icmp_eq_immed03_i16:
  66 ; CHECK:        ceqhi
  67 ; CHECK:        selb $3, $5, $4, $3
  68
  69 entry:
  70        %A = icmp eq i16 %arg1, -1
  71        %B = select i1 %A, i16 %val1, i16 %val2
  72        ret i16 %B
  73 }
  74
  75 define i16 @icmp_eq_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
  76 ; CHECK:      icmp_eq_immed04_i16:
  77 ; CHECK:        ilh
  78 ; CHECK:        ceqh
  79 ; CHECK:        selb $3, $5, $4, $3
  80
  81 entry:
  82        %A = icmp eq i16 %arg1, 32768
  83        %B = select i1 %A, i16 %val1, i16 %val2
  84        ret i16 %B
  85 }
  86
  87 define i16 @icmp_ne_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
  88 ; CHECK:      icmp_ne_select_i16:
  89 ; CHECK:        ceqh
  90 ; CHECK:        selb $3, $5, $6, $3
  91
  92 entry:
  93        %A = icmp ne i16 %arg1, %arg2
  94        %B = select i1 %A, i16 %val1, i16 %val2
  95        ret i16 %B
  96 }
  97
  98 define i1 @icmp_ne_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
  99 ; CHECK:      icmp_ne_setcc_i16:
 100 ; CHECK:        ceqh
 101 ; CHECK:        ilhu
 102 ; CHECK:        xorhi
 103 ; CHECK:        iohl
 104 ; CHECK:        shufb
 105
 106 entry:
 107        %A = icmp ne i16 %arg1, %arg2
 108        ret i1 %A
 109 }
 110
 111 define i16 @icmp_ne_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 112 ; CHECK:      icmp_ne_immed01_i16:
 113 ; CHECK:        ceqhi
 114 ; CHECK:        selb $3, $4, $5, $3
 115
 116 entry:
 117        %A = icmp ne i16 %arg1, 511
 118        %B = select i1 %A, i16 %val1, i16 %val2
 119        ret i16 %B
 120 }
 121
 122 define i16 @icmp_ne_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 123 ; CHECK:      icmp_ne_immed02_i16:
 124 ; CHECK:        ceqhi
 125 ; CHECK:        selb $3, $4, $5, $3
 126
 127 entry:
 128        %A = icmp ne i16 %arg1, -512
 129        %B = select i1 %A, i16 %val1, i16 %val2
 130        ret i16 %B
 131 }
 132
 133 define i16 @icmp_ne_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 134 ; CHECK:      icmp_ne_immed03_i16:
 135 ; CHECK:        ceqhi
 136 ; CHECK:        selb $3, $4, $5, $3
 137
 138 entry:
 139        %A = icmp ne i16 %arg1, -1
 140        %B = select i1 %A, i16 %val1, i16 %val2
 141        ret i16 %B
 142 }
 143
 144 define i16 @icmp_ne_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 145 ; CHECK:      icmp_ne_immed04_i16:
 146 ; CHECK:        ilh
 147 ; CHECK:        ceqh
 148 ; CHECK:        selb $3, $4, $5, $3
 149
 150 entry:
 151        %A = icmp ne i16 %arg1, 32768
 152        %B = select i1 %A, i16 %val1, i16 %val2
 153        ret i16 %B
 154 }
 155
 156 define i16 @icmp_ugt_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 157 ; CHECK:      icmp_ugt_select_i16:
 158 ; CHECK:        clgth
 159 ; CHECK:        selb $3, $6, $5, $3
 160
 161 entry:
 162        %A = icmp ugt i16 %arg1, %arg2
 163        %B = select i1 %A, i16 %val1, i16 %val2
 164        ret i16 %B
 165 }
 166
 167 define i1 @icmp_ugt_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 168 ; CHECK:      icmp_ugt_setcc_i16:
 169 ; CHECK:        ilhu
 170 ; CHECK:        clgth
 171 ; CHECK:        iohl
 172 ; CHECK:        shufb
 173
 174 entry:
 175        %A = icmp ugt i16 %arg1, %arg2
 176        ret i1 %A
 177 }
 178
 179 define i16 @icmp_ugt_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 180 ; CHECK:      icmp_ugt_immed01_i16:
 181 ; CHECK:        clgthi
 182 ; CHECK:        selb $3, $5, $4, $3
 183
 184 entry:
 185        %A = icmp ugt i16 %arg1, 500
 186        %B = select i1 %A, i16 %val1, i16 %val2
 187        ret i16 %B
 188 }
 189
 190 define i16 @icmp_ugt_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 191 ; CHECK:      icmp_ugt_immed02_i16:
 192 ; CHECK:        ceqhi
 193 ; CHECK:        selb $3, $4, $5, $3
 194
 195 entry:
 196        %A = icmp ugt i16 %arg1, 0
 197        %B = select i1 %A, i16 %val1, i16 %val2
 198        ret i16 %B
 199 }
 200
 201 define i16 @icmp_ugt_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 202 ; CHECK:      icmp_ugt_immed03_i16:
 203 ; CHECK:        clgthi
 204 ; CHECK:        selb $3, $5, $4, $3
 205
 206 entry:
 207        %A = icmp ugt i16 %arg1, 65024
 208        %B = select i1 %A, i16 %val1, i16 %val2
 209        ret i16 %B
 210 }
 211
 212 define i16 @icmp_ugt_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 213 ; CHECK:      icmp_ugt_immed04_i16:
 214 ; CHECK:        ilh
 215 ; CHECK:        clgth
 216 ; CHECK:        selb $3, $5, $4, $3
 217
 218 entry:
 219        %A = icmp ugt i16 %arg1, 32768
 220        %B = select i1 %A, i16 %val1, i16 %val2
 221        ret i16 %B
 222 }
 223
 224 define i16 @icmp_uge_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 225 ; CHECK:      icmp_uge_select_i16:
 226 ; CHECK:        ceqh
 227 ; CHECK:        clgth
 228 ; CHECK:        or
 229 ; CHECK:        selb $3, $6, $5, $3
 230
 231 entry:
 232        %A = icmp uge i16 %arg1, %arg2
 233        %B = select i1 %A, i16 %val1, i16 %val2
 234        ret i16 %B
 235 }
 236
 237 define i1 @icmp_uge_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 238 ; CHECK:      icmp_uge_setcc_i16:
 239 ; CHECK:        ceqh
 240 ; CHECK:        clgth
 241 ; CHECK:        ilhu
 242 ; CHECK:        or
 243 ; CHECK:        iohl
 244 ; CHECK:        shufb
 245
 246 entry:
 247        %A = icmp uge i16 %arg1, %arg2
 248        ret i1 %A
 249 }
 250
 251 ;; Note: icmp uge i16 %arg1, <immed> can always be transformed into
 252 ;;       icmp ugt i16 %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 i16 @icmp_ult_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 258 ; CHECK:      icmp_ult_select_i16:
 259 ; CHECK:        ceqh
 260 ; CHECK:        clgth
 261 ; CHECK:        nor
 262 ; CHECK:        selb $3, $6, $5, $3
 263
 264 entry:
 265        %A = icmp ult i16 %arg1, %arg2
 266        %B = select i1 %A, i16 %val1, i16 %val2
 267        ret i16 %B
 268 }
 269
 270 define i1 @icmp_ult_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 271 ; CHECK:      icmp_ult_setcc_i16:
 272 ; CHECK:        ceqh
 273 ; CHECK:        clgth
 274 ; CHECK:        ilhu
 275 ; CHECK:        nor
 276 ; CHECK:        iohl
 277 ; CHECK:        shufb
 278
 279 entry:
 280        %A = icmp ult i16 %arg1, %arg2
 281        ret i1 %A
 282 }
 283
 284 define i16 @icmp_ult_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 285 ; CHECK:      icmp_ult_immed01_i16:
 286 ; CHECK:        ceqhi
 287 ; CHECK:        clgthi
 288 ; CHECK:        nor
 289 ; CHECK:        selb $3, $5, $4, $3
 290
 291 entry:
 292        %A = icmp ult i16 %arg1, 511
 293        %B = select i1 %A, i16 %val1, i16 %val2
 294        ret i16 %B
 295 }
 296
 297 define i16 @icmp_ult_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 298 ; CHECK:      icmp_ult_immed02_i16:
 299 ; CHECK:        ceqhi
 300 ; CHECK:        clgthi
 301 ; CHECK:        nor
 302 ; CHECK:        selb $3, $5, $4, $3
 303
 304 entry:
 305        %A = icmp ult i16 %arg1, 65534
 306        %B = select i1 %A, i16 %val1, i16 %val2
 307        ret i16 %B
 308 }
 309
 310 define i16 @icmp_ult_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 311 ; CHECK:      icmp_ult_immed03_i16:
 312 ; CHECK:        ceqhi
 313 ; CHECK:        clgthi
 314 ; CHECK:        nor
 315 ; CHECK:        selb $3, $5, $4, $3
 316
 317 entry:
 318        %A = icmp ult i16 %arg1, 65024
 319        %B = select i1 %A, i16 %val1, i16 %val2
 320        ret i16 %B
 321 }
 322
 323 define i16 @icmp_ult_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 324 ; CHECK:      icmp_ult_immed04_i16:
 325 ; CHECK:        ilh
 326 ; CHECK:        ceqh
 327 ; CHECK:        clgth
 328 ; CHECK:        nor
 329 ; CHECK:        selb $3, $5, $4, $3
 330
 331 entry:
 332        %A = icmp ult i16 %arg1, 32769
 333        %B = select i1 %A, i16 %val1, i16 %val2
 334        ret i16 %B
 335 }
 336
 337 define i16 @icmp_ule_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 338 ; CHECK:      icmp_ule_select_i16:
 339 ; CHECK:        clgth
 340 ; CHECK:        selb $3, $5, $6, $3
 341
 342 entry:
 343        %A = icmp ule i16 %arg1, %arg2
 344        %B = select i1 %A, i16 %val1, i16 %val2
 345        ret i16 %B
 346 }
 347
 348 define i1 @icmp_ule_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 349 ; CHECK:      icmp_ule_setcc_i16:
 350 ; CHECK:        clgth
 351 ; CHECK:        ilhu
 352 ; CHECK:        xorhi
 353 ; CHECK:        iohl
 354 ; CHECK:        shufb
 355
 356 entry:
 357        %A = icmp ule i16 %arg1, %arg2
 358        ret i1 %A
 359 }
 360
 361 ;; Note: icmp ule i16 %arg1, <immed> can always be transformed into
 362 ;;       icmp ult i16 %arg1, <immed>+1
 363 ;;
 364 ;; Consequently, even though the patterns exist to match, it's unlikely
 365 ;; they'll ever be generated.
 366
 367 define i16 @icmp_sgt_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 368 ; CHECK:      icmp_sgt_select_i16:
 369 ; CHECK:        cgth
 370 ; CHECK:        selb $3, $6, $5, $3
 371
 372 entry:
 373        %A = icmp sgt i16 %arg1, %arg2
 374        %B = select i1 %A, i16 %val1, i16 %val2
 375        ret i16 %B
 376 }
 377
 378 define i1 @icmp_sgt_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 379 ; CHECK:      icmp_sgt_setcc_i16:
 380 ; CHECK:        ilhu
 381 ; CHECK:        cgth
 382 ; CHECK:        iohl
 383 ; CHECK:        shufb
 384
 385 entry:
 386        %A = icmp sgt i16 %arg1, %arg2
 387        ret i1 %A
 388 }
 389
 390 define i16 @icmp_sgt_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 391 ; CHECK:      icmp_sgt_immed01_i16:
 392 ; CHECK:        cgthi
 393 ; CHECK:        selb $3, $5, $4, $3
 394
 395 entry:
 396        %A = icmp sgt i16 %arg1, 511
 397        %B = select i1 %A, i16 %val1, i16 %val2
 398        ret i16 %B
 399 }
 400
 401 define i16 @icmp_sgt_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 402 ; CHECK:      icmp_sgt_immed02_i16:
 403 ; CHECK:        cgthi
 404 ; CHECK:        selb $3, $5, $4, $3
 405
 406 entry:
 407        %A = icmp sgt i16 %arg1, -1
 408        %B = select i1 %A, i16 %val1, i16 %val2
 409        ret i16 %B
 410 }
 411
 412 define i16 @icmp_sgt_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 413 ; CHECK:      icmp_sgt_immed03_i16:
 414 ; CHECK:        cgthi
 415 ; CHECK:        selb $3, $5, $4, $3
 416
 417 entry:
 418        %A = icmp sgt i16 %arg1, -512
 419        %B = select i1 %A, i16 %val1, i16 %val2
 420        ret i16 %B
 421 }
 422
 423 define i16 @icmp_sgt_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 424 ; CHECK:      icmp_sgt_immed04_i16:
 425 ; CHECK:        ilh
 426 ; CHECK:        ceqh
 427 ; CHECK:        selb $3, $4, $5, $3
 428
 429 entry:
 430        %A = icmp sgt i16 %arg1, 32768
 431        %B = select i1 %A, i16 %val1, i16 %val2
 432        ret i16 %B
 433 }
 434
 435 define i16 @icmp_sge_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 436 ; CHECK:      icmp_sge_select_i16:
 437 ; CHECK:        ceqh
 438 ; CHECK:        cgth
 439 ; CHECK:        or
 440 ; CHECK:        selb $3, $6, $5, $3
 441
 442 entry:
 443        %A = icmp sge i16 %arg1, %arg2
 444        %B = select i1 %A, i16 %val1, i16 %val2
 445        ret i16 %B
 446 }
 447
 448 define i1 @icmp_sge_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 449 ; CHECK:      icmp_sge_setcc_i16:
 450 ; CHECK:        ceqh
 451 ; CHECK:        cgth
 452 ; CHECK:        ilhu
 453 ; CHECK:        or
 454 ; CHECK:        iohl
 455 ; CHECK:        shufb
 456
 457 entry:
 458        %A = icmp sge i16 %arg1, %arg2
 459        ret i1 %A
 460 }
 461
 462 ;; Note: icmp sge i16 %arg1, <immed> can always be transformed into
 463 ;;       icmp sgt i16 %arg1, <immed>-1
 464 ;;
 465 ;; Consequently, even though the patterns exist to match, it's unlikely
 466 ;; they'll ever be generated.
 467
 468 define i16 @icmp_slt_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 469 ; CHECK:      icmp_slt_select_i16:
 470 ; CHECK:        ceqh
 471 ; CHECK:        cgth
 472 ; CHECK:        nor
 473 ; CHECK:        selb $3, $6, $5, $3
 474
 475 entry:
 476        %A = icmp slt i16 %arg1, %arg2
 477        %B = select i1 %A, i16 %val1, i16 %val2
 478        ret i16 %B
 479 }
 480
 481 define i1 @icmp_slt_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 482 ; CHECK:      icmp_slt_setcc_i16:
 483 ; CHECK:        ceqh
 484 ; CHECK:        cgth
 485 ; CHECK:        ilhu
 486 ; CHECK:        nor
 487 ; CHECK:        iohl
 488 ; CHECK:        shufb
 489
 490 entry:
 491        %A = icmp slt i16 %arg1, %arg2
 492        ret i1 %A
 493 }
 494
 495 define i16 @icmp_slt_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 496 ; CHECK:      icmp_slt_immed01_i16:
 497 ; CHECK:        ceqhi
 498 ; CHECK:        cgthi
 499 ; CHECK:        nor
 500 ; CHECK:        selb $3, $5, $4, $3
 501
 502 entry:
 503        %A = icmp slt i16 %arg1, 511
 504        %B = select i1 %A, i16 %val1, i16 %val2
 505        ret i16 %B
 506 }
 507
 508 define i16 @icmp_slt_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 509 ; CHECK:      icmp_slt_immed02_i16:
 510 ; CHECK:        ceqhi
 511 ; CHECK:        cgthi
 512 ; CHECK:        nor
 513 ; CHECK:        selb $3, $5, $4, $3
 514
 515 entry:
 516        %A = icmp slt i16 %arg1, -512
 517        %B = select i1 %A, i16 %val1, i16 %val2
 518        ret i16 %B
 519 }
 520
 521 define i16 @icmp_slt_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 522 ; CHECK:      icmp_slt_immed03_i16:
 523 ; CHECK:        ceqhi
 524 ; CHECK:        cgthi
 525 ; CHECK:        nor
 526 ; CHECK:        selb $3, $5, $4, $3
 527
 528 entry:
 529        %A = icmp slt i16 %arg1, -1
 530        %B = select i1 %A, i16 %val1, i16 %val2
 531        ret i16 %B
 532 }
 533
 534 define i16 @icmp_slt_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
 535 ; CHECK:      icmp_slt_immed04_i16:
 536 ; CHECK:        lr
 537 ; CHECK-NETX:   bi
 538
 539 entry:
 540        %A = icmp slt i16 %arg1, 32768
 541        %B = select i1 %A, i16 %val1, i16 %val2
 542        ret i16 %B
 543 }
 544
 545 define i16 @icmp_sle_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 546 ; CHECK:      icmp_sle_select_i16:
 547 ; CHECK:        cgth
 548 ; CHECK:        selb $3, $5, $6, $3
 549
 550 entry:
 551        %A = icmp sle i16 %arg1, %arg2
 552        %B = select i1 %A, i16 %val1, i16 %val2
 553        ret i16 %B
 554 }
 555
 556 define i1 @icmp_sle_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
 557 ; CHECK:      icmp_sle_setcc_i16:
 558 ; CHECK:        cgth
 559 ; CHECK:        ilhu
 560 ; CHECK:        xorhi
 561 ; CHECK:        iohl
 562 ; CHECK-NETX:   bi
 563
 564 entry:
 565        %A = icmp sle i16 %arg1, %arg2
 566        ret i1 %A
 567 }
 568
 569 ;; Note: icmp sle i16 %arg1, <immed> can always be transformed into
 570 ;;       icmp slt i16 %arg1, <immed>+1
 571 ;;
 572 ;; Consequently, even though the patterns exist to match, it's unlikely
 573 ;; they'll ever be generated.
 574