Expand description
Instruction formats and opcodes.
The instructions module contains definitions for instruction formats, opcodes, and the
in-memory representation of IR instructions.
A large part of this module is auto-generated from the instruction descriptions in the meta directory.
Structs§
- Block
Call - A pair of a Block and its arguments, stored in a single EntityList internally.
- Display
Block Call - Wrapper for the context needed to display a BlockCall value.
- Opcode
Constraints - Value type constraints for a given opcode.
- Value
Type Set - A value type set describes the permitted set of types for a type variable.
- Variable
Args - A variable list of
Valueoperands used for function call arguments and passing arguments to basic blocks.
Enums§
- Block
Arg - A
BlockArgis a sum type ofValue,TryCallRet, andTryCallExn. The latter two are values that are generated “on the edge” out of atry_callinstruction into a successor block. We use special arguments rather than special values for these because they are not definable as SSA values at a certain program point – only when theBlockCallis executed. - Call
Info - Information about call instructions.
- Instruction
Data - Instruction
Format - An instruction format
- Opcode
- An instruction opcode.
- Resolved
Constraint - The type constraint on a value argument once the controlling type variable is known.
Type Aliases§
- Value
List - Some instructions use an external list of argument values because there is not enough space in
the 16-byte
InstructionDatastruct. These value lists are stored in a memory pool indfg.value_lists. - Value
List Pool - Memory pool for holding value lists. See
ValueList.