llvm/test/CodeGen/AArch64/GlobalISel/legalize-uadd-sat.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=aarch64 -run-pass=legalizer -global-isel-abort=1 %s -o - | FileCheck %s
   3 ---
   4 name:            func
   5 alignment:       4
   6 tracksRegLiveness: true
   7 liveins:
   8   - { reg: '$w0' }
   9   - { reg: '$w1' }
  10 body:             |
  11   bb.1:
  12     liveins: $w0, $w1
  13
  14     ; CHECK-LABEL: name: func
  15     ; CHECK: liveins: $w0, $w1
  16     ; CHECK-NEXT: {{  $}}
  17     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  18     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  19     ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s32), [[UADDO1:%[0-9]+]]:_(s32) = G_UADDO [[COPY]], [[COPY1]]
  20     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
  21     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  22     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[UADDO1]], [[C1]]
  23     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[AND]](s32), [[C]], [[UADDO]]
  24     ; CHECK-NEXT: $w0 = COPY [[SELECT]](s32)
  25     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  26     %0:_(s32) = COPY $w0
  27     %1:_(s32) = COPY $w1
  28     %2:_(s32) = G_UADDSAT %0, %1
  29     $w0 = COPY %2(s32)
  30     RET_ReallyLR implicit $w0
  31
  32 ...
  33 ---
  34 name:            func2
  35 alignment:       4
  36 tracksRegLiveness: true
  37 liveins:
  38   - { reg: '$x0' }
  39   - { reg: '$x1' }
  40 body:             |
  41   bb.1:
  42     liveins: $x0, $x1
  43
  44     ; CHECK-LABEL: name: func2
  45     ; CHECK: liveins: $x0, $x1
  46     ; CHECK-NEXT: {{  $}}
  47     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
  48     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
  49     ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s64), [[UADDO1:%[0-9]+]]:_(s32) = G_UADDO [[COPY]], [[COPY1]]
  50     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 -1
  51     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  52     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[UADDO1]], [[C1]]
  53     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s64) = G_SELECT [[AND]](s32), [[C]], [[UADDO]]
  54     ; CHECK-NEXT: $x0 = COPY [[SELECT]](s64)
  55     ; CHECK-NEXT: RET_ReallyLR implicit $x0
  56     %0:_(s64) = COPY $x0
  57     %1:_(s64) = COPY $x1
  58     %2:_(s64) = G_UADDSAT %0, %1
  59     $x0 = COPY %2(s64)
  60     RET_ReallyLR implicit $x0
  61
  62 ...
  63 ---
  64 name:            func16
  65 alignment:       4
  66 tracksRegLiveness: true
  67 liveins:
  68   - { reg: '$w0' }
  69   - { reg: '$w1' }
  70 body:             |
  71   bb.1:
  72     liveins: $w0, $w1
  73
  74     ; CHECK-LABEL: name: func16
  75     ; CHECK: liveins: $w0, $w1
  76     ; CHECK-NEXT: {{  $}}
  77     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  78     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  79     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
  80     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
  81     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C]]
  82     ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[AND]], [[AND1]]
  83     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[ADD]], [[C]]
  84     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ne), [[ADD]](s32), [[AND2]]
  85     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
  86     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  87     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[ICMP]], [[C2]]
  88     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[AND3]](s32), [[C1]], [[ADD]]
  89     ; CHECK-NEXT: $w0 = COPY [[SELECT]](s32)
  90     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  91     %2:_(s32) = COPY $w0
  92     %0:_(s16) = G_TRUNC %2(s32)
  93     %3:_(s32) = COPY $w1
  94     %1:_(s16) = G_TRUNC %3(s32)
  95     %4:_(s16) = G_UADDSAT %0, %1
  96     %5:_(s32) = G_ANYEXT %4(s16)
  97     $w0 = COPY %5(s32)
  98     RET_ReallyLR implicit $w0
  99
 100 ...
 101 ---
 102 name:            func8
 103 alignment:       4
 104 tracksRegLiveness: true
 105 liveins:
 106   - { reg: '$w0' }
 107   - { reg: '$w1' }
 108 body:             |
 109   bb.1:
 110     liveins: $w0, $w1
 111
 112     ; CHECK-LABEL: name: func8
 113     ; CHECK: liveins: $w0, $w1
 114     ; CHECK-NEXT: {{  $}}
 115     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 116     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 117     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 118     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
 119     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C]]
 120     ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[AND]], [[AND1]]
 121     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[ADD]], [[C]]
 122     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ne), [[ADD]](s32), [[AND2]]
 123     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
 124     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 125     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[ICMP]], [[C2]]
 126     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[AND3]](s32), [[C1]], [[ADD]]
 127     ; CHECK-NEXT: $w0 = COPY [[SELECT]](s32)
 128     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 129     %2:_(s32) = COPY $w0
 130     %0:_(s8) = G_TRUNC %2(s32)
 131     %3:_(s32) = COPY $w1
 132     %1:_(s8) = G_TRUNC %3(s32)
 133     %4:_(s8) = G_UADDSAT %0, %1
 134     %5:_(s32) = G_ANYEXT %4(s8)
 135     $w0 = COPY %5(s32)
 136     RET_ReallyLR implicit $w0
 137
 138 ...
 139 ---
 140 name:            func3
 141 alignment:       4
 142 tracksRegLiveness: true
 143 liveins:
 144   - { reg: '$w0' }
 145   - { reg: '$w1' }
 146 frameInfo:
 147   maxAlignment:    1
 148 machineFunctionInfo: {}
 149 body:             |
 150   bb.1:
 151     liveins: $w0, $w1
 152
 153     ; CHECK-LABEL: name: func3
 154     ; CHECK: liveins: $w0, $w1
 155     ; CHECK-NEXT: {{  $}}
 156     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 157     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 158     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 15
 159     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
 160     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C]]
 161     ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[AND]], [[AND1]]
 162     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[ADD]], [[C]]
 163     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ne), [[ADD]](s32), [[AND2]]
 164     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY [[C]](s32)
 165     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 166     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[ICMP]], [[C1]]
 167     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[AND3]](s32), [[COPY2]], [[ADD]]
 168     ; CHECK-NEXT: $w0 = COPY [[SELECT]](s32)
 169     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 170     %2:_(s32) = COPY $w0
 171     %0:_(s4) = G_TRUNC %2(s32)
 172     %3:_(s32) = COPY $w1
 173     %1:_(s4) = G_TRUNC %3(s32)
 174     %4:_(s4) = G_UADDSAT %0, %1
 175     %5:_(s32) = G_ANYEXT %4(s4)
 176     $w0 = COPY %5(s32)
 177     RET_ReallyLR implicit $w0
 178
 179 ...