Home | History | Annotate | Download | only in CellSPU 
      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 ; i8 integer comparisons:
     19 define i8 @icmp_eq_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
     20 ; CHECK:      icmp_eq_select_i8:
     21 ; CHECK:        ceqb
     22 ; CHECK:        selb $3, $6, $5, $3
     23 
     24 entry:
     25        %A = icmp eq i8 %arg1, %arg2
     26        %B = select i1 %A, i8 %val1, i8 %val2
     27        ret i8 %B
     28 }
     29 
     30 define i1 @icmp_eq_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
     31 ; CHECK:      icmp_eq_setcc_i8:
     32 ; CHECK:        ceqb
     33 ; CHECK-NEXT:   bi
     34 
     35 entry:
     36        %A = icmp eq i8 %arg1, %arg2
     37        ret i1 %A
     38 }
     39 
     40 define i8 @icmp_eq_immed01_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
     41 ; CHECK:      icmp_eq_immed01_i8:
     42 ; CHECK:        ceqbi
     43 ; CHECK:        selb $3, $5, $4, $3
     44 
     45 entry:
     46        %A = icmp eq i8 %arg1, 127
     47        %B = select i1 %A, i8 %val1, i8 %val2
     48        ret i8 %B
     49 }
     50 
     51 define i8 @icmp_eq_immed02_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
     52 ; CHECK:      icmp_eq_immed02_i8:
     53 ; CHECK:        ceqbi
     54 ; CHECK:        selb $3, $5, $4, $3
     55 
     56 entry:
     57        %A = icmp eq i8 %arg1, -128
     58        %B = select i1 %A, i8 %val1, i8 %val2
     59        ret i8 %B
     60 }
     61 
     62 define i8 @icmp_eq_immed03_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
     63 ; CHECK:      icmp_eq_immed03_i8:
     64 ; CHECK:        ceqbi
     65 ; CHECK:        selb $3, $5, $4, $3
     66 
     67 entry:
     68        %A = icmp eq i8 %arg1, -1
     69        %B = select i1 %A, i8 %val1, i8 %val2
     70        ret i8 %B
     71 }
     72 
     73 define i8 @icmp_ne_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
     74 ; CHECK:      icmp_ne_select_i8:
     75 ; CHECK:        ceqb
     76 ; CHECK:        selb $3, $5, $6, $3
     77 
     78 entry:
     79        %A = icmp ne i8 %arg1, %arg2
     80        %B = select i1 %A, i8 %val1, i8 %val2
     81        ret i8 %B
     82 }
     83 
     84 define i1 @icmp_ne_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
     85 ; CHECK:      icmp_ne_setcc_i8:
     86 ; CHECK:        ceqb
     87 ; CHECK:        xorbi
     88 ; CHECK-NEXT:   bi
     89 
     90 entry:
     91        %A = icmp ne i8 %arg1, %arg2
     92        ret i1 %A
     93 }
     94 
     95 define i8 @icmp_ne_immed01_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
     96 ; CHECK:      icmp_ne_immed01_i8:
     97 ; CHECK:        ceqbi
     98 ; CHECK:        selb $3, $4, $5, $3
     99 
    100 entry:
    101        %A = icmp ne i8 %arg1, 127
    102        %B = select i1 %A, i8 %val1, i8 %val2
    103        ret i8 %B
    104 }
    105 
    106 define i8 @icmp_ne_immed02_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    107 ; CHECK:      icmp_ne_immed02_i8:
    108 ; CHECK:        ceqbi
    109 ; CHECK:        selb $3, $4, $5, $3
    110 
    111 entry:
    112        %A = icmp ne i8 %arg1, -128
    113        %B = select i1 %A, i8 %val1, i8 %val2
    114        ret i8 %B
    115 }
    116 
    117 define i8 @icmp_ne_immed03_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    118 ; CHECK:      icmp_ne_immed03_i8:
    119 ; CHECK:        ceqbi
    120 ; CHECK:        selb $3, $4, $5, $3
    121 
    122 entry:
    123        %A = icmp ne i8 %arg1, -1
    124        %B = select i1 %A, i8 %val1, i8 %val2
    125        ret i8 %B
    126 }
    127 
    128 define i8 @icmp_ugt_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    129 ; CHECK:      icmp_ugt_select_i8:
    130 ; CHECK:        clgtb
    131 ; CHECK:        selb $3, $6, $5, $3
    132 
    133 entry:
    134        %A = icmp ugt i8 %arg1, %arg2
    135        %B = select i1 %A, i8 %val1, i8 %val2
    136        ret i8 %B
    137 }
    138 
    139 define i1 @icmp_ugt_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    140 ; CHECK:      icmp_ugt_setcc_i8:
    141 ; CHECK:        clgtb
    142 ; CHECK-NEXT:   bi
    143 
    144 entry:
    145        %A = icmp ugt i8 %arg1, %arg2
    146        ret i1 %A
    147 }
    148 
    149 define i8 @icmp_ugt_immed01_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    150 ; CHECK:      icmp_ugt_immed01_i8:
    151 ; CHECK:        clgtbi
    152 ; CHECK:        selb $3, $5, $4, $3
    153 
    154 entry:
    155        %A = icmp ugt i8 %arg1, 126
    156        %B = select i1 %A, i8 %val1, i8 %val2
    157        ret i8 %B
    158 }
    159 
    160 define i8 @icmp_uge_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    161 ; CHECK:      icmp_uge_select_i8:
    162 ; CHECK:        ceqb
    163 ; CHECK:        clgtb
    164 ; CHECK:        or
    165 ; CHECK:        selb $3, $6, $5, $3
    166 
    167 entry:
    168        %A = icmp uge i8 %arg1, %arg2
    169        %B = select i1 %A, i8 %val1, i8 %val2
    170        ret i8 %B
    171 }
    172 
    173 define i1 @icmp_uge_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    174 ; CHECK:      icmp_uge_setcc_i8:
    175 ; CHECK:        ceqb
    176 ; CHECK:        clgtb
    177 ; CHECK:        or
    178 ; CHECK-NEXT:   bi
    179 
    180 entry:
    181        %A = icmp uge i8 %arg1, %arg2
    182        ret i1 %A
    183 }
    184 
    185 ;; Note: icmp uge i8 %arg1, <immed> can always be transformed into
    186 ;;       icmp ugt i8 %arg1, <immed>-1
    187 ;;
    188 ;; Consequently, even though the patterns exist to match, it's unlikely
    189 ;; they'll ever be generated.
    190 
    191 define i8 @icmp_ult_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    192 ; CHECK:      icmp_ult_select_i8:
    193 ; CHECK:        ceqb
    194 ; CHECK:        clgtb
    195 ; CHECK:        nor
    196 ; CHECK:        selb $3, $6, $5, $3
    197 
    198 entry:
    199        %A = icmp ult i8 %arg1, %arg2
    200        %B = select i1 %A, i8 %val1, i8 %val2
    201        ret i8 %B
    202 }
    203 
    204 define i1 @icmp_ult_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    205 ; CHECK:      icmp_ult_setcc_i8:
    206 ; CHECK:        ceqb
    207 ; CHECK:        clgtb
    208 ; CHECK:        nor
    209 ; CHECK-NEXT:   bi
    210 
    211 entry:
    212        %A = icmp ult i8 %arg1, %arg2
    213        ret i1 %A
    214 }
    215 
    216 define i8 @icmp_ult_immed01_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    217 ; CHECK:      icmp_ult_immed01_i8:
    218 ; CHECK:        ceqbi
    219 ; CHECK:        clgtbi
    220 ; CHECK:        nor
    221 ; CHECK:        selb $3, $5, $4, $3
    222 
    223 entry:
    224        %A = icmp ult i8 %arg1, 253
    225        %B = select i1 %A, i8 %val1, i8 %val2
    226        ret i8 %B
    227 }
    228 
    229 define i8 @icmp_ult_immed02_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    230 ; CHECK:      icmp_ult_immed02_i8:
    231 ; CHECK:        ceqbi
    232 ; CHECK:        clgtbi
    233 ; CHECK:        nor
    234 ; CHECK:        selb $3, $5, $4, $3
    235 
    236 entry:
    237        %A = icmp ult i8 %arg1, 129
    238        %B = select i1 %A, i8 %val1, i8 %val2
    239        ret i8 %B
    240 }
    241 
    242 define i8 @icmp_ule_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    243 ; CHECK:      icmp_ule_select_i8:
    244 ; CHECK:        clgtb
    245 ; CHECK:        selb $3, $5, $6, $3
    246 
    247 entry:
    248        %A = icmp ule i8 %arg1, %arg2
    249        %B = select i1 %A, i8 %val1, i8 %val2
    250        ret i8 %B
    251 }
    252 
    253 define i1 @icmp_ule_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    254 ; CHECK:      icmp_ule_setcc_i8:
    255 ; CHECK:        clgtb
    256 ; CHECK:        xorbi
    257 ; CHECK-NEXT:   bi
    258 
    259 entry:
    260        %A = icmp ule i8 %arg1, %arg2
    261        ret i1 %A
    262 }
    263 
    264 ;; Note: icmp ule i8 %arg1, <immed> can always be transformed into
    265 ;;       icmp ult i8 %arg1, <immed>+1
    266 ;;
    267 ;; Consequently, even though the patterns exist to match, it's unlikely
    268 ;; they'll ever be generated.
    269 
    270 define i8 @icmp_sgt_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    271 ; CHECK:      icmp_sgt_select_i8:
    272 ; CHECK:        cgtb
    273 ; CHECK:        selb $3, $6, $5, $3
    274 
    275 entry:
    276        %A = icmp sgt i8 %arg1, %arg2
    277        %B = select i1 %A, i8 %val1, i8 %val2
    278        ret i8 %B
    279 }
    280 
    281 define i1 @icmp_sgt_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    282 ; CHECK:      icmp_sgt_setcc_i8:
    283 ; CHECK:        cgtb
    284 ; CHECK-NEXT:   bi
    285 
    286 entry:
    287        %A = icmp sgt i8 %arg1, %arg2
    288        ret i1 %A
    289 }
    290 
    291 define i8 @icmp_sgt_immed01_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    292 ; CHECK:      icmp_sgt_immed01_i8:
    293 ; CHECK:        cgtbi
    294 ; CHECK:        selb $3, $5, $4, $3
    295 
    296 entry:
    297        %A = icmp sgt i8 %arg1, 96
    298        %B = select i1 %A, i8 %val1, i8 %val2
    299        ret i8 %B
    300 }
    301 
    302 define i8 @icmp_sgt_immed02_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    303 ; CHECK:      icmp_sgt_immed02_i8:
    304 ; CHECK:        cgtbi
    305 ; CHECK:        selb $3, $5, $4, $3
    306 
    307 entry:
    308        %A = icmp sgt i8 %arg1, -1
    309        %B = select i1 %A, i8 %val1, i8 %val2
    310        ret i8 %B
    311 }
    312 
    313 define i8 @icmp_sgt_immed03_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    314 ; CHECK:      icmp_sgt_immed03_i8:
    315 ; CHECK:        ceqbi
    316 ; CHECK:        selb $3, $4, $5, $3
    317 
    318 entry:
    319        %A = icmp sgt i8 %arg1, -128
    320        %B = select i1 %A, i8 %val1, i8 %val2
    321        ret i8 %B
    322 }
    323 
    324 define i8 @icmp_sge_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    325 ; CHECK:      icmp_sge_select_i8:
    326 ; CHECK:        ceqb
    327 ; CHECK:        cgtb
    328 ; CHECK:        or
    329 ; CHECK:        selb $3, $6, $5, $3
    330 
    331 entry:
    332        %A = icmp sge i8 %arg1, %arg2
    333        %B = select i1 %A, i8 %val1, i8 %val2
    334        ret i8 %B
    335 }
    336 
    337 define i1 @icmp_sge_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    338 ; CHECK:      icmp_sge_setcc_i8:
    339 ; CHECK:        ceqb
    340 ; CHECK:        cgtb
    341 ; CHECK:        or
    342 ; CHECK-NEXT:   bi
    343 
    344 entry:
    345        %A = icmp sge i8 %arg1, %arg2
    346        ret i1 %A
    347 }
    348 
    349 ;; Note: icmp sge i8 %arg1, <immed> can always be transformed into
    350 ;;       icmp sgt i8 %arg1, <immed>-1
    351 ;;
    352 ;; Consequently, even though the patterns exist to match, it's unlikely
    353 ;; they'll ever be generated.
    354 
    355 define i8 @icmp_slt_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    356 ; CHECK:      icmp_slt_select_i8:
    357 ; CHECK:        ceqb
    358 ; CHECK:        cgtb
    359 ; CHECK:        nor
    360 ; CHECK:        selb $3, $6, $5, $3
    361 
    362 entry:
    363        %A = icmp slt i8 %arg1, %arg2
    364        %B = select i1 %A, i8 %val1, i8 %val2
    365        ret i8 %B
    366 }
    367 
    368 define i1 @icmp_slt_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    369 ; CHECK:      icmp_slt_setcc_i8:
    370 ; CHECK:        ceqb
    371 ; CHECK:        cgtb
    372 ; CHECK:        nor
    373 ; CHECK-NEXT:   bi
    374 
    375 entry:
    376        %A = icmp slt i8 %arg1, %arg2
    377        ret i1 %A
    378 }
    379 
    380 define i8 @icmp_slt_immed01_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    381 ; CHECK:      icmp_slt_immed01_i8:
    382 ; CHECK:        ceqbi
    383 ; CHECK:        cgtbi
    384 ; CHECK:        nor
    385 ; CHECK:        selb $3, $5, $4, $3
    386 
    387 entry:
    388        %A = icmp slt i8 %arg1, 96
    389        %B = select i1 %A, i8 %val1, i8 %val2
    390        ret i8 %B
    391 }
    392 
    393 define i8 @icmp_slt_immed02_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    394 ; CHECK:      icmp_slt_immed02_i8:
    395 ; CHECK:        ceqbi
    396 ; CHECK:        cgtbi
    397 ; CHECK:        nor
    398 ; CHECK:        selb $3, $5, $4, $3
    399 
    400 entry:
    401        %A = icmp slt i8 %arg1, -120
    402        %B = select i1 %A, i8 %val1, i8 %val2
    403        ret i8 %B
    404 }
    405 
    406 define i8 @icmp_slt_immed03_i8(i8 %arg1, i8 %val1, i8 %val2) nounwind {
    407 ; CHECK:      icmp_slt_immed03_i8:
    408 ; CHECK:        ceqbi
    409 ; CHECK:        cgtbi
    410 ; CHECK:        nor
    411 ; CHECK:        selb $3, $5, $4, $3
    412 
    413 entry:
    414        %A = icmp slt i8 %arg1, -1
    415        %B = select i1 %A, i8 %val1, i8 %val2
    416        ret i8 %B
    417 }
    418 
    419 define i8 @icmp_sle_select_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    420 ; CHECK:      icmp_sle_select_i8:
    421 ; CHECK:        cgtb
    422 ; CHECK:        selb $3, $5, $6, $3
    423 
    424 entry:
    425        %A = icmp sle i8 %arg1, %arg2
    426        %B = select i1 %A, i8 %val1, i8 %val2
    427        ret i8 %B
    428 }
    429 
    430 define i1 @icmp_sle_setcc_i8(i8 %arg1, i8 %arg2, i8 %val1, i8 %val2) nounwind {
    431 ; CHECK:      icmp_sle_setcc_i8:
    432 ; CHECK:        cgtb
    433 ; CHECK:        xorbi
    434 ; CHECK-NEXT:   bi
    435 
    436 entry:
    437        %A = icmp sle i8 %arg1, %arg2
    438        ret i1 %A
    439 }
    440 
    441 ;; Note: icmp sle i8 %arg1, <immed> can always be transformed into
    442 ;;       icmp slt i8 %arg1, <immed>+1
    443 ;;
    444 ;; Consequently, even though the patterns exist to match, it's unlikely
    445 ;; they'll ever be generated.
    446 
    447