87 lines
2.1 KiB
Rust
87 lines
2.1 KiB
Rust
//@ compile-flags: -C no-prepopulate-passes
|
|
|
|
#![crate_type = "lib"]
|
|
#![feature(core_intrinsics)]
|
|
|
|
use std::intrinsics::{
|
|
fadd_algebraic, fadd_fast, fdiv_algebraic, fdiv_fast, fmul_algebraic, fmul_fast,
|
|
frem_algebraic, frem_fast, fsub_algebraic, fsub_fast,
|
|
};
|
|
|
|
// CHECK-LABEL: @add
|
|
#[no_mangle]
|
|
pub fn add(x: f32, y: f32) -> f32 {
|
|
// CHECK: fadd float
|
|
// CHECK-NOT: fast
|
|
x + y
|
|
}
|
|
|
|
// CHECK-LABEL: @test_fadd_algebraic
|
|
#[no_mangle]
|
|
pub fn test_fadd_algebraic(x: f32, y: f32) -> f32 {
|
|
// CHECK: fadd reassoc nsz arcp contract float %x, %y
|
|
fadd_algebraic(x, y)
|
|
}
|
|
|
|
// CHECK-LABEL: @test_fsub_algebraic
|
|
#[no_mangle]
|
|
pub fn test_fsub_algebraic(x: f32, y: f32) -> f32 {
|
|
// CHECK: fsub reassoc nsz arcp contract float %x, %y
|
|
fsub_algebraic(x, y)
|
|
}
|
|
|
|
// CHECK-LABEL: @test_fmul_algebraic
|
|
#[no_mangle]
|
|
pub fn test_fmul_algebraic(x: f32, y: f32) -> f32 {
|
|
// CHECK: fmul reassoc nsz arcp contract float %x, %y
|
|
fmul_algebraic(x, y)
|
|
}
|
|
|
|
// CHECK-LABEL: @test_fdiv_algebraic
|
|
#[no_mangle]
|
|
pub fn test_fdiv_algebraic(x: f32, y: f32) -> f32 {
|
|
// CHECK: fdiv reassoc nsz arcp contract float %x, %y
|
|
fdiv_algebraic(x, y)
|
|
}
|
|
|
|
// CHECK-LABEL: @test_frem_algebraic
|
|
#[no_mangle]
|
|
pub fn test_frem_algebraic(x: f32, y: f32) -> f32 {
|
|
// CHECK: frem reassoc nsz arcp contract float %x, %y
|
|
frem_algebraic(x, y)
|
|
}
|
|
|
|
// CHECK-LABEL: @test_fadd_fast
|
|
#[no_mangle]
|
|
pub fn test_fadd_fast(x: f32, y: f32) -> f32 {
|
|
// CHECK: fadd fast float %x, %y
|
|
unsafe { fadd_fast(x, y) }
|
|
}
|
|
|
|
// CHECK-LABEL: @test_fsub_fast
|
|
#[no_mangle]
|
|
pub fn test_fsub_fast(x: f32, y: f32) -> f32 {
|
|
// CHECK: fsub fast float %x, %y
|
|
unsafe { fsub_fast(x, y) }
|
|
}
|
|
|
|
// CHECK-LABEL: @test_fmul_fast
|
|
#[no_mangle]
|
|
pub fn test_fmul_fast(x: f32, y: f32) -> f32 {
|
|
// CHECK: fmul fast float %x, %y
|
|
unsafe { fmul_fast(x, y) }
|
|
}
|
|
|
|
// CHECK-LABEL: @test_fdiv_fast
|
|
#[no_mangle]
|
|
pub fn test_fdiv_fast(x: f32, y: f32) -> f32 {
|
|
// CHECK: fdiv fast float %x, %y
|
|
unsafe { fdiv_fast(x, y) }
|
|
}
|
|
|
|
// CHECK-LABEL: @test_frem_fast
|
|
#[no_mangle]
|
|
pub fn test_frem_fast(x: f32, y: f32) -> f32 {
|
|
// CHECK: frem fast float %x, %y
|
|
unsafe { frem_fast(x, y) }
|
|
}
|