M-Labs/compiler-builtins-zynq
8
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

floattidf, floatuntidf: ignore differences smaller than 2 in test

Browse Source 
Its possible that the generated f64 is different from the expected one
by one bit. This is legal when both values are equally close to the i128/u128.
This commit is contained in:
est31 2017-05-08 00:49:36 +02:00
parent e574d8be41
commit 6047cdf1e8
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
build.rs
View File

@ -1913,7 +1913,8 @@ static TEST_CASES: &[((i128,), u64)] = &[
fn floattidf() { fn floattidf() {
for &((a,), b) in TEST_CASES { for &((a,), b) in TEST_CASES {
let b_ = __floattidf(a); let b_ = __floattidf(a);
assert_eq!(((a,), b), ((a,), to_u64(b_))); let diff = if to_u64(b_) > b { to_u64(b_) - b } else { b - to_u64(b_) };
assert_eq!(((a,), b, true), ((a,), b, diff <= 1));
} }
} }
" "
@ -2244,7 +2245,8 @@ static TEST_CASES: &[((u128,), u64)] = &[
fn floatuntidf() { fn floatuntidf() {
for &((a,), b) in TEST_CASES { for &((a,), b) in TEST_CASES {
let b_ = __floatuntidf(a); let b_ = __floatuntidf(a);
assert_eq!(((a,), b), ((a,), to_u64(b_))); let diff = if to_u64(b_) > b { to_u64(b_) - b } else { b - to_u64(b_) };
assert_eq!(((a,), b, true), ((a,), b, diff <= 1));
} }
} }
" "