Core no_std types and encoding logic for AArch64 instruction synthesis.
This crate is the runtime heart of the project:
- [
types] defines the structured operand model and generated spec metadata. - [
engine] implements variant selection, validation, and bitfield encoding.
Design goals:
no_stdcompatibility (withalloconly where needed for diagnostics).- deterministic, metadata-driven encoding (no handwritten opcode tables).
- strict error reporting for ambiguous or invalid operand forms.
Typical call paths:
- high-level: [
encode] with canonical mnemonic + structured operands. - low-level: [
encode_by_spec_operands] when variant/spec is already known. - dispatch assist: [
operand_shape_keys] for precomputed shape-based routing.