Enum Expr 

pub enum Expr {
    Var(String),
    Literal(Literal),
    BinOp {
        op: BinOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    UnaryOp {
        op: UnaryOp,
        operand: Box<Expr>,
    },
    Call {
        func: BuiltinFunc,
        args: Vec<Expr>,
    },
    Index {
        base: Box<Expr>,
        index: Box<Expr>,
    },
    Cast {
        expr: Box<Expr>,
        to: Type,
    },
    ThreadId(Dimension),
    WorkgroupId(Dimension),
    WorkgroupSize(Dimension),
    LaneId,
    WaveWidth,
    Load {
        addr: Box<Expr>,
        space: AddressSpace,
    },
    Shuffle {
        value: Box<Expr>,
        lane: Box<Expr>,
        mode: ShuffleMode,
    },
}

HIR expression producing a value.

Variants

Var(String)

Variable reference.

Literal(Literal)

Literal constant.

BinOp

Binary operation.

Fields

op: BinOp

The operator.

lhs: Box<Expr>

Left operand.

rhs: Box<Expr>

Right operand.

UnaryOp

Unary operation.

Fields

op: UnaryOp

The operator.

operand: Box<Expr>

Operand.

Call

Built-in function call.

Fields

func: BuiltinFunc

The function being called.

args: Vec<Expr>

Arguments to the function.

Index

Array/buffer indexing.

Fields

base: Box<Expr>

Base pointer/array.

index: Box<Expr>

Index expression.

Cast

Type cast.

Fields

expr: Box<Expr>

Expression to cast.

to: Type

Target type.

ThreadId(Dimension)

Thread ID in a given dimension.

WorkgroupId(Dimension)

Workgroup ID in a given dimension.

WorkgroupSize(Dimension)

Workgroup size in a given dimension.

LaneId

Lane ID within wave.

WaveWidth

Wave width (number of lanes).

Load

Load from memory.

Fields

addr: Box<Expr>

Address to load from.

space: AddressSpace

Address space.

Shuffle

Wave shuffle operation.

Fields

value: Box<Expr>

Value to shuffle.

lane: Box<Expr>

Target lane or offset.

mode: ShuffleMode

Shuffle mode.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

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.

impl PartialEq for Expr

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for Expr