summaryrefslogtreecommitdiffstats
path: root/vendor/minimal-lexical/tests/rounding_tests.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /vendor/minimal-lexical/tests/rounding_tests.rs
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'vendor/minimal-lexical/tests/rounding_tests.rs')
-rw-r--r--vendor/minimal-lexical/tests/rounding_tests.rs64
1 files changed, 64 insertions, 0 deletions
diff --git a/vendor/minimal-lexical/tests/rounding_tests.rs b/vendor/minimal-lexical/tests/rounding_tests.rs
new file mode 100644
index 000000000..794d696fb
--- /dev/null
+++ b/vendor/minimal-lexical/tests/rounding_tests.rs
@@ -0,0 +1,64 @@
+use minimal_lexical::extended_float::ExtendedFloat;
+use minimal_lexical::rounding;
+
+#[test]
+fn round_test() {
+ let mut fp = ExtendedFloat {
+ mant: 9223372036854776832,
+ exp: -10,
+ };
+ rounding::round::<f64, _>(&mut fp, |f, s| {
+ f.mant >>= s;
+ f.exp += s;
+ });
+ assert_eq!(fp.mant, 0);
+ assert_eq!(fp.exp, 1);
+
+ let mut fp = ExtendedFloat {
+ mant: 9223372036854776832,
+ exp: -10,
+ };
+ rounding::round::<f64, _>(&mut fp, |f, s| {
+ f.mant >>= s;
+ f.exp += s;
+ // Round-up.
+ f.mant += 1;
+ });
+ assert_eq!(fp.mant, 1);
+ assert_eq!(fp.exp, 1);
+
+ // Round-down
+ let mut fp = ExtendedFloat {
+ mant: 9223372036854776832,
+ exp: -10,
+ };
+ rounding::round::<f64, _>(&mut fp, |f, s| {
+ rounding::round_nearest_tie_even(f, s, |is_odd, is_halfway, is_above| {
+ is_above || (is_odd && is_halfway)
+ });
+ });
+ assert_eq!(fp.mant, 0);
+ assert_eq!(fp.exp, 1);
+
+ // Round up
+ let mut fp = ExtendedFloat {
+ mant: 9223372036854778880,
+ exp: -10,
+ };
+ rounding::round::<f64, _>(&mut fp, |f, s| {
+ rounding::round_nearest_tie_even(f, s, |is_odd, is_halfway, is_above| {
+ is_above || (is_odd && is_halfway)
+ });
+ });
+ assert_eq!(fp.mant, 2);
+ assert_eq!(fp.exp, 1);
+
+ // Round down
+ let mut fp = ExtendedFloat {
+ mant: 9223372036854778880,
+ exp: -10,
+ };
+ rounding::round::<f64, _>(&mut fp, rounding::round_down);
+ assert_eq!(fp.mant, 1);
+ assert_eq!(fp.exp, 1);
+}