=?utf-8?q?João?= Saffran <[email protected]>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/[email protected]>


llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-hlsl

@llvm/pr-subscribers-clang

Author: None (joaosaffran)

<details>
<summary>Changes</summary>

This patch updates atan2, cos and ceil overload tests to use -O1 instead of 
-disable-llvm-passes; also, the checks are updated to match the change 
accordingly.

This work is part of https://github.com/llvm/llvm-project/issues/138016.

---

Patch is 30.09 KiB, truncated to 20.00 KiB below, full version: 
https://github.com/llvm/llvm-project/pull/177431.diff


3 Files Affected:

- (modified) clang/test/CodeGenHLSL/builtins/atan2-overloads.hlsl (+103-43) 
- (modified) clang/test/CodeGenHLSL/builtins/ceil-overloads.hlsl (+66-42) 
- (modified) clang/test/CodeGenHLSL/builtins/cos-overloads.hlsl (+82-42) 


``````````diff
diff --git a/clang/test/CodeGenHLSL/builtins/atan2-overloads.hlsl 
b/clang/test/CodeGenHLSL/builtins/atan2-overloads.hlsl
index 43b6e78a09f83..85ff75110a78e 100644
--- a/clang/test/CodeGenHLSL/builtins/atan2-overloads.hlsl
+++ b/clang/test/CodeGenHLSL/builtins/atan2-overloads.hlsl
@@ -1,123 +1,183 @@
 // RUN: %clang_cc1 -std=hlsl202x -finclude-default-header -x hlsl -triple \
-// RUN:   spirv-unknown-vulkan-compute %s -emit-llvm -disable-llvm-passes \
-// RUN:   -o - | FileCheck %s --check-prefixes=CHECK
-
-// CHECK-LABEL: test_atan2_double
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.atan2.f32
+// RUN:   spirv-unknown-vulkan-compute %s -emit-llvm  \
+// RUN:   -o - | FileCheck %s --check-prefixes=CHECK -DFNATTRS="hidden 
spir_func noundef nofpclass(nan inf)" 
+
+// CHECK: define [[FNATTRS]] float @_Z17test_atan2_doubledd(
+// CHECK:    [[CONVI:%.*]] = fptrunc {{.*}} double %{{.*}} to float
+// CHECK:    [[CONV1I:%.*]] = fptrunc {{.*}} double %{{.*}} to float
+// CHECK:    [[V5:%.*]] = call {{.*}} float @llvm.atan2.f32(float [[CONVI]], 
float [[CONV1I]])
+// CHECK:    ret float [[V5]]
 float test_atan2_double (double p0, double p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_double2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.atan2.v2f32
+// CHECK: define [[FNATTRS]] <2 x float> @_Z18test_atan2_double2Dv2_dS_(
+// CHECK:    [[CONVI:%.*]] = fptrunc {{.*}} <2 x double> %{{.*}} to <2 x float>
+// CHECK:    [[CONV1I:%.*]] = fptrunc {{.*}} <2 x double> %{{.*}} to <2 x 
float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <2 x float> @llvm.atan2.v2f32(<2 x 
float> [[CONVI]], <2 x float> [[CONV1I]])
+// CHECK:    ret <2 x float> [[V5]]
 float2 test_atan2_double2 (double2 p0, double2 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_double3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.atan2.v3f32
+// CHECK: define [[FNATTRS]] <3 x float> @_Z18test_atan2_double3Dv3_dS_(
+// CHECK:    [[CONVI:%.*]] = fptrunc {{.*}} <3 x double> %{{.*}} to <3 x float>
+// CHECK:    [[CONV1I:%.*]] = fptrunc {{.*}} <3 x double> %{{.*}} to <3 x 
float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <3 x float> @llvm.atan2.v3f32(<3 x 
float> [[CONVI]], <3 x float> [[CONV1I]])
+// CHECK:    ret <3 x float> [[V5]]
 float3 test_atan2_double3 (double3 p0, double3 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_double4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.atan2.v4f32
+// CHECK: define [[FNATTRS]] <4 x float> @_Z18test_atan2_double4Dv4_dS_(
+// CHECK:    [[CONVI:%.*]] = fptrunc {{.*}} <4 x double> %{{.*}} to <4 x float>
+// CHECK:    [[CONV1I:%.*]] = fptrunc {{.*}} <4 x double> %{{.*}} to <4 x 
float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <4 x float> @llvm.atan2.v4f32(<4 x 
float> [[CONVI]], <4 x float> [[CONV1I]])
+// CHECK:    ret <4 x float> [[V5]]
 float4 test_atan2_double4 (double4 p0, double4 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_int
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.atan2.f32
+// CHECK: define [[FNATTRS]] float @_Z14test_atan2_intii(
+// CHECK:    [[CONVI:%.*]] = sitofp i32 %{{.*}} to float
+// CHECK:    [[CONV1I:%.*]] = sitofp i32 %{{.*}} to float
+// CHECK:    [[V5:%.*]] = call {{.*}} float @llvm.atan2.f32(float [[CONVI]], 
float [[CONV1I]])
+// CHECK:    ret float [[V5]]
 float test_atan2_int (int p0, int p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_int2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.atan2.v2f32
+// CHECK: define [[FNATTRS]] <2 x float> @_Z15test_atan2_int2Dv2_iS_(
+// CHECK:    [[CONVI:%.*]] = sitofp <2 x i32> %{{.*}} to <2 x float>
+// CHECK:    [[CONV1I:%.*]] = sitofp <2 x i32> %{{.*}} to <2 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <2 x float> @llvm.atan2.v2f32(<2 x 
float> [[CONVI]], <2 x float> [[CONV1I]])
+// CHECK:    ret <2 x float> [[V5]]
 float2 test_atan2_int2 (int2 p0, int2 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_int3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.atan2.v3f32
+// CHECK: define [[FNATTRS]] <3 x float> @_Z15test_atan2_int3Dv3_iS_(
+// CHECK:    [[CONVI:%.*]] = sitofp <3 x i32> %{{.*}} to <3 x float>
+// CHECK:    [[CONV1I:%.*]] = sitofp <3 x i32> %{{.*}} to <3 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <3 x float> @llvm.atan2.v3f32(<3 x 
float> [[CONVI]], <3 x float> [[CONV1I]])
+// CHECK:    ret <3 x float> [[V5]]
 float3 test_atan2_int3 (int3 p0, int3 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_int4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.atan2.v4f32
+// CHECK: define [[FNATTRS]] <4 x float> @_Z15test_atan2_int4Dv4_iS_(
+// CHECK:    [[CONVI:%.*]] = sitofp <4 x i32> %{{.*}} to <4 x float>
+// CHECK:    [[CONV1I:%.*]] = sitofp <4 x i32> %{{.*}} to <4 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <4 x float> @llvm.atan2.v4f32(<4 x 
float> [[CONVI]], <4 x float> [[CONV1I]])
+// CHECK:    ret <4 x float> [[V5]]
 float4 test_atan2_int4 (int4 p0, int4 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_uint
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.atan2.f32
+// CHECK: define [[FNATTRS]] float @_Z15test_atan2_uintjj(
+// CHECK:    [[CONVI:%.*]] = uitofp i32 %{{.*}} to float
+// CHECK:    [[CONV1I:%.*]] = uitofp i32 %{{.*}} to float
+// CHECK:    [[V5:%.*]] = call {{.*}} float @llvm.atan2.f32(float [[CONVI]], 
float [[CONV1I]])
+// CHECK:    ret float [[V5]]
 float test_atan2_uint (uint p0, uint p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_uint2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.atan2.v2f32
+// CHECK: define [[FNATTRS]] <2 x float> @_Z16test_atan2_uint2Dv2_jS_(
+// CHECK:    [[CONVI:%.*]] = uitofp <2 x i32> %{{.*}} to <2 x float>
+// CHECK:    [[CONV1I:%.*]] = uitofp <2 x i32> %{{.*}} to <2 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <2 x float> @llvm.atan2.v2f32(<2 x 
float> [[CONVI]], <2 x float> [[CONV1I]])
+// CHECK:    ret <2 x float> [[V5]]
 float2 test_atan2_uint2 (uint2 p0, uint2 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_uint3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.atan2.v3f32
+// CHECK: define [[FNATTRS]] <3 x float> @_Z16test_atan2_uint3Dv3_jS_(
+// CHECK:    [[CONVI:%.*]] = uitofp <3 x i32> %{{.*}} to <3 x float>
+// CHECK:    [[CONV1I:%.*]] = uitofp <3 x i32> %{{.*}} to <3 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <3 x float> @llvm.atan2.v3f32(<3 x 
float> [[CONVI]], <3 x float> [[CONV1I]])
+// CHECK:    ret <3 x float> [[V5]]
 float3 test_atan2_uint3 (uint3 p0, uint3 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_uint4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.atan2.v4f32
+// CHECK: define [[FNATTRS]] <4 x float> @_Z16test_atan2_uint4Dv4_jS_(
+// CHECK:    [[CONVI:%.*]] = uitofp <4 x i32> %{{.*}} to <4 x float>
+// CHECK:    [[CONV1I:%.*]] = uitofp <4 x i32> %{{.*}} to <4 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <4 x float> @llvm.atan2.v4f32(<4 x 
float> [[CONVI]], <4 x float> [[CONV1I]])
+// CHECK:    ret <4 x float> [[V5]]
 float4 test_atan2_uint4 (uint4 p0, uint4 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_int64_t
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.atan2.f32
+// CHECK: define [[FNATTRS]] float @_Z18test_atan2_int64_tll(
+// CHECK:    [[CONVI:%.*]] = sitofp i64 %{{.*}} to float
+// CHECK:    [[CONV1I:%.*]] = sitofp i64 %{{.*}} to float
+// CHECK:    [[V5:%.*]] = call {{.*}} float @llvm.atan2.f32(float [[CONVI]], 
float [[CONV1I]])
+// CHECK:    ret float [[V5]]
 float test_atan2_int64_t (int64_t p0, int64_t p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_int64_t2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.atan2.v2f32
+// CHECK: define [[FNATTRS]] <2 x float> @_Z19test_atan2_int64_t2Dv2_lS_(
+// CHECK:    [[CONVI:%.*]] = sitofp <2 x i64> %{{.*}} to <2 x float>
+// CHECK:    [[CONV1I:%.*]] = sitofp <2 x i64> %{{.*}} to <2 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <2 x float> @llvm.atan2.v2f32(<2 x 
float> [[CONVI]], <2 x float> [[CONV1I]])
+// CHECK:    ret <2 x float> [[V5]]
 float2 test_atan2_int64_t2 (int64_t2 p0, int64_t2 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_int64_t3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.atan2.v3f32
+// CHECK: define [[FNATTRS]] <3 x float> @_Z19test_atan2_int64_t3Dv3_lS_(
+// CHECK:    [[CONVI:%.*]] = sitofp <3 x i64> %{{.*}} to <3 x float>
+// CHECK:    [[CONV1I:%.*]] = sitofp <3 x i64> %{{.*}} to <3 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <3 x float> @llvm.atan2.v3f32(<3 x 
float> [[CONVI]], <3 x float> [[CONV1I]])
+// CHECK:    ret <3 x float> [[V5]]
 float3 test_atan2_int64_t3 (int64_t3 p0, int64_t3 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_int64_t4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.atan2.v4f32
+// CHECK: define [[FNATTRS]] <4 x float> @_Z19test_atan2_int64_t4Dv4_lS_(
+// CHECK:    [[CONVI:%.*]] = sitofp <4 x i64> %{{.*}} to <4 x float>
+// CHECK:    [[CONV1I:%.*]] = sitofp <4 x i64> %{{.*}} to <4 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <4 x float> @llvm.atan2.v4f32(<4 x 
float> [[CONVI]], <4 x float> [[CONV1I]])
+// CHECK:    ret <4 x float> [[V5]]
 float4 test_atan2_int64_t4 (int64_t4 p0, int64_t4 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_uint64_t
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.atan2.f32
+// CHECK: define [[FNATTRS]] float @_Z19test_atan2_uint64_tmm(
+// CHECK:    [[CONVI:%.*]] = uitofp i64 %{{.*}} to float
+// CHECK:    [[CONV1I:%.*]] = uitofp i64 %{{.*}} to float
+// CHECK:    [[V5:%.*]] = call {{.*}} float @llvm.atan2.f32(float [[CONVI]], 
float [[CONV1I]])
+// CHECK:    ret float [[V5]]
 float test_atan2_uint64_t (uint64_t p0, uint64_t p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_uint64_t2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.atan2.v2f32
+// CHECK: define [[FNATTRS]] <2 x float> @_Z20test_atan2_uint64_t2Dv2_mS_(
+// CHECK:    [[CONVI:%.*]] = uitofp <2 x i64> %{{.*}} to <2 x float>
+// CHECK:    [[CONV1I:%.*]] = uitofp <2 x i64> %{{.*}} to <2 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <2 x float> @llvm.atan2.v2f32(<2 x 
float> [[CONVI]], <2 x float> [[CONV1I]])
+// CHECK:    ret <2 x float> [[V5]]
 float2 test_atan2_uint64_t2 (uint64_t2 p0, uint64_t2 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_uint64_t3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.atan2.v3f32
+// CHECK: define [[FNATTRS]] <3 x float> @_Z20test_atan2_uint64_t3Dv3_mS_(
+// CHECK:    [[CONVI:%.*]] = uitofp <3 x i64> %{{.*}} to <3 x float>
+// CHECK:    [[CONV1I:%.*]] = uitofp <3 x i64> %{{.*}} to <3 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <3 x float> @llvm.atan2.v3f32(<3 x 
float> [[CONVI]], <3 x float> [[CONV1I]])
+// CHECK:    ret <3 x float> [[V5]]
 float3 test_atan2_uint64_t3 (uint64_t3 p0, uint64_t3 p1) {
   return atan2(p0, p1);
 }
 
-// CHECK-LABEL: test_atan2_uint64_t4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.atan2.v4f32
+// CHECK: define [[FNATTRS]] <4 x float> @_Z20test_atan2_uint64_t4Dv4_mS_(
+// CHECK:    [[CONVI:%.*]] = uitofp <4 x i64> %{{.*}} to <4 x float>
+// CHECK:    [[CONV1I:%.*]] = uitofp <4 x i64> %{{.*}} to <4 x float>
+// CHECK:    [[V5:%.*]] = call {{.*}} <4 x float> @llvm.atan2.v4f32(<4 x 
float> [[CONVI]], <4 x float> [[CONV1I]])
+// CHECK:    ret <4 x float> [[V5]]
 float4 test_atan2_uint64_t4 (uint64_t4 p0, uint64_t4 p1) {
   return atan2(p0, p1);
 }
diff --git a/clang/test/CodeGenHLSL/builtins/ceil-overloads.hlsl 
b/clang/test/CodeGenHLSL/builtins/ceil-overloads.hlsl
index bdefe46b802e7..428453c9f9eef 100644
--- a/clang/test/CodeGenHLSL/builtins/ceil-overloads.hlsl
+++ b/clang/test/CodeGenHLSL/builtins/ceil-overloads.hlsl
@@ -1,70 +1,94 @@
 // RUN: %clang_cc1 -std=hlsl202x -finclude-default-header -triple 
dxil-pc-shadermodel6.3-library %s \
-// RUN:  -emit-llvm -disable-llvm-passes -o - | \
-// RUN:  FileCheck %s --check-prefixes=CHECK
+// RUN:  -emit-llvm -o - | \
+// RUN:  FileCheck %s --check-prefixes=CHECK -DFNATTRS="hidden noundef 
nofpclass(nan inf)"
 
 using hlsl::ceil;
 
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float 
{{.*}}test_ceil_double
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.ceil.f32(
+// CHECK: define [[FNATTRS]] float @_Z16test_ceil_doubled(
+// CHECK:    [[CONVI:%.*]] = fptrunc {{.*}} double %{{.*}} to float
+// CHECK:    [[v2:%.*]] = call {{.*}} float @llvm.ceil.f32(float [[CONVI]])
+// CHECK:    ret float [[v2]]
 float test_ceil_double(double p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> 
{{.*}}test_ceil_double2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.ceil.v2f32(
+// CHECK: define [[FNATTRS]] <2 x float> @_Z17test_ceil_double2Dv2_d(
+// CHECK:    [[CONVI:%.*]] = fptrunc {{.*}} <2 x double> %{{.*}} to <2 x float>
+// CHECK:    [[v2:%.*]] = call {{.*}} <2 x float> @llvm.ceil.v2f32(<2 x float> 
[[CONVI]])
+// CHECK:    ret <2 x float> [[v2]]
 float2 test_ceil_double2(double2 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> 
{{.*}}test_ceil_double3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.ceil.v3f32(
+// CHECK: define [[FNATTRS]] <3 x float> @_Z17test_ceil_double3Dv3_d(
+// CHECK:    [[CONVI:%.*]] = fptrunc {{.*}} <3 x double> %{{.*}} to <3 x float>
+// CHECK:    [[v2:%.*]] = call {{.*}} <3 x float> @llvm.ceil.v3f32(<3 x float> 
[[CONVI]])
+// CHECK:    ret <3 x float> [[v2]]
 float3 test_ceil_double3(double3 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> 
{{.*}}test_ceil_double4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.ceil.v4f32(
+// CHECK: define [[FNATTRS]] <4 x float> @_Z17test_ceil_double4Dv4_d(
+// CHECK:    [[CONVI:%.*]] = fptrunc {{.*}} <4 x double> %{{.*}} to <4 x float>
+// CHECK:    [[v2:%.*]] = call {{.*}} <4 x float> @llvm.ceil.v4f32(<4 x float> 
[[CONVI]])
+// CHECK:    ret <4 x float> [[v2]]
 float4 test_ceil_double4(double4 p0) { return ceil(p0); }
 
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float 
{{.*}}test_ceil_int
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.ceil.f32(
+// CHECK: define [[FNATTRS]] float @_Z13test_ceil_inti(
+// CHECK:    [[CONVI:%.*]] = sitofp i32 %{{.*}} to float
+// CHECK:    ret float [[CONVI]]
 float test_ceil_int(int p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> 
{{.*}}test_ceil_int2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.ceil.v2f32(
+// CHECK: define [[FNATTRS]] <2 x float> @_Z14test_ceil_int2Dv2_i(
+// CHECK:    [[CONVI:%.*]] = sitofp <2 x i32> %{{.*}} to <2 x float>
+// CHECK:    ret <2 x float> [[CONVI]]
 float2 test_ceil_int2(int2 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> 
{{.*}}test_ceil_int3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.ceil.v3f32(
+// CHECK: define [[FNATTRS]] <3 x float> @_Z14test_ceil_int3Dv3_i(
+// CHECK:    [[CONVI:%.*]] = sitofp <3 x i32> %{{.*}} to <3 x float>
+// CHECK:    ret <3 x float> [[CONVI]]
 float3 test_ceil_int3(int3 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> 
{{.*}}test_ceil_int4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.ceil.v4f32(
+// CHECK: define [[FNATTRS]] <4 x float> @_Z14test_ceil_int4Dv4_i(
+// CHECK:    [[CONVI:%.*]] = sitofp <4 x i32> %{{.*}} to <4 x float>
+// CHECK:    ret <4 x float> [[CONVI]]
 float4 test_ceil_int4(int4 p0) { return ceil(p0); }
 
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float 
{{.*}}test_ceil_uint
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.ceil.f32(
+// CHECK: define [[FNATTRS]] float @_Z14test_ceil_uintj(
+// CHECK:    [[CONVI:%.*]] = uitofp i32 %{{.*}} to float
+// CHECK:    ret float [[CONVI]]
 float test_ceil_uint(uint p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> 
{{.*}}test_ceil_uint2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.ceil.v2f32(
+// CHECK: define [[FNATTRS]] <2 x float> @_Z15test_ceil_uint2Dv2_j(
+// CHECK:    [[CONVI:%.*]] = uitofp <2 x i32> %{{.*}} to <2 x float>
+// CHECK:    ret <2 x float> [[CONVI]]
 float2 test_ceil_uint2(uint2 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> 
{{.*}}test_ceil_uint3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.ceil.v3f32(
+// CHECK: define [[FNATTRS]] <3 x float> @_Z15test_ceil_uint3Dv3_j(
+// CHECK:    [[CONVI:%.*]] = uitofp <3 x i32> %{{.*}} to <3 x float>
+// CHECK:    ret <3 x float> [[CONVI]]
 float3 test_ceil_uint3(uint3 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> 
{{.*}}test_ceil_uint4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.ceil.v4f32(
+// CHECK: define [[FNATTRS]] <4 x float> @_Z15test_ceil_uint4Dv4_j(
+// CHECK:    [[CONVI:%.*]] = uitofp <4 x i32> %{{.*}} to <4 x float>
+// CHECK:    ret <4 x float> [[CONVI]]
 float4 test_ceil_uint4(uint4 p0) { return ceil(p0); }
 
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float 
{{.*}}test_ceil_int64_t
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.ceil.f32(
+// CHECK: define [[FNATTRS]] float @_Z17test_ceil_int64_tl(
+// CHECK:    [[CONVI:%.*]] = sitofp i64 %{{.*}} to float
+// CHECK:    ret float [[CONVI]]
 float test_ceil_int64_t(int64_t p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> 
{{.*}}test_ceil_int64_t2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.ceil.v2f32(
+// CHECK: define [[FNATTRS]] <2 x float> @_Z18test_ceil_int64_t2Dv2_l(
+// CHECK:    [[CONVI:%.*]] = sitofp <2 x i64> %{{.*}} to <2 x float>
+// CHECK:    ret <2 x float> [[CONVI]]
 float2 test_ceil_int64_t2(int64_t2 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> 
{{.*}}test_ceil_int64_t3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.ceil.v3f32(
+// CHECK: define [[FNATTRS]] <3 x float> @_Z18test_ceil_int64_t3Dv3_l(
+// CHECK:    [[CONVI:%.*]] = sitofp <3 x i64> %{{.*}} to <3 x float>
+// CHECK:    ret <3 x float> [[CONVI]]
 float3 test_ceil_int64_t3(int64_t3 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> 
{{.*}}test_ceil_int64_t4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.ceil.v4f32(
+// CHECK: define [[FNATTRS]] <4 x float> @_Z18test_ceil_int64_t4Dv4_l(
+// CHECK:    [[CONVI:%.*]] = sitofp <4 x i64> %{{.*}} to <4 x float>
+// CHECK:    ret <4 x float> [[CONVI]]
 float4 test_ceil_int64_t4(int64_t4 p0) { return ceil(p0); }
 
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float 
{{.*}}test_ceil_uint64_t
-// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.ceil.f32(
+// CHECK: define [[FNATTRS]] float @_Z18test_ceil_uint64_tm(
+// CHECK:    [[CONVI:%.*]] = uitofp i64 %{{.*}} to float
+// CHECK:    ret float [[CONVI]]
 float test_ceil_uint64_t(uint64_t p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> 
{{.*}}test_ceil_uint64_t2
-// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.ceil.v2f32(
+// CHECK: define [[FNATTRS]] <2 x float> @_Z19test_ceil_uint64_t2Dv2_m(
+// CHECK:    [[CONVI:%.*]] = uitofp <2 x i64> %{{.*}} to <2 x float>
+// CHECK:    ret <2 x float> [[CONVI]]
 float2 test_ceil_uint64_t2(uint64_t2 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> 
{{.*}}test_ceil_uint64_t3
-// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.ceil.v3f32(
+// CHECK: define [[FNATTRS]] <3 x float> @_Z19test_ceil_uint64_t3Dv3_m(
+// CHECK:    [[CONVI:%.*]] = uitofp <3 x i64> %{{.*}} to <3 x float>
+// CHECK:    ret <3 x float> [[CONVI]]
 float3 test_ceil_uint64_t3(uint64_t3 p0) { return ceil(p0); }
-// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> 
{{.*}}test_ceil_uint64_t4
-// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.ceil.v4f32(
+// CHECK: define [[FNATTRS]] <4 x float> @_Z19test_ceil_uint64_t4Dv4_m(
+// CHECK:    [[CO...
[truncated]

``````````

</details>


https://github.com/llvm/llvm-project/pull/177431
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to