forked from OSchip/llvm-project
[Statepoint] Always spill base pointer.
There is a subtle problem with new statepoint lowering scheme when base and pointers are the same (see PR46917 for more context): %1 = STATEPOINT ... %0, %0(tied-def 0)... if, for some reason, register allocator desides to put two instances of %0 into two different objects (registers or spill slots), we may end up with $reg3 = STATEPOINT ... $reg2, $reg1(tied-def 0)... and nothing will prevent later passes to sink uses of $reg2 below statepoint, which is incorrect. As a short term solution, always put base pointers on stack during lowering. A longer term solution may be to rework MIR statepoint format to avoid GC pointer duplication in statepoint argument list. Reviewed By: reames Differential Revision: https://reviews.llvm.org/D86712
This commit is contained in:
Denis Antrushin
parent
46e0ced762
commit
fabd4c1ae1
|
|
@ -71,6 +71,10 @@ cl::opt<unsigned> MaxRegistersForGCPointers(
|
|||
"max-registers-for-gc-values", cl::Hidden, cl::init(0),
|
||||
cl::desc("Max number of VRegs allowed to pass GC pointer meta args in"));
|
||||
|
||||
cl::opt<bool> AlwaysSpillBase("statepoint-always-spill-base", cl::Hidden,
|
||||
cl::init(true),
|
||||
cl::desc("Force spilling of base GC pointers"));
|
||||
|
||||
typedef FunctionLoweringInfo::StatepointRelocationRecord RecordType;
|
||||
|
||||
static void pushStackMapConstant(SmallVectorImpl<SDValue>& Ops,
|
||||
|
|
@ -590,7 +594,7 @@ lowerStatepointMetaArgs(SmallVectorImpl<SDValue> &Ops,
|
|||
|
||||
for (unsigned i = 0; i < SI.Bases.size(); ++i) {
|
||||
SDValue SDV = Builder.getValue(SI.Bases[i]);
|
||||
if (!LowerAsVReg.count(SDV))
|
||||
if (AlwaysSpillBase || !LowerAsVReg.count(SDV))
|
||||
reservePreviousStackSlotForValue(SI.Bases[i], Builder);
|
||||
SDV = Builder.getValue(SI.Ptrs[i]);
|
||||
if (!LowerAsVReg.count(SDV))
|
||||
|
|
@ -631,7 +635,7 @@ lowerStatepointMetaArgs(SmallVectorImpl<SDValue> &Ops,
|
|||
for (unsigned i = 0; i < SI.Bases.size(); ++i) {
|
||||
bool RequireSpillSlot;
|
||||
SDValue Base = Builder.getValue(SI.Bases[i]);
|
||||
RequireSpillSlot = !LowerAsVReg.count(Base);
|
||||
RequireSpillSlot = AlwaysSpillBase || !LowerAsVReg.count(Base);
|
||||
lowerIncomingStatepointValue(Base, RequireSpillSlot, Ops, MemRefs,
|
||||
Builder);
|
||||
|
||||
|
|
@ -854,13 +858,13 @@ SDValue SelectionDAGBuilder::LowerAsSTATEPOINT(
|
|||
SDValue Loc = StatepointLowering.getLocation(SDV);
|
||||
|
||||
RecordType Record;
|
||||
if (Loc.getNode()) {
|
||||
Record.type = RecordType::Spill;
|
||||
Record.payload.FI = cast<FrameIndexSDNode>(Loc)->getIndex();
|
||||
} else if (LowerAsVReg.count(SDV)) {
|
||||
if (LowerAsVReg.count(SDV)) {
|
||||
Record.type = RecordType::VReg;
|
||||
assert(VirtRegs.count(V));
|
||||
Record.payload.Reg = VirtRegs[V];
|
||||
} else if (Loc.getNode()) {
|
||||
Record.type = RecordType::Spill;
|
||||
Record.payload.FI = cast<FrameIndexSDNode>(Loc)->getIndex();
|
||||
} else {
|
||||
Record.type = RecordType::NoRelocate;
|
||||
// If we didn't relocate a value, we'll essentialy end up inserting an
|
||||
|
|
|
|||
|
|
@ -21,14 +21,16 @@ declare void @use1(i32 addrspace(1)*, i8 addrspace(1)*)
|
|||
define i1 @test_relocate(i32 addrspace(1)* %a) gc "statepoint-example" {
|
||||
; CHECK-VREG-LABEL: name: test_relocate
|
||||
; CHECK-VREG: %0:gr64 = COPY $rdi
|
||||
; CHECK-VREG: %1:gr64 = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, %0, %0(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def $al
|
||||
; CHECK-VREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.0)
|
||||
; CHECK-VREG: %1:gr64 = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, 1, 8, %stack.0, 0, %0(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def $al :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-VREG: %2:gr8 = COPY $al
|
||||
; CHECK-VREG: $rdi = COPY %1
|
||||
; CHECK-VREG: CALL64pcrel32 @consume, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
|
||||
|
||||
; CHECK-PREG-LABEL: name: test_relocate
|
||||
; CHECK-PREG: renamable $rbx = COPY $rdi
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, killed renamable $rbx, renamable $rbx(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def $al
|
||||
; CHECK-PREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, renamable $rbx :: (store 8 into %stack.0)
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, 1, 8, %stack.0, 0, killed renamable $rbx(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def $al :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-PREG: renamable $bpl = COPY killed $al
|
||||
; CHECK-PREG: $rdi = COPY killed renamable $rbx
|
||||
; CHECK-PREG: CALL64pcrel32 @consume, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
|
||||
|
|
@ -46,7 +48,10 @@ define void @test_mixed(i32 addrspace(1)* %a, i32 addrspace(1)* %b, i32 addrspac
|
|||
; CHECK-VREG: %2:gr64 = COPY $rdx
|
||||
; CHECK-VREG: %1:gr64 = COPY $rsi
|
||||
; CHECK-VREG: %0:gr64 = COPY $rdi
|
||||
; CHECK-VREG: %3:gr64, %4:gr64, %5:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 0, %2, %2(tied-def 0), 2, 0, 2, 0, %1, %1(tied-def 1), %0, %0(tied-def 2), csr_64
|
||||
; CHECK-VREG: MOV64mr %stack.1, 1, $noreg, 0, $noreg, %1 :: (store 8 into %stack.1)
|
||||
; CHECK-VREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, %2 :: (store 8 into %stack.0)
|
||||
; CHECK-VREG: MOV64mr %stack.2, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.2)
|
||||
; CHECK-VREG: %3:gr64, %4:gr64, %5:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 0, 1, 8, %stack.0, 0, %2(tied-def 0), 2, 0, 2, 0, 1, 8, %stack.1, 0, %1(tied-def 1), 1, 8, %stack.2, 0, %0(tied-def 2), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0), (volatile load store 8 on %stack.1), (volatile load store 8 on %stack.2)
|
||||
; CHECK-VREG: %6:gr32 = MOV32r0 implicit-def dead $eflags
|
||||
; CHECK-VREG: %7:gr64 = SUBREG_TO_REG 0, killed %6, %subreg.sub_32bit
|
||||
; CHECK-VREG: $rdi = COPY %5
|
||||
|
|
@ -60,7 +65,10 @@ define void @test_mixed(i32 addrspace(1)* %a, i32 addrspace(1)* %b, i32 addrspac
|
|||
; CHECK-PREG: renamable $r14 = COPY $rdx
|
||||
; CHECK-PREG: renamable $r15 = COPY $rsi
|
||||
; CHECK-PREG: renamable $rbx = COPY $rdi
|
||||
; CHECK-PREG: renamable $r14, renamable $r15, renamable $rbx = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 0, killed renamable $r14, renamable $r14(tied-def 0), 2, 0, 2, 0, killed renamable $r15, renamable $r15(tied-def 1), killed renamable $rbx, renamable $rbx(tied-def 2), csr_64, implicit-def $rsp, implicit-def $ssp
|
||||
; CHECK-PREG: MOV64mr %stack.1, 1, $noreg, 0, $noreg, renamable $r15 :: (store 8 into %stack.1)
|
||||
; CHECK-PREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, renamable $r14 :: (store 8 into %stack.0)
|
||||
; CHECK-PREG: MOV64mr %stack.2, 1, $noreg, 0, $noreg, renamable $rbx :: (store 8 into %stack.2)
|
||||
; CHECK-PREG: renamable $r14, renamable $r15, renamable $rbx = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 0, 1, 8, %stack.0, 0, killed renamable $r14(tied-def 0), 2, 0, 2, 0, 1, 8, %stack.1, 0, killed renamable $r15(tied-def 1), 1, 8, %stack.2, 0, killed renamable $rbx(tied-def 2), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0), (volatile load store 8 on %stack.1), (volatile load store 8 on %stack.2)
|
||||
; CHECK-PREG: $rdi = COPY killed renamable $rbx
|
||||
; CHECK-PREG: dead $esi = MOV32r0 implicit-def dead $eflags, implicit-def $rsi
|
||||
; CHECK-PREG: $rdx = COPY killed renamable $r15
|
||||
|
|
@ -84,7 +92,8 @@ define i32 addrspace(1)* @test_alloca(i32 addrspace(1)* %ptr) gc "statepoint-exa
|
|||
; CHECK-VREG-LABEL: name: test_alloca
|
||||
; CHECK-VREG: %0:gr64 = COPY $rdi
|
||||
; CHECK-VREG: MOV64mr %stack.0.alloca, 1, $noreg, 0, $noreg, %0 :: (store 8 into %ir.alloca)
|
||||
; CHECK-VREG: %1:gr64 = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, %0, %0(tied-def 0), 0, %stack.0.alloca, 0, csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def $al :: (volatile load store 8 on %stack.0.alloca)
|
||||
; CHECK-VREG: MOV64mr %stack.1, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.1)
|
||||
; CHECK-VREG: %1:gr64 = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, 1, 8, %stack.1, 0, %0(tied-def 0), 0, %stack.0.alloca, 0, csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def $al :: (volatile load store 8 on %stack.1), (volatile load store 8 on %stack.0.alloca)
|
||||
; CHECK-VREG: %2:gr8 = COPY $al
|
||||
; CHECK-VREG: %3:gr64 = MOV64rm %stack.0.alloca, 1, $noreg, 0, $noreg :: (dereferenceable load 8 from %ir.alloca)
|
||||
; CHECK-VREG: $rdi = COPY %1
|
||||
|
|
@ -93,7 +102,8 @@ define i32 addrspace(1)* @test_alloca(i32 addrspace(1)* %ptr) gc "statepoint-exa
|
|||
; CHECK-PREG-LABEL: name: test_alloca
|
||||
; CHECK-PREG: renamable $rbx = COPY $rdi
|
||||
; CHECK-PREG: MOV64mr %stack.0.alloca, 1, $noreg, 0, $noreg, renamable $rbx :: (store 8 into %ir.alloca)
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, killed renamable $rbx, renamable $rbx(tied-def 0), 0, %stack.0.alloca, 0, csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def dead $al :: (volatile load store 8 on %stack.0.alloca)
|
||||
; CHECK-PREG: MOV64mr %stack.1, 1, $noreg, 0, $noreg, renamable $rbx :: (store 8 into %stack.1)
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, 1, 8, %stack.1, 0, killed renamable $rbx(tied-def 0), 0, %stack.0.alloca, 0, csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def dead $al :: (volatile load store 8 on %stack.1), (volatile load store 8 on %stack.0.alloca)
|
||||
; CHECK-PREG: renamable $r14 = MOV64rm %stack.0.alloca, 1, $noreg, 0, $noreg :: (dereferenceable load 8 from %ir.alloca)
|
||||
; CHECK-PREG: $rdi = COPY killed renamable $rbx
|
||||
; CHECK-PREG: CALL64pcrel32 @consume, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
|
||||
|
|
@ -136,8 +146,9 @@ define void @test_deopt_gcpointer(i32 addrspace(1)* %a, i32 addrspace(1)* %b) gc
|
|||
; CHECK-VREG-LABEL: name: test_deopt_gcpointer
|
||||
; CHECK-VREG: %1:gr64 = COPY $rsi
|
||||
; CHECK-VREG: %0:gr64 = COPY $rdi
|
||||
; CHECK-VREG: MOV64mr %stack.1, 1, $noreg, 0, $noreg, %1 :: (store 8 into %stack.1)
|
||||
; CHECK-VREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.0)
|
||||
; CHECK-VREG: %2:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 1, 1, 8, %stack.0, 0, %1, %1(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-VREG: %2:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 1, 1, 8, %stack.0, 0, 1, 8, %stack.1, 0, %1(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0), (volatile load store 8 on %stack.1)
|
||||
; CHECK-VREG: $rdi = COPY %2
|
||||
; CHECK-VREG: CALL64pcrel32 @consume, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
|
||||
; CHECK-VREG: RET 0
|
||||
|
|
@ -145,7 +156,7 @@ define void @test_deopt_gcpointer(i32 addrspace(1)* %a, i32 addrspace(1)* %b) gc
|
|||
; CHECK-PREG-LABEL: name: test_deopt_gcpointer
|
||||
; CHECK-PREG: renamable $rbx = COPY $rsi
|
||||
; CHECK-PREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, killed renamable $rdi :: (store 8 into %stack.0)
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 1, 1, 8, %stack.0, 0, killed renamable $rbx, renamable $rbx(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 1, 1, 8, %stack.0, 0, 1, 8, %stack.1, 0, killed renamable $rbx(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0), (volatile load store 8 on %stack.1)
|
||||
; CHECK-PREG: $rdi = COPY killed renamable $rbx
|
||||
; CHECK-PREG: CALL64pcrel32 @consume, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
|
||||
|
||||
|
|
@ -159,14 +170,16 @@ define void @test_deopt_gcpointer(i32 addrspace(1)* %a, i32 addrspace(1)* %b) gc
|
|||
define void @test_gcrelocate_uniqueing(i32 addrspace(1)* %ptr) gc "statepoint-example" {
|
||||
; CHECK-VREG-LABEL: name: test_gcrelocate_uniqueing
|
||||
; CHECK-VREG: %0:gr64 = COPY $rdi
|
||||
; CHECK-VREG: %1:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 2, %0, 2, 4278124286, %0, %0(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp
|
||||
; CHECK-VREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.0)
|
||||
; CHECK-VREG: %1:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 2, %0, 2, 4278124286, 1, 8, %stack.0, 0, %0(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-VREG: $rdi = COPY %1
|
||||
; CHECK-VREG: $rsi = COPY %1
|
||||
; CHECK-VREG: CALL64pcrel32 @consume2, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit $rsi, implicit-def $rsp, implicit-def $ssp
|
||||
|
||||
; CHECK-PREG-LABEL: name: test_gcrelocate_uniqueing
|
||||
; CHECK-PREG: renamable $rbx = COPY $rdi
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 2, killed renamable $rbx, 2, 4278124286, renamable $rbx, renamable $rbx(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp
|
||||
; CHECK-PREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, renamable $rbx :: (store 8 into %stack.0)
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 2, killed renamable $rbx, 2, 4278124286, 1, 8, %stack.0, 0, renamable $rbx(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-PREG: $rdi = COPY renamable $rbx
|
||||
; CHECK-PREG: $rsi = COPY killed renamable $rbx
|
||||
; CHECK-PREG: CALL64pcrel32 @consume2, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit killed $rsi, implicit-def $rsp, implicit-def $ssp
|
||||
|
|
@ -182,8 +195,9 @@ define void @test_gcrelocate_uniqueing(i32 addrspace(1)* %ptr) gc "statepoint-ex
|
|||
define void @test_gcptr_uniqueing(i32 addrspace(1)* %ptr) gc "statepoint-example" {
|
||||
; CHECK-VREG-LABEL: name: test_gcptr_uniqueing
|
||||
; CHECK-VREG: %0:gr64 = COPY $rdi
|
||||
; CHECK-VREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.0)
|
||||
; CHECK-VREG: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
|
||||
; CHECK-VREG: %2:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 2, %0, 2, 4278124286, %0, %0(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp
|
||||
; CHECK-VREG: %2:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 2, %0, 2, 4278124286, 1, 8, %stack.0, 0, %0(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-VREG: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
|
||||
; CHECK-VREG: %1:gr64 = COPY %2
|
||||
; CHECK-VREG: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
|
||||
|
|
@ -193,7 +207,8 @@ define void @test_gcptr_uniqueing(i32 addrspace(1)* %ptr) gc "statepoint-example
|
|||
|
||||
; CHECK-PREG-LABEL: name: test_gcptr_uniqueing
|
||||
; CHECK-PREG: renamable $rbx = COPY $rdi
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 2, killed renamable $rbx, 2, 4278124286, renamable $rbx, renamable $rbx(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp
|
||||
; CHECK-PREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, renamable $rbx :: (store 8 into %stack.0)
|
||||
; CHECK-PREG: renamable $rbx = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 2, killed renamable $rbx, 2, 4278124286, 1, 8, %stack.0, 0, renamable $rbx(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-PREG: $rdi = COPY renamable $rbx
|
||||
; CHECK-PREG: $rsi = COPY killed renamable $rbx
|
||||
; CHECK-PREG: CALL64pcrel32 @use1, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit killed $rsi, implicit-def $rsp, implicit-def $ssp
|
||||
|
|
@ -216,8 +231,9 @@ define i1 @test_cross_bb(i32 addrspace(1)* %a, i1 %external_cond) gc "statepoint
|
|||
; CHECK-VREG: %1:gr32 = COPY $esi
|
||||
; CHECK-VREG-NEXT: %0:gr64 = COPY $rdi
|
||||
; CHECK-VREG-NEXT: %4:gr8 = COPY %1.sub_8bit
|
||||
; CHECK-VREG-NEXT: MOV64mr %stack.0, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.0)
|
||||
; CHECK-VREG-NEXT: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
|
||||
; CHECK-VREG-NEXT: %2:gr64 = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, %0, %0(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def $al
|
||||
; CHECK-VREG-NEXT: %2:gr64 = STATEPOINT 0, 0, 0, @return_i1, 2, 0, 2, 0, 2, 0, 1, 8, %stack.0, 0, %0(tied-def 0), csr_64, implicit-def $rsp, implicit-def $ssp, implicit-def $al :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-VREG-NEXT: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
|
||||
; CHECK-VREG-NEXT: %5:gr8 = COPY $al
|
||||
; CHECK-VREG-NEXT: %3:gr8 = COPY %5
|
||||
|
|
@ -299,9 +315,13 @@ define void @test_limit(i32 addrspace(1)* %a, i32 addrspace(1)* %b, i32 addrspac
|
|||
; CHECK-VREG: %2:gr64 = COPY $rdx
|
||||
; CHECK-VREG: %1:gr64 = COPY $rsi
|
||||
; CHECK-VREG: %0:gr64 = COPY $rdi
|
||||
; CHECK-VREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.0)
|
||||
; CHECK-VREG: %5:gr64, %6:gr64, %7:gr64, %8:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 0, %4, %4(tied-def 0), %3, %3(tied-def 1), %2, %2(tied-def 2), %1, %1(tied-def 3), 1, 8, %stack.0, 0, 1, 8, %stack.0, 0, csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0)
|
||||
; CHECK-VREG: %9:gr64 = MOV64rm %stack.0, 1, $noreg, 0, $noreg :: (load 8 from %stack.0)
|
||||
; CHECK-VREG: MOV64mr %stack.1, 1, $noreg, 0, $noreg, %3 :: (store 8 into %stack.1)
|
||||
; CHECK-VREG: MOV64mr %stack.0, 1, $noreg, 0, $noreg, %4 :: (store 8 into %stack.0)
|
||||
; CHECK-VREG: MOV64mr %stack.2, 1, $noreg, 0, $noreg, %2 :: (store 8 into %stack.2)
|
||||
; CHECK-VREG: MOV64mr %stack.3, 1, $noreg, 0, $noreg, %1 :: (store 8 into %stack.3)
|
||||
; CHECK-VREG: MOV64mr %stack.4, 1, $noreg, 0, $noreg, %0 :: (store 8 into %stack.4)
|
||||
; CHECK-VREG: %5:gr64, %6:gr64, %7:gr64, %8:gr64 = STATEPOINT 0, 0, 0, @func, 2, 0, 2, 0, 2, 0, 1, 8, %stack.0, 0, %4(tied-def 0), 1, 8, %stack.1, 0, %3(tied-def 1), 1, 8, %stack.2, 0, %2(tied-def 2), 1, 8, %stack.3, 0, %1(tied-def 3), 1, 8, %stack.4, 0, 1, 8, %stack.4, 0, csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store 8 on %stack.0), (volatile load store 8 on %stack.1), (volatile load store 8 on %stack.2), (volatile load store 8 on %stack.3), (volatile load store 8 on %stack.4)
|
||||
; CHECK-VREG: %9:gr64 = MOV64rm %stack.4, 1, $noreg, 0, $noreg :: (load 8 from %stack.4)
|
||||
; CHECK-VREG: $rdi = COPY %9
|
||||
; CHECK-VREG: $rsi = COPY %8
|
||||
; CHECK-VREG: $rdx = COPY %7
|
||||
|
|
|
|||
|
|
@ -26,6 +26,7 @@ define i1 @test_relocate(i32 addrspace(1)* %a) gc "statepoint-example" {
|
|||
; CHECK-NEXT: .cfi_offset %rbx, -24
|
||||
; CHECK-NEXT: .cfi_offset %rbp, -16
|
||||
; CHECK-NEXT: movq %rdi, %rbx
|
||||
; CHECK-NEXT: movq %rdi, (%rsp)
|
||||
; CHECK-NEXT: callq return_i1
|
||||
; CHECK-NEXT: .Ltmp0:
|
||||
; CHECK-NEXT: movl %eax, %ebp
|
||||
|
|
@ -56,12 +57,17 @@ define void @test_mixed(i32 addrspace(1)* %a, i32 addrspace(1)* %b, i32 addrspac
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 24
|
||||
; CHECK-NEXT: pushq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: subq $32, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 64
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -32
|
||||
; CHECK-NEXT: .cfi_offset %r14, -24
|
||||
; CHECK-NEXT: .cfi_offset %r15, -16
|
||||
; CHECK-NEXT: movq %rdx, %r14
|
||||
; CHECK-NEXT: movq %rsi, %r15
|
||||
; CHECK-NEXT: movq %rdi, %rbx
|
||||
; CHECK-NEXT: movq %rsi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rdi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: callq func
|
||||
; CHECK-NEXT: .Ltmp1:
|
||||
; CHECK-NEXT: movq %rbx, %rdi
|
||||
|
|
@ -70,6 +76,8 @@ define void @test_mixed(i32 addrspace(1)* %a, i32 addrspace(1)* %b, i32 addrspac
|
|||
; CHECK-NEXT: xorl %ecx, %ecx
|
||||
; CHECK-NEXT: movq %r14, %r8
|
||||
; CHECK-NEXT: callq consume5
|
||||
; CHECK-NEXT: addq $32, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: popq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 24
|
||||
; CHECK-NEXT: popq %r14
|
||||
|
|
@ -96,19 +104,20 @@ define i32 addrspace(1)* @test_alloca(i32 addrspace(1)* %ptr) gc "statepoint-exa
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 16
|
||||
; CHECK-NEXT: pushq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 24
|
||||
; CHECK-NEXT: pushq %rax
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: subq $24, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 48
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -24
|
||||
; CHECK-NEXT: .cfi_offset %r14, -16
|
||||
; CHECK-NEXT: movq %rdi, %rbx
|
||||
; CHECK-NEXT: movq %rdi, (%rsp)
|
||||
; CHECK-NEXT: movq %rdi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rdi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: callq return_i1
|
||||
; CHECK-NEXT: .Ltmp2:
|
||||
; CHECK-NEXT: movq (%rsp), %r14
|
||||
; CHECK-NEXT: movq {{[0-9]+}}(%rsp), %r14
|
||||
; CHECK-NEXT: movq %rbx, %rdi
|
||||
; CHECK-NEXT: callq consume
|
||||
; CHECK-NEXT: movq %r14, %rax
|
||||
; CHECK-NEXT: addq $8, %rsp
|
||||
; CHECK-NEXT: addq $24, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 24
|
||||
; CHECK-NEXT: popq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 16
|
||||
|
|
@ -161,6 +170,7 @@ define void @test_deopt_gcpointer(i32 addrspace(1)* %a, i32 addrspace(1)* %b) gc
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -16
|
||||
; CHECK-NEXT: movq %rsi, %rbx
|
||||
; CHECK-NEXT: movq %rsi, (%rsp)
|
||||
; CHECK-NEXT: movq %rdi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: callq func
|
||||
; CHECK-NEXT: .Ltmp4:
|
||||
|
|
@ -183,13 +193,18 @@ define void @test_gcrelocate_uniqueing(i32 addrspace(1)* %ptr) gc "statepoint-ex
|
|||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: pushq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 16
|
||||
; CHECK-NEXT: subq $16, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -16
|
||||
; CHECK-NEXT: movq %rdi, %rbx
|
||||
; CHECK-NEXT: movq %rdi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: callq func
|
||||
; CHECK-NEXT: .Ltmp5:
|
||||
; CHECK-NEXT: movq %rbx, %rdi
|
||||
; CHECK-NEXT: movq %rbx, %rsi
|
||||
; CHECK-NEXT: callq consume2
|
||||
; CHECK-NEXT: addq $16, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 16
|
||||
; CHECK-NEXT: popq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 8
|
||||
; CHECK-NEXT: retq
|
||||
|
|
@ -206,13 +221,18 @@ define void @test_gcptr_uniqueing(i32 addrspace(1)* %ptr) gc "statepoint-example
|
|||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: pushq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 16
|
||||
; CHECK-NEXT: subq $16, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -16
|
||||
; CHECK-NEXT: movq %rdi, %rbx
|
||||
; CHECK-NEXT: movq %rdi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: callq func
|
||||
; CHECK-NEXT: .Ltmp6:
|
||||
; CHECK-NEXT: movq %rbx, %rdi
|
||||
; CHECK-NEXT: movq %rbx, %rsi
|
||||
; CHECK-NEXT: callq use1
|
||||
; CHECK-NEXT: addq $16, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 16
|
||||
; CHECK-NEXT: popq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 8
|
||||
; CHECK-NEXT: retq
|
||||
|
|
@ -227,7 +247,6 @@ define void @test_gcptr_uniqueing(i32 addrspace(1)* %ptr) gc "statepoint-example
|
|||
|
||||
;
|
||||
; Cross-basicblock relocates are handled with spilling for now.
|
||||
; No need to check post-RA output
|
||||
define i1 @test_cross_bb(i32 addrspace(1)* %a, i1 %external_cond) gc "statepoint-example" {
|
||||
; CHECK-LABEL: test_cross_bb:
|
||||
; CHECK: # %bb.0: # %entry
|
||||
|
|
@ -237,11 +256,14 @@ define i1 @test_cross_bb(i32 addrspace(1)* %a, i1 %external_cond) gc "statepoint
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 24
|
||||
; CHECK-NEXT: pushq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: subq $16, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 48
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -32
|
||||
; CHECK-NEXT: .cfi_offset %r14, -24
|
||||
; CHECK-NEXT: .cfi_offset %rbp, -16
|
||||
; CHECK-NEXT: movl %esi, %ebp
|
||||
; CHECK-NEXT: movq %rdi, %rbx
|
||||
; CHECK-NEXT: movq %rdi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: callq return_i1
|
||||
; CHECK-NEXT: .Ltmp7:
|
||||
; CHECK-NEXT: testb $1, %bpl
|
||||
|
|
@ -255,6 +277,8 @@ define i1 @test_cross_bb(i32 addrspace(1)* %a, i1 %external_cond) gc "statepoint
|
|||
; CHECK-NEXT: .LBB7_2: # %right
|
||||
; CHECK-NEXT: movb $1, %al
|
||||
; CHECK-NEXT: .LBB7_3: # %right
|
||||
; CHECK-NEXT: addq $16, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: popq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 24
|
||||
; CHECK-NEXT: popq %r14
|
||||
|
|
@ -336,8 +360,8 @@ define void @test_limit(i32 addrspace(1)* %a, i32 addrspace(1)* %b, i32 addrspac
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: pushq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 40
|
||||
; CHECK-NEXT: pushq %rax
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 48
|
||||
; CHECK-NEXT: subq $40, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 80
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -40
|
||||
; CHECK-NEXT: .cfi_offset %r12, -32
|
||||
; CHECK-NEXT: .cfi_offset %r14, -24
|
||||
|
|
@ -346,6 +370,10 @@ define void @test_limit(i32 addrspace(1)* %a, i32 addrspace(1)* %b, i32 addrspac
|
|||
; CHECK-NEXT: movq %rcx, %r15
|
||||
; CHECK-NEXT: movq %rdx, %r12
|
||||
; CHECK-NEXT: movq %rsi, %rbx
|
||||
; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %r8, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rsi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rdi, (%rsp)
|
||||
; CHECK-NEXT: callq func
|
||||
; CHECK-NEXT: .Ltmp11:
|
||||
|
|
@ -355,7 +383,7 @@ define void @test_limit(i32 addrspace(1)* %a, i32 addrspace(1)* %b, i32 addrspac
|
|||
; CHECK-NEXT: movq %r15, %rcx
|
||||
; CHECK-NEXT: movq %r14, %r8
|
||||
; CHECK-NEXT: callq consume5
|
||||
; CHECK-NEXT: addq $8, %rsp
|
||||
; CHECK-NEXT: addq $40, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 40
|
||||
; CHECK-NEXT: popq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
|
|
@ -384,12 +412,14 @@ define i64 addrspace(1)* @test_basic_invoke(i64 addrspace(1)* %obj,
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 16
|
||||
; CHECK-NEXT: pushq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 24
|
||||
; CHECK-NEXT: pushq %rax
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: subq $24, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 48
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -24
|
||||
; CHECK-NEXT: .cfi_offset %r14, -16
|
||||
; CHECK-NEXT: movq %rsi, %r14
|
||||
; CHECK-NEXT: movq %rdi, %rbx
|
||||
; CHECK-NEXT: movq %rdi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rsi, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: .Ltmp12:
|
||||
; CHECK-NEXT: callq some_call
|
||||
; CHECK-NEXT: .Ltmp15:
|
||||
|
|
@ -397,7 +427,7 @@ define i64 addrspace(1)* @test_basic_invoke(i64 addrspace(1)* %obj,
|
|||
; CHECK-NEXT: # %bb.1: # %normal_return
|
||||
; CHECK-NEXT: movq %rbx, %rax
|
||||
; CHECK-NEXT: .LBB11_2: # %normal_return
|
||||
; CHECK-NEXT: addq $8, %rsp
|
||||
; CHECK-NEXT: addq $24, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 24
|
||||
; CHECK-NEXT: popq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 16
|
||||
|
|
@ -405,7 +435,7 @@ define i64 addrspace(1)* @test_basic_invoke(i64 addrspace(1)* %obj,
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 8
|
||||
; CHECK-NEXT: retq
|
||||
; CHECK-NEXT: .LBB11_3: # %exceptional_return
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 48
|
||||
; CHECK-NEXT: .Ltmp14:
|
||||
; CHECK-NEXT: movq %r14, %rax
|
||||
; CHECK-NEXT: jmp .LBB11_2
|
||||
|
|
@ -441,8 +471,8 @@ define i64 addrspace(1)* @test_invoke_same_val(i1 %cond, i64 addrspace(1)* %val1
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
; CHECK-NEXT: pushq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 40
|
||||
; CHECK-NEXT: pushq %rax
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 48
|
||||
; CHECK-NEXT: subq $24, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 64
|
||||
; CHECK-NEXT: .cfi_offset %rbx, -40
|
||||
; CHECK-NEXT: .cfi_offset %r14, -32
|
||||
; CHECK-NEXT: .cfi_offset %r15, -24
|
||||
|
|
@ -453,6 +483,8 @@ define i64 addrspace(1)* @test_invoke_same_val(i1 %cond, i64 addrspace(1)* %val1
|
|||
; CHECK-NEXT: testb $1, %r14b
|
||||
; CHECK-NEXT: je .LBB12_2
|
||||
; CHECK-NEXT: # %bb.1: # %left
|
||||
; CHECK-NEXT: movq %rbp, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rbx, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: .Ltmp19:
|
||||
; CHECK-NEXT: movq %rbp, %rdi
|
||||
; CHECK-NEXT: callq some_call
|
||||
|
|
@ -461,6 +493,8 @@ define i64 addrspace(1)* @test_invoke_same_val(i1 %cond, i64 addrspace(1)* %val1
|
|||
; CHECK-NEXT: jmp .LBB12_4
|
||||
; CHECK-NEXT: .LBB12_2: # %right
|
||||
; CHECK-NEXT: movq %rcx, %r15
|
||||
; CHECK-NEXT: movq %rbx, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
|
||||
; CHECK-NEXT: .Ltmp16:
|
||||
; CHECK-NEXT: movq %rbp, %rdi
|
||||
; CHECK-NEXT: callq some_call
|
||||
|
|
@ -474,7 +508,7 @@ define i64 addrspace(1)* @test_invoke_same_val(i1 %cond, i64 addrspace(1)* %val1
|
|||
; CHECK-NEXT: .LBB12_6: # %exceptional_return.left
|
||||
; CHECK-NEXT: movq %rbp, %rax
|
||||
; CHECK-NEXT: .LBB12_7: # %exceptional_return.left
|
||||
; CHECK-NEXT: addq $8, %rsp
|
||||
; CHECK-NEXT: addq $24, %rsp
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 40
|
||||
; CHECK-NEXT: popq %rbx
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
||||
|
|
@ -486,7 +520,7 @@ define i64 addrspace(1)* @test_invoke_same_val(i1 %cond, i64 addrspace(1)* %val1
|
|||
; CHECK-NEXT: .cfi_def_cfa_offset 8
|
||||
; CHECK-NEXT: retq
|
||||
; CHECK-NEXT: .LBB12_8: # %exceptional_return.right
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 48
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 64
|
||||
; CHECK-NEXT: .Ltmp18:
|
||||
; CHECK-NEXT: movq %rbx, %rax
|
||||
; CHECK-NEXT: jmp .LBB12_7
|
||||
|
|
|
|||
Loading…
Reference in New Issue