Struct EffectiveIsa 

pub struct EffectiveIsa {
    pub triple: String,
    pub polydat_register_bits: u16,
    pub cranelift_version: &'static str,
    /* private fields */
}

Effective code-generation capabilities advertised by the native Cranelift builder used for this process.

Fields

triple: String

Full target triple of the JIT host.

polydat_register_bits: u16

Width of Polydat’s fixed register type plane. This is deliberately not inferred from AVX/AVX-512 feature names.

cranelift_version: &'static str

Cranelift version which produced this capability record.

Implementations

impl EffectiveIsa

pub fn detect() -> Result<Self, String>

Probe the same native builder used by production JIT compilation.

pub fn has_flag(&self, flag: &str) -> bool

Whether an ISA flag such as has_avx2 is enabled in the builder.

pub fn enabled_flags(&self) -> &[&'static str]

Stable ordered flag list for diagnostics and plan-cache identity.

pub fn fingerprint(&self) -> String

Text fingerprint suitable for inclusion in a compiled-plan cache key.

Trait Implementations

impl Clone for EffectiveIsa

fn clone(&self) -> EffectiveIsa

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectiveIsa

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

Formats the value using the given formatter.

impl Eq for EffectiveIsa

impl PartialEq for EffectiveIsa

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EffectiveIsa