revm_interpreter/instructions/
i256.rsuse core::cmp::Ordering;
use primitives::U256;
#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
#[repr(i8)]
pub enum Sign {
Minus = -1,
Zero = 0,
#[allow(dead_code)] Plus = 1,
}
pub const MAX_POSITIVE_VALUE: U256 = U256::from_limbs([
0xffffffffffffffff,
0xffffffffffffffff,
0xffffffffffffffff,
0x7fffffffffffffff,
]);
pub const MIN_NEGATIVE_VALUE: U256 = U256::from_limbs([
0x0000000000000000,
0x0000000000000000,
0x0000000000000000,
0x8000000000000000,
]);
const FLIPH_BITMASK_U64: u64 = 0x7FFFFFFFFFFFFFFF;
#[inline]
pub fn i256_sign(val: &U256) -> Sign {
if val.bit(U256::BITS - 1) {
Sign::Minus
} else {
unsafe { core::mem::transmute::<bool, Sign>(!val.is_zero()) }
}
}
#[inline]
pub fn i256_sign_compl(val: &mut U256) -> Sign {
let sign = i256_sign(val);
if sign == Sign::Minus {
two_compl_mut(val);
}
sign
}
#[inline]
fn u256_remove_sign(val: &mut U256) {
unsafe {
val.as_limbs_mut()[3] &= FLIPH_BITMASK_U64;
}
}
#[inline]
pub fn two_compl_mut(op: &mut U256) {
*op = two_compl(*op);
}
#[inline]
pub fn two_compl(op: U256) -> U256 {
op.wrapping_neg()
}
#[inline]
pub fn i256_cmp(first: &U256, second: &U256) -> Ordering {
let first_sign = i256_sign(first);
let second_sign = i256_sign(second);
match first_sign.cmp(&second_sign) {
Ordering::Equal => first.cmp(second),
o => o,
}
}
#[inline]
pub fn i256_div(mut first: U256, mut second: U256) -> U256 {
let second_sign = i256_sign_compl(&mut second);
if second_sign == Sign::Zero {
return U256::ZERO;
}
let first_sign = i256_sign_compl(&mut first);
if first == MIN_NEGATIVE_VALUE && second == U256::from(1) {
return two_compl(MIN_NEGATIVE_VALUE);
}
let mut d = first / second;
u256_remove_sign(&mut d);
if (first_sign == Sign::Minus && second_sign != Sign::Minus)
|| (second_sign == Sign::Minus && first_sign != Sign::Minus)
{
two_compl(d)
} else {
d
}
}
#[inline]
pub fn i256_mod(mut first: U256, mut second: U256) -> U256 {
let first_sign = i256_sign_compl(&mut first);
if first_sign == Sign::Zero {
return U256::ZERO;
}
let second_sign = i256_sign_compl(&mut second);
if second_sign == Sign::Zero {
return U256::ZERO;
}
let mut r = first % second;
u256_remove_sign(&mut r);
if first_sign == Sign::Minus {
two_compl(r)
} else {
r
}
}
#[cfg(test)]
mod tests {
use super::*;
use core::num::Wrapping;
use primitives::uint;
#[test]
fn div_i256() {
assert_eq!(Wrapping(i8::MIN) / Wrapping(-1), Wrapping(i8::MIN));
assert_eq!(i8::MAX / -1, -i8::MAX);
uint! {
assert_eq!(i256_div(MIN_NEGATIVE_VALUE, -1_U256), MIN_NEGATIVE_VALUE);
assert_eq!(i256_div(MIN_NEGATIVE_VALUE, 1_U256), MIN_NEGATIVE_VALUE);
assert_eq!(i256_div(MAX_POSITIVE_VALUE, 1_U256), MAX_POSITIVE_VALUE);
assert_eq!(i256_div(MAX_POSITIVE_VALUE, -1_U256), -1_U256 * MAX_POSITIVE_VALUE);
assert_eq!(i256_div(100_U256, -1_U256), -100_U256);
assert_eq!(i256_div(100_U256, 2_U256), 50_U256);
}
}
#[test]
fn test_i256_sign() {
uint! {
assert_eq!(i256_sign(&0_U256), Sign::Zero);
assert_eq!(i256_sign(&1_U256), Sign::Plus);
assert_eq!(i256_sign(&-1_U256), Sign::Minus);
assert_eq!(i256_sign(&MIN_NEGATIVE_VALUE), Sign::Minus);
assert_eq!(i256_sign(&MAX_POSITIVE_VALUE), Sign::Plus);
}
}
#[test]
fn test_i256_sign_compl() {
uint! {
let mut zero = 0_U256;
let mut positive = 1_U256;
let mut negative = -1_U256;
assert_eq!(i256_sign_compl(&mut zero), Sign::Zero);
assert_eq!(i256_sign_compl(&mut positive), Sign::Plus);
assert_eq!(i256_sign_compl(&mut negative), Sign::Minus);
}
}
#[test]
fn test_two_compl() {
uint! {
assert_eq!(two_compl(0_U256), 0_U256);
assert_eq!(two_compl(1_U256), -1_U256);
assert_eq!(two_compl(-1_U256), 1_U256);
assert_eq!(two_compl(2_U256), -2_U256);
assert_eq!(two_compl(-2_U256), 2_U256);
assert_eq!(two_compl(MIN_NEGATIVE_VALUE), MIN_NEGATIVE_VALUE);
}
}
#[test]
fn test_two_compl_mut() {
uint! {
let mut value = 1_U256;
two_compl_mut(&mut value);
assert_eq!(value, -1_U256);
}
}
#[test]
fn test_i256_cmp() {
uint! {
assert_eq!(i256_cmp(&1_U256, &2_U256), Ordering::Less);
assert_eq!(i256_cmp(&2_U256, &2_U256), Ordering::Equal);
assert_eq!(i256_cmp(&3_U256, &2_U256), Ordering::Greater);
assert_eq!(i256_cmp(&-1_U256, &-1_U256), Ordering::Equal);
assert_eq!(i256_cmp(&-1_U256, &-2_U256), Ordering::Greater);
assert_eq!(i256_cmp(&-1_U256, &0_U256), Ordering::Less);
assert_eq!(i256_cmp(&-2_U256, &2_U256), Ordering::Less);
}
}
#[test]
fn test_i256_div() {
uint! {
assert_eq!(i256_div(1_U256, 0_U256), 0_U256);
assert_eq!(i256_div(0_U256, 1_U256), 0_U256);
assert_eq!(i256_div(0_U256, -1_U256), 0_U256);
assert_eq!(i256_div(MIN_NEGATIVE_VALUE, 1_U256), MIN_NEGATIVE_VALUE);
assert_eq!(i256_div(4_U256, 2_U256), 2_U256);
assert_eq!(i256_div(MIN_NEGATIVE_VALUE, MIN_NEGATIVE_VALUE), 1_U256);
assert_eq!(i256_div(2_U256, -1_U256), -2_U256);
assert_eq!(i256_div(-2_U256, -1_U256), 2_U256);
}
}
#[test]
fn test_i256_mod() {
uint! {
assert_eq!(i256_mod(0_U256, 1_U256), 0_U256);
assert_eq!(i256_mod(1_U256, 0_U256), 0_U256);
assert_eq!(i256_mod(4_U256, 2_U256), 0_U256);
assert_eq!(i256_mod(3_U256, 2_U256), 1_U256);
assert_eq!(i256_mod(MIN_NEGATIVE_VALUE, 1_U256), 0_U256);
assert_eq!(i256_mod(2_U256, 2_U256), 0_U256);
assert_eq!(i256_mod(2_U256, 3_U256), 2_U256);
assert_eq!(i256_mod(-2_U256, 3_U256), -2_U256);
assert_eq!(i256_mod(2_U256, -3_U256), 2_U256);
assert_eq!(i256_mod(-2_U256, -3_U256), -2_U256);
}
}
}