Expand description
Abstract syntax tree type definitions.
Structs§
- Arena
- An arena of objects of type
T. - Assignment
- An assignment, defining a value.
- Block
- A basic block.
- BlockId
- An identifier for a defined block.
- BlockPc
- A block path condition.
- Cand
- A candidate rewrite.
- Constant
- A constant value.
- Id
- An identifier for an object allocated within an arena.
- Infer
- The root of a left-hand side.
- Left
Hand Side - The left-hand side of a replacement.
- Left
Hand Side Builder - A builder for a
LeftHandSide. - Pc
- A path condition.
- Phi
- A phi node.
- Replacement
Builder - A builder for a
Replacement. - Right
Hand Side - The right-hand side of a replacement.
- Type
- A type.
- ValueId
- An identifier for a value defined by an assignment.
- Var
- An input variable.
Enums§
- Assignment
Rhs - Any value that can be assigned to a name.
- Attribute
- Attributes describing data-flow facts known about a particular value or result of an instruction.
- Instruction
- A Souper instruction.
- Operand
- An operand for an instruction or some other kind of operation.
- Replacement
- A complete optimization that replaces a left-hand side with a right-hand side.
- Root
Attribute - Attributes describing data-flow facts known about the root of a left- or right-hand side.
- Statement
- A statement in a LHS or RHS.