This is an archive of the discontinued LLVM Phabricator instance.

MIR Statepoint refactoring: pass GC pointers in VRegs. Part 4/5.
AbandonedPublic

Authored by dantrushin on May 19 2020, 1:28 AM.

Details

Summary

Change MIR representation of STATEPOINT instruction from explicit
spill/reload of GC pointer arguments around statepoint to simply
assigning them to virtual registers. Then they can be spilled as
necessary. Relocated pointers are represented as STATEPOINT's Def
operands (tied to corresponding derived pointers from GC args list):

rel1,rel2,... = STATEPOINT ..., derived1<tied-def0>, derived2<tied-def1>, ...

This patch implements memory operand folding for statepoints.
InlineSpiller untie operands it need to fold, because it knows how to
reload them later. But if we asked to fold tied operand we do nothing,
because unaware caller does not know how to reload result.

Depends On: D80193

Diff Detail