Trait cretonne::isa::TargetIsa
[−]
[src]
pub trait TargetIsa: Display { fn name(&self) -> &'static str; fn flags(&self) -> &Flags; fn register_info(&self) -> RegInfo; fn legal_encodings<'a>(
&'a self,
dfg: &'a DataFlowGraph,
inst: &'a InstructionData,
ctrl_typevar: Type
) -> Encodings<'a>; fn encoding_info(&self) -> EncInfo; fn legalize_signature(&self, sig: &mut Signature, current: bool); fn regclass_for_abi_type(&self, ty: Type) -> RegClass; fn allocatable_registers(&self, func: &Function) -> AllocatableSet; fn emit_inst(
&self,
func: &Function,
inst: Inst,
divert: &mut RegDiversions,
sink: &mut CodeSink
); fn emit_function(&self, func: &Function, sink: &mut MemoryCodeSink); fn encode(
&self,
dfg: &DataFlowGraph,
inst: &InstructionData,
ctrl_typevar: Type
) -> Result<Encoding, Legalize> { ... } fn prologue_epilogue(&self, func: &mut Function) -> CtonResult { ... } }
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
fn name(&self) -> &'static str
Get the name of this ISA.
fn flags(&self) -> &Flags
Get the ISA-independent flags that were used to make this trait object.
fn register_info(&self) -> RegInfo
Get a data structure describing the registers in this ISA.
fn legal_encodings<'a>(
&'a self,
dfg: &'a DataFlowGraph,
inst: &'a InstructionData,
ctrl_typevar: Type
) -> Encodings<'a>
&'a self,
dfg: &'a DataFlowGraph,
inst: &'a InstructionData,
ctrl_typevar: Type
) -> Encodings<'a>
Returns an iterartor over legal encodings for the instruction.
fn encoding_info(&self) -> EncInfo
Get a data structure describing the instruction encodings in this ISA.
fn legalize_signature(&self, sig: &mut Signature, current: bool)
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 begin
compiler, 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 thelink
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 itssret
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.
fn regclass_for_abi_type(&self, ty: Type) -> RegClass
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.
fn allocatable_registers(&self, func: &Function) -> AllocatableSet
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.
fn emit_inst(
&self,
func: &Function,
inst: Inst,
divert: &mut RegDiversions,
sink: &mut CodeSink
)
&self,
func: &Function,
inst: Inst,
divert: &mut RegDiversions,
sink: &mut CodeSink
)
Emit binary machine code for a single instruction into the sink
trait object.
Note that this will call put*
methods on the trait object via its vtable which is not the
fastest way of emitting code.
fn emit_function(&self, func: &Function, sink: &mut MemoryCodeSink)
Emit a whole function into memory.
This is more performant than calling emit_inst
for each instruction.
Provided Methods
fn encode(
&self,
dfg: &DataFlowGraph,
inst: &InstructionData,
ctrl_typevar: Type
) -> Result<Encoding, Legalize>
&self,
dfg: &DataFlowGraph,
inst: &InstructionData,
ctrl_typevar: Type
) -> Result<Encoding, Legalize>
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.
fn prologue_epilogue(&self, func: &mut Function) -> CtonResult
Compute the stack layout and insert prologue and epilogue code into func
.
Return an error if the stack frame is too large.
Trait Implementations
impl<'a> From<&'a TargetIsa> for FlagsOrIsa<'a>
[src]
fn from(isa: &'a TargetIsa) -> FlagsOrIsa
[src]
Performs the conversion.