Enum DataModel 

pub enum DataModel {
    Ilp32,
    Lp64,
    Llp64,
    Ilp32On64,
}

The widths of int, long and a pointer, as one choice rather than three.

Only a handful of combinations exist and every other combination is a bug, so this is an enumeration and not three independent numbers. The individual widths are still readable, because that is what the type layout wants, but they are read from here rather than guessed from the architecture.

Variants

Ilp32

32-bit int, 32-bit long, 32-bit pointer, on a 32-bit machine. i686 and armv7.

Lp64

32-bit int, 64-bit long, 64-bit pointer. Every 64-bit Unix.

Llp64

32-bit int, 32-bit long, 64-bit pointer. Windows, and only Windows.

Ilp32On64

32-bit int, 32-bit long, 32-bit pointer, on a machine with 64-bit registers. x86_64-linux-gnux32 and the ILP32 modes of AArch64 and RISC-V.

This exists in the enumeration mostly to prove the field is real. A model that is derived from the architecture cannot express it, and the version of this code that derived it silently produced 64-bit pointers for a target whose pointers are 32 bits.

Implementations

impl DataModel

pub const fn as_str(self) -> &'static str

The name used in diagnostics and in the print queries.

pub const fn int_width(self) -> u32

The width of int in bits, which is 32 on every target in the table.

pub const fn long_width(self) -> u32

The width of long in bits. This is the field that separates the LP64 world from Windows.

pub const fn long_long_width(self) -> u32

The width of long long in bits, which is 64 everywhere.

pub const fn pointer_width(self) -> u32

The width of a pointer in bits.

pub const fn address_width(self) -> u32

The number of bits of a pointer that are an address.

Equal to DataModel::pointer_width for every target in the table, and separate from it because on CHERI it is not: a purecap pointer is 128 bits carrying a 64-bit address plus bounds, permissions and a tag. spec/cross-compile/03-target-model.md section 3.9 puts CHERI out of scope and keeps this accessor, because adding the distinction later is an audit of every use of the pointer width and adding it now costs one function.

Trait Implementations

impl Clone for DataModel

fn clone(&self) -> DataModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DataModel

impl Debug for DataModel

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

Formats the value using the given formatter.

impl Display for DataModel

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

Formats the value using the given formatter.

impl Eq for DataModel

impl Hash for DataModel

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for DataModel

fn cmp(&self, other: &DataModel) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for DataModel

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for DataModel

fn partial_cmp(&self, other: &DataModel) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for DataModel