__attribute__((clang_builtin_alias(__builtin_elementwise_ceil)))
double4 ceil(double4);
+// floor builtins
+#ifdef __HLSL_ENABLE_16_BIT
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+half floor(half);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+half2 floor(half2);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+half3 floor(half3);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+half4 floor(half4);
+#endif
+
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor))) float
+floor(float);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+float2 floor(float2);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+float3 floor(float3);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+float4 floor(float4);
+
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor))) double
+floor(double);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+double2 floor(double2);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+double3 floor(double3);
+__attribute__((clang_builtin_alias(__builtin_elementwise_floor)))
+double4 floor(double4);
+
// cos builtins
#ifdef __HLSL_ENABLE_16_BIT
__attribute__((clang_builtin_alias(__builtin_elementwise_cos))) half cos(half);
--- /dev/null
+// RUN: %clang_cc1 -std=hlsl2021 -finclude-default-header -x hlsl -triple \\r
+// RUN: dxil-pc-shadermodel6.3-library %s -fnative-half-type \\r
+// RUN: -emit-llvm -disable-llvm-passes -O3 -o - | FileCheck %s\r
+// RUN: %clang_cc1 -std=hlsl2021 -finclude-default-header -x hlsl -triple \\r
+// RUN: dxil-pc-shadermodel6.3-library %s -emit-llvm -disable-llvm-passes \\r
+// RUN: -D__HLSL_ENABLE_16_BIT -o - | FileCheck %s --check-prefix=NO_HALF\r
+\r
+using hlsl::floor;\r
+\r
+// CHECK: define noundef half @\r
+// CHECK: call half @llvm.floor.f16(\r
+// NO_HALF: define noundef float @"?test_floor_half@@YA$halff@$halff@@Z"(\r
+// NO_HALF: call float @llvm.floor.f32(float %0)\r
+half test_floor_half ( half p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <2 x half> @\r
+// CHECK: call <2 x half> @llvm.floor.v2f16(\r
+// NO_HALF: define noundef <2 x float> @"?test_floor_half2@@YAT?$__vector@$halff@$01@__clang@@T12@@Z"(\r
+// NO_HALF: call <2 x float> @llvm.floor.v2f32(\r
+half2 test_floor_half2 ( half2 p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <3 x half> @\r
+// CHECK: call <3 x half> @llvm.floor.v3f16(\r
+// NO_HALF: define noundef <3 x float> @"?test_floor_half3@@YAT?$__vector@$halff@$02@__clang@@T12@@Z"(\r
+// NO_HALF: call <3 x float> @llvm.floor.v3f32(\r
+half3 test_floor_half3 ( half3 p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <4 x half> @\r
+// CHECK: call <4 x half> @llvm.floor.v4f16(\r
+// NO_HALF: define noundef <4 x float> @"?test_floor_half4@@YAT?$__vector@$halff@$03@__clang@@T12@@Z"(\r
+// NO_HALF: call <4 x float> @llvm.floor.v4f32(\r
+half4 test_floor_half4 ( half4 p0 ) {\r
+ return floor ( p0 );\r
+}\r
+\r
+// CHECK: define noundef float @\r
+// CHECK: call float @llvm.floor.f32(\r
+float test_floor_float ( float p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <2 x float> @\r
+// CHECK: call <2 x float> @llvm.floor.v2f32(\r
+float2 test_floor_float2 ( float2 p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <3 x float> @\r
+// CHECK: call <3 x float> @llvm.floor.v3f32(\r
+float3 test_floor_float3 ( float3 p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <4 x float> @\r
+// CHECK: call <4 x float> @llvm.floor.v4f32(\r
+float4 test_floor_float4 ( float4 p0 ) {\r
+ return floor ( p0 );\r
+}\r
+\r
+// CHECK: define noundef double @\r
+// CHECK: call double @llvm.floor.f64(\r
+double test_floor_double ( double p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <2 x double> @\r
+// CHECK: call <2 x double> @llvm.floor.v2f64(\r
+double2 test_floor_double2 ( double2 p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <3 x double> @\r
+// CHECK: call <3 x double> @llvm.floor.v3f64(\r
+double3 test_floor_double3 ( double3 p0 ) {\r
+ return floor ( p0 );\r
+}\r
+// CHECK: define noundef <4 x double> @\r
+// CHECK: call <4 x double> @llvm.floor.v4f64(\r
+double4 test_floor_double4 ( double4 p0 ) {\r
+ return floor ( p0 );\r
+}\r