setAction({G_FRAME_INDEX, p0}, Legal);
- for (unsigned Op : {G_LOAD, G_STORE}) {
- for (auto Ty : {s1, s8, s16, s32, p0})
- setAction({Op, Ty}, Legal);
- setAction({Op, 1, p0}, Legal);
- }
+ for (auto Ty : {s1, s8, s16, s32, p0})
+ setAction({G_LOAD, Ty}, Legal);
+ setAction({G_LOAD, 1, p0}, Legal);
for (auto Ty : {s1, s8, s16, s32})
setAction({G_ADD, Ty}, Legal);
define void @test_load_from_stack() { ret void }
define void @test_legal_loads() #0 { ret void }
- define void @test_legal_stores() #0 { ret void }
define void @test_fadd_s32() #0 { ret void }
define void @test_fadd_s64() #0 { ret void }
BX_RET 14, _
...
---
-name: test_legal_stores
-# CHECK-LABEL: name: test_legal_stores
-legalized: false
-# CHECK: legalized: true
-regBankSelected: false
-selected: false
-tracksRegLiveness: true
-registers:
- - { id: 0, class: _ }
- - { id: 1, class: _ }
- - { id: 2, class: _ }
- - { id: 3, class: _ }
- - { id: 4, class: _ }
- - { id: 5, class: _ }
- - { id: 6, class: _ }
-body: |
- bb.0:
- liveins: %r0, %r1, %r2, %r3
-
- ; These are all legal, so we should find them unchanged in the output
- ; CHECK-DAG: G_STORE {{%[0-9]+}}(s64), %0(p0)
- ; CHECK-DAG: G_STORE {{%[0-9]+}}(s32), %0(p0)
- ; CHECK-DAG: G_STORE {{%[0-9]+}}(s16), %0(p0)
- ; CHECK-DAG: G_STORE {{%[0-9]+}}(s8), %0(p0)
- ; CHECK-DAG: G_STORE {{%[0-9]+}}(s1), %0(p0)
- ; CHECK-DAG: G_STORE {{%[0-9]+}}(p0), %0(p0)
- %0(p0) = COPY %r0
- G_STORE %1(s64), %0(p0) :: (store 8)
- G_STORE %2(s32), %0(p0) :: (store 4)
- G_STORE %3(s16), %0(p0) :: (store 2)
- G_STORE %4(s8), %0(p0) :: (store 1)
- G_STORE %5(s1), %0(p0) :: (store 1)
- G_STORE %6(p0), %0(p0) :: (store 4)
- BX_RET 14, _
-...
----
name: test_fadd_s32
# CHECK-LABEL: name: test_fadd_s32
legalized: false