llvm/test/CodeGen/AArch64/GlobalISel/prelegalizercombiner-trivial-arith.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple aarch64 -run-pass=aarch64-prelegalizer-combiner -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 name:            right_ident_sub
   5 tracksRegLiveness: true
   6 body:             |
   7   bb.1.entry:
   8     liveins: $w0
   9     ; Fold (x - 0) -> x
  10     ;
  11     ; CHECK-LABEL: name: right_ident_sub
  12     ; CHECK: liveins: $w0
  13     ; CHECK: %x:_(s32) = COPY $w0
  14     ; CHECK: $w0 = COPY %x(s32)
  15     ; CHECK: RET_ReallyLR implicit $w0
  16     %x:_(s32) = COPY $w0
  17     %cst:_(s32) = G_CONSTANT i32 0
  18     %op:_(s32) = G_SUB %x(s32), %cst
  19     $w0 = COPY %op(s32)
  20     RET_ReallyLR implicit $w0
  21
  22 ...
  23 ---
  24 name:            right_ident_add
  25 tracksRegLiveness: true
  26 body:             |
  27   bb.1.entry:
  28     liveins: $w0
  29     ; Fold (x + 0) -> x
  30     ;
  31     ; CHECK-LABEL: name: right_ident_add
  32     ; CHECK: liveins: $w0
  33     ; CHECK-NEXT: {{  $}}
  34     ; CHECK-NEXT: %x:_(s32) = COPY $w0
  35     ; CHECK-NEXT: $w0 = COPY %x(s32)
  36     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  37     %x:_(s32) = COPY $w0
  38     %cst:_(s32) = G_CONSTANT i32 0
  39     %op:_(s32) = G_ADD %x(s32), %cst
  40     $w0 = COPY %op(s32)
  41     RET_ReallyLR implicit $w0
  42
  43 ...
  44 ---
  45 name:            mul_0
  46 tracksRegLiveness: true
  47 body:             |
  48   bb.1.entry:
  49     liveins: $w0
  50     ; Fold (x * 0) -> 0
  51     ;
  52     ; CHECK-LABEL: name: mul_0
  53     ; CHECK: liveins: $w0
  54     ; CHECK-NEXT: {{  $}}
  55     ; CHECK-NEXT: %cst:_(s32) = G_CONSTANT i32 0
  56     ; CHECK-NEXT: $w0 = COPY %cst(s32)
  57     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  58     %x:_(s32) = COPY $w0
  59     %cst:_(s32) = G_CONSTANT i32 0
  60     %op:_(s32) = G_MUL %x(s32), %cst
  61     $w0 = COPY %op(s32)
  62     RET_ReallyLR implicit $w0
  63
  64 ...
  65
  66 ---
  67 name:            mul_0_cant_replace
  68 tracksRegLiveness: true
  69 body:             |
  70   bb.1.entry:
  71     liveins: $w0
  72     ; Fold (x * 0) -> 0
  73     ;
  74     ; CHECK-LABEL: name: mul_0_cant_replace
  75     ; CHECK: liveins: $w0
  76     ; CHECK-NEXT: {{  $}}
  77     ; CHECK-NEXT: %x:_(s32) = COPY $w0
  78     ; CHECK-NEXT: %cst:_(s32) = G_CONSTANT i32 0
  79     ; CHECK-NEXT: %op:gpr(s32) = G_MUL %x, %cst
  80     ; CHECK-NEXT: $w0 = COPY %op(s32)
  81     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  82     %x:_(s32) = COPY $w0
  83     %cst:_(s32) = G_CONSTANT i32 0
  84     %op:gpr(s32) = G_MUL %x(s32), %cst
  85     $w0 = COPY %op(s32)
  86     RET_ReallyLR implicit $w0
  87
  88 ...
  89
  90 ---
  91 name:            sdiv_0
  92 tracksRegLiveness: true
  93 body:             |
  94   bb.1.entry:
  95     liveins: $w0
  96     ; Fold (0 / x) -> 0
  97     ;
  98     ; CHECK-LABEL: name: sdiv_0
  99     ; CHECK: liveins: $w0
 100     ; CHECK-NEXT: {{  $}}
 101     ; CHECK-NEXT: %cst:_(s32) = G_CONSTANT i32 0
 102     ; CHECK-NEXT: $w0 = COPY %cst(s32)
 103     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 104     %x:_(s32) = COPY $w0
 105     %cst:_(s32) = G_CONSTANT i32 0
 106     %op:_(s32) = G_SDIV %cst, %x
 107     $w0 = COPY %op(s32)
 108     RET_ReallyLR implicit $w0
 109
 110 ...
 111 ---
 112 name:            udiv_0
 113 tracksRegLiveness: true
 114 body:             |
 115   bb.1.entry:
 116     liveins: $w0
 117     ; Fold (0 / x) -> 0
 118     ;
 119     ; CHECK-LABEL: name: udiv_0
 120     ; CHECK: liveins: $w0
 121     ; CHECK-NEXT: {{  $}}
 122     ; CHECK-NEXT: %cst:_(s32) = G_CONSTANT i32 0
 123     ; CHECK-NEXT: $w0 = COPY %cst(s32)
 124     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 125     %x:_(s32) = COPY $w0
 126     %cst:_(s32) = G_CONSTANT i32 0
 127     %op:_(s32) = G_UDIV %cst, %x
 128     $w0 = COPY %op(s32)
 129     RET_ReallyLR implicit $w0
 130
 131 ...
 132 ---
 133 name:            srem_0
 134 tracksRegLiveness: true
 135 body:             |
 136   bb.1.entry:
 137     liveins: $w0
 138     ; Fold (0 % x) -> 0
 139     ;
 140     ; CHECK-LABEL: name: srem_0
 141     ; CHECK: liveins: $w0
 142     ; CHECK-NEXT: {{  $}}
 143     ; CHECK-NEXT: %cst:_(s32) = G_CONSTANT i32 0
 144     ; CHECK-NEXT: $w0 = COPY %cst(s32)
 145     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 146     %x:_(s32) = COPY $w0
 147     %cst:_(s32) = G_CONSTANT i32 0
 148     %op:_(s32) = G_SREM %cst, %x
 149     $w0 = COPY %op(s32)
 150     RET_ReallyLR implicit $w0
 151
 152 ...
 153 ---
 154 name:            urem_0
 155 tracksRegLiveness: true
 156 body:             |
 157   bb.1.entry:
 158     liveins: $w0
 159     ; Fold (0 % x) -> 0
 160     ;
 161     ; CHECK-LABEL: name: urem_0
 162     ; CHECK: liveins: $w0
 163     ; CHECK-NEXT: {{  $}}
 164     ; CHECK-NEXT: %cst:_(s32) = G_CONSTANT i32 0
 165     ; CHECK-NEXT: $w0 = COPY %cst(s32)
 166     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 167     %x:_(s32) = COPY $w0
 168     %cst:_(s32) = G_CONSTANT i32 0
 169     %op:_(s32) = G_UREM %cst, %x
 170     $w0 = COPY %op(s32)
 171     RET_ReallyLR implicit $w0
 172
 173 ...
 174
 175 ---
 176 name:            right_ident_or
 177 tracksRegLiveness: true
 178 body:             |
 179   bb.1.entry:
 180     liveins: $w0
 181     ; Fold (x || 0) -> x
 182     ;
 183     ; CHECK-LABEL: name: right_ident_or
 184     ; CHECK: liveins: $w0
 185     ; CHECK-NEXT: {{  $}}
 186     ; CHECK-NEXT: %x:_(s32) = COPY $w0
 187     ; CHECK-NEXT: $w0 = COPY %x(s32)
 188     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 189     %x:_(s32) = COPY $w0
 190     %cst:_(s32) = G_CONSTANT i32 0
 191     %op:_(s32) = G_OR %x(s32), %cst
 192     $w0 = COPY %op(s32)
 193     RET_ReallyLR implicit $w0
 194
 195 ...
 196 ---
 197 name:            right_ident_xor
 198 tracksRegLiveness: true
 199 body:             |
 200   bb.1.entry:
 201     liveins: $w0
 202     ; Fold (x | 0) -> x
 203     ;
 204     ; CHECK-LABEL: name: right_ident_xor
 205     ; CHECK: liveins: $w0
 206     ; CHECK-NEXT: {{  $}}
 207     ; CHECK-NEXT: %x:_(s32) = COPY $w0
 208     ; CHECK-NEXT: $w0 = COPY %x(s32)
 209     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 210     %x:_(s32) = COPY $w0
 211     %cst:_(s32) = G_CONSTANT i32 0
 212     %op:_(s32) = G_XOR %x(s32), %cst
 213     $w0 = COPY %op(s32)
 214     RET_ReallyLR implicit $w0
 215
 216 ...
 217 ---
 218 name:            right_ident_shl
 219 tracksRegLiveness: true
 220 body:             |
 221   bb.1.entry:
 222     liveins: $w0
 223     ; Fold (x << 0) -> x
 224     ;
 225     ; CHECK-LABEL: name: right_ident_shl
 226     ; CHECK: liveins: $w0
 227     ; CHECK-NEXT: {{  $}}
 228     ; CHECK-NEXT: %x:_(s32) = COPY $w0
 229     ; CHECK-NEXT: $w0 = COPY %x(s32)
 230     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 231     %x:_(s32) = COPY $w0
 232     %cst:_(s32) = G_CONSTANT i32 0
 233     %op:_(s32) = G_SHL %x(s32), %cst
 234     $w0 = COPY %op(s32)
 235     RET_ReallyLR implicit $w0
 236
 237 ...
 238 ---
 239 name:            right_ident_ashr
 240 tracksRegLiveness: true
 241 body:             |
 242   bb.1.entry:
 243     liveins: $w0
 244     ; Fold (x ashr 0) -> x
 245     ;
 246     ; CHECK-LABEL: name: right_ident_ashr
 247     ; CHECK: liveins: $w0
 248     ; CHECK-NEXT: {{  $}}
 249     ; CHECK-NEXT: %x:_(s32) = COPY $w0
 250     ; CHECK-NEXT: $w0 = COPY %x(s32)
 251     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 252     %x:_(s32) = COPY $w0
 253     %cst:_(s32) = G_CONSTANT i32 0
 254     %op:_(s32) = G_ASHR %x(s32), %cst
 255     $w0 = COPY %op(s32)
 256     RET_ReallyLR implicit $w0
 257
 258 ...
 259 ---
 260 name:            right_ident_lshr
 261 tracksRegLiveness: true
 262 body:             |
 263   bb.1.entry:
 264     liveins: $w0
 265     ; Fold (x lshr 0) -> x
 266     ;
 267     ; CHECK-LABEL: name: right_ident_lshr
 268     ; CHECK: liveins: $w0
 269     ; CHECK-NEXT: {{  $}}
 270     ; CHECK-NEXT: %x:_(s32) = COPY $w0
 271     ; CHECK-NEXT: $w0 = COPY %x(s32)
 272     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 273     %x:_(s32) = COPY $w0
 274     %cst:_(s32) = G_CONSTANT i32 0
 275     %op:_(s32) = G_LSHR %x(s32), %cst
 276     $w0 = COPY %op(s32)
 277     RET_ReallyLR implicit $w0
 278
 279 ...
 280 ---
 281 name:            dont_fold_sub
 282 tracksRegLiveness: true
 283 body:             |
 284   bb.1.entry:
 285     liveins: $w0
 286     ; Not an identity, no folding.
 287     ;
 288     ; CHECK-LABEL: name: dont_fold_sub
 289     ; CHECK: liveins: $w0
 290     ; CHECK-NEXT: {{  $}}
 291     ; CHECK-NEXT: %x:_(s32) = COPY $w0
 292     ; CHECK-NEXT: %cst:_(s32) = G_CONSTANT i32 1
 293     ; CHECK-NEXT: %op:_(s32) = G_SUB %x, %cst
 294     ; CHECK-NEXT: $w0 = COPY %op(s32)
 295     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 296     %x:_(s32) = COPY $w0
 297     %cst:_(s32) = G_CONSTANT i32 1
 298     %op:_(s32) = G_SUB %x(s32), %cst
 299     $w0 = COPY %op(s32)
 300     RET_ReallyLR implicit $w0
 301
 302 ...
 303 ---
 304 name:            look_through_zext
 305 tracksRegLiveness: true
 306 body:             |
 307   bb.0:
 308     liveins: $x0
 309     ; CHECK-LABEL: name: look_through_zext
 310     ; CHECK: liveins: $x0
 311     ; CHECK-NEXT: {{  $}}
 312     ; CHECK-NEXT: %zext_zero:_(s64) = G_CONSTANT i64 0
 313     ; CHECK-NEXT: $x0 = COPY %zext_zero(s64)
 314     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 315     %zero:_(s8) = G_CONSTANT i8 0
 316     %zext_zero:_(s64) = G_ZEXT %zero(s8)
 317     %c:_(s64) = G_CONSTANT i64 72340172838076673
 318     %mul:_(s64) = G_MUL %c, %zext_zero
 319     $x0 = COPY %mul(s64)
 320     RET_ReallyLR implicit $x0
 321 ...
 322 ---
 323 name:            right_ident_ptr_add
 324 tracksRegLiveness: true
 325 body:             |
 326   bb.1.entry:
 327     liveins: $x0
 328     ; Fold (x + 0) -> x
 329     ;
 330     ; CHECK-LABEL: name: right_ident_ptr_add
 331     ; CHECK: liveins: $x0
 332     ; CHECK-NEXT: {{  $}}
 333     ; CHECK-NEXT: %x:_(p0) = COPY $x0
 334     ; CHECK-NEXT: $x0 = COPY %x(p0)
 335     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 336     %x:_(p0) = COPY $x0
 337     %cst:_(s64) = G_CONSTANT i64 0
 338     %op:_(p0) = G_PTR_ADD %x(p0), %cst
 339     $x0 = COPY %op(p0)
 340     RET_ReallyLR implicit $x0
 341 ...
 342 ---
 343 name:            right_identity_rotl
 344 tracksRegLiveness: true
 345 body:             |
 346   bb.0:
 347     liveins: $w0, $w1
 348     ; CHECK-LABEL: name: right_identity_rotl
 349     ; CHECK: liveins: $w0, $w1
 350     ; CHECK-NEXT: {{  $}}
 351     ; CHECK-NEXT: %copy:_(s32) = COPY $w0
 352     ; CHECK-NEXT: $w0 = COPY %copy(s32)
 353     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 354     %copy:_(s32) = COPY $w0
 355     %zero:_(s32) = G_CONSTANT i32 0
 356     %rot:_(s32) = G_ROTL %copy(s32), %zero(s32)
 357     $w0 = COPY %rot(s32)
 358     RET_ReallyLR implicit $w0
 359 ...
 360 ...
 361 ---
 362 name:            right_identity_rotr
 363 tracksRegLiveness: true
 364 body:             |
 365   bb.0:
 366     liveins: $w0, $w1
 367     ; CHECK-LABEL: name: right_identity_rotr
 368     ; CHECK: liveins: $w0, $w1
 369     ; CHECK-NEXT: {{  $}}
 370     ; CHECK-NEXT: %copy:_(s32) = COPY $w0
 371     ; CHECK-NEXT: $w0 = COPY %copy(s32)
 372     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 373     %copy:_(s32) = COPY $w0
 374     %zero:_(s32) = G_CONSTANT i32 0
 375     %rot:_(s32) = G_ROTR %copy(s32), %zero(s32)
 376     $w0 = COPY %rot(s32)
 377     RET_ReallyLR implicit $w0
 378 ...
 379 ---
 380 name: lshr_of_vec_zero
 381 body:             |
 382   bb.1:
 383   liveins: $q0
 384     ; CHECK-LABEL: name: lshr_of_vec_zero
 385     ; CHECK: liveins: $q0
 386     ; CHECK-NEXT: {{  $}}
 387     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
 388     ; CHECK-NEXT: $q0 = COPY [[COPY]](<8 x s16>)
 389     ; CHECK-NEXT: RET_ReallyLR implicit $q0
 390     %0:_(<8 x s16>) = COPY $q0
 391     %5:_(s16) = G_CONSTANT i16 0
 392     %zero_vec:_(<8 x s16>) = G_BUILD_VECTOR %5(s16), %5(s16), %5(s16), %5(s16), %5(s16), %5(s16), %5(s16), %5(s16)
 393     %shift:_(<8 x s16>) = G_LSHR %0, %zero_vec(<8 x s16>)
 394     $q0 = COPY %shift(<8 x s16>)
 395     RET_ReallyLR implicit $q0
 396 ...
 397 ---
 398 name: ptradd_of_vec_zero
 399 body:             |
 400   bb.1:
 401   liveins: $q0
 402     ; CHECK-LABEL: name: ptradd_of_vec_zero
 403     ; CHECK: liveins: $q0
 404     ; CHECK-NEXT: {{  $}}
 405     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $q0
 406     ; CHECK-NEXT: $q0 = COPY [[COPY]](<2 x p0>)
 407     ; CHECK-NEXT: RET_ReallyLR implicit $q0
 408     %0:_(<2 x p0>) = COPY $q0
 409     %5:_(s64) = G_CONSTANT i64 0
 410     %zero_vec:_(<2 x s64>) = G_BUILD_VECTOR %5(s64), %5(s64)
 411     %ptr:_(<2 x p0>) = G_PTR_ADD %0, %zero_vec(<2 x s64>)
 412     $q0 = COPY %ptr(<2 x p0>)
 413     RET_ReallyLR implicit $q0
 414 ...
 415 ---
 416 name:            i128_or_cst
 417 liveins:
 418   - { reg: '$x0' }
 419 body:             |
 420   bb.1:
 421     liveins: $x0
 422
 423     ; CHECK-LABEL: name: i128_or_cst
 424     ; CHECK: liveins: $x0
 425     ; CHECK-NEXT: {{  $}}
 426     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 427     ; CHECK-NEXT: [[LOAD:%[0-9]+]]:_(s128) = G_LOAD [[COPY]](p0) :: (load (s128))
 428     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s128) = G_CONSTANT i128 9223372036854775808
 429     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s128) = G_OR [[LOAD]], [[C]]
 430     ; CHECK-NEXT: G_STORE [[OR]](s128), [[COPY]](p0) :: (store (s128), align 4)
 431     ; CHECK-NEXT: RET_ReallyLR
 432     %0:_(p0) = COPY $x0
 433     %2:_(s128) = G_LOAD %0(p0) :: (load (s128))
 434     %4:_(s128) = G_CONSTANT i128 9223372036854775808
 435     %5:_(s128) = G_OR %2, %4
 436     G_STORE %5(s128), %0(p0) :: (store (s128), align 4)
 437     RET_ReallyLR
 438
 439 ...
 440 ---
 441 name:            mul_1_shift_of_shift
 442 liveins:
 443   - { reg: '$x0' }
 444 body:             |
 445   bb.1:
 446     liveins: $x0
 447
 448     ; CHECK-LABEL: name: mul_1_shift_of_shift
 449     ; CHECK: liveins: $x0
 450     ; CHECK-NEXT: {{  $}}
 451     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
 452     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
 453     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[COPY]], [[C]](s64)
 454     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[SHL]], [[C]]
 455     ; CHECK-NEXT: $x0 = COPY [[OR]](s64)
 456     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 457     %0:_(s64) = COPY $x0
 458     %1:_(s64) = G_CONSTANT i64 1
 459     %2:_(s64) = G_SHL %0, %1(s64)
 460     %3:_(s64) = G_OR %2, %1
 461     %4:_(s64) = G_MUL %3, %1
 462     $x0 = COPY %4(s64)
 463     RET_ReallyLR implicit $x0
 464
 465 ...
 466 ---
 467 name:            udiv_of_sext
 468 alignment:       4
 469 tracksRegLiveness: true
 470 liveins:
 471   - { reg: '$w0' }
 472 body:             |
 473   bb.1:
 474     liveins: $w0
 475
 476     ; CHECK-LABEL: name: udiv_of_sext
 477     ; CHECK: liveins: $w0
 478     ; CHECK-NEXT: {{  $}}
 479     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 480     ; CHECK-NEXT: $w0 = COPY [[C]](s32)
 481     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 482     %2:_(s1) = G_CONSTANT i1 true
 483     %4:_(s2) = G_CONSTANT i2 1
 484     %3:_(s2) = G_SEXT %2:_(s1)
 485     %5:_(s2) = G_UDIV %4:_, %3:_
 486     %6:_(s32) = G_ANYEXT %5:_(s2)
 487     $w0 = COPY %6:_(s32)
 488     RET_ReallyLR implicit $w0
 489
 490 ...