|
| 1 | +use core::num::Wrapping; |
| 2 | + |
| 3 | +macro_rules! wrapping_operation { |
| 4 | + ($result:expr, $lhs:ident $op:tt $rhs:expr) => { |
| 5 | + assert_eq!($result, $lhs $op $rhs); |
| 6 | + assert_eq!($result, &$lhs $op $rhs); |
| 7 | + assert_eq!($result, $lhs $op &$rhs); |
| 8 | + assert_eq!($result, &$lhs $op &$rhs); |
| 9 | + }; |
| 10 | + ($result:expr, $op:tt $expr:expr) => { |
| 11 | + assert_eq!($result, $op $expr); |
| 12 | + assert_eq!($result, $op &$expr); |
| 13 | + }; |
| 14 | +} |
| 15 | + |
| 16 | +macro_rules! wrapping_assignment { |
| 17 | + ($result:expr, $lhs:ident $op:tt $rhs:expr) => { |
| 18 | + let mut lhs1 = $lhs; |
| 19 | + lhs1 $op $rhs; |
| 20 | + assert_eq!($result, lhs1); |
| 21 | + |
| 22 | + let mut lhs2 = $lhs; |
| 23 | + lhs2 $op &$rhs; |
| 24 | + assert_eq!($result, lhs2); |
| 25 | + }; |
| 26 | +} |
| 27 | + |
| 28 | +macro_rules! wrapping_test { |
| 29 | + ($type:ty, $min:expr, $max:expr) => { |
| 30 | + #[test] |
| 31 | + fn wrapping_$type() { |
| 32 | + let zero: Wrapping<$type> = Wrapping(0); |
| 33 | + let one: Wrapping<$type> = Wrapping(1); |
| 34 | + let min: Wrapping<$type> = Wrapping($min); |
| 35 | + let max: Wrapping<$type> = Wrapping($max); |
| 36 | + |
| 37 | + wrapping_operation!(min, max + one); |
| 38 | + wrapping_assignment!(min, max += one); |
| 39 | + wrapping_operation!(max, min - one); |
| 40 | + wrapping_assignment!(max, min -= one); |
| 41 | + wrapping_operation!(max, max * one); |
| 42 | + wrapping_assignment!(max, max *= one); |
| 43 | + wrapping_operation!(max, max / one); |
| 44 | + wrapping_assignment!(max, max /= one); |
| 45 | + wrapping_operation!(zero, max % one); |
| 46 | + wrapping_assignment!(zero, max %= one); |
| 47 | + wrapping_operation!(zero, zero & max); |
| 48 | + wrapping_assignment!(zero, zero &= max); |
| 49 | + wrapping_operation!(max, zero | max); |
| 50 | + wrapping_assignment!(max, zero |= max); |
| 51 | + wrapping_operation!(zero, max ^ max); |
| 52 | + wrapping_assignment!(zero, max ^= max); |
| 53 | + wrapping_operation!(zero, zero << 1usize); |
| 54 | + wrapping_assignment!(zero, zero <<= 1usize); |
| 55 | + wrapping_operation!(zero, zero >> 1usize); |
| 56 | + wrapping_assignment!(zero, zero >>= 1usize); |
| 57 | + wrapping_operation!(zero, -zero); |
| 58 | + wrapping_operation!(max, !min); |
| 59 | + } |
| 60 | + }; |
| 61 | +} |
| 62 | + |
| 63 | +wrapping_test!(i8, i8::MIN, i8::MAX); |
| 64 | +wrapping_test!(i16, i16::MIN, i16::MAX); |
| 65 | +wrapping_test!(i32, i32::MIN, i32::MAX); |
| 66 | +wrapping_test!(i64, i64::MIN, i64::MAX); |
| 67 | +#[cfg(not(target_os = "emscripten"))] |
| 68 | +wrapping_test!(i128, i128::MIN, i128::MAX); |
| 69 | +wrapping_test!(isize, isize::MIN, isize::MAX); |
| 70 | +wrapping_test!(u8, u8::MIN, u8::MAX); |
| 71 | +wrapping_test!(u16, u16::MIN, u16::MAX); |
| 72 | +wrapping_test!(u32, u32::MIN, u32::MAX); |
| 73 | +wrapping_test!(u64, u64::MIN, u64::MAX); |
| 74 | +#[cfg(not(target_os = "emscripten"))] |
| 75 | +wrapping_test!(u128, u128::MIN, u128::MAX); |
| 76 | +wrapping_test!(usize, usize::MIN, usize::MAX); |
0 commit comments