Add exhaustive codegen tests for stable API.

Author: calder

tests/codegen/float/f128-algebraic.rs

@@ -0,0 +1,40 @@
+// Verify that algebraic intrinsics generate the correct LLVM calls for f128
+
+#![crate_type = "lib"]
+#![feature(f128)]
+#![feature(float_algebraic)]
+
+// CHECK-LABEL: fp128 @f128_algebraic_add(
+#[no_mangle]
+pub fn f128_algebraic_add(a: f128, b: f128) -> f128 {
+    // CHECK: fadd reassoc nsz arcp contract fp128 {{(%a, %b)|(%b, %a)}}
+    a.algebraic_add(b)
+}
+
+// CHECK-LABEL: fp128 @f128_algebraic_sub(
+#[no_mangle]
+pub fn f128_algebraic_sub(a: f128, b: f128) -> f128 {
+    // CHECK: fsub reassoc nsz arcp contract fp128 %a, %b
+    a.algebraic_sub(b)
+}
+
+// CHECK-LABEL: fp128 @f128_algebraic_mul(
+#[no_mangle]
+pub fn f128_algebraic_mul(a: f128, b: f128) -> f128 {
+    // CHECK: fmul reassoc nsz arcp contract fp128 {{(%a, %b)|(%b, %a)}}
+    a.algebraic_mul(b)
+}
+
+// CHECK-LABEL: fp128 @f128_algebraic_div(
+#[no_mangle]
+pub fn f128_algebraic_div(a: f128, b: f128) -> f128 {
+    // CHECK: fdiv reassoc nsz arcp contract fp128 %a, %b
+    a.algebraic_div(b)
+}
+
+// CHECK-LABEL: fp128 @f128_algebraic_rem(
+#[no_mangle]
+pub fn f128_algebraic_rem(a: f128, b: f128) -> f128 {
+    // CHECK: frem reassoc nsz arcp contract fp128 %a, %b
+    a.algebraic_rem(b)
+}

tests/codegen/float/f16-algebraic.rs

@@ -0,0 +1,40 @@
+// Verify that algebraic intrinsics generate the correct LLVM calls for f16
+
+#![crate_type = "lib"]
+#![feature(f16)]
+#![feature(float_algebraic)]
+
+// CHECK-LABEL: half @f16_algebraic_add(
+#[no_mangle]
+pub fn f16_algebraic_add(a: f16, b: f16) -> f16 {
+    // CHECK: fadd reassoc nsz arcp contract half {{(%a, %b)|(%b, %a)}}
+    a.algebraic_add(b)
+}
+
+// CHECK-LABEL: half @f16_algebraic_sub(
+#[no_mangle]
+pub fn f16_algebraic_sub(a: f16, b: f16) -> f16 {
+    // CHECK: fsub reassoc nsz arcp contract half %a, %b
+    a.algebraic_sub(b)
+}
+
+// CHECK-LABEL: half @f16_algebraic_mul(
+#[no_mangle]
+pub fn f16_algebraic_mul(a: f16, b: f16) -> f16 {
+    // CHECK: fmul reassoc nsz arcp contract half {{(%a, %b)|(%b, %a)}}
+    a.algebraic_mul(b)
+}
+
+// CHECK-LABEL: half @f16_algebraic_div(
+#[no_mangle]
+pub fn f16_algebraic_div(a: f16, b: f16) -> f16 {
+    // CHECK: fdiv reassoc nsz arcp contract half %a, %b
+    a.algebraic_div(b)
+}
+
+// CHECK-LABEL: half @f16_algebraic_rem(
+#[no_mangle]
+pub fn f16_algebraic_rem(a: f16, b: f16) -> f16 {
+    // CHECK: frem reassoc nsz arcp contract half %a, %b
+    a.algebraic_rem(b)
+}

tests/codegen/float/f32-algebraic.rs

@@ -0,0 +1,39 @@
+// Verify that algebraic intrinsics generate the correct LLVM calls for f32
+
+#![crate_type = "lib"]
+#![feature(float_algebraic)]
+
+// CHECK-LABEL: float @f32_algebraic_add(
+#[no_mangle]
+pub fn f32_algebraic_add(a: f32, b: f32) -> f32 {
+    // CHECK: fadd reassoc nsz arcp contract float {{(%a, %b)|(%b, %a)}}
+    a.algebraic_add(b)
+}
+
+// CHECK-LABEL: float @f32_algebraic_sub(
+#[no_mangle]
+pub fn f32_algebraic_sub(a: f32, b: f32) -> f32 {
+    // CHECK: fsub reassoc nsz arcp contract float %a, %b
+    a.algebraic_sub(b)
+}
+
+// CHECK-LABEL: float @f32_algebraic_mul(
+#[no_mangle]
+pub fn f32_algebraic_mul(a: f32, b: f32) -> f32 {
+    // CHECK: fmul reassoc nsz arcp contract float {{(%a, %b)|(%b, %a)}}
+    a.algebraic_mul(b)
+}
+
+// CHECK-LABEL: float @f32_algebraic_div(
+#[no_mangle]
+pub fn f32_algebraic_div(a: f32, b: f32) -> f32 {
+    // CHECK: fdiv reassoc nsz arcp contract float %a, %b
+    a.algebraic_div(b)
+}
+
+// CHECK-LABEL: float @f32_algebraic_rem(
+#[no_mangle]
+pub fn f32_algebraic_rem(a: f32, b: f32) -> f32 {
+    // CHECK: frem reassoc nsz arcp contract float %a, %b
+    a.algebraic_rem(b)
+}

tests/codegen/float/f64-algebraic.rs

@@ -0,0 +1,39 @@
+// Verify that algebraic intrinsics generate the correct LLVM calls for f64
+
+#![crate_type = "lib"]
+#![feature(float_algebraic)]
+
+// CHECK-LABEL: double @f64_algebraic_add(
+#[no_mangle]
+pub fn f64_algebraic_add(a: f64, b: f64) -> f64 {
+    // CHECK: fadd reassoc nsz arcp contract double {{(%a, %b)|(%b, %a)}}
+    a.algebraic_add(b)
+}
+
+// CHECK-LABEL: double @f64_algebraic_sub(
+#[no_mangle]
+pub fn f64_algebraic_sub(a: f64, b: f64) -> f64 {
+    // CHECK: fsub reassoc nsz arcp contract double %a, %b
+    a.algebraic_sub(b)
+}
+
+// CHECK-LABEL: double @f64_algebraic_mul(
+#[no_mangle]
+pub fn f64_algebraic_mul(a: f64, b: f64) -> f64 {
+    // CHECK: fmul reassoc nsz arcp contract double {{(%a, %b)|(%b, %a)}}
+    a.algebraic_mul(b)
+}
+
+// CHECK-LABEL: double @f64_algebraic_div(
+#[no_mangle]
+pub fn f64_algebraic_div(a: f64, b: f64) -> f64 {
+    // CHECK: fdiv reassoc nsz arcp contract double %a, %b
+    a.algebraic_div(b)
+}
+
+// CHECK-LABEL: double @f64_algebraic_rem(
+#[no_mangle]
+pub fn f64_algebraic_rem(a: f64, b: f64) -> f64 {
+    // CHECK: frem reassoc nsz arcp contract double %a, %b
+    a.algebraic_rem(b)
+}