#[abi = "rust-intrinsic"]  
extern mod rusti {
    fn sqrtf32(x: f32) -> f32;
    fn sqrtf64(x: f64) -> f64;
    fn powif32(a: f32, x: i32) -> f32;
    fn powif64(a: f64, x: i32) -> f64;
    fn sinf32(x: f32) -> f32;
    fn sinf64(x: f64) -> f64;
    fn cosf32(x: f32) -> f32;
    fn cosf64(x: f64) -> f64;
    fn powf32(a: f32, x: f32) -> f32;
    fn powf64(a: f64, x: f64) -> f64;
    fn expf32(x: f32) -> f32;
    fn expf64(x: f64) -> f64;
    fn exp2f32(x: f32) -> f32;
    fn exp2f64(x: f64) -> f64;
    fn logf32(x: f32) -> f32;
    fn logf64(x: f64) -> f64;
    fn log10f32(x: f32) -> f32;
    fn log10f64(x: f64) -> f64;
    fn log2f32(x: f32) -> f32;
    fn log2f64(x: f64) -> f64;
    fn fmaf32(a: f32, b: f32, c: f32) -> f32;
    fn fmaf64(a: f64, b: f64, c: f64) -> f64;
    fn fabsf32(x: f32) -> f32;
    fn fabsf64(x: f64) -> f64;
    fn floorf32(x: f32) -> f32;
    fn floorf64(x: f64) -> f64;
    fn ceilf32(x: f32) -> f32;
    fn ceilf64(x: f64) -> f64;
    fn truncf32(x: f32) -> f32;
    fn truncf64(x: f64) -> f64;
}

fn main() {

    use rusti::*;

    assert(sqrtf32(64f32) == 8f32);
    assert(sqrtf64(64f64) == 8f64);

    assert(powif32(25f32, -2i32) == 0.0016f32);
    assert(powif64(23.2f64, 2i32) == 538.24f64);

    assert(sinf32(0f32) == 0f32);
    assert(sinf64(f64::consts::pi / 2f64) == 1f64);

    assert(cosf32(0f32) == 1f32);
    assert(cosf64(f64::consts::pi * 2f64) == 1f64);

    assert(powf32(25f32, -2f32) == 0.0016f32);
    assert(powf64(400f64, 0.5f64) == 20f64);

    assert(fabsf32(expf32(1f32) - f32::consts::e) < 0.000001f32);
    assert(expf64(1f64) == f64::consts::e);

    assert(exp2f32(10f32) == 1024f32);
    assert(exp2f64(50f64) == 1125899906842624f64);

    assert(fabsf32(logf32(f32::consts::e) - 1f32) < 0.000001f32);
    assert(logf64(1f64) == 0f64);

    assert(log10f32(10f32) == 1f32);
    assert(log10f64(f64::consts::e) == f64::consts::log10_e);

    assert(log2f32(8f32) == 3f32);
    assert(log2f64(f64::consts::e) == 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(fabsf32(-1.0f32) == 1.0f32);
    assert(fabsf64(34.2f64) == 34.2f64);

    assert(floorf32(3.8f32) == 3.0f32);
    assert(floorf64(-1.1f64) == -2.0f64);

    // Causes linker error
    // undefined reference to llvm.ceil.f32/64
    //assert(ceilf32(-2.3f32) == -2.0f32);
    //assert(ceilf64(3.8f64) == 4.0f64);
  
    // Causes linker error
    // undefined reference to llvm.trunc.f32/64
    //assert(truncf32(0.1f32) == 0.0f32);
    //assert(truncf64(-0.1f64) == 0.0f64);

}