Enum PossibleValueSet 

pub enum PossibleValueSet {
    UndeterminedValue,
    EntryValue {
        reg: i64,
    },
    ConstantValue {
        value: i64,
    },
    ConstantPointerValue {
        value: i64,
    },
    ExternalPointerValue {
        value: i64,
        offset: i64,
    },
    StackFrameOffset {
        value: i64,
    },
    ReturnAddressValue,
    ImportedAddressValue {
        value: i64,
    },
    SignedRangeValue {
        value: i64,
        ranges: Vec<ValueRange<i64>>,
    },
    UnsignedRangeValue {
        value: i64,
        ranges: Vec<ValueRange<u64>>,
    },
    LookupTableValue {
        table: Vec<LookupTableEntry>,
    },
    InSetOfValues {
        values: HashSet<i64>,
    },
    NotInSetOfValues {
        values: HashSet<i64>,
    },
    ConstantDataValue {
        value: i64,
        size: usize,
    },
    ConstantDataZeroExtendValue {
        value: i64,
        size: usize,
    },
    ConstantDataSignExtendValue {
        value: i64,
        size: usize,
    },
    ConstantDataAggregateValue {
        value: i64,
        size: usize,
    },
}

Variants

UndeterminedValue

EntryValue

Fields

reg: i64

ConstantValue

Fields

value: i64

ConstantPointerValue

Fields

value: i64

ExternalPointerValue

Fields

value: i64

offset: i64

StackFrameOffset

Fields

value: i64

ReturnAddressValue

ImportedAddressValue

Fields

value: i64

SignedRangeValue

Fields

value: i64

ranges: Vec<ValueRange<i64>>

UnsignedRangeValue

Fields

value: i64

ranges: Vec<ValueRange<u64>>

LookupTableValue

Fields

table: Vec<LookupTableEntry>

InSetOfValues

Fields

values: HashSet<i64>

NotInSetOfValues

Fields

values: HashSet<i64>

ConstantDataValue

Fields

value: i64

size: usize

ConstantDataZeroExtendValue

Fields

value: i64

size: usize

ConstantDataSignExtendValue

Fields

value: i64

size: usize

ConstantDataAggregateValue

Fields

value: i64

size: usize

Implementations

impl PossibleValueSet

pub fn value_type(&self) -> RegisterValueType

pub fn add(&self, other: &PossibleValueSet, size: usize) -> PossibleValueSet

pub fn subtract( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn multiply( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn signed_divide( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn unsigned_divide( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn signed_mod( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn unsigned_mod( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn and(&self, other: &PossibleValueSet, size: usize) -> PossibleValueSet

pub fn or(&self, other: &PossibleValueSet, size: usize) -> PossibleValueSet

pub fn xor(&self, other: &PossibleValueSet, size: usize) -> PossibleValueSet

pub fn shift_left( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn logical_shift_right( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn arith_shift_right( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn rotate_left( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn rotate_right( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn union(&self, other: &PossibleValueSet, size: usize) -> PossibleValueSet

pub fn intersection( &self, other: &PossibleValueSet, size: usize, ) -> PossibleValueSet

pub fn negate(&self, size: usize) -> PossibleValueSet

pub fn not(&self, size: usize) -> PossibleValueSet

Trait Implementations

impl Clone for PossibleValueSet

fn clone(&self) -> PossibleValueSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PossibleValueSet

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

Formats the value using the given formatter.

impl PartialEq for PossibleValueSet

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

impl StructuralPartialEq for PossibleValueSet