View on GitHub
InstructionReification
private struct InstructionReificationReification metadata for a value that crosses region boundaries.
If instruction j uses instruction i and they are in different regions, the storage
associated with i gets reified in the frame.
Includes the subfield path to get to the storage of i from the frame, and the instruction
that allocates the storage.
-
The ID of the instruction that must be reified in the frame.
Declaration
Swift
fileprivate let source: InstructionID -
The instruction that allocates the storage.
Declaration
Swift
fileprivate var storageInstruction: InstructionID -
Creates metadata for reifying
sourcein the frame.Declaration
Swift
public init(source: InstructionID, in f: Function) -
Returns the subfield path and the
AllocStackinstruction at the base of the storage chain rooted atsourceinf.At the moment, we only support storage chains containing
SubfieldViewandAllocStackinstructions.Declaration
Swift
private static func storagePath( of source: InstructionID, in f: Function ) -> (subfield: RecordPath, storageInstruction: InstructionID)