Struct RiscVTarget 

pub struct RiscVTarget {
    pub xlen: Xlen,
    pub m: bool,
    pub a: bool,
    pub f: bool,
    pub d: bool,
    pub c: bool,
    pub v: bool,
}

Base integer ISA plus the standard extensions the backend cares about.

Fields

xlen: Xlen

m: bool

M: multiply and divide.

a: bool

A: atomics.

f: bool

F: single-precision float.

d: bool

D: double-precision float, implies F.

c: bool

C: compressed encodings.

v: bool

Implementations

impl RiscVTarget

pub fn base(xlen: Xlen) -> Self

The base integer ISA on its own, rv32i or rv64i.

pub fn general(xlen: Xlen) -> Self

G, the conventional general-purpose set: IMAFD.

pub fn from_isa(isa: RiscvIsa) -> Self

The ISA a target string selected.

pub fn from_arch(arch: TargetArchitecture) -> Option<Self>

Default for a bare riscv32/riscv64 target.

G, matching what most toolchains assume, and what this backend already emitted before extensions were modelled at all.

pub fn word_bytes(self) -> i32

Bytes in a general-purpose register.

pub fn store_word(self) -> &'static str

Mnemonic for storing a whole register. sd has no rv32 encoding.

pub fn load_word(self) -> &'static str

Mnemonic for loading a whole register.

pub fn require_float(self, is_f32: bool) -> Result<(), String>

Check the float extension a width needs is present.

F covers f32, D covers f64. Emitting fadd.d on a target without D produces an instruction the core traps on.

pub fn require_vector(self) -> Result<(), String>

pub fn require_i64(self) -> Result<(), String>

pub fn isa_name(&self) -> String

ISA string, for diagnostics.

Trait Implementations

impl Clone for RiscVTarget

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for RiscVTarget

impl Debug for RiscVTarget

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for RiscVTarget

impl PartialEq for RiscVTarget

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RiscVTarget