Use fuzzy_eq in run-pass/intrinsics-math.rs

This commit is contained in:
Brian Anderson 2012-12-06 18:55:10 -08:00
parent 098f71d348
commit ddfd1eaeb5

View File

@ -1,3 +1,7 @@
extern mod std;
use std::cmp::FuzzyEq;
#[abi = "rust-intrinsic"]
extern mod rusti {
fn sqrtf32(x: f32) -> f32;
@ -36,44 +40,44 @@ fn main() {
use rusti::*;
assert(sqrtf32(64f32) == 8f32);
assert(sqrtf64(64f64) == 8f64);
assert(sqrtf32(64f32).fuzzy_eq(&8f32));
assert(sqrtf64(64f64).fuzzy_eq(&8f64));
assert(powif32(25f32, -2i32) == 0.0016f32);
assert(powif64(23.2f64, 2i32) == 538.24f64);
assert(powif32(25f32, -2i32).fuzzy_eq(&0.0016f32));
assert(powif64(23.2f64, 2i32).fuzzy_eq(&538.24f64));
assert(sinf32(0f32) == 0f32);
assert(sinf64(f64::consts::pi / 2f64) == 1f64);
assert(sinf32(0f32).fuzzy_eq(&0f32));
assert(sinf64(f64::consts::pi / 2f64).fuzzy_eq(&1f64));
assert(cosf32(0f32) == 1f32);
assert(cosf64(f64::consts::pi * 2f64) == 1f64);
assert(cosf32(0f32).fuzzy_eq(&1f32));
assert(cosf64(f64::consts::pi * 2f64).fuzzy_eq(&1f64));
assert(powf32(25f32, -2f32) == 0.0016f32);
assert(powf64(400f64, 0.5f64) == 20f64);
assert(powf32(25f32, -2f32).fuzzy_eq(&0.0016f32));
assert(powf64(400f64, 0.5f64).fuzzy_eq(&20f64));
assert(fabsf32(expf32(1f32) - f32::consts::e) < 0.000001f32);
assert(expf64(1f64) == f64::consts::e);
assert(fabsf32(expf32(1f32) - f32::consts::e).fuzzy_eq(&0f32));
assert(expf64(1f64).fuzzy_eq(&f64::consts::e));
assert(exp2f32(10f32) == 1024f32);
assert(exp2f64(50f64) == 1125899906842624f64);
assert(exp2f32(10f32).fuzzy_eq(&1024f32));
assert(exp2f64(50f64).fuzzy_eq(&1125899906842624f64));
assert(fabsf32(logf32(f32::consts::e) - 1f32) < 0.000001f32);
assert(logf64(1f64) == 0f64);
assert(fabsf32(logf32(f32::consts::e) - 1f32).fuzzy_eq(&0f32));
assert(logf64(1f64).fuzzy_eq(&0f64));
assert(log10f32(10f32) == 1f32);
assert(log10f64(f64::consts::e) == f64::consts::log10_e);
assert(log10f32(10f32).fuzzy_eq(&1f32));
assert(log10f64(f64::consts::e).fuzzy_eq(&f64::consts::log10_e));
assert(log2f32(8f32) == 3f32);
assert(log2f64(f64::consts::e) == f64::consts::log2_e);
assert(log2f32(8f32).fuzzy_eq(&3f32));
assert(log2f64(f64::consts::e).fuzzy_eq(&f64::consts::log2_e));
assert(fmaf32(1.0f32, 2.0f32, 5.0f32) == 7.0f32);
assert(fmaf64(0.0f64, -2.0f64, f64::consts::e) == f64::consts::e);
assert(fmaf32(1.0f32, 2.0f32, 5.0f32).fuzzy_eq(&7.0f32));
assert(fmaf64(0.0f64, -2.0f64, f64::consts::e).fuzzy_eq(&f64::consts::e));
assert(fabsf32(-1.0f32) == 1.0f32);
assert(fabsf64(34.2f64) == 34.2f64);
assert(fabsf32(-1.0f32).fuzzy_eq(&1.0f32));
assert(fabsf64(34.2f64).fuzzy_eq(&34.2f64));
assert(floorf32(3.8f32) == 3.0f32);
assert(floorf64(-1.1f64) == -2.0f64);
assert(floorf32(3.8f32).fuzzy_eq(&3.0f32));
assert(floorf64(-1.1f64).fuzzy_eq(&-2.0f64));
// Causes linker error
// undefined reference to llvm.ceil.f32/64