llvm/test/CodeGen/AArch64/GlobalISel/legalize-memcpy-et-al.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=aarch64-- -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s
   3 # RUN: llc -debugify-and-strip-all-safe -mtriple=aarch64-- -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s
   4 ---
   5 name:            test_memcpy
   6 tracksRegLiveness: true
   7 body:             |
   8   bb.1:
   9     liveins: $w2, $x0, $x1
  10
  11     ; CHECK-LABEL: name: test_memcpy
  12     ; CHECK: liveins: $w2, $x0, $x1
  13     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  14     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
  15     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  16     ; CHECK: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY2]](s32)
  17     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
  18     ; CHECK: $x0 = COPY [[COPY]](p0)
  19     ; CHECK: $x1 = COPY [[COPY1]](p0)
  20     ; CHECK: $x2 = COPY [[ZEXT]](s64)
  21     ; CHECK: BL &memcpy, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2
  22     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
  23     ; CHECK: RET_ReallyLR
  24     %0:_(p0) = COPY $x0
  25     %1:_(p0) = COPY $x1
  26     %2:_(s32) = COPY $w2
  27     %3:_(s64) = G_ZEXT %2(s32)
  28     G_MEMCPY %0(p0), %1(p0), %3(s64), 0 :: (store unknown-size), (load unknown-size)
  29     RET_ReallyLR
  30
  31 ...
  32 ---
  33 name:            test_memcpy_tail
  34 tracksRegLiveness: true
  35 body:             |
  36   bb.1:
  37     liveins: $w2, $x0, $x1
  38
  39     ; CHECK-LABEL: name: test_memcpy_tail
  40     ; CHECK: liveins: $w2, $x0, $x1
  41     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  42     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
  43     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  44     ; CHECK: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY2]](s32)
  45     ; CHECK: $x0 = COPY [[COPY]](p0)
  46     ; CHECK: $x1 = COPY [[COPY1]](p0)
  47     ; CHECK: $x2 = COPY [[ZEXT]](s64)
  48     ; CHECK: TCRETURNdi &memcpy, 0, csr_aarch64_aapcs, implicit $sp, implicit $x0, implicit $x1, implicit $x2
  49     %0:_(p0) = COPY $x0
  50     %1:_(p0) = COPY $x1
  51     %2:_(s32) = COPY $w2
  52     %3:_(s64) = G_ZEXT %2(s32)
  53     G_MEMCPY %0(p0), %1(p0), %3(s64), 1 :: (store unknown-size), (load unknown-size)
  54     RET_ReallyLR
  55
  56 ...
  57 ---
  58 name:            test_memmove
  59 tracksRegLiveness: true
  60 body:             |
  61   bb.1:
  62     liveins: $w2, $x0, $x1
  63
  64     ; CHECK-LABEL: name: test_memmove
  65     ; CHECK: liveins: $w2, $x0, $x1
  66     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  67     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
  68     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  69     ; CHECK: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY2]](s32)
  70     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
  71     ; CHECK: $x0 = COPY [[COPY]](p0)
  72     ; CHECK: $x1 = COPY [[COPY1]](p0)
  73     ; CHECK: $x2 = COPY [[ZEXT]](s64)
  74     ; CHECK: BL &memmove, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2
  75     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
  76     ; CHECK: RET_ReallyLR
  77     %0:_(p0) = COPY $x0
  78     %1:_(p0) = COPY $x1
  79     %2:_(s32) = COPY $w2
  80     %3:_(s64) = G_ZEXT %2(s32)
  81     G_MEMMOVE %0(p0), %1(p0), %3(s64), 0 :: (store unknown-size), (load unknown-size)
  82     RET_ReallyLR
  83
  84 ...
  85 ---
  86 name:            test_memset
  87 tracksRegLiveness: true
  88 body:             |
  89   bb.1:
  90     liveins: $w1, $w2, $x0
  91
  92     ; CHECK-LABEL: name: test_memset
  93     ; CHECK: liveins: $w1, $w2, $x0
  94     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  95     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  96     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  97     ; CHECK: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY2]](s32)
  98     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
  99     ; CHECK: $x0 = COPY [[COPY]](p0)
 100     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 101     ; CHECK: $w1 = COPY [[COPY3]](s32)
 102     ; CHECK: $x2 = COPY [[ZEXT]](s64)
 103     ; CHECK: BL &memset, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $w1, implicit $x2
 104     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
 105     ; CHECK: RET_ReallyLR
 106     %0:_(p0) = COPY $x0
 107     %1:_(s32) = COPY $w1
 108     %2:_(s32) = COPY $w2
 109     %3:_(s8) = G_TRUNC %1(s32)
 110     %4:_(s64) = G_ZEXT %2(s32)
 111     G_MEMSET %0(p0), %3(s8), %4(s64), 0 :: (store unknown-size)
 112     RET_ReallyLR
 113
 114 ...
 115 ---
 116 name:            no_tail_call
 117 tracksRegLiveness: true
 118 body:             |
 119   bb.1:
 120     liveins: $w2, $x0, $x1
 121
 122     ; CHECK-LABEL: name: no_tail_call
 123     ; CHECK: liveins: $w2, $x0, $x1
 124     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x1
 125     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x0
 126     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
 127     ; CHECK: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY2]](s32)
 128     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
 129     ; CHECK: $x0 = COPY [[COPY]](p0)
 130     ; CHECK: $x1 = COPY [[COPY1]](p0)
 131     ; CHECK: $x2 = COPY [[ZEXT]](s64)
 132     ; CHECK: BL &memcpy, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2
 133     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
 134     ; CHECK: $x0 = COPY [[ZEXT]](s64)
 135     ; CHECK: RET_ReallyLR implicit $x0
 136     %0:_(p0) = COPY $x1
 137     %1:_(p0) = COPY $x0
 138     %2:_(s32) = COPY $w2
 139     %3:_(s64) = G_ZEXT %2(s32)
 140     G_MEMCPY %0(p0), %1(p0), %3(s64), 1 :: (store unknown-size), (load unknown-size)
 141     $x0 = COPY %3
 142     RET_ReallyLR implicit $x0
 143
 144 ...
 145 ---
 146 name:            dont_tc_twice
 147 tracksRegLiveness: true
 148 body:             |
 149   bb.1:
 150     liveins: $w2, $x0, $x1
 151     ; CHECK-LABEL: name: dont_tc_twice
 152     ; CHECK: liveins: $w2, $x0, $x1
 153     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 154     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
 155     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
 156     ; CHECK: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY2]](s32)
 157     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
 158     ; CHECK: $x0 = COPY [[COPY]](p0)
 159     ; CHECK: $x1 = COPY [[COPY1]](p0)
 160     ; CHECK: $x2 = COPY [[ZEXT]](s64)
 161     ; CHECK: BL &memcpy, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2
 162     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
 163     ; CHECK: TCRETURNdi &memset, 0, csr_aarch64_aapcs, implicit $sp
 164     %0:_(p0) = COPY $x0
 165     %1:_(p0) = COPY $x1
 166     %2:_(s32) = COPY $w2
 167     %4:_(s1) = G_CONSTANT i1 false
 168     %3:_(s64) = G_ZEXT %2(s32)
 169     G_MEMCPY %0(p0), %1(p0), %3(s64), 1 :: (store unknown-size), (load unknown-size)
 170     TCRETURNdi &memset, 0, csr_aarch64_aapcs, implicit $sp
 171
 172 ...
 173 ---
 174 name:            tail_with_copy_ret
 175 alignment:       4
 176 tracksRegLiveness: true
 177 registers:
 178   - { id: 0, class: _ }
 179   - { id: 1, class: _ }
 180   - { id: 2, class: _ }
 181 liveins:
 182   - { reg: '$x0' }
 183   - { reg: '$x1' }
 184   - { reg: '$x2' }
 185 frameInfo:
 186   maxAlignment:    1
 187 machineFunctionInfo: {}
 188 body:             |
 189   bb.1.entry:
 190     liveins: $x0, $x1, $x2
 191
 192     ; CHECK-LABEL: name: tail_with_copy_ret
 193     ; CHECK: liveins: $x0, $x1, $x2
 194     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 195     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
 196     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
 197     ; CHECK: $x0 = COPY [[COPY]](p0)
 198     ; CHECK: $x1 = COPY [[COPY1]](p0)
 199     ; CHECK: $x2 = COPY [[COPY2]](s64)
 200     ; CHECK: TCRETURNdi &memcpy, 0, csr_aarch64_aapcs, implicit $sp, implicit $x0, implicit $x1, implicit $x2
 201     %0:_(p0) = COPY $x0
 202     %1:_(p0) = COPY $x1
 203     %2:_(s64) = COPY $x2
 204     G_MEMCPY %0(p0), %1(p0), %2(s64), 1 :: (store (s8)), (load (s8))
 205     $x0 = COPY %0(p0)
 206     RET_ReallyLR implicit $x0
 207
 208 ...
 209 ---
 210 name:            dont_tc_mismatched_copies
 211 alignment:       4
 212 tracksRegLiveness: true
 213 registers:
 214   - { id: 0, class: _ }
 215   - { id: 1, class: _ }
 216   - { id: 2, class: _ }
 217 liveins:
 218   - { reg: '$x0' }
 219   - { reg: '$x1' }
 220   - { reg: '$x2' }
 221 frameInfo:
 222   maxAlignment:    1
 223 machineFunctionInfo: {}
 224 body:             |
 225   bb.1.entry:
 226     liveins: $x0, $x1, $x2
 227
 228     ; CHECK-LABEL: name: dont_tc_mismatched_copies
 229     ; CHECK: liveins: $x0, $x1, $x2
 230     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 231     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
 232     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
 233     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
 234     ; CHECK: $x0 = COPY [[COPY]](p0)
 235     ; CHECK: $x1 = COPY [[COPY1]](p0)
 236     ; CHECK: $x2 = COPY [[COPY2]](s64)
 237     ; CHECK: BL &memcpy, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2
 238     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
 239     ; CHECK: $x1 = COPY [[COPY]](p0)
 240     ; CHECK: RET_ReallyLR implicit $x0
 241     %0:_(p0) = COPY $x0
 242     %1:_(p0) = COPY $x1
 243     %2:_(s64) = COPY $x2
 244     G_MEMCPY %0(p0), %1(p0), %2(s64), 1 :: (store (s8)), (load (s8))
 245     $x1 = COPY %0(p0)
 246     RET_ReallyLR implicit $x0
 247
 248 ...
 249 ---
 250 name:            dont_tc_extra_copy
 251 alignment:       4
 252 tracksRegLiveness: true
 253 registers:
 254   - { id: 0, class: _ }
 255   - { id: 1, class: _ }
 256   - { id: 2, class: _ }
 257 liveins:
 258   - { reg: '$x0' }
 259   - { reg: '$x1' }
 260   - { reg: '$x2' }
 261 frameInfo:
 262   maxAlignment:    1
 263 machineFunctionInfo: {}
 264 body:             |
 265   bb.1.entry:
 266     liveins: $x0, $x1, $x2
 267
 268     ; CHECK-LABEL: name: dont_tc_extra_copy
 269     ; CHECK: liveins: $x0, $x1, $x2
 270     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 271     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
 272     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
 273     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
 274     ; CHECK: $x0 = COPY [[COPY]](p0)
 275     ; CHECK: $x1 = COPY [[COPY1]](p0)
 276     ; CHECK: $x2 = COPY [[COPY2]](s64)
 277     ; CHECK: BL &memcpy, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2
 278     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
 279     ; CHECK: $x0 = COPY [[COPY]](p0)
 280     ; CHECK: $x0 = COPY [[COPY]](p0)
 281     ; CHECK: RET_ReallyLR implicit $x0
 282     %0:_(p0) = COPY $x0
 283     %1:_(p0) = COPY $x1
 284     %2:_(s64) = COPY $x2
 285     G_MEMCPY %0(p0), %1(p0), %2(s64), 1 :: (store (s8)), (load (s8))
 286     $x0 = COPY %0(p0)
 287     $x0 = COPY %0(p0)
 288     RET_ReallyLR implicit $x0
 289
 290 ...
 291 ---
 292 name:            dont_tc_mismatched_ret
 293 alignment:       4
 294 tracksRegLiveness: true
 295 registers:
 296   - { id: 0, class: _ }
 297   - { id: 1, class: _ }
 298   - { id: 2, class: _ }
 299 liveins:
 300   - { reg: '$x0' }
 301   - { reg: '$x1' }
 302   - { reg: '$x2' }
 303 frameInfo:
 304   maxAlignment:    1
 305 machineFunctionInfo: {}
 306 body:             |
 307   bb.1.entry:
 308     liveins: $x0, $x1, $x2
 309
 310     ; CHECK-LABEL: name: dont_tc_mismatched_ret
 311     ; CHECK: liveins: $x0, $x1, $x2
 312     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x1
 313     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x0
 314     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
 315     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
 316     ; CHECK: $x0 = COPY [[COPY]](p0)
 317     ; CHECK: $x1 = COPY [[COPY1]](p0)
 318     ; CHECK: $x2 = COPY [[COPY2]](s64)
 319     ; CHECK: BL &memcpy, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2
 320     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
 321     ; CHECK: $x1 = COPY [[COPY]](p0)
 322     ; CHECK: RET_ReallyLR implicit $x0
 323     %0:_(p0) = COPY $x1
 324     %1:_(p0) = COPY $x0
 325     %2:_(s64) = COPY $x2
 326     G_MEMCPY %0(p0), %1(p0), %2(s64), 1 :: (store (s8)), (load (s8))
 327     $x1 = COPY %0(p0)
 328     RET_ReallyLR implicit $x0
 329
 330 ...
 331 ---
 332 name:            dont_tc_ret_void_copy
 333 alignment:       4
 334 tracksRegLiveness: true
 335 registers:
 336   - { id: 0, class: _ }
 337   - { id: 1, class: _ }
 338   - { id: 2, class: _ }
 339 liveins:
 340   - { reg: '$x0' }
 341   - { reg: '$x1' }
 342   - { reg: '$x2' }
 343 frameInfo:
 344   maxAlignment:    1
 345 machineFunctionInfo: {}
 346 body:             |
 347   bb.1.entry:
 348     liveins: $x0, $x1, $x2
 349
 350     ; CHECK-LABEL: name: dont_tc_ret_void_copy
 351     ; CHECK: liveins: $x0, $x1, $x2
 352     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 353     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
 354     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
 355     ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
 356     ; CHECK: $x0 = COPY [[COPY]](p0)
 357     ; CHECK: $x1 = COPY [[COPY1]](p0)
 358     ; CHECK: $x2 = COPY [[COPY2]](s64)
 359     ; CHECK: BL &memcpy, csr_aarch64_aapcs_thisreturn, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2
 360     ; CHECK: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
 361     ; CHECK: $x0 = COPY [[COPY]](p0)
 362     ; CHECK: RET_ReallyLR
 363     %0:_(p0) = COPY $x0
 364     %1:_(p0) = COPY $x1
 365     %2:_(s64) = COPY $x2
 366     G_MEMCPY %0(p0), %1(p0), %2(s64), 1 :: (store (s8)), (load (s8))
 367     $x0 = COPY %0(p0)
 368     RET_ReallyLR