Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / llvm / test / CodeGen / M68k / GlobalISel / legalize-load-store.mir
blob9a38e1ea320a35e6c56e989642401fba6df0087e
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -march=m68k -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s
4 ---
5 name:            test_load_store
6 fixedStack:
7   - { id: 0, type: default, offset: 20, size: 4, alignment: 4, stack-id: default,
8       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
9       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
10   - { id: 1, type: default, offset: 16, size: 4, alignment: 8, stack-id: default,
11       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
12       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
13   - { id: 2, type: default, offset: 12, size: 4, alignment: 4, stack-id: default,
14       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
15       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
16   - { id: 3, type: default, offset: 8, size: 2, alignment: 8, stack-id: default,
17       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
18       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
19   - { id: 4, type: default, offset: 4, size: 4, alignment: 4, stack-id: default,
20       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
21       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
22   - { id: 5, type: default, offset: 0, size: 1, alignment: 8, stack-id: default,
23       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
24       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
25 body:             |
26   bb.1 :
27     ; CHECK-LABEL: name: test_load_store
28     ; CHECK: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.0
29     ; CHECK-NEXT: [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[FRAME_INDEX]](p0) :: (load (s8) from %fixed-stack.0, align 8)
30     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[LOAD]](s32)
31     ; CHECK-NEXT: [[FRAME_INDEX1:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.1
32     ; CHECK-NEXT: [[LOAD1:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX1]](p0) :: (load (p0) from %fixed-stack.1)
33     ; CHECK-NEXT: [[FRAME_INDEX2:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.2
34     ; CHECK-NEXT: [[LOAD2:%[0-9]+]]:_(s32) = G_LOAD [[FRAME_INDEX2]](p0) :: (load (s16) from %fixed-stack.2, align 8)
35     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[LOAD2]](s32)
36     ; CHECK-NEXT: [[FRAME_INDEX3:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.3
37     ; CHECK-NEXT: [[LOAD3:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX3]](p0) :: (load (p0) from %fixed-stack.3)
38     ; CHECK-NEXT: [[FRAME_INDEX4:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.4
39     ; CHECK-NEXT: [[LOAD4:%[0-9]+]]:_(s32) = G_LOAD [[FRAME_INDEX4]](p0) :: (load (s32) from %fixed-stack.4, align 8)
40     ; CHECK-NEXT: [[FRAME_INDEX5:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.5
41     ; CHECK-NEXT: [[LOAD5:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX5]](p0) :: (load (p0) from %fixed-stack.5)
42     ; CHECK-NEXT: G_STORE [[TRUNC]](s8), [[LOAD1]](p0) :: (store (s8))
43     ; CHECK-NEXT: G_STORE [[TRUNC1]](s16), [[LOAD3]](p0) :: (store (s16))
44     ; CHECK-NEXT: G_STORE [[LOAD4]](s32), [[LOAD5]](p0) :: (store (s32))
45     ; CHECK-NEXT: RTS
46     %7:_(p0) = G_FRAME_INDEX %fixed-stack.5
47     %6:_(s32) = G_LOAD %7(p0) :: (load (s8) from %fixed-stack.5, align 8)
48     %0:_(s8) = G_TRUNC %6(s32)
49     %8:_(p0) = G_FRAME_INDEX %fixed-stack.4
50     %1:_(p0) = G_LOAD %8(p0) :: (load (p0) from %fixed-stack.4)
51     %10:_(p0) = G_FRAME_INDEX %fixed-stack.3
52     %9:_(s32) = G_LOAD %10(p0) :: (load (s16) from %fixed-stack.3, align 8)
53     %2:_(s16) = G_TRUNC %9(s32)
54     %11:_(p0) = G_FRAME_INDEX %fixed-stack.2
55     %3:_(p0) = G_LOAD %11(p0) :: (load (p0) from %fixed-stack.2)
56     %12:_(p0) = G_FRAME_INDEX %fixed-stack.1
57     %4:_(s32) = G_LOAD %12(p0) :: (load (s32) from %fixed-stack.1, align 8)
58     %13:_(p0) = G_FRAME_INDEX %fixed-stack.0
59     %5:_(p0) = G_LOAD %13(p0) :: (load (p0) from %fixed-stack.0)
60     G_STORE %0(s8), %1(p0) :: (store (s8))
61     G_STORE %2(s16), %3(p0) :: (store (s16))
62     G_STORE %4(s32), %5(p0) :: (store (s32))
63     RTS
65 ...
66 ---
67 name:            test_store_i128
68 fixedStack:
69   - { id: 0, type: default, offset: 0, size: 4, alignment: 8, stack-id: default,
70       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
71       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
72 body:             |
73   bb.1:
74     ; CHECK-LABEL: name: test_store_i128
75     ; CHECK: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.0
76     ; CHECK-NEXT: [[LOAD:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX]](p0) :: (load (p0) from %fixed-stack.0, align 8)
77     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
78     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
79     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
80     ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
81     ; CHECK-NEXT: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 12
82     ; CHECK-NEXT: [[PTR_ADD:%[0-9]+]]:_(p0) = G_PTR_ADD [[LOAD]], [[C4]](s32)
83     ; CHECK-NEXT: G_STORE [[C]](s32), [[PTR_ADD]](p0) :: (store (s32) into unknown-address + 12)
84     ; CHECK-NEXT: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
85     ; CHECK-NEXT: [[PTR_ADD1:%[0-9]+]]:_(p0) = G_PTR_ADD [[LOAD]], [[C5]](s32)
86     ; CHECK-NEXT: G_STORE [[C1]](s32), [[PTR_ADD1]](p0) :: (store (s32) into unknown-address + 8, align 8)
87     ; CHECK-NEXT: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
88     ; CHECK-NEXT: [[PTR_ADD2:%[0-9]+]]:_(p0) = G_PTR_ADD [[LOAD]], [[C6]](s32)
89     ; CHECK-NEXT: G_STORE [[C2]](s32), [[PTR_ADD2]](p0) :: (store (s32) into unknown-address + 4)
90     ; CHECK-NEXT: G_STORE [[C3]](s32), [[LOAD]](p0) :: (store (s32), align 16)
91     ; CHECK-NEXT: RTS
92     %1:_(p0) = G_FRAME_INDEX %fixed-stack.0
93     %0:_(p0) = G_LOAD %1(p0) :: (load (p0) from %fixed-stack.0, align 8)
94     %2:_(s128) = G_CONSTANT i128 316912650112397582603894390785; 0x4000000030000000200000001
95     G_STORE %2(s128), %0(p0) :: (store (s128))
96     RTS
98 ...