149 lines
4 KiB
Rust
149 lines
4 KiB
Rust
// Verify that algebraic intrinsics generate the correct LLVM calls
|
|
|
|
// Ensure operations get inlined
|
|
//@ compile-flags: -Copt-level=1
|
|
|
|
#![crate_type = "lib"]
|
|
#![feature(f16)]
|
|
#![feature(f128)]
|
|
#![feature(float_algebraic)]
|
|
|
|
// CHECK-LABEL: @f16_algebraic_add
|
|
#[no_mangle]
|
|
pub fn f16_algebraic_add(a: f16, b: f16) -> f16 {
|
|
// CHECK: fadd reassoc nsz arcp contract half %{{.+}}, %{{.+}}
|
|
a.algebraic_add(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f16_algebraic_sub
|
|
#[no_mangle]
|
|
pub fn f16_algebraic_sub(a: f16, b: f16) -> f16 {
|
|
// CHECK: fsub reassoc nsz arcp contract half %{{.+}}, %{{.+}}
|
|
a.algebraic_sub(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f16_algebraic_mul
|
|
#[no_mangle]
|
|
pub fn f16_algebraic_mul(a: f16, b: f16) -> f16 {
|
|
// CHECK: fmul reassoc nsz arcp contract half %{{.+}}, %{{.+}}
|
|
a.algebraic_mul(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f16_algebraic_div
|
|
#[no_mangle]
|
|
pub fn f16_algebraic_div(a: f16, b: f16) -> f16 {
|
|
// CHECK: fdiv reassoc nsz arcp contract half %{{.+}}, %{{.+}}
|
|
a.algebraic_div(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f16_algebraic_rem
|
|
#[no_mangle]
|
|
pub fn f16_algebraic_rem(a: f16, b: f16) -> f16 {
|
|
// CHECK: frem reassoc nsz arcp contract half %{{.+}}, %{{.+}}
|
|
a.algebraic_rem(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f32_algebraic_add
|
|
#[no_mangle]
|
|
pub fn f32_algebraic_add(a: f32, b: f32) -> f32 {
|
|
// CHECK: fadd reassoc nsz arcp contract float %{{.+}}, %{{.+}}
|
|
a.algebraic_add(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f32_algebraic_sub
|
|
#[no_mangle]
|
|
pub fn f32_algebraic_sub(a: f32, b: f32) -> f32 {
|
|
// CHECK: fsub reassoc nsz arcp contract float %{{.+}}, %{{.+}}
|
|
a.algebraic_sub(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f32_algebraic_mul
|
|
#[no_mangle]
|
|
pub fn f32_algebraic_mul(a: f32, b: f32) -> f32 {
|
|
// CHECK: fmul reassoc nsz arcp contract float %{{.+}}, %{{.+}}
|
|
a.algebraic_mul(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f32_algebraic_div
|
|
#[no_mangle]
|
|
pub fn f32_algebraic_div(a: f32, b: f32) -> f32 {
|
|
// CHECK: fdiv reassoc nsz arcp contract float %{{.+}}, %{{.+}}
|
|
a.algebraic_div(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f32_algebraic_rem
|
|
#[no_mangle]
|
|
pub fn f32_algebraic_rem(a: f32, b: f32) -> f32 {
|
|
// CHECK: frem reassoc nsz arcp contract float %{{.+}}, %{{.+}}
|
|
a.algebraic_rem(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f64_algebraic_add
|
|
#[no_mangle]
|
|
pub fn f64_algebraic_add(a: f64, b: f64) -> f64 {
|
|
// CHECK: fadd reassoc nsz arcp contract double %{{.+}}, %{{.+}}
|
|
a.algebraic_add(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f64_algebraic_sub
|
|
#[no_mangle]
|
|
pub fn f64_algebraic_sub(a: f64, b: f64) -> f64 {
|
|
// CHECK: fsub reassoc nsz arcp contract double %{{.+}}, %{{.+}}
|
|
a.algebraic_sub(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f64_algebraic_mul
|
|
#[no_mangle]
|
|
pub fn f64_algebraic_mul(a: f64, b: f64) -> f64 {
|
|
// CHECK: fmul reassoc nsz arcp contract double %{{.+}}, %{{.+}}
|
|
a.algebraic_mul(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f64_algebraic_div
|
|
#[no_mangle]
|
|
pub fn f64_algebraic_div(a: f64, b: f64) -> f64 {
|
|
// CHECK: fdiv reassoc nsz arcp contract double %{{.+}}, %{{.+}}
|
|
a.algebraic_div(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f64_algebraic_rem
|
|
#[no_mangle]
|
|
pub fn f64_algebraic_rem(a: f64, b: f64) -> f64 {
|
|
// CHECK: frem reassoc nsz arcp contract double %{{.+}}, %{{.+}}
|
|
a.algebraic_rem(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f128_algebraic_add
|
|
#[no_mangle]
|
|
pub fn f128_algebraic_add(a: f128, b: f128) -> f128 {
|
|
// CHECK: fadd reassoc nsz arcp contract fp128 %{{.+}}, %{{.+}}
|
|
a.algebraic_add(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f128_algebraic_sub
|
|
#[no_mangle]
|
|
pub fn f128_algebraic_sub(a: f128, b: f128) -> f128 {
|
|
// CHECK: fsub reassoc nsz arcp contract fp128 %{{.+}}, %{{.+}}
|
|
a.algebraic_sub(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f128_algebraic_mul
|
|
#[no_mangle]
|
|
pub fn f128_algebraic_mul(a: f128, b: f128) -> f128 {
|
|
// CHECK: fmul reassoc nsz arcp contract fp128 %{{.+}}, %{{.+}}
|
|
a.algebraic_mul(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f128_algebraic_div
|
|
#[no_mangle]
|
|
pub fn f128_algebraic_div(a: f128, b: f128) -> f128 {
|
|
// CHECK: fdiv reassoc nsz arcp contract fp128 %{{.+}}, %{{.+}}
|
|
a.algebraic_div(b)
|
|
}
|
|
|
|
// CHECK-LABEL: @f128_algebraic_rem
|
|
#[no_mangle]
|
|
pub fn f128_algebraic_rem(a: f128, b: f128) -> f128 {
|
|
// CHECK: frem reassoc nsz arcp contract fp128 %{{.+}}, %{{.+}}
|
|
a.algebraic_rem(b)
|
|
}
|