mirror of
https://github.com/roc-lang/roc.git
synced 2025-09-27 05:49:08 +00:00
PR: refac tests, add all int cases for *wrap tests
This commit is contained in:
shua
parent
6f4e501069
commit
def796f146
1 changed files with 334 additions and 228 deletions
|
|
@ -1966,16 +1966,6 @@ fn int_add_checked_err() {
|
|||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn int_add_wrap() {
|
||||
assert_evals_to!(
|
||||
"Num.addWrap 9_223_372_036_854_775_807 1",
|
||||
std::i64::MIN,
|
||||
i64
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
|
||||
fn float_add_checked_pass() {
|
||||
|
|
@ -2008,21 +1998,129 @@ fn float_add_overflow() {
|
|||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
#[should_panic(expected = r#"Roc failed with message: "Integer subtraction overflowed!"#)]
|
||||
fn int_sub_overflow() {
|
||||
assert_evals_to!("-9_223_372_036_854_775_808 - 1", 0, i64);
|
||||
fn add_wrap() {
|
||||
assert_evals_to!("Num.addWrap 255u8 10u8", 9u8, u8);
|
||||
assert_evals_to!("Num.addWrap 127i8 10i8", -119i8, i8);
|
||||
assert_evals_to!("Num.addWrap -127i8 -10i8", 119i8, i8);
|
||||
assert_evals_to!("Num.addWrap 65535u16 10", 9u16, u16);
|
||||
assert_evals_to!("Num.addWrap 32767i16 10", -32759i16, i16);
|
||||
assert_evals_to!("Num.addWrap -32767i16 -10", 32759i16, i16);
|
||||
assert_evals_to!("Num.addWrap 4294967295u32 10", 9u32, u32);
|
||||
assert_evals_to!("Num.addWrap 2147483647i32 10", -2147483639i32, i32);
|
||||
assert_evals_to!("Num.addWrap -2147483647i32 -10", 2147483639i32, i32);
|
||||
assert_evals_to!("Num.addWrap 18446744073709551615u64 10", 9u64, u64);
|
||||
assert_evals_to!(
|
||||
"Num.addWrap 9223372036854775807i64 10",
|
||||
-9223372036854775799i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addWrap -9223372036854775807i64 -10",
|
||||
9223372036854775799i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addWrap 340282366920938463463374607431768211455u128 10",
|
||||
U128::from(9u128),
|
||||
U128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addWrap 170141183460469231731687303715884105727i128 10",
|
||||
I128::from(-170141183460469231731687303715884105719i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addWrap -170141183460469231731687303715884105727i128 -10",
|
||||
I128::from(170141183460469231731687303715884105719i128),
|
||||
I128
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn int_sub_wrap() {
|
||||
fn add_saturated() {
|
||||
assert_evals_to!("Num.addSaturated 200u8 200u8", 255u8, u8);
|
||||
assert_evals_to!("Num.addSaturated 100i8 100i8", 127i8, i8);
|
||||
assert_evals_to!("Num.addSaturated -100i8 -100i8", -128i8, i8);
|
||||
assert_evals_to!("Num.addSaturated 40000u16 40000u16", 65535u16, u16);
|
||||
assert_evals_to!("Num.addSaturated 20000i16 20000i16", 32767i16, i16);
|
||||
assert_evals_to!("Num.addSaturated -20000i16 -20000i16", -32768i16, i16);
|
||||
assert_evals_to!(
|
||||
"Num.subWrap -9_223_372_036_854_775_808 1",
|
||||
std::i64::MAX,
|
||||
"Num.addSaturated 3000000000u32 3000000000u32",
|
||||
4294967295u32,
|
||||
u32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 2000000000i32 2000000000i32",
|
||||
2147483647i32,
|
||||
i32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated -2000000000i32 -2000000000i32",
|
||||
-2147483648i32,
|
||||
i32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 10000000000000000000u64 10000000000000000000u64",
|
||||
18446744073709551615u64,
|
||||
u64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 5000000000000000000i64 5000000000000000000i64 ",
|
||||
9223372036854775807i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated -5000000000000000000i64 -5000000000000000000i64 ",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 200000000000000000000000000000000000000u128 200000000000000000000000000000000000000u128",
|
||||
U128::from(340282366920938463463374607431768211455u128),
|
||||
U128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 100000000000000000000000000000000000000i128 100000000000000000000000000000000000000i128",
|
||||
I128::from(170141183460469231731687303715884105727i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated -100000000000000000000000000000000000000i128 -100000000000000000000000000000000000000i128",
|
||||
I128::from(-170141183460469231731687303715884105728i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated Num.maxF32 Num.maxF32",
|
||||
std::f32::INFINITY,
|
||||
f32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated Num.minF32 Num.minF32",
|
||||
std::f32::NEG_INFINITY,
|
||||
f32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated Num.maxF64 Num.maxF64",
|
||||
std::f64::INFINITY,
|
||||
f64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated Num.minF64 Num.minF64",
|
||||
std::f64::NEG_INFINITY,
|
||||
f64
|
||||
);
|
||||
|
||||
assert_evals_to!("Num.subWrap -128i8 1", std::i8::MAX, i8);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 170_141_183_460_469_231_731dec 1",
|
||||
RocDec::from_str("170141183460469231731.687303715884105727").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated -170_141_183_460_469_231_731dec -1",
|
||||
RocDec::from_str("-170141183460469231731.687303715884105728").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
|
|
@ -2067,6 +2165,128 @@ fn float_sub_checked() {
|
|||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
#[should_panic(expected = r#"Roc failed with message: "Integer subtraction overflowed!"#)]
|
||||
fn int_sub_overflow() {
|
||||
assert_evals_to!("-9_223_372_036_854_775_808 - 1", 0, i64);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn sub_wrap() {
|
||||
assert_evals_to!("Num.subWrap 1u8 10u8", 247u8, u8);
|
||||
assert_evals_to!("Num.subWrap 127i8 -10i8", -119i8, i8);
|
||||
assert_evals_to!("Num.subWrap -127i8 10i8", 119i8, i8);
|
||||
assert_evals_to!("Num.subWrap 1u16 10", 65527u16, u16);
|
||||
assert_evals_to!("Num.subWrap 32767i16 -10", -32759i16, i16);
|
||||
assert_evals_to!("Num.subWrap -32767i16 10", 32759i16, i16);
|
||||
assert_evals_to!("Num.subWrap 1u32 10", 4294967287u32, u32);
|
||||
assert_evals_to!("Num.subWrap 2147483647i32 -10", -2147483639i32, i32);
|
||||
assert_evals_to!("Num.subWrap -2147483647i32 10", 2147483639i32, i32);
|
||||
assert_evals_to!("Num.subWrap 1u64 10", 18446744073709551607u64, u64);
|
||||
assert_evals_to!(
|
||||
"Num.subWrap 9223372036854775807i64 -10",
|
||||
-9223372036854775799i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subWrap -9223372036854775807i64 10",
|
||||
9223372036854775799i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subWrap 1u128 10",
|
||||
U128::from(340282366920938463463374607431768211447u128),
|
||||
U128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subWrap 170141183460469231731687303715884105727i128 -10",
|
||||
I128::from(-170141183460469231731687303715884105719i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subWrap -170141183460469231731687303715884105727i128 10",
|
||||
I128::from(170141183460469231731687303715884105719i128),
|
||||
I128
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn sub_saturated() {
|
||||
assert_evals_to!("Num.subSaturated 1u8 10u8", 0u8, u8);
|
||||
assert_evals_to!("Num.subSaturated 100i8 -100i8", 127i8, i8);
|
||||
assert_evals_to!("Num.subSaturated -100i8 100i8", -128i8, i8);
|
||||
assert_evals_to!("Num.subSaturated 1u16 10u16", 0u16, u16);
|
||||
assert_evals_to!("Num.subSaturated 20000i16 -20000i16", 32767i16, i16);
|
||||
assert_evals_to!("Num.subSaturated -20000i16 20000i16", -32768i16, i16);
|
||||
assert_evals_to!("Num.subSaturated 1u32 10u32", 0u32, u32);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated 2000000000i32 -2000000000i32",
|
||||
2147483647i32,
|
||||
i32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated -2000000000i32 2000000000i32",
|
||||
-2147483648i32,
|
||||
i32
|
||||
);
|
||||
assert_evals_to!("Num.subSaturated 1u64 10u64", 0u64, u64);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated 5000000000000000000i64 -5000000000000000000i64 ",
|
||||
9223372036854775807i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated -5000000000000000000i64 5000000000000000000i64 ",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!("Num.subSaturated 1u128 10", U128::from(0u128), U128);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated 100000000000000000000000000000000000000i128 -100000000000000000000000000000000000000i128",
|
||||
I128::from(170141183460469231731687303715884105727i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated -100000000000000000000000000000000000000i128 100000000000000000000000000000000000000i128",
|
||||
I128::from(-170141183460469231731687303715884105728i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated Num.maxF32 -Num.maxF32",
|
||||
std::f32::INFINITY,
|
||||
f32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated Num.minF32 -Num.minF32",
|
||||
std::f32::NEG_INFINITY,
|
||||
f32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated Num.maxF64 -Num.maxF64",
|
||||
std::f64::INFINITY,
|
||||
f64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated Num.minF64 -Num.minF64",
|
||||
std::f64::NEG_INFINITY,
|
||||
f64
|
||||
);
|
||||
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated 170_141_183_460_469_231_731dec -1",
|
||||
RocDec::from_str("170141183460469231731.687303715884105727").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated -170_141_183_460_469_231_731dec 1",
|
||||
RocDec::from_str("-170141183460469231731.687303715884105728").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
#[should_panic(expected = r#"Roc failed with message: "Integer multiplication overflowed!"#)]
|
||||
|
|
@ -2093,18 +2313,6 @@ fn float_negative_mul_overflow() {
|
|||
assert_evals_to!("-1.7976931348623157e308f64 * 2", -f64::INFINITY, f64);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn int_mul_wrap_i64() {
|
||||
assert_evals_to!("Num.mulWrap Num.maxI64 2", -2, i64);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn int_mul_wrap_i128() {
|
||||
assert_evals_to!("Num.mulWrap Num.maxI128 2", I128::from(-2), I128);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn int_mul_checked() {
|
||||
|
|
@ -2137,6 +2345,103 @@ fn float_mul_checked() {
|
|||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn mul_wrap() {
|
||||
assert_evals_to!("Num.mulWrap 255u8 2", 254u8, u8);
|
||||
assert_evals_to!("Num.mulWrap 127i8 2", -2i8, i8);
|
||||
assert_evals_to!("Num.mulWrap -127i8 2", 2i8, i8);
|
||||
assert_evals_to!("Num.mulWrap 65535u16 2", 65534u16, u16);
|
||||
assert_evals_to!("Num.mulWrap 32767i16 2", -2i16, i16);
|
||||
assert_evals_to!("Num.mulWrap -32767i16 2", 2i16, i16);
|
||||
assert_evals_to!("Num.mulWrap 4294967295u32 2", 4294967294u32, u32);
|
||||
assert_evals_to!("Num.mulWrap 2147483647i32 2", -2i32, i32);
|
||||
assert_evals_to!("Num.mulWrap -2147483647i32 2", 2i32, i32);
|
||||
assert_evals_to!(
|
||||
"Num.mulWrap 18446744073709551615u64 2",
|
||||
18446744073709551614u64,
|
||||
u64
|
||||
);
|
||||
assert_evals_to!("Num.mulWrap 9223372036854775807i64 2", -2i64, i64);
|
||||
assert_evals_to!("Num.mulWrap -9223372036854775807i64 2", 2i64, i64);
|
||||
assert_evals_to!(
|
||||
"Num.mulWrap 340282366920938463463374607431768211455u128 2",
|
||||
U128::from(340282366920938463463374607431768211454u128),
|
||||
U128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulWrap 170141183460469231731687303715884105727i128 2",
|
||||
I128::from(-2i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulWrap -170141183460469231731687303715884105727i128 2",
|
||||
I128::from(2i128),
|
||||
I128
|
||||
);
|
||||
}
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn mul_saturated() {
|
||||
assert_evals_to!("Num.mulSaturated 200u8 2", 255u8, u8);
|
||||
assert_evals_to!("Num.mulSaturated 100i8 2", 127i8, i8);
|
||||
assert_evals_to!("Num.mulSaturated -100i8 2", -128i8, i8);
|
||||
assert_evals_to!("Num.mulSaturated 40000u16 2", 65535u16, u16);
|
||||
assert_evals_to!("Num.mulSaturated 20000i16 2", 32767i16, i16);
|
||||
assert_evals_to!("Num.mulSaturated -20000i16 2", -32768i16, i16);
|
||||
assert_evals_to!("Num.mulSaturated 3000000000u32 2", 4294967295u32, u32);
|
||||
assert_evals_to!("Num.mulSaturated 2000000000i32 2", 2147483647i32, i32);
|
||||
assert_evals_to!("Num.mulSaturated -2000000000i32 2", -2147483648i32, i32);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated 10000000000000000000u64 2",
|
||||
18446744073709551615u64,
|
||||
u64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated 5000000000000000000i64 2",
|
||||
9223372036854775807i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated -5000000000000000000i64 2",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated 200000000000000000000000000000000000000u128 2",
|
||||
U128::from(340282366920938463463374607431768211455u128),
|
||||
U128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated 100000000000000000000000000000000000000i128 2",
|
||||
I128::from(170141183460469231731687303715884105727i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated -100000000000000000000000000000000000000i128 2",
|
||||
I128::from(-170141183460469231731687303715884105728i128),
|
||||
I128
|
||||
);
|
||||
assert_evals_to!("Num.mulSaturated Num.maxF32 2", std::f32::INFINITY, f32);
|
||||
assert_evals_to!("Num.mulSaturated Num.minF32 2", std::f32::NEG_INFINITY, f32);
|
||||
assert_evals_to!("Num.mulSaturated Num.maxF64 2", std::f64::INFINITY, f64);
|
||||
assert_evals_to!("Num.mulSaturated Num.minF64 2", std::f64::NEG_INFINITY, f64);
|
||||
|
||||
// TODO: This doesn't work anywhere? It returns -1.374607431768211456 : Dec ?
|
||||
/*
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated 170_141_183_460_469_231_731dec 2",
|
||||
RocDec::from_str("170141183460469231731.687303715884105727").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated -170_141_183_460_469_231_731dec 2",
|
||||
RocDec::from_str("-170141183460469231731.687303715884105728").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
*/
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn shift_left_by() {
|
||||
|
|
@ -3003,205 +3308,6 @@ fn u8_mul_greater_than_i8() {
|
|||
u8
|
||||
)
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn add_saturated() {
|
||||
assert_evals_to!("Num.addSaturated 200u8 200u8", 255u8, u8);
|
||||
assert_evals_to!("Num.addSaturated 100i8 100i8", 127i8, i8);
|
||||
assert_evals_to!("Num.addSaturated -100i8 -100i8", -128i8, i8);
|
||||
assert_evals_to!("Num.addSaturated 40000u16 40000u16", 65535u16, u16);
|
||||
assert_evals_to!("Num.addSaturated 20000i16 20000i16", 32767i16, i16);
|
||||
assert_evals_to!("Num.addSaturated -20000i16 -20000i16", -32768i16, i16);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 3000000000u32 3000000000u32",
|
||||
4294967295u32,
|
||||
u32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 2000000000i32 2000000000i32",
|
||||
2147483647i32,
|
||||
i32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated -2000000000i32 -2000000000i32",
|
||||
-2147483648i32,
|
||||
i32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 10000000000000000000u64 10000000000000000000u64",
|
||||
18446744073709551615u64,
|
||||
u64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 5000000000000000000i64 5000000000000000000i64 ",
|
||||
9223372036854775807i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated -5000000000000000000i64 -5000000000000000000i64 ",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated -5000000000000000000i64 -5000000000000000000i64 ",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated Num.maxF32 Num.maxF32",
|
||||
std::f32::INFINITY,
|
||||
f32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated Num.minF32 Num.minF32",
|
||||
std::f32::NEG_INFINITY,
|
||||
f32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated Num.maxF64 Num.maxF64",
|
||||
std::f64::INFINITY,
|
||||
f64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated Num.minF64 Num.minF64",
|
||||
std::f64::NEG_INFINITY,
|
||||
f64
|
||||
);
|
||||
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated 170_141_183_460_469_231_731dec 1",
|
||||
RocDec::from_str("170141183460469231731.687303715884105727").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.addSaturated -170_141_183_460_469_231_731dec -1",
|
||||
RocDec::from_str("-170141183460469231731.687303715884105728").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn sub_saturated() {
|
||||
assert_evals_to!("Num.subSaturated 1u8 10u8", 0u8, u8);
|
||||
assert_evals_to!("Num.subSaturated 100i8 -100i8", 127i8, i8);
|
||||
assert_evals_to!("Num.subSaturated -100i8 100i8", -128i8, i8);
|
||||
assert_evals_to!("Num.subSaturated 1u16 10u16", 0u16, u16);
|
||||
assert_evals_to!("Num.subSaturated 20000i16 -20000i16", 32767i16, i16);
|
||||
assert_evals_to!("Num.subSaturated -20000i16 20000i16", -32768i16, i16);
|
||||
assert_evals_to!("Num.subSaturated 1u32 10u32", 0u32, u32);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated 2000000000i32 -2000000000i32",
|
||||
2147483647i32,
|
||||
i32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated -2000000000i32 2000000000i32",
|
||||
-2147483648i32,
|
||||
i32
|
||||
);
|
||||
assert_evals_to!("Num.subSaturated 1u64 10u64", 0u64, u64);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated 5000000000000000000i64 -5000000000000000000i64 ",
|
||||
9223372036854775807i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated -5000000000000000000i64 5000000000000000000i64 ",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated -5000000000000000000i64 5000000000000000000i64 ",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated Num.maxF32 -Num.maxF32",
|
||||
std::f32::INFINITY,
|
||||
f32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated Num.minF32 -Num.minF32",
|
||||
std::f32::NEG_INFINITY,
|
||||
f32
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated Num.maxF64 -Num.maxF64",
|
||||
std::f64::INFINITY,
|
||||
f64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated Num.minF64 -Num.minF64",
|
||||
std::f64::NEG_INFINITY,
|
||||
f64
|
||||
);
|
||||
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated 170_141_183_460_469_231_731dec -1",
|
||||
RocDec::from_str("170141183460469231731.687303715884105727").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.subSaturated -170_141_183_460_469_231_731dec 1",
|
||||
RocDec::from_str("-170141183460469231731.687303715884105728").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn mul_saturated() {
|
||||
assert_evals_to!("Num.mulSaturated 200u8 2", 255u8, u8);
|
||||
assert_evals_to!("Num.mulSaturated 100i8 2", 127i8, i8);
|
||||
assert_evals_to!("Num.mulSaturated -100i8 2", -128i8, i8);
|
||||
assert_evals_to!("Num.mulSaturated 40000u16 2", 65535u16, u16);
|
||||
assert_evals_to!("Num.mulSaturated 20000i16 2", 32767i16, i16);
|
||||
assert_evals_to!("Num.mulSaturated -20000i16 2", -32768i16, i16);
|
||||
assert_evals_to!("Num.mulSaturated 3000000000u32 2", 4294967295u32, u32);
|
||||
assert_evals_to!("Num.mulSaturated 2000000000i32 2", 2147483647i32, i32);
|
||||
assert_evals_to!("Num.mulSaturated -2000000000i32 2", -2147483648i32, i32);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated 10000000000000000000u64 2",
|
||||
18446744073709551615u64,
|
||||
u64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated 5000000000000000000i64 2",
|
||||
9223372036854775807i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated -5000000000000000000i64 2",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated -5000000000000000000i64 2",
|
||||
-9223372036854775808i64,
|
||||
i64
|
||||
);
|
||||
assert_evals_to!("Num.mulSaturated Num.maxF32 2", std::f32::INFINITY, f32);
|
||||
assert_evals_to!("Num.mulSaturated Num.minF32 2", std::f32::NEG_INFINITY, f32);
|
||||
assert_evals_to!("Num.mulSaturated Num.maxF64 2", std::f64::INFINITY, f64);
|
||||
assert_evals_to!("Num.mulSaturated Num.minF64 2", std::f64::NEG_INFINITY, f64);
|
||||
|
||||
// TODO: This doesn't work anywhere? It returns -1.374607431768211456 : Dec ?
|
||||
/*
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated 170_141_183_460_469_231_731dec 2",
|
||||
RocDec::from_str("170141183460469231731.687303715884105727").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
assert_evals_to!(
|
||||
"Num.mulSaturated -170_141_183_460_469_231_731dec 2",
|
||||
RocDec::from_str("-170141183460469231731.687303715884105728").unwrap(),
|
||||
RocDec
|
||||
);
|
||||
*/
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
|
||||
fn monomorphized_ints() {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue