Struct CSEX2ConstFolder 

pub struct CSEX2ConstFolder { /* private fields */ }

Constant folding helper for CSEX2.

Implementations

impl CSEX2ConstFolder

pub fn new() -> Self

pub fn add_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn sub_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn mul_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn div_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn rem_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn neg_i64(&mut self, a: i64) -> Option<i64>

pub fn shl_i64(&mut self, a: i64, s: u32) -> Option<i64>

pub fn shr_i64(&mut self, a: i64, s: u32) -> Option<i64>

pub fn and_i64(&mut self, a: i64, b: i64) -> i64

pub fn or_i64(&mut self, a: i64, b: i64) -> i64

pub fn xor_i64(&mut self, a: i64, b: i64) -> i64

pub fn not_i64(&mut self, a: i64) -> i64

pub fn fold_count(&self) -> usize

pub fn failure_count(&self) -> usize

pub fn enable(&mut self)

pub fn disable(&mut self)

pub fn is_enabled(&self) -> bool

Trait Implementations

impl Clone for CSEX2ConstFolder

fn clone(&self) -> CSEX2ConstFolder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CSEX2ConstFolder

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

Formats the value using the given formatter.

impl Default for CSEX2ConstFolder

fn default() -> CSEX2ConstFolder

Returns the “default value” for a type.