Enum Operation

pub enum Operation {
    Add(Value, Value),
    Subtract(Value, Value),
    Multiply(Value, Value),
    DivideUnsigned(Value, Value),
    DivideSigned(Value, Value),
    ShiftLeft(Value, Value),
    ShiftRightUnsigned(Value, Value),
    ShiftRightSigned(Value, Value),
    Modulo(Value, Value),
    And(Value, Value),
    InclusiveOr(Value, Value),
    ExclusiveOr(Value, Value),
    Equal(Value, Value),
    LessOrEqualUnsigned(Value, Value),
    LessOrEqualSigned(Value, Value),
    LessUnsigned(Value, Value),
    LessSigned(Value, Value),
    ZeroExtend(usize, Value),
    SignExtend(usize, Value),
    Move(Value),
    Initialize(StrRef, usize),
    Select(usize, usize, Value),
    Assume(Constraint, Value),
    Load(Segment, Endianess, usize, Value),
    Phi(Value, Value, Value),
}

A RREIL operation.

Variants

Add(Value, Value)

Integer addition

Subtract(Value, Value)

Integer subtraction

Multiply(Value, Value)

Unsigned integer multiplication

DivideUnsigned(Value, Value)

Unsigned integer division

DivideSigned(Value, Value)

Signed integer division

ShiftLeft(Value, Value)

Bitwise left shift

ShiftRightUnsigned(Value, Value)

Bitwise logical right shift

ShiftRightSigned(Value, Value)

Bitwise arithmetic right shift

Modulo(Value, Value)

Integer modulo

And(Value, Value)

Bitwise logical and

InclusiveOr(Value, Value)

Bitwise logical or

ExclusiveOr(Value, Value)

Bitwise logical xor

Equal(Value, Value)

Compare both operands for equality and returns 1 or 0

LessOrEqualUnsigned(Value, Value)

Returns 1 if the first operand is less than or equal to the second and 0 otherwise. Comparison assumes unsigned values.

LessOrEqualSigned(Value, Value)

Returns 1 if the first operand is less than or equal to the second and 0 otherwise. Comparison assumes signed values.

LessUnsigned(Value, Value)

Returns 1 if the first operand is less than the second and 0 otherwise. Comparison assumes unsigned values.

LessSigned(Value, Value)

Returns 1 if the first operand is less than the second and 0 otherwise. Comparison assumes signed values.

ZeroExtend(usize, Value)

Zero extends the operand.

SignExtend(usize, Value)

Sign extends the operand.

Move(Value)

Copies the operand without modification.

Initialize(StrRef, usize)

Initializes a global variable.

Select(usize, usize, Value)

Copies only the range [self.0, self.0 + self.1] of bits from the operand.

Assume(Constraint, Value)

Asserts that the second operand is constraint by the first.

Load(Segment, Endianess, usize, Value)

Reads a memory cell

Phi(Value, Value, Value)

SSA Phi function

Implementations

impl Operation

pub fn reads<'x>(&'x self) -> SmallVec<[&'x Value; 3]>

Returns references values that are read by the operation.

pub fn reads_mut<'x>(&'x mut self) -> SmallVec<[&'x mut Value; 3]>

Returns mutables references values that are read by the operation.

pub fn execute(&self) -> Result<Value>

Executes a RREIL operation returning the result.

Trait Implementations

impl Arbitrary for Operation

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

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

impl Clone for Operation

fn clone(&self) -> Operation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Operation

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

Formats the value using the given formatter.

impl PartialEq for Operation

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

impl StructuralPartialEq for Operation