Struct Expr 

pub struct Expr {
    pub kind: ExprKind,
    pub ty: Ty,
    pub bits: Option<u32>,
    pub range: SourceRange,
}

A typed expression.

Fields

kind: ExprKind

What the expression computes.

ty: Ty

The type of its value.

bits: Option<u32>

The number of bits the value is reduced to, when that is narrower than Expr::ty.

A bit-field wider than int keeps its declared type through the integer promotions (6.3.1.1p2 has nothing to say about it), but its value still ranges over the declared width only, and C99 6.7.2.1p10 makes that width the type the arithmetic happens in: unsigned long long b : 40 multiplies, adds and shifts in forty bits, exactly as an unsigned int does in thirty-two. Nothing else in the type model can say that, so the width rides along on the expression and code generation reduces the result to it.

range: SourceRange

Where it was written.

Implementations

impl Expr

pub fn new(kind: ExprKind, ty: Ty, range: SourceRange) -> Self

Builds an expression.

pub fn narrowed(self, bits: Option<u32>) -> Self

The same expression, computed in bits bits; see Expr::bits.

pub fn int(value: i128, ty: Ty, range: SourceRange) -> Self

An integer constant of type ty.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.