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

Initial implementation of multitester

This commit is contained in:
Matt Ickstadt 2016-10-02 14:21:09 -05:00
parent 89ebc46f37
commit 02140cddc9
2 changed files with 41 additions and 54 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/float/add.rs
View File

@ -186,16 +186,13 @@ add!(__adddf3: f64);
#[cfg(test)] #[cfg(test)]
mod tests { mod tests {
use core::{f32, f64}; use core::{f32, f64};
use core::fmt;
use float::Float; use float::Float;
use qc::{U32, U64}; use qc::{U32, U64};
// NOTE The tests below have special handing for NaN values. // TODO: Move this to F32/F64 in qc.rs
// Because NaN != NaN, the floating-point representations must be used #[derive(Copy, Clone)]
// Because there are many diffferent values of NaN, and the implementation
// doesn't care about calculating the 'correct' one, if both values are NaN
// the values are considered equivalent.
struct FRepr<F>(F); struct FRepr<F>(F);
impl<F: Float> PartialEq for FRepr<F> { impl<F: Float> PartialEq for FRepr<F> {
@ -212,6 +209,12 @@ mod tests {
} }
} }
impl<F: fmt::Debug> fmt::Debug for FRepr<F> {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
self.0.fmt(f)
}
}
// TODO: Add F32/F64 to qc so that they print the right values (at the very least) // TODO: Add F32/F64 to qc so that they print the right values (at the very least)
check! { check! {
fn __addsf3(f: extern fn(f32, f32) -> f32, fn __addsf3(f: extern fn(f32, f32) -> f32,

80
src/qc.rs
View File

@ -195,7 +195,7 @@ macro_rules! check {
} }
)* )*
mod _compiler_rt { mod _test {
use qc::*; use qc::*;
use std::mem; use std::mem;
use quickcheck::TestResult; use quickcheck::TestResult;
@ -207,16 +207,37 @@ macro_rules! check {
let my_answer = super::$name(super::super::$name, let my_answer = super::$name(super::super::$name,
$($arg),*); $($arg),*);
let compiler_rt_fn = ::compiler_rt::get(stringify!($name)); let compiler_rt_fn = ::compiler_rt::get(stringify!($name));
unsafe { let compiler_rt_answer = unsafe {
let compiler_rt_answer = super::$name(mem::transmute(compiler_rt_fn),
super::$name(mem::transmute(compiler_rt_fn), $($arg),*)
$($arg),*); };
match (my_answer, compiler_rt_answer) { let gcc_s_answer =
(None, _) | (_, None) => TestResult::discard(), match ::gcc_s::get(stringify!($name)) {
(Some(a), Some(b)) => { Some(f) => unsafe {
TestResult::from_bool(a == b) Some(super::$name(mem::transmute(f),
} $($arg),*))
} },
None => None,
};
let print_values = || {
print!("{} - Args: ", stringify!($name));
$(print!("{:?} ", $arg);)*
print!("\n");
println!(" rustc-builtins: {:?}", my_answer);
println!(" compiler_rt: {:?}", compiler_rt_answer);
println!(" gcc_s: {:?}", gcc_s_answer);
};
if my_answer != compiler_rt_answer {
print_values();
TestResult::from_bool(false)
} else if gcc_s_answer.is_some() &&
my_answer != gcc_s_answer.unwrap() {
print_values();
TestResult::from_bool(false)
} else {
TestResult::from_bool(true)
} }
} }
@ -224,42 +245,5 @@ macro_rules! check {
} }
)* )*
} }
mod _gcc_s {
use qc::*;
use std::mem;
use quickcheck::TestResult;
$(
#[test]
fn $name() {
fn my_check($($arg:$t),*) -> TestResult {
let my_answer = super::$name(super::super::$name,
$($arg),*);
let gcc_s_fn = ::gcc_s::get(stringify!($name)).unwrap();
unsafe {
let gcc_s_answer =
super::$name(mem::transmute(gcc_s_fn),
$($arg),*);
match (my_answer, gcc_s_answer) {
(None, _) | (_, None) => TestResult::discard(),
(Some(a), Some(b)) => {
TestResult::from_bool(a == b)
}
}
}
}
// If it's not in libgcc, or we couldn't find libgcc, then
// just ignore this. We should have tests through
// compiler-rt in any case
if ::gcc_s::get(stringify!($name)).is_none() {
return
}
::quickcheck::quickcheck(my_check as fn($($t),*) -> TestResult)
}
)*
}
) )
} }