Trait wasmtime_environ::isa::TargetIsa

source · [−]
pub trait TargetIsa: Display + Send + Sync {

Show 28 methods    fn name(&self) -> &'static str;

    fn triple(&self) -> &Triple;

    fn flags(&self) -> &Flags;

    fn register_info(&self) -> RegInfo;

    fn legal_encodings(
        &'a self, 
        func: &'a Function, 
        inst: &'a InstructionData, 
        ctrl_typevar: Type
    ) -> Encodings<'a>;

    fn encoding_info(&self) -> EncInfo;

    fn legalize_signature(&self, sig: &mut Cow<'_, Signature>, current: bool);

    fn regclass_for_abi_type(&self, ty: Type) -> &'static RegClassData;

    fn allocatable_registers(&self, func: &Function) -> RegisterSet;

    fn emit_function_to_memory(
        &self, 
        func: &Function, 
        sink: &mut MemoryCodeSink<'_>
    );

    fn unsigned_add_overflow_condition(&self) -> IntCC;

    fn unsigned_sub_overflow_condition(&self) -> IntCC;

    fn as_any(&self) -> &(dyn Any + 'static);

    fn default_call_conv(&self) -> CallConv { ... }

    fn endianness(&self) -> Endianness { ... }

    fn pointer_type(&self) -> Type { ... }

    fn pointer_width(&self) -> PointerWidth { ... }

    fn pointer_bits(&self) -> u8 { ... }

    fn pointer_bytes(&self) -> u8 { ... }

    fn frontend_config(&self) -> TargetFrontendConfig { ... }

    fn uses_cpu_flags(&self) -> bool { ... }

    fn uses_complex_addresses(&self) -> bool { ... }

    fn map_dwarf_register(&self, u16) -> Result<u16, RegisterMappingError> { ... }

    fn encode(
        &self, 
        func: &Function, 
        inst: &InstructionData, 
        ctrl_typevar: Type
    ) -> Result<Encoding, fn(Inst, &mut Function, &mut ControlFlowGraph, &dyn TargetIsa) -> bool> { ... }

    fn prologue_epilogue(&self, func: &mut Function) -> Result<(), CodegenError> { ... }

    fn create_unwind_info(
        &self, 
        _func: &Function
    ) -> Result<Option<UnwindInfo>, CodegenError> { ... }

    fn create_systemv_cie(&self) -> Option<CommonInformationEntry> { ... }

    fn get_mach_backend(&self) -> Option<&dyn MachBackend> { ... }

}
Expand description

Methods that are specialized to a target ISA. Implies a Display trait that shows the shared flags, as well as any isa-specific flags.

Required methods

Get the name of this ISA.

Get the target triple that was used to make this trait object.

Get the ISA-independent flags that were used to make this trait object.

Get a data structure describing the registers in this ISA.

Returns an iterator over legal encodings for the instruction.

Get a data structure describing the instruction encodings in this ISA.

Legalize a function signature.

This is used to legalize both the signature of the function being compiled and any called functions. The signature should be modified by adding ArgumentLoc annotations to all arguments and return values.

Arguments with types that are not supported by the ABI can be expanded into multiple arguments:

  • Integer types that are too large to fit in a register can be broken into multiple arguments of a smaller integer type.
  • Floating point types can be bit-cast to an integer type of the same size, and possible broken into smaller integer types.
  • Vector types can be bit-cast and broken down into smaller vectors or scalars.

The legalizer will adapt argument and return values as necessary at all ABI boundaries.

When this function is called to legalize the signature of the function currently being compiled, current is true. The legalized signature can then also contain special purpose arguments and return values such as:

  • A link argument representing the link registers on RISC architectures that don’t push the return address on the stack.
  • A link return value which will receive the value that was passed to the link argument.
  • An sret argument can be added if one wasn’t present already. This is necessary if the signature returns more values than registers are available for returning values.
  • An sret return value can be added if the ABI requires a function to return its sret argument in a register.

Arguments and return values for the caller’s frame pointer and other callee-saved registers should not be added by this function. These arguments are not added until after register allocation.

Get the register class that should be used to represent an ABI argument or return value of type ty. This should be the top-level register class that contains the argument registers.

This function can assume that it will only be asked to provide register classes for types that legalize_signature() produces in ArgumentLoc::Reg entries.

Get the set of allocatable registers that can be used when compiling func.

This set excludes reserved registers like the stack pointer and other special-purpose registers.

Emit a whole function into memory.

IntCC condition for Unsigned Addition Overflow (Carry).

IntCC condition for Unsigned Subtraction Overflow (Borrow/Carry).

Return an Any reference for downcasting to the ISA-specific implementation of this trait with isa.as_any().downcast_ref::<isa::foo::Isa>().

Provided methods

Get the default calling convention of this target.

Get the endianness of this ISA.

Get the pointer type of this ISA.

Get the width of pointers on this ISA.

Get the width of pointers on this ISA, in units of bits.

Get the width of pointers on this ISA, in units of bytes.

Get the information needed by frontends producing Cranelift IR.

Does the CPU implement scalar comparisons using a CPU flags register?

Does the CPU implement multi-register addressing?

Map a Cranelift register to its corresponding DWARF register.

Encode an instruction after determining it is legal.

If inst can legally be encoded in this ISA, produce the corresponding Encoding object. Otherwise, return Legalize action.

This is also the main entry point for determining if an instruction is legal.

Compute the stack layout and insert prologue and epilogue code into func.

Return an error if the stack frame is too large.

Creates unwind information for the function.

Returns None if there is no unwind information for the function.

Creates a new System V Common Information Entry for the ISA.

Returns None if the ISA does not support System V unwind information.

Get the new-style MachBackend, if this is an adapter around one.

Trait Implementations

Formats the value using the given formatter. Read more

Implementations on Foreign Types

Emit a whole function into memory.

Implementors