about summary refs log tree commit diff
path: root/tests/codegen/float/f16.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/codegen/float/f16.rs')
-rw-r--r--tests/codegen/float/f16.rs364
1 files changed, 0 insertions, 364 deletions
diff --git a/tests/codegen/float/f16.rs b/tests/codegen/float/f16.rs
deleted file mode 100644
index 0c40606ad8a..00000000000
--- a/tests/codegen/float/f16.rs
+++ /dev/null
@@ -1,364 +0,0 @@
-// 32-bit x86 returns float types differently to avoid the x87 stack.
-// 32-bit systems will return 128bit values using a return area pointer.
-//@ revisions: x86-sse x86-nosse bit32 bit64
-//@[x86-sse] only-x86
-//@[x86-sse] only-rustc_abi-x86-sse2
-//@[x86-nosse] only-x86
-//@[x86-nosse] ignore-rustc_abi-x86-sse2
-//@[bit32] ignore-x86
-//@[bit32] only-32bit
-//@[bit64] ignore-x86
-//@[bit64] only-64bit
-
-// Verify that our intrinsics generate the correct LLVM calls for f16
-
-#![crate_type = "lib"]
-#![feature(f128)]
-#![feature(f16)]
-#![feature(core_intrinsics)]
-
-/* arithmetic */
-
-// CHECK-LABEL: i1 @f16_eq(
-#[no_mangle]
-pub fn f16_eq(a: f16, b: f16) -> bool {
-    // CHECK: fcmp oeq half %{{.+}}, %{{.+}}
-    a == b
-}
-
-// CHECK-LABEL: i1 @f16_ne(
-#[no_mangle]
-pub fn f16_ne(a: f16, b: f16) -> bool {
-    // CHECK: fcmp une half %{{.+}}, %{{.+}}
-    a != b
-}
-
-// CHECK-LABEL: i1 @f16_gt(
-#[no_mangle]
-pub fn f16_gt(a: f16, b: f16) -> bool {
-    // CHECK: fcmp ogt half %{{.+}}, %{{.+}}
-    a > b
-}
-
-// CHECK-LABEL: i1 @f16_ge(
-#[no_mangle]
-pub fn f16_ge(a: f16, b: f16) -> bool {
-    // CHECK: fcmp oge half %{{.+}}, %{{.+}}
-    a >= b
-}
-
-// CHECK-LABEL: i1 @f16_lt(
-#[no_mangle]
-pub fn f16_lt(a: f16, b: f16) -> bool {
-    // CHECK: fcmp olt half %{{.+}}, %{{.+}}
-    a < b
-}
-
-// CHECK-LABEL: i1 @f16_le(
-#[no_mangle]
-pub fn f16_le(a: f16, b: f16) -> bool {
-    // CHECK: fcmp ole half %{{.+}}, %{{.+}}
-    a <= b
-}
-
-// This is where we check the argument and return ABI for f16.
-// bit32-LABEL: half @f16_neg(half
-// bit64-LABEL: half @f16_neg(half
-// x86-sse-LABEL: <2 x i8> @f16_neg(half
-// x86-nosse-LABEL: i16 @f16_neg(half
-#[no_mangle]
-pub fn f16_neg(a: f16) -> f16 {
-    // CHECK: fneg half %{{.+}}
-    -a
-}
-
-// CHECK-LABEL: @f16_add
-#[no_mangle]
-pub fn f16_add(a: f16, b: f16) -> f16 {
-    // CHECK: fadd half %{{.+}}, %{{.+}}
-    a + b
-}
-
-// CHECK-LABEL: @f16_sub
-#[no_mangle]
-pub fn f16_sub(a: f16, b: f16) -> f16 {
-    // CHECK: fsub half %{{.+}}, %{{.+}}
-    a - b
-}
-
-// CHECK-LABEL: @f16_mul
-#[no_mangle]
-pub fn f16_mul(a: f16, b: f16) -> f16 {
-    // CHECK: fmul half %{{.+}}, %{{.+}}
-    a * b
-}
-
-// CHECK-LABEL: @f16_div
-#[no_mangle]
-pub fn f16_div(a: f16, b: f16) -> f16 {
-    // CHECK: fdiv half %{{.+}}, %{{.+}}
-    a / b
-}
-
-// CHECK-LABEL: @f16_rem
-#[no_mangle]
-pub fn f16_rem(a: f16, b: f16) -> f16 {
-    // CHECK: frem half %{{.+}}, %{{.+}}
-    a % b
-}
-
-// CHECK-LABEL: void @f16_add_assign(
-#[no_mangle]
-pub fn f16_add_assign(a: &mut f16, b: f16) {
-    // CHECK: fadd half %{{.+}}, %{{.+}}
-    // CHECK-NEXT: store half %{{.+}}, ptr %{{.+}}
-    *a += b;
-}
-
-// CHECK-LABEL: void @f16_sub_assign(
-#[no_mangle]
-pub fn f16_sub_assign(a: &mut f16, b: f16) {
-    // CHECK: fsub half %{{.+}}, %{{.+}}
-    // CHECK-NEXT: store half %{{.+}}, ptr %{{.+}}
-    *a -= b;
-}
-
-// CHECK-LABEL: void @f16_mul_assign(
-#[no_mangle]
-pub fn f16_mul_assign(a: &mut f16, b: f16) {
-    // CHECK: fmul half %{{.+}}, %{{.+}}
-    // CHECK-NEXT: store half %{{.+}}, ptr %{{.+}}
-    *a *= b;
-}
-
-// CHECK-LABEL: void @f16_div_assign(
-#[no_mangle]
-pub fn f16_div_assign(a: &mut f16, b: f16) {
-    // CHECK: fdiv half %{{.+}}, %{{.+}}
-    // CHECK-NEXT: store half %{{.+}}, ptr %{{.+}}
-    *a /= b;
-}
-
-// CHECK-LABEL: void @f16_rem_assign(
-#[no_mangle]
-pub fn f16_rem_assign(a: &mut f16, b: f16) {
-    // CHECK: frem half %{{.+}}, %{{.+}}
-    // CHECK-NEXT: store half %{{.+}}, ptr %{{.+}}
-    *a %= b;
-}
-
-/* float to float conversions */
-
-// bit32-LABEL: half @f16_as_self(
-// bit64-LABEL: half @f16_as_self(
-// x86-sse-LABEL: <2 x i8> @f16_as_self(
-// x86-nosse-LABEL: i16 @f16_as_self(
-#[no_mangle]
-pub fn f16_as_self(a: f16) -> f16 {
-    // bit32-CHECK: ret half %{{.+}}
-    // bit64-CHECK: ret half %{{.+}}
-    // x86-sse-CHECK: bitcast half
-    // x86-nosse-CHECK: bitcast half
-    // x86-sse-CHECK: ret i16
-    // x86-nosse-CHECK: ret i16
-    a as f16
-}
-
-// x86-sse-LABEL: <4 x i8> @f16_as_f32(
-// x86-nosse-LABEL: i32 @f16_as_f32(
-// bit32-LABEL: float @f16_as_f32(
-// bit64-LABEL: float @f16_as_f32(
-#[no_mangle]
-pub fn f16_as_f32(a: f16) -> f32 {
-    // CHECK: fpext half %{{.+}} to float
-    a as f32
-}
-
-// x86-sse-LABEL: <8 x i8> @f16_as_f64(
-// x86-nosse-LABEL: void @f16_as_f64({{.*}}sret([8 x i8])
-// bit32-LABEL: double @f16_as_f64(
-// bit64-LABEL: double @f16_as_f64(
-#[no_mangle]
-pub fn f16_as_f64(a: f16) -> f64 {
-    // CHECK: fpext half %{{.+}} to double
-    a as f64
-}
-
-// x86-sse-LABEL: <16 x i8> @f16_as_f128(
-// x86-nosse-LABEL: void @f16_as_f128({{.*}}sret([16 x i8])
-// bit32-LABEL: void @f16_as_f128({{.*}}sret([16 x i8])
-// bit64-LABEL: fp128 @f16_as_f128(
-#[no_mangle]
-pub fn f16_as_f128(a: f16) -> f128 {
-    // CHECK: fpext half %{{.+}} to fp128
-    a as f128
-}
-
-// CHECK-LABEL: @f32_as_f16
-#[no_mangle]
-pub fn f32_as_f16(a: f32) -> f16 {
-    // CHECK: fptrunc float %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @f64_as_f16
-#[no_mangle]
-pub fn f64_as_f16(a: f64) -> f16 {
-    // CHECK: fptrunc double %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @f128_as_f16
-#[no_mangle]
-pub fn f128_as_f16(a: f128) -> f16 {
-    // CHECK: fptrunc fp128 %{{.+}} to half
-    a as f16
-}
-
-/* float to int conversions */
-
-// CHECK-LABEL: i8 @f16_as_u8(
-#[no_mangle]
-pub fn f16_as_u8(a: f16) -> u8 {
-    // CHECK: call i8 @llvm.fptoui.sat.i8.f16(half %{{.+}})
-    a as u8
-}
-
-#[no_mangle]
-pub fn f16_as_u16(a: f16) -> u16 {
-    // CHECK: call i16 @llvm.fptoui.sat.i16.f16(half %{{.+}})
-    a as u16
-}
-
-// CHECK-LABEL: i32 @f16_as_u32(
-#[no_mangle]
-pub fn f16_as_u32(a: f16) -> u32 {
-    // CHECK: call i32 @llvm.fptoui.sat.i32.f16(half %{{.+}})
-    a as u32
-}
-
-// CHECK-LABEL: i64 @f16_as_u64(
-#[no_mangle]
-pub fn f16_as_u64(a: f16) -> u64 {
-    // CHECK: call i64 @llvm.fptoui.sat.i64.f16(half %{{.+}})
-    a as u64
-}
-
-// x86-sse-LABEL: void @f16_as_u128({{.*}}sret([16 x i8])
-// x86-nosse-LABEL: void @f16_as_u128({{.*}}sret([16 x i8])
-// bit32-LABEL: void @f16_as_u128({{.*}}sret([16 x i8])
-// bit64-LABEL: i128 @f16_as_u128(
-#[no_mangle]
-pub fn f16_as_u128(a: f16) -> u128 {
-    // CHECK: call i128 @llvm.fptoui.sat.i128.f16(half %{{.+}})
-    a as u128
-}
-
-// CHECK-LABEL: i8 @f16_as_i8(
-#[no_mangle]
-pub fn f16_as_i8(a: f16) -> i8 {
-    // CHECK: call i8 @llvm.fptosi.sat.i8.f16(half %{{.+}})
-    a as i8
-}
-
-// CHECK-LABEL: i16 @f16_as_i16(
-#[no_mangle]
-pub fn f16_as_i16(a: f16) -> i16 {
-    // CHECK: call i16 @llvm.fptosi.sat.i16.f16(half %{{.+}})
-    a as i16
-}
-// CHECK-LABEL: i32 @f16_as_i32(
-#[no_mangle]
-pub fn f16_as_i32(a: f16) -> i32 {
-    // CHECK: call i32 @llvm.fptosi.sat.i32.f16(half %{{.+}})
-    a as i32
-}
-
-// CHECK-LABEL: i64 @f16_as_i64(
-#[no_mangle]
-pub fn f16_as_i64(a: f16) -> i64 {
-    // CHECK: call i64 @llvm.fptosi.sat.i64.f16(half %{{.+}})
-    a as i64
-}
-
-// x86-sse-LABEL: void @f16_as_i128({{.*}}sret([16 x i8])
-// x86-nosse-LABEL: void @f16_as_i128({{.*}}sret([16 x i8])
-// bit32-LABEL: void @f16_as_i128({{.*}}sret([16 x i8])
-// bit64-LABEL: i128 @f16_as_i128(
-#[no_mangle]
-pub fn f16_as_i128(a: f16) -> i128 {
-    // CHECK: call i128 @llvm.fptosi.sat.i128.f16(half %{{.+}})
-    a as i128
-}
-
-/* int to float conversions */
-
-// CHECK-LABEL: @u8_as_f16
-#[no_mangle]
-pub fn u8_as_f16(a: u8) -> f16 {
-    // CHECK: uitofp i8 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @u16_as_f16
-#[no_mangle]
-pub fn u16_as_f16(a: u16) -> f16 {
-    // CHECK: uitofp i16 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @u32_as_f16
-#[no_mangle]
-pub fn u32_as_f16(a: u32) -> f16 {
-    // CHECK: uitofp i32 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @u64_as_f16
-#[no_mangle]
-pub fn u64_as_f16(a: u64) -> f16 {
-    // CHECK: uitofp i64 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @u128_as_f16
-#[no_mangle]
-pub fn u128_as_f16(a: u128) -> f16 {
-    // CHECK: uitofp i128 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @i8_as_f16
-#[no_mangle]
-pub fn i8_as_f16(a: i8) -> f16 {
-    // CHECK: sitofp i8 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @i16_as_f16
-#[no_mangle]
-pub fn i16_as_f16(a: i16) -> f16 {
-    // CHECK: sitofp i16 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @i32_as_f16
-#[no_mangle]
-pub fn i32_as_f16(a: i32) -> f16 {
-    // CHECK: sitofp i32 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @i64_as_f16
-#[no_mangle]
-pub fn i64_as_f16(a: i64) -> f16 {
-    // CHECK: sitofp i64 %{{.+}} to half
-    a as f16
-}
-
-// CHECK-LABEL: @i128_as_f16
-#[no_mangle]
-pub fn i128_as_f16(a: i128) -> f16 {
-    // CHECK: sitofp i128 %{{.+}} to half
-    a as f16
-}
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-11-08 16:56:08 +0000