Enum Statement

pub enum Statement {
    Expression {
        result: Variable,
        op: Operation,
    },
    Flow {
        op: FlowOperation,
    },
    Memory {
        op: MemoryOperation,
        result: Segment,
    },
}

A single IL statement.

Variants

Expression

A single RREIL statement.

Fields

result: Variable

Value that the operation result is assigned to

op: Operation

Operation and its arguments

Flow

Interprocedural control flow operation

Fields

op: FlowOperation

Operation

Memory

A memory operation

Fields

op: MemoryOperation

Operation

result: Segment

Memory segment resulting from the memory operation.

Implementations

impl Statement

pub fn sanity_check(&self) -> Result<()>

Does a simple sanity check. The functions returns Err if

• The argument size are not equal
• The result has not the same size as assignee
• The select operation arguments are out of range

Trait Implementations

impl Arbitrary for Statement

fn arbitrary<G: Gen>(g: &mut G) -> Self

fn shrink(&self) -> Box<dyn Iterator<Item = Self>>

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.

impl PartialEq for Statement

fn eq(&self, other: &Statement) -> 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 Eq for Statement

impl StructuralPartialEq for Statement