llvm/test/CodeGen/AArch64/GlobalISel/prelegalizer-combiner-addo-zero.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple aarch64 -debugify-and-strip-all-safe -run-pass=aarch64-prelegalizer-combiner --aarch64prelegalizercombiner-only-enable-rule="match_addos" -global-isel -verify-machineinstrs %s -o - | FileCheck %s
   3 # REQUIRES: asserts
   4
   5 # (G_*ADDO x, 0) -> x + no carry
   6
   7 ...
   8 ---
   9 name:            uadd_zero
  10 tracksRegLiveness: true
  11 body:             |
  12   bb.0:
  13     liveins: $w0, $w1
  14     ; CHECK-LABEL: name: uadd_zero
  15     ; CHECK: liveins: $w0, $w1
  16     ; CHECK-NEXT: {{  $}}
  17     ; CHECK-NEXT: %lhs:_(s32) = COPY $w0
  18     ; CHECK-NEXT: %add:_(s32) = COPY %lhs(s32)
  19     ; CHECK-NEXT: %o:_(s1) = G_CONSTANT i1 false
  20     ; CHECK-NEXT: %o_wide:_(s32) = G_ZEXT %o(s1)
  21     ; CHECK-NEXT: $w0 = COPY %add(s32)
  22     ; CHECK-NEXT: $w1 = COPY %o_wide(s32)
  23     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  24     %lhs:_(s32) = COPY $w0
  25     %zero:_(s32) = G_CONSTANT i32 0
  26     %add:_(s32), %o:_(s1) = G_UADDO %lhs, %zero
  27     %o_wide:_(s32) = G_ZEXT %o(s1)
  28     $w0 = COPY %add(s32)
  29     $w1 = COPY %o_wide
  30     RET_ReallyLR implicit $w0
  31 ...
  32 ---
  33 name:            sadd_zero
  34 tracksRegLiveness: true
  35 body:             |
  36   bb.0:
  37     liveins: $w0, $w1
  38     ; CHECK-LABEL: name: sadd_zero
  39     ; CHECK: liveins: $w0, $w1
  40     ; CHECK-NEXT: {{  $}}
  41     ; CHECK-NEXT: %lhs:_(s32) = COPY $w0
  42     ; CHECK-NEXT: %add:_(s32) = COPY %lhs(s32)
  43     ; CHECK-NEXT: %o:_(s1) = G_CONSTANT i1 false
  44     ; CHECK-NEXT: %o_wide:_(s32) = G_ZEXT %o(s1)
  45     ; CHECK-NEXT: $w0 = COPY %add(s32)
  46     ; CHECK-NEXT: $w1 = COPY %o_wide(s32)
  47     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  48     %lhs:_(s32) = COPY $w0
  49     %zero:_(s32) = G_CONSTANT i32 0
  50     %add:_(s32), %o:_(s1) = G_SADDO %lhs, %zero
  51     %o_wide:_(s32) = G_ZEXT %o(s1)
  52     $w0 = COPY %add(s32)
  53     $w1 = COPY %o_wide
  54     RET_ReallyLR implicit $w0
  55 ...
  56 ---
  57 name:            wrong_cst
  58 tracksRegLiveness: true
  59 body:             |
  60   bb.0:
  61     liveins: $w0, $w1
  62     ; CHECK-LABEL: name: wrong_cst
  63     ; CHECK: liveins: $w0, $w1
  64     ; CHECK-NEXT: {{  $}}
  65     ; CHECK-NEXT: %lhs:_(s32) = COPY $w0
  66     ; CHECK-NEXT: %not_zero:_(s32) = G_CONSTANT i32 3
  67     ; CHECK-NEXT: %add:_(s32), %o:_(s1) = G_UADDO %lhs, %not_zero
  68     ; CHECK-NEXT: %o_wide:_(s32) = G_ZEXT %o(s1)
  69     ; CHECK-NEXT: $w0 = COPY %add(s32)
  70     ; CHECK-NEXT: $w1 = COPY %o_wide(s32)
  71     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  72     %lhs:_(s32) = COPY $w0
  73     %not_zero:_(s32) = G_CONSTANT i32 3
  74     %add:_(s32), %o:_(s1) = G_UADDO %lhs, %not_zero
  75     %o_wide:_(s32) = G_ZEXT %o(s1)
  76     $w0 = COPY %add(s32)
  77     $w1 = COPY %o_wide
  78     RET_ReallyLR implicit $w0
  79 ...
  80 ---
  81 name:            uadd_vec_zero
  82 tracksRegLiveness: true
  83 body:             |
  84   bb.0:
  85     liveins: $q0, $x0
  86     ; CHECK-LABEL: name: uadd_vec_zero
  87     ; CHECK: liveins: $q0, $x0
  88     ; CHECK-NEXT: {{  $}}
  89     ; CHECK-NEXT: %lhs:_(<2 x s64>) = COPY $q0
  90     ; CHECK-NEXT: %zero:_(s64) = G_CONSTANT i64 0
  91     ; CHECK-NEXT: %add:_(<2 x s64>) = COPY %lhs(<2 x s64>)
  92     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 false
  93     ; CHECK-NEXT: %o:_(<2 x s1>) = G_BUILD_VECTOR [[C]](s1), [[C]](s1)
  94     ; CHECK-NEXT: %o_elt_0:_(s1) = G_EXTRACT_VECTOR_ELT %o(<2 x s1>), %zero(s64)
  95     ; CHECK-NEXT: %o_wide:_(s64) = G_ZEXT %o_elt_0(s1)
  96     ; CHECK-NEXT: $q0 = COPY %add(<2 x s64>)
  97     ; CHECK-NEXT: $x0 = COPY %o_wide(s64)
  98     ; CHECK-NEXT: RET_ReallyLR implicit $q0
  99     %lhs:_(<2 x s64>) = COPY $q0
 100     %zero:_(s64) = G_CONSTANT i64 0
 101     %zero_vec:_(<2 x s64>) = G_BUILD_VECTOR %zero, %zero
 102     %add:_(<2 x s64>), %o:_(<2 x s1>) = G_UADDO %lhs, %zero_vec
 103     %o_elt_0:_(s1) = G_EXTRACT_VECTOR_ELT %o:_(<2 x s1>), %zero:_(s64)
 104     %o_wide:_(s64) = G_ZEXT %o_elt_0
 105     $q0 = COPY %add(<2 x s64>)
 106     $x0 = COPY %o_wide
 107     RET_ReallyLR implicit $q0
 108 ...
 109 ---
 110 name:            sadd_vec_zero
 111 tracksRegLiveness: true
 112 body:             |
 113   bb.0:
 114     liveins: $q0, $x0
 115     ; CHECK-LABEL: name: sadd_vec_zero
 116     ; CHECK: liveins: $q0, $x0
 117     ; CHECK-NEXT: {{  $}}
 118     ; CHECK-NEXT: %lhs:_(<2 x s64>) = COPY $q0
 119     ; CHECK-NEXT: %zero:_(s64) = G_CONSTANT i64 0
 120     ; CHECK-NEXT: %add:_(<2 x s64>) = COPY %lhs(<2 x s64>)
 121     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 false
 122     ; CHECK-NEXT: %o:_(<2 x s1>) = G_BUILD_VECTOR [[C]](s1), [[C]](s1)
 123     ; CHECK-NEXT: %o_elt_0:_(s1) = G_EXTRACT_VECTOR_ELT %o(<2 x s1>), %zero(s64)
 124     ; CHECK-NEXT: %o_wide:_(s64) = G_ZEXT %o_elt_0(s1)
 125     ; CHECK-NEXT: $q0 = COPY %add(<2 x s64>)
 126     ; CHECK-NEXT: $x0 = COPY %o_wide(s64)
 127     ; CHECK-NEXT: RET_ReallyLR implicit $q0
 128     %lhs:_(<2 x s64>) = COPY $q0
 129     %zero:_(s64) = G_CONSTANT i64 0
 130     %zero_vec:_(<2 x s64>) = G_BUILD_VECTOR %zero, %zero
 131     %add:_(<2 x s64>), %o:_(<2 x s1>) = G_SADDO %lhs, %zero_vec
 132     %o_elt_0:_(s1) = G_EXTRACT_VECTOR_ELT %o:_(<2 x s1>), %zero:_(s64)
 133     %o_wide:_(s64) = G_ZEXT %o_elt_0
 134     $q0 = COPY %add(<2 x s64>)
 135     $x0 = COPY %o_wide
 136     RET_ReallyLR implicit $q0