test/CodeGen/SystemZ/int-cmp-46.ll

   1 ; Test the use of TEST UNDER MASK for 32-bit operations.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | FileCheck %s
   4
   5 @g = global i32 0
   6
   7 ; Check the lowest useful TMLL value.
   8 define void @f1(i32 %a) {
   9 ; CHECK-LABEL: f1:
  10 ; CHECK: tmll %r2, 1
  11 ; CHECK: je {{\.L.*}}
  12 ; CHECK: br %r14
  13 entry:
  14   %and = and i32 %a, 1
  15   %cmp = icmp eq i32 %and, 0
  16   br i1 %cmp, label %exit, label %store
  17
  18 store:
  19   store i32 1, i32 *@g
  20   br label %exit
  21
  22 exit:
  23   ret void
  24 }
  25
  26 ; Check the high end of the TMLL range.
  27 define void @f2(i32 %a) {
  28 ; CHECK-LABEL: f2:
  29 ; CHECK: tmll %r2, 65535
  30 ; CHECK: jne {{\.L.*}}
  31 ; CHECK: br %r14
  32 entry:
  33   %and = and i32 %a, 65535
  34   %cmp = icmp ne i32 %and, 0
  35   br i1 %cmp, label %exit, label %store
  36
  37 store:
  38   store i32 1, i32 *@g
  39   br label %exit
  40
  41 exit:
  42   ret void
  43 }
  44
  45 ; Check the lowest useful TMLH value, which is the next value up.
  46 define void @f3(i32 %a) {
  47 ; CHECK-LABEL: f3:
  48 ; CHECK: tmlh %r2, 1
  49 ; CHECK: jne {{\.L.*}}
  50 ; CHECK: br %r14
  51 entry:
  52   %and = and i32 %a, 65536
  53   %cmp = icmp ne i32 %and, 0
  54   br i1 %cmp, label %exit, label %store
  55
  56 store:
  57   store i32 1, i32 *@g
  58   br label %exit
  59
  60 exit:
  61   ret void
  62 }
  63
  64 ; Check the next value up again, which cannot use TM.
  65 define void @f4(i32 %a) {
  66 ; CHECK-LABEL: f4:
  67 ; CHECK-NOT: {{tm[lh].}}
  68 ; CHECK: br %r14
  69 entry:
  70   %and = and i32 %a, 4294901759
  71   %cmp = icmp eq i32 %and, 0
  72   br i1 %cmp, label %exit, label %store
  73
  74 store:
  75   store i32 1, i32 *@g
  76   br label %exit
  77
  78 exit:
  79   ret void
  80 }
  81
  82 ; Check the high end of the TMLH range.
  83 define void @f5(i32 %a) {
  84 ; CHECK-LABEL: f5:
  85 ; CHECK: tmlh %r2, 65535
  86 ; CHECK: je {{\.L.*}}
  87 ; CHECK: br %r14
  88 entry:
  89   %and = and i32 %a, 4294901760
  90   %cmp = icmp eq i32 %and, 0
  91   br i1 %cmp, label %exit, label %store
  92
  93 store:
  94   store i32 1, i32 *@g
  95   br label %exit
  96
  97 exit:
  98   ret void
  99 }
 100
 101 ; Check that we can use TMLL for LT comparisons that are equivalent to
 102 ; an equality comparison with zero.
 103 define void @f6(i32 %a) {
 104 ; CHECK-LABEL: f6:
 105 ; CHECK: tmll %r2, 240
 106 ; CHECK: je {{\.L.*}}
 107 ; CHECK: br %r14
 108 entry:
 109   %and = and i32 %a, 240
 110   %cmp = icmp slt i32 %and, 16
 111   br i1 %cmp, label %exit, label %store
 112
 113 store:
 114   store i32 1, i32 *@g
 115   br label %exit
 116
 117 exit:
 118   ret void
 119 }
 120
 121 ; ...same again with LE.
 122 define void @f7(i32 %a) {
 123 ; CHECK-LABEL: f7:
 124 ; CHECK: tmll %r2, 240
 125 ; CHECK: je {{\.L.*}}
 126 ; CHECK: br %r14
 127 entry:
 128   %and = and i32 %a, 240
 129   %cmp = icmp sle i32 %and, 15
 130   br i1 %cmp, label %exit, label %store
 131
 132 store:
 133   store i32 1, i32 *@g
 134   br label %exit
 135
 136 exit:
 137   ret void
 138 }
 139
 140 ; Check that we can use TMLL for GE comparisons that are equivalent to
 141 ; an inequality comparison with zero.
 142 define void @f8(i32 %a) {
 143 ; CHECK-LABEL: f8:
 144 ; CHECK: tmll %r2, 240
 145 ; CHECK: jne {{\.L.*}}
 146 ; CHECK: br %r14
 147 entry:
 148   %and = and i32 %a, 240
 149   %cmp = icmp uge i32 %and, 16
 150   br i1 %cmp, label %exit, label %store
 151
 152 store:
 153   store i32 1, i32 *@g
 154   br label %exit
 155
 156 exit:
 157   ret void
 158 }
 159
 160 ; ...same again with GT.
 161 define void @f9(i32 %a) {
 162 ; CHECK-LABEL: f9:
 163 ; CHECK: tmll %r2, 240
 164 ; CHECK: jne {{\.L.*}}
 165 ; CHECK: br %r14
 166 entry:
 167   %and = and i32 %a, 240
 168   %cmp = icmp ugt i32 %and, 15
 169   br i1 %cmp, label %exit, label %store
 170
 171 store:
 172   store i32 1, i32 *@g
 173   br label %exit
 174
 175 exit:
 176   ret void
 177 }
 178
 179 ; Check that we can use TMLL for LT comparisons that effectively
 180 ; test whether the top bit is clear.
 181 define void @f10(i32 %a) {
 182 ; CHECK-LABEL: f10:
 183 ; CHECK: tmll %r2, 35
 184 ; CHECK: jle {{\.L.*}}
 185 ; CHECK: br %r14
 186 entry:
 187   %and = and i32 %a, 35
 188   %cmp = icmp ult i32 %and, 8
 189   br i1 %cmp, label %exit, label %store
 190
 191 store:
 192   store i32 1, i32 *@g
 193   br label %exit
 194
 195 exit:
 196   ret void
 197 }
 198
 199 ; ...same again with LE.
 200 define void @f11(i32 %a) {
 201 ; CHECK-LABEL: f11:
 202 ; CHECK: tmll %r2, 35
 203 ; CHECK: jle {{\.L.*}}
 204 ; CHECK: br %r14
 205 entry:
 206   %and = and i32 %a, 35
 207   %cmp = icmp ule i32 %and, 31
 208   br i1 %cmp, label %exit, label %store
 209
 210 store:
 211   store i32 1, i32 *@g
 212   br label %exit
 213
 214 exit:
 215   ret void
 216 }
 217
 218 ; Check that we can use TMLL for GE comparisons that effectively test
 219 ; whether the top bit is set.
 220 define void @f12(i32 %a) {
 221 ; CHECK-LABEL: f12:
 222 ; CHECK: tmll %r2, 140
 223 ; CHECK: jnle {{\.L.*}}
 224 ; CHECK: br %r14
 225 entry:
 226   %and = and i32 %a, 140
 227   %cmp = icmp uge i32 %and, 128
 228   br i1 %cmp, label %exit, label %store
 229
 230 store:
 231   store i32 1, i32 *@g
 232   br label %exit
 233
 234 exit:
 235   ret void
 236 }
 237
 238 ; ...same again for GT.
 239 define void @f13(i32 %a) {
 240 ; CHECK-LABEL: f13:
 241 ; CHECK: tmll %r2, 140
 242 ; CHECK: jnle {{\.L.*}}
 243 ; CHECK: br %r14
 244 entry:
 245   %and = and i32 %a, 140
 246   %cmp = icmp ugt i32 %and, 126
 247   br i1 %cmp, label %exit, label %store
 248
 249 store:
 250   store i32 1, i32 *@g
 251   br label %exit
 252
 253 exit:
 254   ret void
 255 }
 256
 257 ; Check that we can use TMLL for equality comparisons with the mask.
 258 define void @f14(i32 %a) {
 259 ; CHECK-LABEL: f14:
 260 ; CHECK: tmll %r2, 101
 261 ; CHECK: jo {{\.L.*}}
 262 ; CHECK: br %r14
 263 entry:
 264   %and = and i32 %a, 101
 265   %cmp = icmp eq i32 %and, 101
 266   br i1 %cmp, label %exit, label %store
 267
 268 store:
 269   store i32 1, i32 *@g
 270   br label %exit
 271
 272 exit:
 273   ret void
 274 }
 275
 276 ; Check that we can use TMLL for inequality comparisons with the mask.
 277 define void @f15(i32 %a) {
 278 ; CHECK-LABEL: f15:
 279 ; CHECK: tmll %r2, 65519
 280 ; CHECK: jno {{\.L.*}}
 281 ; CHECK: br %r14
 282 entry:
 283   %and = and i32 %a, 65519
 284   %cmp = icmp ne i32 %and, 65519
 285   br i1 %cmp, label %exit, label %store
 286
 287 store:
 288   store i32 1, i32 *@g
 289   br label %exit
 290
 291 exit:
 292   ret void
 293 }
 294
 295 ; Check that we can use TMLL for LT comparisons that are equivalent
 296 ; to inequality comparisons with the mask.
 297 define void @f16(i32 %a) {
 298 ; CHECK-LABEL: f16:
 299 ; CHECK: tmll %r2, 130
 300 ; CHECK: jno {{\.L.*}}
 301 ; CHECK: br %r14
 302 entry:
 303   %and = and i32 %a, 130
 304   %cmp = icmp ult i32 %and, 129
 305   br i1 %cmp, label %exit, label %store
 306
 307 store:
 308   store i32 1, i32 *@g
 309   br label %exit
 310
 311 exit:
 312   ret void
 313 }
 314
 315 ; ...same again with LE.
 316 define void @f17(i32 %a) {
 317 ; CHECK-LABEL: f17:
 318 ; CHECK: tmll %r2, 130
 319 ; CHECK: jno {{\.L.*}}
 320 ; CHECK: br %r14
 321 entry:
 322   %and = and i32 %a, 130
 323   %cmp = icmp ule i32 %and, 128
 324   br i1 %cmp, label %exit, label %store
 325
 326 store:
 327   store i32 1, i32 *@g
 328   br label %exit
 329
 330 exit:
 331   ret void
 332 }
 333
 334 ; Check that we can use TMLL for GE comparisons that are equivalent
 335 ; to equality comparisons with the mask.
 336 define void @f18(i32 %a) {
 337 ; CHECK-LABEL: f18:
 338 ; CHECK: tmll %r2, 194
 339 ; CHECK: jo {{\.L.*}}
 340 ; CHECK: br %r14
 341 entry:
 342   %and = and i32 %a, 194
 343   %cmp = icmp uge i32 %and, 193
 344   br i1 %cmp, label %exit, label %store
 345
 346 store:
 347   store i32 1, i32 *@g
 348   br label %exit
 349
 350 exit:
 351   ret void
 352 }
 353
 354 ; ...same again for GT.
 355 define void @f19(i32 %a) {
 356 ; CHECK-LABEL: f19:
 357 ; CHECK: tmll %r2, 194
 358 ; CHECK: jo {{\.L.*}}
 359 ; CHECK: br %r14
 360 entry:
 361   %and = and i32 %a, 194
 362   %cmp = icmp ugt i32 %and, 192
 363   br i1 %cmp, label %exit, label %store
 364
 365 store:
 366   store i32 1, i32 *@g
 367   br label %exit
 368
 369 exit:
 370   ret void
 371 }
 372
 373 ; Check that we can use TMLL for equality comparisons for the low bit
 374 ; when the mask has two bits.
 375 define void @f20(i32 %a) {
 376 ; CHECK-LABEL: f20:
 377 ; CHECK: tmll %r2, 20
 378 ; CHECK: jl {{\.L.*}}
 379 ; CHECK: br %r14
 380 entry:
 381   %and = and i32 %a, 20
 382   %cmp = icmp eq i32 %and, 4
 383   br i1 %cmp, label %exit, label %store
 384
 385 store:
 386   store i32 1, i32 *@g
 387   br label %exit
 388
 389 exit:
 390   ret void
 391 }
 392
 393 ; Check that we can use TMLL for inequality comparisons for the low bit
 394 ; when the mask has two bits.
 395 define void @f21(i32 %a) {
 396 ; CHECK-LABEL: f21:
 397 ; CHECK: tmll %r2, 20
 398 ; CHECK: jnl {{\.L.*}}
 399 ; CHECK: br %r14
 400 entry:
 401   %and = and i32 %a, 20
 402   %cmp = icmp ne i32 %and, 4
 403   br i1 %cmp, label %exit, label %store
 404
 405 store:
 406   store i32 1, i32 *@g
 407   br label %exit
 408
 409 exit:
 410   ret void
 411 }
 412
 413 ; Check that we can use TMLL for equality comparisons for the high bit
 414 ; when the mask has two bits.
 415 define void @f22(i32 %a) {
 416 ; CHECK-LABEL: f22:
 417 ; CHECK: tmll %r2, 20
 418 ; CHECK: jh {{\.L.*}}
 419 ; CHECK: br %r14
 420 entry:
 421   %and = and i32 %a, 20
 422   %cmp = icmp eq i32 %and, 16
 423   br i1 %cmp, label %exit, label %store
 424
 425 store:
 426   store i32 1, i32 *@g
 427   br label %exit
 428
 429 exit:
 430   ret void
 431 }
 432
 433 ; Check that we can use TMLL for inequality comparisons for the high bit
 434 ; when the mask has two bits.
 435 define void @f23(i32 %a) {
 436 ; CHECK-LABEL: f23:
 437 ; CHECK: tmll %r2, 20
 438 ; CHECK: jnh {{\.L.*}}
 439 ; CHECK: br %r14
 440 entry:
 441   %and = and i32 %a, 20
 442   %cmp = icmp ne i32 %and, 16
 443   br i1 %cmp, label %exit, label %store
 444
 445 store:
 446   store i32 1, i32 *@g
 447   br label %exit
 448
 449 exit:
 450   ret void
 451 }
 452
 453 ; Check that we can fold an SHL into a TMxx mask.
 454 define void @f24(i32 %a) {
 455 ; CHECK-LABEL: f24:
 456 ; CHECK: tmll %r2, 255
 457 ; CHECK: jne {{\.L.*}}
 458 ; CHECK: br %r14
 459 entry:
 460   %shl = shl i32 %a, 12
 461   %and = and i32 %shl, 1044480
 462   %cmp = icmp ne i32 %and, 0
 463   br i1 %cmp, label %exit, label %store
 464
 465 store:
 466   store i32 1, i32 *@g
 467   br label %exit
 468
 469 exit:
 470   ret void
 471 }
 472
 473 ; Check that we can fold an SHR into a TMxx mask.
 474 define void @f25(i32 %a) {
 475 ; CHECK-LABEL: f25:
 476 ; CHECK: tmlh %r2, 512
 477 ; CHECK: jne {{\.L.*}}
 478 ; CHECK: br %r14
 479 entry:
 480   %shr = lshr i32 %a, 25
 481   %and = and i32 %shr, 1
 482   %cmp = icmp ne i32 %and, 0
 483   br i1 %cmp, label %exit, label %store
 484
 485 store:
 486   store i32 1, i32 *@g
 487   br label %exit
 488
 489 exit:
 490   ret void
 491 }