diff options
Diffstat (limited to 'tests/codegen/float/algebraic.rs')
| -rw-r--r-- | tests/codegen/float/algebraic.rs | 149 |
1 files changed, 0 insertions, 149 deletions
diff --git a/tests/codegen/float/algebraic.rs b/tests/codegen/float/algebraic.rs deleted file mode 100644 index 818a4bcdfe3..00000000000 --- a/tests/codegen/float/algebraic.rs +++ /dev/null @@ -1,149 +0,0 @@ -// 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) -} |
