BitVector Type
BitVector is the fundamental data type for binary code, which is essentially a bit vector. We want the size of a bit vector to be less than or equal to 64 bits because bigint operation is slow, and most arithmetics on modern architectures are in 64 bits any ways. For example, SIMD operations can also be divided into a set of 64-bit operations. N.B. Num becomes zero when the Length becomes greater than 64. We intentionally do not sync Num and BigNum.
Instance members
| Instance member | Description |
|
BitVector absolute value.
|
|
BitVector addition.
|
|
BitVector addition with uint64.
|
|
BitVector bitwise AND.
|
|
BitVector bitwise AND with uint64.
|
|
BitVector approximate equal. For high-precision floating point numbers, this function performs approximate equality check.
|
Full Usage:
this.BigValue()
Returns: bigint
Modifiers: abstract |
Return the BigInteger representation of the bitvector value.
|
|
Type-cast a BitVector to another type. If the target type is bigger than the current type, then this works the same as ZExt.
|
|
BitVector concatenation.
|
|
BitVector unsigned division.
|
|
BitVector unsigned division with uint64.
|
|
BitVector equal.
|
|
Extract a sub-BitVector of size (RegType) starting from the index (int).
|
|
Floating point arc tangent.
|
|
Floating point addition.
|
|
Floating point casting.
|
|
Floating point cosine.
|
|
Floating point division.
|
|
Floating point greater than or equal.
|
|
Floating point greater than.
|
|
Floating point less than or equal.
|
|
Floating point logarithm.
|
|
Floating point less than.
|
|
Floating point multiplication.
|
|
Floating point power.
|
|
Floating point sine.
|
|
Floating point square root.
|
|
Floating point subtraction.
|
|
Floating point tangent.
|
|
Floating point to integer conversion with ceiling.
|
|
Floating point to integer conversion with flooring.
|
|
Floating point to integer conversion with rounding.
|
|
Floating point to integer conversion with truncation.
|
|
BitVector unsigned greater than or equal.
|
|
BitVector unsigned greater than.
|
Full Usage:
this.IsNegative()
Returns: bool
Modifiers: abstract |
Is this bitvector representing a negative number?
|
Full Usage:
this.IsOne()
Returns: bool
Modifiers: abstract |
Return true if the value is one.
|
Full Usage:
this.IsPositive()
Returns: bool
Modifiers: abstract |
Is this bitvector representing a positive number?
|
Full Usage:
this.IsZero()
Returns: bool
Modifiers: abstract |
Return true if the value is zero.
|
|
Integer to float conversion.
|
|
BitVector unsigned less than or equal.
|
|
BitVector length.
|
|
BitVector unsigned less than.
|
|
BitVector unsigned modulo.
|
|
BitVector unsigned modulo with uint64.
|
|
BitVector multiplication.
|
|
BitVector multiplication with uint64.
|
|
BitVector unary negation.
|
|
BitVector not equal.
|
|
BitVector bitwise NOT.
|
|
BitVector bitwise OR.
|
|
BitVector bitwise OR with uint64.
|
|
BitVector signed division.
|
|
BitVector sign-extension.
|
|
BitVector signed greater than or equal.
|
|
BitVector signed greater than.
|
|
BitVector signed less than or equal.
|
|
BitVector signed less than.
|
|
BitVector signed modulo.
|
|
BitVector arithmetic shift-right.
|
|
BitVector logical shift-left.
|
|
BitVector logical shift-right.
|
Full Usage:
this.SmallValue()
Returns: uint64
Modifiers: abstract |
Return the uint64 representation of the bitvector value.
|
|
BitVector subtraction.
|
|
BitVector subtraction with uint64.
|
Full Usage:
this.ValToString()
Returns: string
Modifiers: abstract |
Return the string representation of the BitVector value. Type is not appended to the output string.
|
|
BitVector bitwise XOR.
|
|
BitVector bitwise XOR with uint64.
|
|
BitVector zero-extension.
|
Static members
| Static member | Description |
|
BitVector unsigned modulo.
|
|
|
BitVector modulo.
|
|
|
BitVector bitwise AND.
|
|
|
BitVector bitwise AND.
|
|
|
BitVector multiplication.
|
|
|
BitVector multiplication.
|
|
|
BitVector addition.
|
|
|
BitVector addition.
|
|
|
BitVector subtraction.
|
|
|
BitVector subtraction.
|
|
|
BitVector unsigned division.
|
|
|
BitVector division.
|
|
|
BitVector signed modulo.
|
|
|
BitVector signed division.
|
|
|
BitVector bitwise XOR.
|
|
|
BitVector bitwise XOR.
|
|
|
BitVector bitwise OR.
|
|
|
BitVector bitwise OR.
|
|
|
BitVector negation.
|
|
|
BitVector bitwise not.
|
|
|
False value.
|
|
True value.
|
|
BitVector absolute value.
|
|
BitVector addition.
|
|
BitVector bitwise AND.
|
|
BitVector bitwise NOT.
|
|
BitVector bitwise OR.
|
|
BitVector bitwise XOR.
|
|
BitVector type cast.
|
|
BitVector concatenation.
|
|
BitVector unsigned division.
|
|
BitVector equal.
|
|
BitVector extraction.
|
|
BitVector floating point addition.
|
|
BitVector arc tangent.
|
|
BitVector floating point casting.
|
|
BitVector cosine.
|
|
BitVector floating point division.
|
|
BitVector floating point greater than or equal.
|
|
BitVector floating point greater than.
|
|
BitVector floating point less than or equal.
|
|
BitVector floating point logarithm.
|
|
BitVector floating point less than.
|
|
BitVector floating point multiplication.
|
|
BitVector floating point power.
|
|
BitVector sine.
|
|
BitVector square root.
|
|
BitVector floating point subtraction.
|
|
BitVector tangent.
|
|
BitVector float to integer conversion with ceiling.
|
|
BitVector float to integer conversion with flooring.
|
|
BitVector float to integer conversion with round.
|
|
BitVector float to integer conversion with truncation.
|
|
BitVector greater than or equal.
|
|
Get the type (length of the BitVector).
|
|
Get a numeric value (bigint) from a BitVector.
|
|
BitVector greater than.
|
|
Check if the given BitVector is "false".
|
|
Is the bitvector negative?
|
|
Check if the given BitVector represents the specified number.
|
|
Check if the given BitVector is one.
|
|
Is the bitvector positive?
|
|
Does the bitvector represent a signed max value?
|
|
Does the bitvector represent a signed min value?
|
|
Check if the given BitVector is "true".
|
|
Does the bitvector represent an unsigned max value?
|
|
Check if the given BitVector is zero.
|
|
BitVector integer to float conversion.
|
|
BitVector less than or equal.
|
|
BitVector less than.
|
|
Return a larger BitVector.
|
|
Bitvector of unsigned 16-bit maxvalue.
|
|
Bitvector of unsigned 32-bit maxvalue.
|
|
Bitvector of unsigned 64-bit maxvalue.
|
|
Bitvector of unsigned 8-bit maxvalue.
|
|
Return a smaller BitVector.
|
|
BitVector unsigned modulo.
|
|
BitVector multiplication.
|
|
BitVector negation.
|
|
BitVector not equal.
|
|
Get a BitVector from a byte array (in little endian).
|
Full Usage:
BitVector.ofBInt i typ
Parameters:
bigint
typ : int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
Get a BitVector from a bigint. We assume that the given RegType (typ) is big enough to hold the given bigint. Otherwise, the resulting BitVector may contain an unexpected value.
|
Full Usage:
BitVector.ofInt32 i typ
Parameters:
int32
typ : int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
Get a BitVector from a signed integer.
|
Full Usage:
BitVector.ofInt64 i typ
Parameters:
int64
typ : int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
Get a BitVector from a signed integer.
|
Full Usage:
BitVector.ofUInt32 i typ
Parameters:
uint32
typ : int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
Get a BitVector from an unsigned integer.
|
Full Usage:
BitVector.ofUInt64 i typ
Parameters:
uint64
typ : int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
Get a BitVector from an unsigned integer.
|
|
Return one (1) of the given bit length.
|
|
BitVector arithmetic shift-right.
|
|
BitVector signed division.
|
|
BitVector sign-extension.
|
|
BitVector signed greater than or equal.
|
|
BitVector signed greater than.
|
|
BitVector logical shift-left.
|
|
BitVector logical shift-right.
|
Full Usage:
BitVector.signedMax rt
Parameters:
int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
BitVector representing a signed maximum integer for the given RegType.
|
Full Usage:
BitVector.signedMin rt
Parameters:
int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
BitVector representing a signed minimum integer for the given RegType.
|
|
BitVector signed less than or equal.
|
|
BitVector signed less than.
|
|
Return a larger BitVector (with signed comparison).
|
|
Return a smaller BitVector (with signed comparison).
|
|
BitVector signed modulo.
|
|
BitVector subtraction.
|
|
Get an int32 value from a BitVector.
|
|
Get an int64 value from a BitVector.
|
|
Get the string representation of a BitVector.
|
|
Get a uint32 value from a BitVector.
|
|
Get a uint64 value from a BitVector.
|
Full Usage:
BitVector.unsignedMax rt
Parameters:
int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
BitVector representing a unsigned maximum integer for the given RegType.
|
Full Usage:
BitVector.unsignedMin rt
Parameters:
int<MeasureProduct<rt, MeasureOne>>
Returns: BitVector
|
BitVector representing a unsigned minimum integer for the given RegType.
|
|
Get the string representation of a BitVector without appended type info.
|
|
Return zero (0) of the given bit length.
|
|
BitVector zero-extension.
|