Struct rustc_middle::ty::consts::int::ScalarInt

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

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

impl ScalarInt

pub const TRUE: ScalarInt = _

pub const FALSE: ScalarInt = _

pub fn size(self) -> Size

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.

pub fn null(size: Size) -> Self

pub fn is_null(self) -> bool

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

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

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

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

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

pub fn try_to_uint(self, size: Size) -> Result<u128, Size>

Tries to convert the ScalarInt to an unsigned integer of the given size. Fails if the size of the ScalarInt is not equal to size and returns the ScalarInts size in that case.

pub fn try_to_u8(self) -> Result<u8, Size>

pub fn try_to_u16(self) -> Result<u16, Size>

Tries to convert the ScalarInt to u16. Fails if the size of the ScalarInt in not equal to Size { raw: 2 } and returns the size value of the ScalarInt in that case.

pub fn try_to_u32(self) -> Result<u32, Size>

Tries to convert the ScalarInt to u32. Fails if the size of the ScalarInt in not equal to Size { raw: 4 } and returns the size value of the ScalarInt in that case.

pub fn try_to_u64(self) -> Result<u64, Size>

Tries to convert the ScalarInt to u64. Fails if the size of the ScalarInt in not equal to Size { raw: 8 } and returns the size value of the ScalarInt in that case.

pub fn try_to_u128(self) -> Result<u128, Size>

Tries to convert the ScalarInt to u128. Fails if the size of the ScalarInt in not equal to Size { raw: 16 } and returns the size value of the ScalarInt in that case.

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

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

pub fn try_to_int(self, size: Size) -> Result<i128, Size>

Tries to convert the ScalarInt to a signed integer of the given size. Fails if the size of the ScalarInt is not equal to size and returns the ScalarInts size in that case.

pub fn try_to_i8(self) -> Result<i8, Size>

Tries to convert the ScalarInt to i8. Fails if the size of the ScalarInt is not equal to Size { raw: 1 } and returns the ScalarInts size in that case.

pub fn try_to_i16(self) -> Result<i16, Size>

Tries to convert the ScalarInt to i16. Fails if the size of the ScalarInt is not equal to Size { raw: 2 } and returns the ScalarInts size in that case.

pub fn try_to_i32(self) -> Result<i32, Size>

Tries to convert the ScalarInt to i32. Fails if the size of the ScalarInt is not equal to Size { raw: 4 } and returns the ScalarInts size in that case.

pub fn try_to_i64(self) -> Result<i64, Size>

Tries to convert the ScalarInt to i64. Fails if the size of the ScalarInt is not equal to Size { raw: 8 } and returns the ScalarInts size in that case.

pub fn try_to_i128(self) -> Result<i128, Size>

Tries to convert the ScalarInt to i128. Fails if the size of the ScalarInt is not equal to Size { raw: 16 } and returns the ScalarInts size in that case.

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

pub fn try_to_float<F: Float>(self) -> Result<F, Size>

pub fn try_to_f16(self) -> Result<Half, Size>

pub fn try_to_f32(self) -> Result<Single, Size>

pub fn try_to_f64(self) -> Result<Double, Size>

pub fn try_to_f128(self) -> Result<Quad, Size>

Trait Implementations

impl Clone for ScalarInt

fn clone(&self) -> ScalarInt

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ScalarInt

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

Formats the value using the given formatter.

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

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

impl Display for ScalarInt

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

Formats the value using the given formatter.

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

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

impl From<IeeeFloat<DoubleS>> for ScalarInt

fn from(f: Double) -> Self

Converts to this type from the input type.

impl From<IeeeFloat<HalfS>> for ScalarInt

fn from(f: Half) -> Self

Converts to this type from the input type.

impl From<IeeeFloat<QuadS>> for ScalarInt

fn from(f: Quad) -> Self

Converts to this type from the input type.

impl From<IeeeFloat<SingleS>> for ScalarInt

fn from(f: Single) -> Self

Converts to this type from the input type.

impl<Prov> From<ScalarInt> for Scalar<Prov>

fn from(ptr: ScalarInt) -> Self

Converts to this type from the input type.

impl From<bool> for ScalarInt

fn from(u: bool) -> Self

Converts to this type from the input type.

impl From<char> for ScalarInt

fn from(c: char) -> Self

Converts to this type from the input type.

impl From<u128> for ScalarInt

fn from(u: u128) -> Self

Converts to this type from the input type.

impl From<u16> for ScalarInt

fn from(u: u16) -> Self

Converts to this type from the input type.

impl From<u32> for ScalarInt

fn from(u: u32) -> Self

Converts to this type from the input type.

impl From<u64> for ScalarInt

fn from(u: u64) -> Self

Converts to this type from the input type.

impl From<u8> for ScalarInt

fn from(u: u8) -> Self

Converts to this type from the input type.

impl Hash for ScalarInt

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<CTX> HashStable<CTX> for ScalarInt

fn hash_stable(&self, hcx: &mut CTX, hasher: &mut StableHasher)

impl LowerHex for ScalarInt

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

Formats the value using the given formatter.

impl Ord for ScalarInt

fn cmp(&self, other: &ScalarInt) -> 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 + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for ScalarInt

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for ScalarInt

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

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

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

This method tests less than (for self and other) and is used by the < operator.

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

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

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

This method tests greater than (for self and other) and is used by the > operator.

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

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

impl TryFrom<ScalarInt> for Double

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for Half

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for Quad

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for Single

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for bool

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for char

type Error = CharTryFromScalarInt

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<ScalarInt> for u128

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for u16

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for u32

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for u64

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl TryFrom<ScalarInt> for u8

type Error = Size

The type returned in the event of a conversion error.

fn try_from(int: ScalarInt) -> Result<Self, Size>

Performs the conversion.

impl UpperHex for ScalarInt

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

Formats the value using the given formatter.

impl Copy for ScalarInt

impl Eq for ScalarInt

impl StructuralPartialEq for ScalarInt

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 17 bytes