Skip to content

Commit 2647505

Browse files
authored
[HLSL] Implement the degrees intrinsic (#111209)
- add degrees builtin - link degrees api in hlsl_intrinsics.h - add degrees intrinsic to IntrinsicsDirectX.td - add degrees intrinsic to IntrinsicsSPIRV.td - add lowering from clang builtin to dx/spv intrinsics in CGBuiltin.cpp - add semantic checks to SemaHLSL.cpp - add expansion of directx intrinsic to llvm fmul for DirectX in DXILIntrinsicExpansion.cpp - add mapping to spir-v intrinsic in SPIRVInstructionSelector.cpp - add test coverage: - degrees.hlsl -> check hlsl lowering to dx/spv degrees intrinsics - degrees-errors.hlsl/half-float-only-errors -> check semantic warnings - hlsl-intrinsics/degrees.ll -> check lowering of spir-v degrees intrinsic to SPIR-V backend - DirectX/degrees.ll -> check expansion and scalarization of directx degrees intrinsic to fmul Resolves #99104
1 parent 3bef742 commit 2647505

File tree

15 files changed

+311
-0
lines changed

15 files changed

+311
-0
lines changed

clang/include/clang/Basic/Builtins.td

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4745,6 +4745,12 @@ def HLSLCross: LangBuiltin<"HLSL_LANG"> {
47454745
let Prototype = "void(...)";
47464746
}
47474747

4748+
def HLSLDegrees : LangBuiltin<"HLSL_LANG"> {
4749+
let Spellings = ["__builtin_hlsl_elementwise_degrees"];
4750+
let Attributes = [NoThrow, Const];
4751+
let Prototype = "void(...)";
4752+
}
4753+
47484754
def HLSLDotProduct : LangBuiltin<"HLSL_LANG"> {
47494755
let Spellings = ["__builtin_hlsl_dot"];
47504756
let Attributes = [NoThrow, Const];

clang/lib/CodeGen/CGBuiltin.cpp

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18755,6 +18755,16 @@ Value *CodeGenFunction::EmitHLSLBuiltinExpr(unsigned BuiltinID,
1875518755
CGM.getHLSLRuntime().getNormalizeIntrinsic(), ArrayRef<Value *>{X},
1875618756
nullptr, "hlsl.normalize");
1875718757
}
18758+
case Builtin::BI__builtin_hlsl_elementwise_degrees: {
18759+
Value *X = EmitScalarExpr(E->getArg(0));
18760+
18761+
assert(E->getArg(0)->getType()->hasFloatingRepresentation() &&
18762+
"degree operand must have a float representation");
18763+
18764+
return Builder.CreateIntrinsic(
18765+
/*ReturnType=*/X->getType(), CGM.getHLSLRuntime().getDegreesIntrinsic(),
18766+
ArrayRef<Value *>{X}, nullptr, "hlsl.degrees");
18767+
}
1875818768
case Builtin::BI__builtin_hlsl_elementwise_frac: {
1875918769
Value *Op0 = EmitScalarExpr(E->getArg(0));
1876018770
if (!E->getArg(0)->getType()->hasFloatingRepresentation())

clang/lib/CodeGen/CGHLSLRuntime.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -75,6 +75,7 @@ class CGHLSLRuntime {
7575
GENERATE_HLSL_INTRINSIC_FUNCTION(All, all)
7676
GENERATE_HLSL_INTRINSIC_FUNCTION(Any, any)
7777
GENERATE_HLSL_INTRINSIC_FUNCTION(Cross, cross)
78+
GENERATE_HLSL_INTRINSIC_FUNCTION(Degrees, degrees)
7879
GENERATE_HLSL_INTRINSIC_FUNCTION(Frac, frac)
7980
GENERATE_HLSL_INTRINSIC_FUNCTION(Length, length)
8081
GENERATE_HLSL_INTRINSIC_FUNCTION(Lerp, lerp)

clang/lib/Headers/hlsl/hlsl_intrinsics.h

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -766,6 +766,36 @@ uint64_t3 countbits(uint64_t3);
766766
_HLSL_BUILTIN_ALIAS(__builtin_elementwise_popcount)
767767
uint64_t4 countbits(uint64_t4);
768768

769+
//===----------------------------------------------------------------------===//
770+
// degrees builtins
771+
//===----------------------------------------------------------------------===//
772+
773+
/// \fn T degrees(T x)
774+
/// \brief Converts the specified value from radians to degrees.
775+
/// \param x The specified input value.
776+
777+
_HLSL_16BIT_AVAILABILITY(shadermodel, 6.2)
778+
_HLSL_BUILTIN_ALIAS(__builtin_hlsl_elementwise_degrees)
779+
half degrees(half);
780+
_HLSL_16BIT_AVAILABILITY(shadermodel, 6.2)
781+
_HLSL_BUILTIN_ALIAS(__builtin_hlsl_elementwise_degrees)
782+
half2 degrees(half2);
783+
_HLSL_16BIT_AVAILABILITY(shadermodel, 6.2)
784+
_HLSL_BUILTIN_ALIAS(__builtin_hlsl_elementwise_degrees)
785+
half3 degrees(half3);
786+
_HLSL_16BIT_AVAILABILITY(shadermodel, 6.2)
787+
_HLSL_BUILTIN_ALIAS(__builtin_hlsl_elementwise_degrees)
788+
half4 degrees(half4);
789+
790+
_HLSL_BUILTIN_ALIAS(__builtin_hlsl_elementwise_degrees)
791+
float degrees(float);
792+
_HLSL_BUILTIN_ALIAS(__builtin_hlsl_elementwise_degrees)
793+
float2 degrees(float2);
794+
_HLSL_BUILTIN_ALIAS(__builtin_hlsl_elementwise_degrees)
795+
float3 degrees(float3);
796+
_HLSL_BUILTIN_ALIAS(__builtin_hlsl_elementwise_degrees)
797+
float4 degrees(float4);
798+
769799
//===----------------------------------------------------------------------===//
770800
// dot product builtins
771801
//===----------------------------------------------------------------------===//

clang/lib/Sema/SemaHLSL.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1896,6 +1896,7 @@ bool SemaHLSL::CheckBuiltinFunctionCall(unsigned BuiltinID, CallExpr *TheCall) {
18961896
return true;
18971897
break;
18981898
}
1899+
case Builtin::BI__builtin_hlsl_elementwise_degrees:
18991900
case Builtin::BI__builtin_hlsl_elementwise_radians:
19001901
case Builtin::BI__builtin_hlsl_elementwise_rsqrt:
19011902
case Builtin::BI__builtin_hlsl_elementwise_frac: {
Lines changed: 64 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
// RUN: %clang_cc1 -finclude-default-header -triple \
2+
// RUN: dxil-pc-shadermodel6.3-library %s -fnative-half-type \
3+
// RUN: -emit-llvm -disable-llvm-passes -o - | FileCheck %s \
4+
// RUN: --check-prefixes=CHECK,NATIVE_HALF \
5+
// RUN: -DFNATTRS=noundef -DTARGET=dx
6+
// RUN: %clang_cc1 -finclude-default-header -triple \
7+
// RUN: dxil-pc-shadermodel6.3-library %s -emit-llvm -disable-llvm-passes \
8+
// RUN: -o - | FileCheck %s --check-prefixes=CHECK,NO_HALF \
9+
// RUN: -DFNATTRS=noundef -DTARGET=dx
10+
// RUN: %clang_cc1 -finclude-default-header -triple \
11+
// RUN: spirv-unknown-vulkan-compute %s -fnative-half-type \
12+
// RUN: -emit-llvm -disable-llvm-passes -o - | FileCheck %s \
13+
// RUN: --check-prefixes=CHECK,NATIVE_HALF \
14+
// RUN: -DFNATTRS="spir_func noundef" -DTARGET=spv
15+
// RUN: %clang_cc1 -finclude-default-header -triple \
16+
// RUN: spirv-unknown-vulkan-compute %s -emit-llvm -disable-llvm-passes \
17+
// RUN: -o - | FileCheck %s --check-prefixes=CHECK,NO_HALF \
18+
// RUN: -DFNATTRS="spir_func noundef" -DTARGET=spv
19+
20+
// NATIVE_HALF: define [[FNATTRS]] half @
21+
// NATIVE_HALF: %hlsl.degrees = call half @llvm.[[TARGET]].degrees.f16(
22+
// NATIVE_HALF: ret half %hlsl.degrees
23+
// NO_HALF: define [[FNATTRS]] float @
24+
// NO_HALF: %hlsl.degrees = call float @llvm.[[TARGET]].degrees.f32(
25+
// NO_HALF: ret float %hlsl.degrees
26+
half test_degrees_half(half p0) { return degrees(p0); }
27+
// NATIVE_HALF: define [[FNATTRS]] <2 x half> @
28+
// NATIVE_HALF: %hlsl.degrees = call <2 x half> @llvm.[[TARGET]].degrees.v2f16
29+
// NATIVE_HALF: ret <2 x half> %hlsl.degrees
30+
// NO_HALF: define [[FNATTRS]] <2 x float> @
31+
// NO_HALF: %hlsl.degrees = call <2 x float> @llvm.[[TARGET]].degrees.v2f32(
32+
// NO_HALF: ret <2 x float> %hlsl.degrees
33+
half2 test_degrees_half2(half2 p0) { return degrees(p0); }
34+
// NATIVE_HALF: define [[FNATTRS]] <3 x half> @
35+
// NATIVE_HALF: %hlsl.degrees = call <3 x half> @llvm.[[TARGET]].degrees.v3f16
36+
// NATIVE_HALF: ret <3 x half> %hlsl.degrees
37+
// NO_HALF: define [[FNATTRS]] <3 x float> @
38+
// NO_HALF: %hlsl.degrees = call <3 x float> @llvm.[[TARGET]].degrees.v3f32(
39+
// NO_HALF: ret <3 x float> %hlsl.degrees
40+
half3 test_degrees_half3(half3 p0) { return degrees(p0); }
41+
// NATIVE_HALF: define [[FNATTRS]] <4 x half> @
42+
// NATIVE_HALF: %hlsl.degrees = call <4 x half> @llvm.[[TARGET]].degrees.v4f16
43+
// NATIVE_HALF: ret <4 x half> %hlsl.degrees
44+
// NO_HALF: define [[FNATTRS]] <4 x float> @
45+
// NO_HALF: %hlsl.degrees = call <4 x float> @llvm.[[TARGET]].degrees.v4f32(
46+
// NO_HALF: ret <4 x float> %hlsl.degrees
47+
half4 test_degrees_half4(half4 p0) { return degrees(p0); }
48+
49+
// CHECK: define [[FNATTRS]] float @
50+
// CHECK: %hlsl.degrees = call float @llvm.[[TARGET]].degrees.f32(
51+
// CHECK: ret float %hlsl.degrees
52+
float test_degrees_float(float p0) { return degrees(p0); }
53+
// CHECK: define [[FNATTRS]] <2 x float> @
54+
// CHECK: %hlsl.degrees = call <2 x float> @llvm.[[TARGET]].degrees.v2f32
55+
// CHECK: ret <2 x float> %hlsl.degrees
56+
float2 test_degrees_float2(float2 p0) { return degrees(p0); }
57+
// CHECK: define [[FNATTRS]] <3 x float> @
58+
// CHECK: %hlsl.degrees = call <3 x float> @llvm.[[TARGET]].degrees.v3f32
59+
// CHECK: ret <3 x float> %hlsl.degrees
60+
float3 test_degrees_float3(float3 p0) { return degrees(p0); }
61+
// CHECK: define [[FNATTRS]] <4 x float> @
62+
// CHECK: %hlsl.degrees = call <4 x float> @llvm.[[TARGET]].degrees.v4f32
63+
// CHECK: ret <4 x float> %hlsl.degrees
64+
float4 test_degrees_float4(float4 p0) { return degrees(p0); }
Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
// RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -emit-llvm-only -disable-llvm-passes -verify
2+
3+
float test_too_few_arg() {
4+
return __builtin_hlsl_elementwise_degrees();
5+
// expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
6+
}
7+
8+
float2 test_too_many_arg(float2 p0) {
9+
return __builtin_hlsl_elementwise_degrees(p0, p0);
10+
// expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
11+
}
12+
13+
float builtin_bool_to_float_type_promotion(bool p1) {
14+
return __builtin_hlsl_elementwise_degrees(p1);
15+
// expected-error@-1 {{passing 'bool' to parameter of incompatible type 'float'}}
16+
}
17+
18+
float builtin_degrees_int_to_float_promotion(int p1) {
19+
return __builtin_hlsl_elementwise_degrees(p1);
20+
// expected-error@-1 {{passing 'int' to parameter of incompatible type 'float'}}
21+
}
22+
23+
float2 builtin_degrees_int2_to_float2_promotion(int2 p1) {
24+
return __builtin_hlsl_elementwise_degrees(p1);
25+
// expected-error@-1 {{passing 'int2' (aka 'vector<int, 2>') to parameter of incompatible type '__attribute__((__vector_size__(2 * sizeof(float)))) float' (vector of 2 'float' values)}}
26+
}

clang/test/SemaHLSL/BuiltIns/half-float-only-errors.hlsl

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@
1717
// RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -fnative-half-type -emit-llvm-only -disable-llvm-passes -verify -DTEST_FUNC=__builtin_elementwise_tan
1818
// RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -fnative-half-type -emit-llvm-only -disable-llvm-passes -verify -DTEST_FUNC=__builtin_elementwise_tanh
1919
// RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -fnative-half-type -emit-llvm-only -disable-llvm-passes -verify -DTEST_FUNC=__builtin_elementwise_trunc
20+
// RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -fnative-half-type -emit-llvm-only -disable-llvm-passes -verify -DTEST_FUNC=__builtin_hlsl_elementwise_degrees
2021
// RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -fnative-half-type -emit-llvm-only -disable-llvm-passes -verify -DTEST_FUNC=__builtin_hlsl_elementwise_radians
2122

2223
double test_double_builtin(double p0) {

llvm/include/llvm/IR/IntrinsicsDirectX.td

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -71,6 +71,7 @@ def int_dx_udot :
7171
[IntrNoMem, Commutative] >;
7272

7373
def int_dx_frac : DefaultAttrsIntrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>], [IntrNoMem]>;
74+
def int_dx_degrees : DefaultAttrsIntrinsic<[LLVMMatchType<0>], [llvm_anyfloat_ty], [IntrNoMem]>;
7475

7576
def int_dx_isinf : DefaultAttrsIntrinsic<[LLVMScalarOrSameVectorWidth<0, llvm_i1_ty>],
7677
[llvm_anyfloat_ty], [IntrNoMem]>;

llvm/include/llvm/IR/IntrinsicsSPIRV.td

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -62,6 +62,7 @@ let TargetPrefix = "spv" in {
6262
def int_spv_all : DefaultAttrsIntrinsic<[llvm_i1_ty], [llvm_any_ty], [IntrNoMem]>;
6363
def int_spv_any : DefaultAttrsIntrinsic<[llvm_i1_ty], [llvm_any_ty], [IntrNoMem]>;
6464
def int_spv_cross : DefaultAttrsIntrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>, LLVMMatchType<0>], [IntrNoMem]>;
65+
def int_spv_degrees : DefaultAttrsIntrinsic<[LLVMMatchType<0>], [llvm_anyfloat_ty], [IntrNoMem]>;
6566
def int_spv_frac : DefaultAttrsIntrinsic<[LLVMMatchType<0>], [llvm_anyfloat_ty], [IntrNoMem]>;
6667
def int_spv_lerp : DefaultAttrsIntrinsic<[LLVMMatchType<0>], [llvm_anyfloat_ty, LLVMMatchType<0>,LLVMMatchType<0>],
6768
[IntrNoMem] >;

llvm/lib/Target/DirectX/DXILIntrinsicExpansion.cpp

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@ static bool isIntrinsicExpansion(Function &F) {
5656
case Intrinsic::dx_clamp:
5757
case Intrinsic::dx_cross:
5858
case Intrinsic::dx_uclamp:
59+
case Intrinsic::dx_degrees:
5960
case Intrinsic::dx_lerp:
6061
case Intrinsic::dx_length:
6162
case Intrinsic::dx_normalize:
@@ -490,6 +491,14 @@ static Value *expandClampIntrinsic(CallInst *Orig,
490491
{MaxCall, Max}, nullptr, "dx.min");
491492
}
492493

494+
static Value *expandDegreesIntrinsic(CallInst *Orig) {
495+
Value *X = Orig->getOperand(0);
496+
Type *Ty = X->getType();
497+
IRBuilder<> Builder(Orig);
498+
Value *DegreesRatio = ConstantFP::get(Ty, 180.0 * llvm::numbers::inv_pi);
499+
return Builder.CreateFMul(X, DegreesRatio);
500+
}
501+
493502
static Value *expandSignIntrinsic(CallInst *Orig) {
494503
Value *X = Orig->getOperand(0);
495504
Type *Ty = X->getType();
@@ -549,6 +558,9 @@ static bool expandIntrinsic(Function &F, CallInst *Orig) {
549558
case Intrinsic::dx_clamp:
550559
Result = expandClampIntrinsic(Orig, IntrinsicId);
551560
break;
561+
case Intrinsic::dx_degrees:
562+
Result = expandDegreesIntrinsic(Orig);
563+
break;
552564
case Intrinsic::dx_lerp:
553565
Result = expandLerpIntrinsic(Orig);
554566
break;

llvm/lib/Target/SPIRV/SPIRVInstructionSelector.cpp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2513,6 +2513,8 @@ bool SPIRVInstructionSelector::selectIntrinsic(Register ResVReg,
25132513
return selectExtInst(ResVReg, ResType, I, CL::mix, GL::FMix);
25142514
case Intrinsic::spv_length:
25152515
return selectExtInst(ResVReg, ResType, I, CL::length, GL::Length);
2516+
case Intrinsic::spv_degrees:
2517+
return selectExtInst(ResVReg, ResType, I, CL::degrees, GL::Degrees);
25162518
case Intrinsic::spv_frac:
25172519
return selectExtInst(ResVReg, ResType, I, CL::fract, GL::Fract);
25182520
case Intrinsic::spv_normalize:

llvm/test/CodeGen/DirectX/degrees.ll

Lines changed: 54 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
1+
; RUN: opt -S -dxil-intrinsic-expansion -scalarizer -dxil-op-lower -mtriple=dxil-pc-shadermodel6.3-library %s | FileCheck %s
2+
3+
; Make sure dxil op function calls for degrees are expanded and lowered as fmul for float and half.
4+
5+
define noundef half @degrees_half(half noundef %a) {
6+
; CHECK-LABEL: define noundef half @degrees_half(
7+
; CHECK-SAME: half noundef [[A:%.*]]) {
8+
; CHECK-NEXT: [[ENTRY:.*:]]
9+
; CHECK-NEXT: [[DX_DEGREES1:%.*]] = fmul half [[A]], 0xH5329
10+
; CHECK-NEXT: ret half [[DX_DEGREES1]]
11+
;
12+
entry:
13+
%dx.degrees = call half @llvm.dx.degrees.f16(half %a)
14+
ret half %dx.degrees
15+
}
16+
17+
define noundef float @degrees_float(float noundef %a) #0 {
18+
; CHECK-LABEL: define noundef float @degrees_float(
19+
; CHECK-SAME: float noundef [[A:%.*]]) {
20+
; CHECK-NEXT: entry:
21+
; CHECK-NEXT: [[DEGREES:%.*]] = fmul float [[A]], 0x404CA5DC20000000
22+
; CHECK-NEXT: ret float [[DEGREES]]
23+
;
24+
entry:
25+
%dx.degrees = call float @llvm.dx.degrees.f32(float %a)
26+
ret float %dx.degrees
27+
}
28+
29+
define noundef <4 x float> @degrees_float4(<4 x float> noundef %a) #0 {
30+
; CHECK-LABEL: define noundef <4 x float> @degrees_float4(
31+
; CHECK-SAME: <4 x float> noundef [[A:%.*]]) {
32+
; CHECK-NEXT: entry:
33+
; CHECK-NEXT: [[A0:%.*]] = extractelement <4 x float> [[A]], i64 0
34+
; CHECK-NEXT: [[DEGREES_A0:%.*]] = fmul float [[A0]], 0x404CA5DC20000000
35+
; CHECK-NEXT: [[A1:%.*]] = extractelement <4 x float> [[A]], i64 1
36+
; CHECK-NEXT: [[DEGREES_A1:%.*]] = fmul float [[A1]], 0x404CA5DC20000000
37+
; CHECK-NEXT: [[A2:%.*]] = extractelement <4 x float> [[A]], i64 2
38+
; CHECK-NEXT: [[DEGREES_A2:%.*]] = fmul float [[A2]], 0x404CA5DC20000000
39+
; CHECK-NEXT: [[A3:%.*]] = extractelement <4 x float> [[A]], i64 3
40+
; CHECK-NEXT: [[DEGREES_A3:%.*]] = fmul float [[A3]], 0x404CA5DC20000000
41+
; CHECK-NEXT: [[INSERT_0:%.*]] = insertelement <4 x float> poison, float [[DEGREES_A0]], i64 0
42+
; CHECK-NEXT: [[INSERT_1:%.*]] = insertelement <4 x float> [[INSERT_0]], float [[DEGREES_A1]], i64 1
43+
; CHECK-NEXT: [[INSERT_2:%.*]] = insertelement <4 x float> [[INSERT_1]], float [[DEGREES_A2]], i64 2
44+
; CHECK-NEXT: [[RES:%.*]] = insertelement <4 x float> [[INSERT_2]], float [[DEGREES_A3]], i64 3
45+
; CHECK-NEXT: ret <4 x float> [[RES]]
46+
;
47+
entry:
48+
%2 = call <4 x float> @llvm.dx.degrees.v4f32(<4 x float> %a)
49+
ret <4 x float> %2
50+
}
51+
52+
declare half @llvm.dx.degrees.f16(half)
53+
declare float @llvm.dx.degrees.f32(float)
54+
declare <4 x float> @llvm.dx.degrees.v4f32(<4 x float>)
Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv-unknown-unknown %s -o - | FileCheck %s
2+
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-unknown %s -o - -filetype=obj | spirv-val %}
3+
4+
; CHECK-DAG: %[[#op_ext_glsl:]] = OpExtInstImport "GLSL.std.450"
5+
6+
; CHECK-DAG: %[[#float_32:]] = OpTypeFloat 32
7+
; CHECK-DAG: %[[#float_16:]] = OpTypeFloat 16
8+
9+
; CHECK-DAG: %[[#vec4_float_32:]] = OpTypeVector %[[#float_32]] 4
10+
; CHECK-DAG: %[[#vec4_float_16:]] = OpTypeVector %[[#float_16]] 4
11+
12+
; CHECK-LABEL: Begin function degrees_float
13+
define noundef float @degrees_float(float noundef %a) {
14+
entry:
15+
; CHECK: %[[#float_32_arg:]] = OpFunctionParameter %[[#float_32]]
16+
; CHECK: %[[#]] = OpExtInst %[[#float_32]] %[[#op_ext_glsl]] Degrees %[[#float_32_arg]]
17+
%elt.degrees = call float @llvm.spv.degrees.f32(float %a)
18+
ret float %elt.degrees
19+
}
20+
21+
; CHECK-LABEL: Begin function degrees_half
22+
define noundef half @degrees_half(half noundef %a) {
23+
entry:
24+
; CHECK: %[[#float_16_arg:]] = OpFunctionParameter %[[#float_16]]
25+
; CHECK: %[[#]] = OpExtInst %[[#float_16]] %[[#op_ext_glsl]] Degrees %[[#float_16_arg]]
26+
%elt.degrees = call half @llvm.spv.degrees.f16(half %a)
27+
ret half %elt.degrees
28+
}
29+
30+
; CHECK-LABEL: Begin function degrees_float_vector
31+
define noundef <4 x float> @degrees_float_vector(<4 x float> noundef %a) {
32+
entry:
33+
; CHECK: %[[#vec4_float_32_arg:]] = OpFunctionParameter %[[#vec4_float_32]]
34+
; CHECK: %[[#]] = OpExtInst %[[#vec4_float_32]] %[[#op_ext_glsl]] Degrees %[[#vec4_float_32_arg]]
35+
%elt.degrees = call <4 x float> @llvm.spv.degrees.v4f32(<4 x float> %a)
36+
ret <4 x float> %elt.degrees
37+
}
38+
39+
; CHECK-LABEL: Begin function degrees_half_vector
40+
define noundef <4 x half> @degrees_half_vector(<4 x half> noundef %a) {
41+
entry:
42+
; CHECK: %[[#vec4_float_16_arg:]] = OpFunctionParameter %[[#vec4_float_16]]
43+
; CHECK: %[[#]] = OpExtInst %[[#vec4_float_16]] %[[#op_ext_glsl]] Degrees %[[#vec4_float_16_arg]]
44+
%elt.degrees = call <4 x half> @llvm.spv.degrees.v4f16(<4 x half> %a)
45+
ret <4 x half> %elt.degrees
46+
}
47+
48+
declare half @llvm.spv.degrees.f16(half)
49+
declare float @llvm.spv.degrees.f32(float)
50+
51+
declare <4 x float> @llvm.spv.degrees.v4f32(<4 x float>)
52+
declare <4 x half> @llvm.spv.degrees.v4f16(<4 x half>)
Lines changed: 50 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
2+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
3+
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
4+
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
5+
6+
; CHECK-DAG: %[[#op_ext_glsl:]] = OpExtInstImport "OpenCL.std"
7+
8+
; CHECK-DAG: %[[#float_32:]] = OpTypeFloat 32
9+
; CHECK-DAG: %[[#float_16:]] = OpTypeFloat 16
10+
11+
; CHECK-DAG: %[[#vec4_float_32:]] = OpTypeVector %[[#float_32]] 4
12+
; CHECK-DAG: %[[#vec4_float_16:]] = OpTypeVector %[[#float_16]] 4
13+
14+
declare half @llvm.spv.degrees.f16(half)
15+
declare float @llvm.spv.degrees.f32(float)
16+
17+
declare <4 x float> @llvm.spv.degrees.v4f32(<4 x float>)
18+
declare <4 x half> @llvm.spv.degrees.v4f16(<4 x half>)
19+
20+
define noundef float @degrees_float(float noundef %a) {
21+
entry:
22+
; CHECK: %[[#float_32_arg:]] = OpFunctionParameter %[[#float_32]]
23+
; CHECK: %[[#]] = OpExtInst %[[#float_32]] %[[#op_ext_glsl]] degrees %[[#float_32_arg]]
24+
%elt.degrees = call float @llvm.spv.degrees.f32(float %a)
25+
ret float %elt.degrees
26+
}
27+
28+
define noundef half @degrees_half(half noundef %a) {
29+
entry:
30+
; CHECK: %[[#float_16_arg:]] = OpFunctionParameter %[[#float_16]]
31+
; CHECK: %[[#]] = OpExtInst %[[#float_16]] %[[#op_ext_glsl]] degrees %[[#float_16_arg]]
32+
%elt.degrees = call half @llvm.spv.degrees.f16(half %a)
33+
ret half %elt.degrees
34+
}
35+
36+
define noundef <4 x float> @degrees_float_vector(<4 x float> noundef %a) {
37+
entry:
38+
; CHECK: %[[#vec4_float_32_arg:]] = OpFunctionParameter %[[#vec4_float_32]]
39+
; CHECK: %[[#]] = OpExtInst %[[#vec4_float_32]] %[[#op_ext_glsl]] degrees %[[#vec4_float_32_arg]]
40+
%elt.degrees = call <4 x float> @llvm.spv.degrees.v4f32(<4 x float> %a)
41+
ret <4 x float> %elt.degrees
42+
}
43+
44+
define noundef <4 x half> @degrees_half_vector(<4 x half> noundef %a) {
45+
entry:
46+
; CHECK: %[[#vec4_float_16_arg:]] = OpFunctionParameter %[[#vec4_float_16]]
47+
; CHECK: %[[#]] = OpExtInst %[[#vec4_float_16]] %[[#op_ext_glsl]] degrees %[[#vec4_float_16_arg]]
48+
%elt.degrees = call <4 x half> @llvm.spv.degrees.v4f16(<4 x half> %a)
49+
ret <4 x half> %elt.degrees
50+
}

0 commit comments

Comments
 (0)