Module gen_inst 

Generate CLIF instruction data (including opcodes, formats, builders, etc.).

Constants

TYPESET_LIMIT 🔒

Functions

gen_arguments_method 🔒

gen_bitset 🔒

gen_bitwise_not_builders 🔒

Emit the band_not, bor_not, and bxor_not InstBuilder backwards-compat/convenience methods.

gen_bool_accessor 🔒

gen_builder 🔒

Generate a Builder trait with methods for all instructions.

gen_format_constructor 🔒

Emit a method for creating and inserting an instruction format.

gen_formats 🔒

Generate an instruction format enumeration.

gen_imm_inst_builder 🔒

Emit the {name}_imm_s, {name}_imm_u, and (deprecated) {name}_imm convenience methods for inst, requested via .inst_builder_imm_method(true).

gen_inst_builder 🔒

Emit a method for generating the instruction inst.

gen_instruction_data 🔒

Generate the InstructionData enum.

gen_instruction_data_impl 🔒

Generate the boring parts of the InstructionData implementation.

gen_member_inits 🔒

Emit member initializers for an instruction format.

gen_one_imm_inst_builder 🔒

Emit a single immediate convenience method for inst with the given method name suffix (e.g. "_imm_s"). signed selects sign- vs zero-extension of the materialized immediate, and deprecation, if set, marks the method #[deprecated] with the given note.

gen_opcodes 🔒

gen_stack_access_builders 🔒

Emit the stack_load, stack_store, dynamic_stack_load, and dynamic_stack_store InstBuilder backwards-compat/convenience methods.

gen_type_constraints 🔒

Generate value type constraints for all instructions.

gen_typesets_table 🔒

Generate the table of ValueTypeSets described by type_sets.

generate 🔒

get_constraint 🔒

Get the value type constraint for an SSA value operand, where ctrl_typevar is the controlling type variable.

iterable_to_string 🔒

typeset_to_string 🔒