[HLSL] Make atan2, cos, ceil overload tests stricter NFC (#177431)

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.
This commit is contained in:
joaosaffran 2026-01-22 15:19:53 -08:00 committed by GitHub
parent a7b57cf7bb
commit 98b42e384a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 250 additions and 126 deletions

View File

@ -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
// RUN: spirv-unknown-vulkan-compute %s -emit-llvm \
// RUN: -o - | FileCheck %s --check-prefixes=CHECK -DFNATTRS="hidden spir_func noundef nofpclass(nan inf)"
// CHECK-LABEL: test_atan2_double
// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.atan2.f32
// 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);
}

View File

@ -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: [[CONVI:%.*]] = uitofp <4 x i64> %{{.*}} to <4 x float>
// CHECK: ret <4 x float> [[CONVI]]
float4 test_ceil_uint64_t4(uint64_t4 p0) { return ceil(p0); }

View File

@ -1,68 +1,108 @@
// 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)"
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float {{.*}}test_cos_double
// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.cos.f32(
// CHECK: define [[FNATTRS]] float @_Z15test_cos_doubled(
// CHECK: [[CONVI:%.*]] = fptrunc {{.*}} double %{{.*}} to float
// CHECK: [[V2:%.*]] = call {{.*}} float @llvm.cos.f32(float [[CONVI]])
// CHECK: ret float [[V2]]
float test_cos_double(double p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> {{.*}}test_cos_double2
// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.cos.v2f32
// CHECK: define [[FNATTRS]] <2 x float> @_Z16test_cos_double2Dv2_d(
// CHECK: [[CONVI:%.*]] = fptrunc {{.*}} <2 x double> %{{.*}} to <2 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <2 x float> @llvm.cos.v2f32(<2 x float> [[CONVI]])
// CHECK: ret <2 x float> [[V2]]
float2 test_cos_double2(double2 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> {{.*}}test_cos_double3
// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.cos.v3f32
// CHECK: define [[FNATTRS]] <3 x float> @_Z16test_cos_double3Dv3_d(
// CHECK: [[CONVI:%.*]] = fptrunc {{.*}} <3 x double> %{{.*}} to <3 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <3 x float> @llvm.cos.v3f32(<3 x float> [[CONVI]])
// CHECK: ret <3 x float> [[V2]]
float3 test_cos_double3(double3 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> {{.*}}test_cos_double4
// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.cos.v4f32
// CHECK: define [[FNATTRS]] <4 x float> @_Z16test_cos_double4Dv4_d(
// CHECK: [[CONVI:%.*]] = fptrunc {{.*}} <4 x double> %{{.*}} to <4 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <4 x float> @llvm.cos.v4f32(<4 x float> [[CONVI]])
// CHECK: ret <4 x float> [[V2]]
float4 test_cos_double4(double4 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float {{.*}}test_cos_int
// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.cos.f32(
// CHECK: define [[FNATTRS]] float @_Z12test_cos_inti(
// CHECK: [[CONVI:%.*]] = sitofp i32 %{{.*}} to float
// CHECK: [[V2:%.*]] = call {{.*}} float @llvm.cos.f32(float [[CONVI]])
// CHECK: ret float [[V2]]
float test_cos_int(int p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> {{.*}}test_cos_int2
// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.cos.v2f32
// CHECK: define [[FNATTRS]] <2 x float> @_Z13test_cos_int2Dv2_i(
// CHECK: [[CONVI:%.*]] = sitofp <2 x i32> %{{.*}} to <2 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <2 x float> @llvm.cos.v2f32(<2 x float> [[CONVI]])
// CHECK: ret <2 x float> [[V2]]
float2 test_cos_int2(int2 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> {{.*}}test_cos_int3
// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.cos.v3f32
// CHECK: define [[FNATTRS]] <3 x float> @_Z13test_cos_int3Dv3_i(
// CHECK: [[CONVI:%.*]] = sitofp <3 x i32> %{{.*}} to <3 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <3 x float> @llvm.cos.v3f32(<3 x float> [[CONVI]])
// CHECK: ret <3 x float> [[V2]]
float3 test_cos_int3(int3 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> {{.*}}test_cos_int4
// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.cos.v4f32
// CHECK: define [[FNATTRS]] <4 x float> @_Z13test_cos_int4Dv4_i(
// CHECK: [[CONVI:%.*]] = sitofp <4 x i32> %{{.*}} to <4 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <4 x float> @llvm.cos.v4f32(<4 x float> [[CONVI]])
// CHECK: ret <4 x float> [[V2]]
float4 test_cos_int4(int4 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float {{.*}}test_cos_uint
// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.cos.f32(
// CHECK: define [[FNATTRS]] float @_Z13test_cos_uintj(
// CHECK: [[CONVI:%.*]] = uitofp i32 %{{.*}} to float
// CHECK: [[V2:%.*]] = call {{.*}} float @llvm.cos.f32(float [[CONVI]])
// CHECK: ret float [[V2]]
float test_cos_uint(uint p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> {{.*}}test_cos_uint2
// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.cos.v2f32
// CHECK: define [[FNATTRS]] <2 x float> @_Z14test_cos_uint2Dv2_j(
// CHECK: [[CONVI:%.*]] = uitofp <2 x i32> %{{.*}} to <2 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <2 x float> @llvm.cos.v2f32(<2 x float> [[CONVI]])
// CHECK: ret <2 x float> [[V2]]
float2 test_cos_uint2(uint2 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> {{.*}}test_cos_uint3
// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.cos.v3f32
// CHECK: define [[FNATTRS]] <3 x float> @_Z14test_cos_uint3Dv3_j(
// CHECK: [[CONVI:%.*]] = uitofp <3 x i32> %{{.*}} to <3 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <3 x float> @llvm.cos.v3f32(<3 x float> [[CONVI]])
// CHECK: ret <3 x float> [[V2]]
float3 test_cos_uint3(uint3 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> {{.*}}test_cos_uint4
// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.cos.v4f32
// CHECK: define [[FNATTRS]] <4 x float> @_Z14test_cos_uint4Dv4_j(
// CHECK: [[CONVI:%.*]] = uitofp <4 x i32> %{{.*}} to <4 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <4 x float> @llvm.cos.v4f32(<4 x float> [[CONVI]])
// CHECK: ret <4 x float> [[V2]]
float4 test_cos_uint4(uint4 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float {{.*}}test_cos_int64_t
// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.cos.f32(
// CHECK: define [[FNATTRS]] float @_Z16test_cos_int64_tl(
// CHECK: [[CONVI:%.*]] = sitofp i64 %{{.*}} to float
// CHECK: [[V2:%.*]] = call {{.*}} float @llvm.cos.f32(float [[CONVI]])
// CHECK: ret float [[V2]]
float test_cos_int64_t(int64_t p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> {{.*}}test_cos_int64_t2
// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.cos.v2f32
// CHECK: define [[FNATTRS]] <2 x float> @_Z17test_cos_int64_t2Dv2_l(
// CHECK: [[CONVI:%.*]] = sitofp <2 x i64> %{{.*}} to <2 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <2 x float> @llvm.cos.v2f32(<2 x float> [[CONVI]])
// CHECK: ret <2 x float> [[V2]]
float2 test_cos_int64_t2(int64_t2 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> {{.*}}test_cos_int64_t3
// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.cos.v3f32
// CHECK: define [[FNATTRS]] <3 x float> @_Z17test_cos_int64_t3Dv3_l(
// CHECK: [[CONVI:%.*]] = sitofp <3 x i64> %{{.*}} to <3 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <3 x float> @llvm.cos.v3f32(<3 x float> [[CONVI]])
// CHECK: ret <3 x float> [[V2]]
float3 test_cos_int64_t3(int64_t3 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> {{.*}}test_cos_int64_t4
// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.cos.v4f32
// CHECK: define [[FNATTRS]] <4 x float> @_Z17test_cos_int64_t4Dv4_l(
// CHECK: [[CONVI:%.*]] = sitofp <4 x i64> %{{.*}} to <4 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <4 x float> @llvm.cos.v4f32(<4 x float> [[CONVI]])
// CHECK: ret <4 x float> [[V2]]
float4 test_cos_int64_t4(int64_t4 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) float {{.*}}test_cos_uint64_t
// CHECK: call reassoc nnan ninf nsz arcp afn float @llvm.cos.f32(
// CHECK: define [[FNATTRS]] float @_Z17test_cos_uint64_tm(
// CHECK: [[CONVI:%.*]] = uitofp i64 %{{.*}} to float
// CHECK: [[V2:%.*]] = call {{.*}} float @llvm.cos.f32(float [[CONVI]])
// CHECK: ret float [[V2]]
float test_cos_uint64_t(uint64_t p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <2 x float> {{.*}}test_cos_uint64_t2
// CHECK: call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.cos.v2f32
// CHECK: define [[FNATTRS]] <2 x float> @_Z18test_cos_uint64_t2Dv2_m(
// CHECK: [[CONVI:%.*]] = uitofp <2 x i64> %{{.*}} to <2 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <2 x float> @llvm.cos.v2f32(<2 x float> [[CONVI]])
// CHECK: ret <2 x float> [[V2]]
float2 test_cos_uint64_t2(uint64_t2 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <3 x float> {{.*}}test_cos_uint64_t3
// CHECK: call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.cos.v3f32
// CHECK: define [[FNATTRS]] <3 x float> @_Z18test_cos_uint64_t3Dv3_m(
// CHECK: [[CONVI:%.*]] = uitofp <3 x i64> %{{.*}} to <3 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <3 x float> @llvm.cos.v3f32(<3 x float> [[CONVI]])
// CHECK: ret <3 x float> [[V2]]
float3 test_cos_uint64_t3(uint64_t3 p0) { return cos(p0); }
// CHECK-LABEL: define hidden noundef nofpclass(nan inf) <4 x float> {{.*}}test_cos_uint64_t4
// CHECK: call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.cos.v4f32
// CHECK: define [[FNATTRS]] <4 x float> @_Z18test_cos_uint64_t4Dv4_m(
// CHECK: [[CONVI:%.*]] = uitofp <4 x i64> %{{.*}} to <4 x float>
// CHECK: [[V2:%.*]] = call {{.*}} <4 x float> @llvm.cos.v4f32(<4 x float> [[CONVI]])
// CHECK: ret <4 x float> [[V2]]
float4 test_cos_uint64_t4(uint64_t4 p0) { return cos(p0); }