Struct AtomicExpr 

pub struct AtomicExpr {
    pub op: AtomicOp,
    pub class: AtomicClass,
    pub value_ty: Ty,
    pub ptr: Option<Expr>,
    pub value: Option<Expr>,
    pub expected: Option<Expr>,
    pub success: MemOrder,
    pub failure: MemOrder,
}

One of the __atomic_*, __sync_* or __c11_atomic_* builtins, resolved.

The pointer is the object the operation is performed on; sema has already checked that what it points at is one of the types AtomicClass covers, and has resolved the memory orders — which C requires to be integer constant expressions here, exactly as <stdatomic.h> writes them.

Fields

op: AtomicOp

What to do.

class: AtomicClass

What kind of atomic to do it through.

value_ty: Ty

The C type of the object, with any _Atomic already taken off: the type of the value the operation produces or stores.

ptr: Option<Expr>

The object’s address, absent only for a fence.

value: Option<Expr>

The value operand — what is stored, exchanged or added.

expected: Option<Expr>

The expected value of a compare-and-exchange: a pointer to it for AtomicOp::CompareExchange, which writes the observed value back through it, and the value itself for AtomicOp::SyncCompareSwap.

success: MemOrder

The order of the operation, and of a successful compare-and-exchange.

failure: MemOrder

The order of a failed compare-and-exchange.

Implementations

impl AtomicExpr

pub fn operands(&self) -> impl Iterator<Item = &Expr>

Every expression the node holds, in evaluation order.

Trait Implementations

impl Clone for AtomicExpr

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 AtomicExpr

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

Formats the value using the given formatter.