Enum p8n_types::Statement

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

A single IL statement.

Variants

Expression

Fields

result: Variable

Value that the operation result is assigned to

op: Operation

Operation and its arguments

A single RREIL statement.

Flow

Fields

op: FlowOperation

Operation

Interprocedural control flow operation

Memory

Fields

op: MemoryOperation

Operation

result: Segment

Memory segment resulting from the memory operation.

A 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> + 'static, Global>

impl Clone for Statement

fn clone(&self) -> Statement

Returns a copy 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<Statement> for Statement

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

impl StructuralEq for Statement

impl StructuralPartialEq for Statement