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

Value type constraints for a given opcode.
A value type set describes the permitted set of types for a type variable.
A variable list of Value operands used for function call arguments and passing arguments to basic blocks.

Enums

Information about branch and jump instructions.
Information about call instructions.
An instruction format
An instruction opcode.
The type constraint on a value argument once the controlling type variable is known.

Type Definitions

Some instructions use an external list of argument values because there is not enough space in the 16-byte InstructionData struct. These value lists are stored in a memory pool in dfg.value_lists.
Memory pool for holding value lists. See ValueList.