Skip to main content

Module asm

charon_lib::ast::bodies

Module asm 

Source
Expand description

Inline assembly inside a function body.

See the Rust Reference for the meaning of operands and options.

Structs§

AsmOperandId
AsmOptions
The flags set in options(...). These flags constrain the assembly’s effects; they do not describe instructions in the template itself.
InlineAsm
Contents of an inline assembly block.

Enums§

AsmKind
The kind of assembly block this is.
AsmOperand
An operand supplied to inline assembly.
AsmRegister
An explicit register (such as "rax") or a register class (such as reg).
AsmTemplatePiece
A fragment of assembly code.