View on GitHub
Protocols Reference
Protocols
The following protocols are available globally.
-
A type representing the possible values of an object in an abstract interpreter.
The values of an abstract domain must form a meet-semilattice whose meet operation represents the conservative superposition of two abstract values.
See moreDeclaration
Swift
protocol AbstractDomain : Equatable, Sendable -
An instruction denoting an access that may be refiable.
See moreDeclaration
Swift
private protocol ReifiableAccess -
A Hylo IR instruction.
See moreDeclaration
Swift
public protocol Instruction : CustomStringConvertible, Sendable -
An instruction that extends the lifetime of all its uses.
Declaration
Swift
private protocol LifetimeExtender : Sendable -
An instruction that ends the lifetime of a borrow.
See moreDeclaration
Swift
private protocol LifetimeCloser : Instruction -
A type that transforms the parts of IR instructions.
See moreDeclaration
Swift
protocol InstructionTransformer -
A constant value in Hylo IR.
See moreDeclaration
Swift
public protocol Constant : Hashable, Sendable -
An instruction marking the entry into a region within an IR function.
See moreDeclaration
Swift
public protocol RegionEntry : Instruction -
An instruction that causes control flow to transfer.
See moreDeclaration
Swift
protocol Terminator : Instruction