Module cranelift_codegen::ir

source ·
Expand description

Representation of Cranelift IR functions.

Re-exports§

Modules§

  • Condition codes for the Cranelift code generator.
  • Constants
  • Data flow graph tracking Instructions, Values, and blocks.
  • Dynamic IR types
  • Cranelift IR entity references.
  • Intermediate representation of a function.
  • Immediate operands for Cranelift instructions
  • Instruction formats and opcodes.
  • Jump table representation.
  • Function layout.
  • Proof-carrying code. We attach “facts” to values and then check that they remain true after compilation.
  • Stack slots.
  • Common types for the Cranelift code generator.

Structs§

Enums§

  • Function argument extension options.
  • The special purpose of a function argument.
  • Describes the arithmetic operation in an atomic memory read-modify-write operation.
  • Endianness of a memory access.
  • The name of an external is either a reference to a user-defined symbol table, or a short sequence of ascii bytes so that test cases do not have to keep track of a symbol table.
  • Information about a global value declaration.
  • A well-known symbol.
  • The name of a runtime library routine.
  • Data defining a memory type.
  • A ProgramPoint represents a position in a function where the live range of an SSA value can begin or end. It can be either:
  • A trap code describing the reason for a trap.
  • An explicit name for a user-defined function, be it defined in code or in CLIF text.
  • Value label assignments: label starts or value aliases.

Traits§

Functions§

Type Aliases§