Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / llvm / test / CodeGen / MIR / AArch64 / addrspace-memoperands.mir
blob78b7e97d6b331200e1615323bd6dcefc418f11ba
1 # RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass none -verify-machineinstrs -o - %s | FileCheck %s
2 # RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass mir-canonicalizer -verify-machineinstrs -o - %s
3 # RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass mir-canonicalizer -mir-vreg-namer-use-stable-hash -verify-machineinstrs -o - %s
5 --- |
7   define void @addrspace_memoperands() {
8     ret void
9   }
11 ...
12 ---
13 name:            addrspace_memoperands
14 body: |
15   bb.0:
17     ; CHECK-LABEL: name: addrspace_memoperands
18     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
19     ; CHECK: [[LOAD:%[0-9]+]]:_(s64) = G_LOAD [[COPY]](p0) :: (load (s64), addrspace 1)
20     ; CHECK: [[LOAD1:%[0-9]+]]:_(s32) = G_LOAD [[COPY]](p0) :: (load (s32), align 2, addrspace 3)
21     ; CHECK: G_STORE [[LOAD]](s64), [[COPY]](p0) :: (store (s64), addrspace 1)
22     ; CHECK: G_STORE [[LOAD1]](s32), [[COPY]](p0) :: (store (s32), align 2, addrspace 3)
23     ; CHECK: G_STORE [[LOAD1]](s32), [[COPY]](p0) :: (store (s32))
24     ; CHECK: RET_ReallyLR
25     %0:_(p0) = COPY $x0
26     %1:_(s64) = G_LOAD %0(p0) :: (load (s64), addrspace 1)
27     %2:_(s32) = G_LOAD %0(p0) :: (load (s32), align 2, addrspace 3)
28     G_STORE %1(s64), %0(p0) :: (store (s64), addrspace 1)
29     G_STORE %2(s32), %0(p0) :: (store (s32), align 2, addrspace 3)
30     ; addrspace 0 is accepted by the parser but not printed
31     G_STORE %2(s32), %0(p0) :: (store (s32), addrspace 0)
32     RET_ReallyLR
33 ...