A few extra functions cross-compiled to Vulkan. (#738)

This is building on the work done in #737, and just borrows translations from [this](https://anteru.net/blog/2016/mapping-between-hlsl-and-glsl/index.html) blog post.

One thing that I don't try to get right here, and that seems to be a recurring pattern is that there are something HLSL functions that operate on matrix types where the GLSL equivalents only work on vectors. These can be handled in "user space" by writing an explicit (profile-specific) overload that just calls the vector function on each row, but that adds complexity in the stdlib that I'm avoiding for now (since almost nobody performs these operations on matrices anyway).

2 files changed, 88 insertions, 18 deletions

diff --git a/source/slang/hlsl.meta.slang b/source/slang/hlsl.meta.slang
index e16cc0275..950931fc2 100644
--- a/source/slang/hlsl.meta.slang
+++ b/source/slang/hlsl.meta.slang
@@ -572,17 +572,46 @@ __generic<T : __BuiltinFloatingPointType> vector<T,4> dst(vector<T,4> x, vector<
 

 // Attribute evaluation

 

-__generic<T : __BuiltinArithmeticType> T EvaluateAttributeAtCentroid(T x);

-__generic<T : __BuiltinArithmeticType, let N : int> vector<T,N> EvaluateAttributeAtCentroid(vector<T,N> x);

-__generic<T : __BuiltinArithmeticType, let N : int, let M : int> matrix<T,N,M> EvaluateAttributeAtCentroid(matrix<T,N,M> x);

+// TODO: The matrix cases of these functions won't actuall work

+// when compiled to GLSL, since they only support scalar/vector

 

-__generic<T : __BuiltinArithmeticType> T EvaluateAttributeAtSample(T x, uint sampleindex);

-__generic<T : __BuiltinArithmeticType, let N : int> vector<T,N> EvaluateAttributeAtSample(vector<T,N> x, uint sampleindex);

-__generic<T : __BuiltinArithmeticType, let N : int, let M : int> matrix<T,N,M> EvaluateAttributeAtSample(matrix<T,N,M> x, uint sampleindex);

+// TODO: Should these be constrains to `__BuiltinFloatingPointType`?

 

-__generic<T : __BuiltinArithmeticType> T EvaluateAttributeSnapped(T x, int2 offset);

-__generic<T : __BuiltinArithmeticType, let N : int> vector<T,N> EvaluateAttributeSnapped(vector<T,N> x, int2 offset);

-__generic<T : __BuiltinArithmeticType, let N : int, let M : int> matrix<T,N,M> EvaluateAttributeSnapped(matrix<T,N,M> x, int2 offset);

+__generic<T : __BuiltinArithmeticType>

+__target_intrinsic(glsl, interpolateAtCentroid)

+T EvaluateAttributeAtCentroid(T x);

+

+__generic<T : __BuiltinArithmeticType, let N : int>

+__target_intrinsic(glsl, interpolateAtCentroid)

+vector<T,N> EvaluateAttributeAtCentroid(vector<T,N> x);

+

+__generic<T : __BuiltinArithmeticType, let N : int, let M : int>

+__target_intrinsic(glsl, interpolateAtCentroid)

+matrix<T,N,M> EvaluateAttributeAtCentroid(matrix<T,N,M> x);

+

+__generic<T : __BuiltinArithmeticType>

+__target_intrinsic(glsl, "interpolateAtSample($0, int($1))")

+T EvaluateAttributeAtSample(T x, uint sampleindex);

+

+__generic<T : __BuiltinArithmeticType, let N : int>

+__target_intrinsic(glsl, "interpolateAtSample($0, int($1))")

+vector<T,N> EvaluateAttributeAtSample(vector<T,N> x, uint sampleindex);

+

+__generic<T : __BuiltinArithmeticType, let N : int, let M : int>

+__target_intrinsic(glsl, "interpolateAtSample($0, int($1))")

+matrix<T,N,M> EvaluateAttributeAtSample(matrix<T,N,M> x, uint sampleindex);

+

+__generic<T : __BuiltinArithmeticType>

+__target_intrinsic(glsl, "interpolateAtOffset($0, vec2($1) / 16.0f)")

+T EvaluateAttributeSnapped(T x, int2 offset);

+

+__generic<T : __BuiltinArithmeticType, let N : int>

+__target_intrinsic(glsl, "interpolateAtOffset($0, vec2($1) / 16.0f)")

+vector<T,N> EvaluateAttributeSnapped(vector<T,N> x, int2 offset);

+

+__generic<T : __BuiltinArithmeticType, let N : int, let M : int>

+__target_intrinsic(glsl, "interpolateAtOffset($0, vec2($1) / 16.0f)")

+matrix<T,N,M> EvaluateAttributeSnapped(matrix<T,N,M> x, int2 offset);

 

 // Base-e exponent

 __generic<T : __BuiltinFloatingPointType> T exp(T x);

@@ -829,8 +858,14 @@ __generic<T : __BuiltinFloatingPointType, let N : int> vector<T,N> log2(vector<T
 __generic<T : __BuiltinFloatingPointType, let N : int, let M : int> matrix<T,N,M> log2(matrix<T,N,M> x);

 

 // multiply-add

+

+__target_intrinsic(glsl, fma)

 __generic<T : __BuiltinArithmeticType> T mad(T mvalue, T avalue, T bvalue);

+

+__target_intrinsic(glsl, fma)

 __generic<T : __BuiltinArithmeticType, let N : int> vector<T,N> mad(vector<T,N> mvalue, vector<T,N> avalue, vector<T,N> bvalue);

+

+__target_intrinsic(glsl, fma)

 __generic<T : __BuiltinArithmeticType, let N : int, let M : int> matrix<T,N,M> mad(matrix<T,N,M> mvalue, matrix<T,N,M> avalue, matrix<T,N,M> bvalue);

 

 // maximum

diff --git a/source/slang/hlsl.meta.slang.h b/source/slang/hlsl.meta.slang.h
index 7b8bbaef6..8d908c13d 100644
--- a/source/slang/hlsl.meta.slang.h
+++ b/source/slang/hlsl.meta.slang.h
@@ -617,17 +617,46 @@ SLANG_RAW("// void errorf( string format, ... );\n")
 SLANG_RAW("\n")
 SLANG_RAW("// Attribute evaluation\n")
 SLANG_RAW("\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType> T EvaluateAttributeAtCentroid(T x);\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int> vector<T,N> EvaluateAttributeAtCentroid(vector<T,N> x);\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int, let M : int> matrix<T,N,M> EvaluateAttributeAtCentroid(matrix<T,N,M> x);\n")
+SLANG_RAW("// TODO: The matrix cases of these functions won't actuall work\n")
+SLANG_RAW("// when compiled to GLSL, since they only support scalar/vector\n")
 SLANG_RAW("\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType> T EvaluateAttributeAtSample(T x, uint sampleindex);\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int> vector<T,N> EvaluateAttributeAtSample(vector<T,N> x, uint sampleindex);\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int, let M : int> matrix<T,N,M> EvaluateAttributeAtSample(matrix<T,N,M> x, uint sampleindex);\n")
+SLANG_RAW("// TODO: Should these be constrains to `__BuiltinFloatingPointType`?\n")
 SLANG_RAW("\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType> T EvaluateAttributeSnapped(T x, int2 offset);\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int> vector<T,N> EvaluateAttributeSnapped(vector<T,N> x, int2 offset);\n")
-SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int, let M : int> matrix<T,N,M> EvaluateAttributeSnapped(matrix<T,N,M> x, int2 offset);\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType>\n")
+SLANG_RAW("__target_intrinsic(glsl, interpolateAtCentroid)\n")
+SLANG_RAW("T EvaluateAttributeAtCentroid(T x);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int>\n")
+SLANG_RAW("__target_intrinsic(glsl, interpolateAtCentroid)\n")
+SLANG_RAW("vector<T,N> EvaluateAttributeAtCentroid(vector<T,N> x);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int, let M : int>\n")
+SLANG_RAW("__target_intrinsic(glsl, interpolateAtCentroid)\n")
+SLANG_RAW("matrix<T,N,M> EvaluateAttributeAtCentroid(matrix<T,N,M> x);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType>\n")
+SLANG_RAW("__target_intrinsic(glsl, \"interpolateAtSample($0, int($1))\")\n")
+SLANG_RAW("T EvaluateAttributeAtSample(T x, uint sampleindex);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int>\n")
+SLANG_RAW("__target_intrinsic(glsl, \"interpolateAtSample($0, int($1))\")\n")
+SLANG_RAW("vector<T,N> EvaluateAttributeAtSample(vector<T,N> x, uint sampleindex);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int, let M : int>\n")
+SLANG_RAW("__target_intrinsic(glsl, \"interpolateAtSample($0, int($1))\")\n")
+SLANG_RAW("matrix<T,N,M> EvaluateAttributeAtSample(matrix<T,N,M> x, uint sampleindex);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType>\n")
+SLANG_RAW("__target_intrinsic(glsl, \"interpolateAtOffset($0, vec2($1) / 16.0f)\")\n")
+SLANG_RAW("T EvaluateAttributeSnapped(T x, int2 offset);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int>\n")
+SLANG_RAW("__target_intrinsic(glsl, \"interpolateAtOffset($0, vec2($1) / 16.0f)\")\n")
+SLANG_RAW("vector<T,N> EvaluateAttributeSnapped(vector<T,N> x, int2 offset);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int, let M : int>\n")
+SLANG_RAW("__target_intrinsic(glsl, \"interpolateAtOffset($0, vec2($1) / 16.0f)\")\n")
+SLANG_RAW("matrix<T,N,M> EvaluateAttributeSnapped(matrix<T,N,M> x, int2 offset);\n")
 SLANG_RAW("\n")
 SLANG_RAW("// Base-e exponent\n")
 SLANG_RAW("__generic<T : __BuiltinFloatingPointType> T exp(T x);\n")
@@ -874,8 +903,14 @@ SLANG_RAW("__generic<T : __BuiltinFloatingPointType, let N : int> vector<T,N> lo
 SLANG_RAW("__generic<T : __BuiltinFloatingPointType, let N : int, let M : int> matrix<T,N,M> log2(matrix<T,N,M> x);\n")
 SLANG_RAW("\n")
 SLANG_RAW("// multiply-add\n")
+SLANG_RAW("\n")
+SLANG_RAW("__target_intrinsic(glsl, fma)\n")
 SLANG_RAW("__generic<T : __BuiltinArithmeticType> T mad(T mvalue, T avalue, T bvalue);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__target_intrinsic(glsl, fma)\n")
 SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int> vector<T,N> mad(vector<T,N> mvalue, vector<T,N> avalue, vector<T,N> bvalue);\n")
+SLANG_RAW("\n")
+SLANG_RAW("__target_intrinsic(glsl, fma)\n")
 SLANG_RAW("__generic<T : __BuiltinArithmeticType, let N : int, let M : int> matrix<T,N,M> mad(matrix<T,N,M> mvalue, matrix<T,N,M> avalue, matrix<T,N,M> bvalue);\n")
 SLANG_RAW("\n")
 SLANG_RAW("// maximum\n")