rustc_middle::ty::consts::int

Struct ScalarInt

#[repr(packed(1))]pub struct ScalarInt {
    data: u128,
    size: NonZero<u8>,
}

Expand description

The raw bytes of a simple value.

This is a packed struct in order to allow this type to be optimally embedded in enums (like Scalar).

Fields§

§data: u128

The first size bytes of data are the value. Do not try to read less or more bytes than that. The remaining bytes must be 0.

§size: NonZero<u8>

Implementations§

Source §

fn check_data(self)

Make sure the data fits in size. This is guaranteed by all constructors here, but having had this check saved us from bugs many times in the past, so keeping it around is definitely worth it.

Source

pub fn null(size: Size) -> Self

Source

pub fn is_null(self) -> bool

Source

pub fn try_from_uint(i: impl Into<u128>, size: Size) -> Option<Self>

Source

pub fn truncate_from_uint(i: impl Into<u128>, size: Size) -> (Self, bool)

Returns the truncated result, and whether truncation changed the value.

Source

pub fn try_from_int(i: impl Into<i128>, size: Size) -> Option<Self>

Source

pub fn truncate_from_int(i: impl Into<i128>, size: Size) -> (Self, bool)

Returns the truncated result, and whether truncation changed the value.

Source

pub fn try_from_target_usize( i: impl Into<u128>, tcx: TyCtxt<'_>, ) -> Option<Self>

Source

pub fn try_to_bits(self, target_size: Size) -> Result<u128, Size>

Try to convert this ScalarInt to the raw underlying bits. Fails if the size is wrong. Generally a wrong size should lead to a panic, but Miri sometimes wants to be resilient to size mismatches, so the interpreter will generally use this try method.

Source

pub fn to_bits(self, target_size: Size) -> u128

Source

pub fn to_bits_unchecked(self) -> u128

Extracts the bits from the scalar without checking the size.

Source

pub fn to_uint(self, size: Size) -> u128

Converts the ScalarInt to an unsigned integer of the given size. Panics if the size of the ScalarInt is not equal to size.

Source

pub fn to_u8(self) -> u8

Converts the ScalarInt to u8. Panics if the size of the ScalarIntin not equal to 1 byte.

Source

pub fn to_u16(self) -> u16

Converts the ScalarInt to u16. Panics if the size of the ScalarInt in not equal to 2 bytes.

Source

pub fn to_u32(self) -> u32

Converts the ScalarInt to u32. Panics if the size of the ScalarInt in not equal to 4 bytes.

Source

pub fn to_u64(self) -> u64

Converts the ScalarInt to u64. Panics if the size of the ScalarInt in not equal to 8 bytes.

Source

pub fn to_u128(self) -> u128

Converts the ScalarInt to u128. Panics if the size of the ScalarInt in not equal to 16 bytes.

Source

pub fn to_target_usize(&self, tcx: TyCtxt<'_>) -> u64

Source

pub fn to_atomic_ordering(self) -> AtomicOrdering

Source

pub fn try_to_bool(self) -> Result<bool, ()>

Converts the ScalarInt to bool. Panics if the size of the ScalarInt is not equal to 1 byte. Errors if it is not a valid bool.

Source

pub fn to_int(self, size: Size) -> i128

Converts the ScalarInt to a signed integer of the given size. Panics if the size of the ScalarInt is not equal to size.

Source

pub fn to_i8(self) -> i8

Converts the ScalarInt to i8. Panics if the size of the ScalarInt is not equal to 1 byte.

Source

pub fn to_i16(self) -> i16

Converts the ScalarInt to i16. Panics if the size of the ScalarInt is not equal to 2 bytes.

Source

pub fn to_i32(self) -> i32

Converts the ScalarInt to i32. Panics if the size of the ScalarInt is not equal to 4 bytes.

Source

pub fn to_i64(self) -> i64

Converts the ScalarInt to i64. Panics if the size of the ScalarInt is not equal to 8 bytes.

Source

pub fn to_i128(self) -> i128

Converts the ScalarInt to i128. Panics if the size of the ScalarInt is not equal to 16 bytes.

Source

pub fn to_target_isize(&self, tcx: TyCtxt<'_>) -> i64

Source

pub fn to_float<F: Float>(self) -> F

Source

pub fn to_f16(self) -> Half

Source

pub fn to_f32(self) -> Single

Source

pub fn to_f64(self) -> Double

Source

pub fn to_f128(self) -> Quad

Trait Implementations§

Source §

impl Clone for ScalarInt

Source §

fn clone(&self) -> ScalarInt

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

Source §

impl Debug for ScalarInt

Source §

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

Formats the value using the given formatter. Read more

Source §

impl<D: Decoder> Decodable<D> for ScalarInt

Source §

fn decode(d: &mut D) -> ScalarInt

Source §

impl Display for ScalarInt

Source §

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

Formats the value using the given formatter. Read more

Source §

impl<S: Encoder> Encodable<S> for ScalarInt

Source §

fn encode(&self, s: &mut S)

Source §