Struct B129 

pub struct B129 { /* private fields */ }

Trait Implementations

impl Add for B129

type Output = B129

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl BV for B129

const BIT_ONE: Self

const BIT_ZERO: Self

const MAX_WIDTH: u32 = 129u32

In Isla concrete bitvectors are only represented up to a specific maximum width/length. Beyond this they will be promoted to symbolic variables which are equal to a concrete value represented in the SMT solver. This makes computation over concrete bitvectors below this max width very efficient, as they can be represented as simple Copy types like u64.

fn new(bits: u64, len: u32) -> Self

fn len(self) -> u32

fn lower_u64(self) -> u64

fn lower_u8(self) -> u8

fn is_zero(self) -> bool

fn zeros(len: u32) -> Self

Make a small bitvector of all zeros.

fn ones(len: u32) -> Self

Make a small bitvector of all ones.

fn leading_zeros(self) -> u32

fn from_u8(value: u8) -> Self

fn from_u16(value: u16) -> Self

fn from_u32(value: u32) -> Self

fn from_u64(value: u64) -> Self

fn from_bytes(bytes: &[u8]) -> Self

Byte order is: from_bytes(&[0xAB, 0xCD, 0xEF] == 0xABCDEF

fn to_le_bytes(self) -> Vec<u8>

fn to_be_bytes(self) -> Vec<u8>

fn zero_extend(self, new_len: u32) -> Self

zero_extend a bitvector to a specific new length.

fn sign_extend(self, new_len: u32) -> Self

sign_extend a bitvector to a specific new length. Sign extending a zero-length bitvector creates a new_len sized bitvector containing only zeros.

fn unsigned(self) -> i128

fn signed(self) -> i128

fn slice(self, from: u32, len: u32) -> Option<Self>

fn from_str(bv: &str) -> Option<Self>

Parses a bitvector from a string slice. String must be prefixed by either #x/0x, or #b/0b (allowing both SMT style and Sail/C style prefixes) for hexadecimal or binary. Returns None if the string is not parseable for any reason

fn add_i128(self, op: i128) -> Self

fn set_slice(self, n: u32, update: Self) -> Self

fn set_slice_int(int: i128, n: u32, update: Self) -> i128

fn get_slice_int(len: u32, int: i128, n: u32) -> Self

fn len_i128(self) -> i128

fn is_empty(self) -> bool

fn sub_i128(self, op: i128) -> Self

fn append(self, suffix: Self) -> Option<Self>

fn extract(self, high: u32, low: u32) -> Option<Self>

fn shiftr(self, shift: i128) -> Self

fn arith_shiftr(self, shift: i128) -> Self

fn shiftl(self, shift: i128) -> Self

fn truncate_lsb(self, len: i128) -> Option<Self>

fn replicate(self, times: i128) -> Option<Self>

impl BitAnd for B129

type Output = B129

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl BitOr for B129

type Output = B129

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl BitXor for B129

type Output = B129

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self::Output

Performs the ^ operation.

impl Clone for B129

fn clone(&self) -> B129

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for B129

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for B129

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for B129

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

Formats the value using the given formatter.

impl Hash for B129

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl LowerHex for B129

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

Formats the value using the given formatter.

impl Neg for B129

type Output = B129

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Not for B129

type Output = B129

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq for B129

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Shl for B129

type Output = B129

The resulting type after applying the << operator.

fn shl(self, rhs: Self) -> Self::Output

Performs the << operation.

impl Shr for B129

type Output = B129

The resulting type after applying the >> operator.

fn shr(self, rhs: Self) -> Self::Output

Performs the >> operation.

impl Sub for B129

type Output = B129

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.

impl TryInto<u64> for B129

type Error = ExecError

The type returned in the event of a conversion error.

fn try_into(self) -> Result<u64, ExecError>

Performs the conversion.

impl UpperHex for B129

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

Formats the value using the given formatter.

impl Copy for B129

impl Eq for B129

impl StructuralPartialEq for B129