From 6a264bed88afbd8a452956915fc582ff2aae3a56 Mon Sep 17 00:00:00 2001 From: LoopDawg Date: Mon, 7 Aug 2017 12:08:50 -0600 Subject: [PATCH] HLSL: implement #pragma pack_matrix(layout) This adds support for #pragma pack_matrix() to the HLSL front end. The pragma sets the default matrix layout for subsequent unqualified matrices in structs or buffers. Explicit qualification overrides the pragma value. Matrix layout is not permitted at the structure level in HLSL, so only leaves which are matrix types can be so qualified. Note that due to the semantic (not layout) difference in first matrix indirections between HLSL and SPIR-V, the sense of row and column major are flipped. That's independent of this PR: just a factor to note. A column_major qualifier appears as a RowMajor member decoration in SPIR-V modules, and vice versa. --- Test/baseResults/hlsl.matpack-pragma.frag.out | 268 ++++++++++++++++++ Test/hlsl.matpack-pragma.frag | 33 +++ gtests/Hlsl.FromFile.cpp | 1 + hlsl/hlslParseHelper.cpp | 27 ++ 4 files changed, 329 insertions(+) create mode 100644 Test/baseResults/hlsl.matpack-pragma.frag.out create mode 100644 Test/hlsl.matpack-pragma.frag diff --git a/Test/baseResults/hlsl.matpack-pragma.frag.out b/Test/baseResults/hlsl.matpack-pragma.frag.out new file mode 100644 index 000000000..761ab9a43 --- /dev/null +++ b/Test/baseResults/hlsl.matpack-pragma.frag.out @@ -0,0 +1,268 @@ +hlsl.matpack-pragma.frag +WARNING: 0:19: 'random_string_foo' : unknown pack_matrix pragma value + +Shader version: 500 +gl_FragCoord origin is upper left +0:? Sequence +0:29 Function Definition: @main( ( temp 4-component vector of float) +0:29 Function Parameters: +0:? Sequence +0:32 Branch: Return with expression +0:32 add ( temp 4-component vector of float) +0:32 add ( temp 4-component vector of float) +0:31 add ( temp 4-component vector of float) +0:31 add ( temp 4-component vector of float) +0:31 add ( temp 4-component vector of float) +0:31 direct index (layout( row_major) temp 4-component vector of float) +0:31 mat1: direct index for structure (layout( row_major) temp 4X4 matrix of float) +0:31 g_MyBuffer1: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3}) +0:31 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:31 Constant: +0:31 0 (const uint) +0:31 Constant: +0:31 0 (const int) +0:31 Constant: +0:31 0 (const int) +0:31 direct index (layout( column_major) temp 4-component vector of float) +0:31 mat2: direct index for structure (layout( column_major) temp 4X4 matrix of float) +0:31 g_MyBuffer1: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3}) +0:31 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:31 Constant: +0:31 0 (const uint) +0:31 Constant: +0:31 1 (const int) +0:31 Constant: +0:31 0 (const int) +0:31 direct index (layout( column_major) temp 4-component vector of float) +0:31 mat3: direct index for structure (layout( column_major) temp 4X4 matrix of float) +0:31 g_MyBuffer1: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3}) +0:31 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:31 Constant: +0:31 0 (const uint) +0:31 Constant: +0:31 2 (const int) +0:31 Constant: +0:31 0 (const int) +0:32 direct index (layout( row_major) temp 4-component vector of float) +0:32 mat1: direct index for structure (layout( row_major) temp 4X4 matrix of float) +0:32 g_MyBuffer2: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3}) +0:32 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:32 Constant: +0:32 1 (const uint) +0:32 Constant: +0:32 0 (const int) +0:32 Constant: +0:32 0 (const int) +0:32 direct index (layout( column_major) temp 4-component vector of float) +0:32 mat2: direct index for structure (layout( column_major) temp 4X4 matrix of float) +0:32 g_MyBuffer2: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3}) +0:32 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:32 Constant: +0:32 1 (const uint) +0:32 Constant: +0:32 1 (const int) +0:32 Constant: +0:32 0 (const int) +0:32 direct index (layout( row_major) temp 4-component vector of float) +0:32 mat3: direct index for structure (layout( row_major) temp 4X4 matrix of float) +0:32 g_MyBuffer2: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3}) +0:32 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:32 Constant: +0:32 1 (const uint) +0:32 Constant: +0:32 2 (const int) +0:32 Constant: +0:32 0 (const int) +0:29 Function Definition: main( ( temp void) +0:29 Function Parameters: +0:? Sequence +0:29 move second child to first child ( temp 4-component vector of float) +0:? '@entryPointOutput' (layout( location=0) out 4-component vector of float) +0:29 Function Call: @main( ( temp 4-component vector of float) +0:? Linker Objects +0:? 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:? '@entryPointOutput' (layout( location=0) out 4-component vector of float) + + +Linked fragment stage: + + +Shader version: 500 +gl_FragCoord origin is upper left +0:? Sequence +0:29 Function Definition: @main( ( temp 4-component vector of float) +0:29 Function Parameters: +0:? Sequence +0:32 Branch: Return with expression +0:32 add ( temp 4-component vector of float) +0:32 add ( temp 4-component vector of float) +0:31 add ( temp 4-component vector of float) +0:31 add ( temp 4-component vector of float) +0:31 add ( temp 4-component vector of float) +0:31 direct index (layout( row_major) temp 4-component vector of float) +0:31 mat1: direct index for structure (layout( row_major) temp 4X4 matrix of float) +0:31 g_MyBuffer1: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3}) +0:31 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:31 Constant: +0:31 0 (const uint) +0:31 Constant: +0:31 0 (const int) +0:31 Constant: +0:31 0 (const int) +0:31 direct index (layout( column_major) temp 4-component vector of float) +0:31 mat2: direct index for structure (layout( column_major) temp 4X4 matrix of float) +0:31 g_MyBuffer1: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3}) +0:31 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:31 Constant: +0:31 0 (const uint) +0:31 Constant: +0:31 1 (const int) +0:31 Constant: +0:31 0 (const int) +0:31 direct index (layout( column_major) temp 4-component vector of float) +0:31 mat3: direct index for structure (layout( column_major) temp 4X4 matrix of float) +0:31 g_MyBuffer1: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3}) +0:31 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:31 Constant: +0:31 0 (const uint) +0:31 Constant: +0:31 2 (const int) +0:31 Constant: +0:31 0 (const int) +0:32 direct index (layout( row_major) temp 4-component vector of float) +0:32 mat1: direct index for structure (layout( row_major) temp 4X4 matrix of float) +0:32 g_MyBuffer2: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3}) +0:32 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:32 Constant: +0:32 1 (const uint) +0:32 Constant: +0:32 0 (const int) +0:32 Constant: +0:32 0 (const int) +0:32 direct index (layout( column_major) temp 4-component vector of float) +0:32 mat2: direct index for structure (layout( column_major) temp 4X4 matrix of float) +0:32 g_MyBuffer2: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3}) +0:32 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:32 Constant: +0:32 1 (const uint) +0:32 Constant: +0:32 1 (const int) +0:32 Constant: +0:32 0 (const int) +0:32 direct index (layout( row_major) temp 4-component vector of float) +0:32 mat3: direct index for structure (layout( row_major) temp 4X4 matrix of float) +0:32 g_MyBuffer2: direct index for structure (layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3}) +0:32 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:32 Constant: +0:32 1 (const uint) +0:32 Constant: +0:32 2 (const int) +0:32 Constant: +0:32 0 (const int) +0:29 Function Definition: main( ( temp void) +0:29 Function Parameters: +0:? Sequence +0:29 move second child to first child ( temp 4-component vector of float) +0:? '@entryPointOutput' (layout( location=0) out 4-component vector of float) +0:29 Function Call: @main( ( temp 4-component vector of float) +0:? Linker Objects +0:? 'anon@0' (layout( row_major std140) uniform block{layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( column_major) temp 4X4 matrix of float mat3} g_MyBuffer1, layout( row_major std140) uniform structure{layout( row_major) temp 4X4 matrix of float mat1, layout( column_major) temp 4X4 matrix of float mat2, layout( row_major) temp 4X4 matrix of float mat3} g_MyBuffer2, layout( row_major std140) uniform 4X4 matrix of float mat1a}) +0:? '@entryPointOutput' (layout( location=0) out 4-component vector of float) + +// Module Version 10000 +// Generated by (magic number): 80001 +// Id's are bound by 44 + + Capability Shader + 1: ExtInstImport "GLSL.std.450" + MemoryModel Logical GLSL450 + EntryPoint Fragment 4 "main" 42 + ExecutionMode 4 OriginUpperLeft + Source HLSL 500 + Name 4 "main" + Name 9 "@main(" + Name 12 "MyBuffer1" + MemberName 12(MyBuffer1) 0 "mat1" + MemberName 12(MyBuffer1) 1 "mat2" + MemberName 12(MyBuffer1) 2 "mat3" + Name 13 "MyBuffer2" + MemberName 13(MyBuffer2) 0 "mat1" + MemberName 13(MyBuffer2) 1 "mat2" + MemberName 13(MyBuffer2) 2 "mat3" + Name 14 "Example" + MemberName 14(Example) 0 "g_MyBuffer1" + MemberName 14(Example) 1 "g_MyBuffer2" + MemberName 14(Example) 2 "mat1a" + Name 16 "" + Name 42 "@entryPointOutput" + MemberDecorate 12(MyBuffer1) 0 RowMajor + MemberDecorate 12(MyBuffer1) 0 Offset 0 + MemberDecorate 12(MyBuffer1) 0 MatrixStride 16 + MemberDecorate 12(MyBuffer1) 1 ColMajor + MemberDecorate 12(MyBuffer1) 1 Offset 64 + MemberDecorate 12(MyBuffer1) 1 MatrixStride 16 + MemberDecorate 12(MyBuffer1) 2 ColMajor + MemberDecorate 12(MyBuffer1) 2 Offset 128 + MemberDecorate 12(MyBuffer1) 2 MatrixStride 16 + MemberDecorate 13(MyBuffer2) 0 RowMajor + MemberDecorate 13(MyBuffer2) 0 Offset 0 + MemberDecorate 13(MyBuffer2) 0 MatrixStride 16 + MemberDecorate 13(MyBuffer2) 1 ColMajor + MemberDecorate 13(MyBuffer2) 1 Offset 64 + MemberDecorate 13(MyBuffer2) 1 MatrixStride 16 + MemberDecorate 13(MyBuffer2) 2 RowMajor + MemberDecorate 13(MyBuffer2) 2 Offset 128 + MemberDecorate 13(MyBuffer2) 2 MatrixStride 16 + MemberDecorate 14(Example) 0 Offset 0 + MemberDecorate 14(Example) 1 Offset 192 + MemberDecorate 14(Example) 2 RowMajor + MemberDecorate 14(Example) 2 Offset 384 + MemberDecorate 14(Example) 2 MatrixStride 16 + Decorate 14(Example) Block + Decorate 16 DescriptorSet 0 + Decorate 42(@entryPointOutput) Location 0 + 2: TypeVoid + 3: TypeFunction 2 + 6: TypeFloat 32 + 7: TypeVector 6(float) 4 + 8: TypeFunction 7(fvec4) + 11: TypeMatrix 7(fvec4) 4 + 12(MyBuffer1): TypeStruct 11 11 11 + 13(MyBuffer2): TypeStruct 11 11 11 + 14(Example): TypeStruct 12(MyBuffer1) 13(MyBuffer2) 11 + 15: TypePointer Uniform 14(Example) + 16: 15(ptr) Variable Uniform + 17: TypeInt 32 1 + 18: 17(int) Constant 0 + 19: TypePointer Uniform 7(fvec4) + 22: 17(int) Constant 1 + 26: 17(int) Constant 2 + 41: TypePointer Output 7(fvec4) +42(@entryPointOutput): 41(ptr) Variable Output + 4(main): 2 Function None 3 + 5: Label + 43: 7(fvec4) FunctionCall 9(@main() + Store 42(@entryPointOutput) 43 + Return + FunctionEnd + 9(@main(): 7(fvec4) Function None 8 + 10: Label + 20: 19(ptr) AccessChain 16 18 18 18 + 21: 7(fvec4) Load 20 + 23: 19(ptr) AccessChain 16 18 22 18 + 24: 7(fvec4) Load 23 + 25: 7(fvec4) FAdd 21 24 + 27: 19(ptr) AccessChain 16 18 26 18 + 28: 7(fvec4) Load 27 + 29: 7(fvec4) FAdd 25 28 + 30: 19(ptr) AccessChain 16 22 18 18 + 31: 7(fvec4) Load 30 + 32: 7(fvec4) FAdd 29 31 + 33: 19(ptr) AccessChain 16 22 22 18 + 34: 7(fvec4) Load 33 + 35: 7(fvec4) FAdd 32 34 + 36: 19(ptr) AccessChain 16 22 26 18 + 37: 7(fvec4) Load 36 + 38: 7(fvec4) FAdd 35 37 + ReturnValue 38 + FunctionEnd diff --git a/Test/hlsl.matpack-pragma.frag b/Test/hlsl.matpack-pragma.frag new file mode 100644 index 000000000..a9a283354 --- /dev/null +++ b/Test/hlsl.matpack-pragma.frag @@ -0,0 +1,33 @@ +#pragma pack_matrix(row_major) + +struct MyBuffer1 +{ + column_major float4x4 mat1; + row_major float4x4 mat2; + /*floating*/ float4x4 mat3; +}; + +#pragma pack_matrix(column_major) + +struct MyBuffer2 +{ + column_major float4x4 mat1; + row_major float4x4 mat2; + /*floating*/ float4x4 mat3; +}; + +#pragma pack_matrix(random_string_foo) + +cbuffer Example +{ + MyBuffer1 g_MyBuffer1; + MyBuffer2 g_MyBuffer2; + column_major float4x4 mat1a; +}; + +float4 main() : SV_Target0 +{ + return + g_MyBuffer1.mat1[0] + g_MyBuffer1.mat2[0] + g_MyBuffer1.mat3[0] + + g_MyBuffer2.mat1[0] + g_MyBuffer2.mat2[0] + g_MyBuffer2.mat3[0]; +} diff --git a/gtests/Hlsl.FromFile.cpp b/gtests/Hlsl.FromFile.cpp index 27593248c..d28b97c28 100644 --- a/gtests/Hlsl.FromFile.cpp +++ b/gtests/Hlsl.FromFile.cpp @@ -195,6 +195,7 @@ INSTANTIATE_TEST_CASE_P( {"hlsl.logicalConvert.frag", "main"}, {"hlsl.logical.unary.frag", "main"}, {"hlsl.loopattr.frag", "main"}, + {"hlsl.matpack-pragma.frag", "main"}, {"hlsl.mip.operator.frag", "main"}, {"hlsl.mip.negative.frag", "main"}, {"hlsl.mip.negative2.frag", "main"}, diff --git a/hlsl/hlslParseHelper.cpp b/hlsl/hlslParseHelper.cpp index 4f4d87a7b..6ca5d2e00 100755 --- a/hlsl/hlslParseHelper.cpp +++ b/hlsl/hlslParseHelper.cpp @@ -572,6 +572,28 @@ void HlslParseContext::handlePragma(const TSourceLoc& loc, const TVector lowerTokens = tokens; + + for (auto it = lowerTokens.begin(); it != lowerTokens.end(); ++it) + std::transform(it->begin(), it->end(), it->begin(), ::tolower); + + // Handle pack_matrix + if (tokens.size() == 4 && lowerTokens[0] == "pack_matrix" && tokens[1] == "(" && tokens[3] == ")") { + // Note that HLSL semantic order is Mrc, not Mcr like SPIR-V, so we reverse the sense. + // Row major becomes column major and vice versa. + + if (lowerTokens[2] == "row_major") { + globalUniformDefaults.layoutMatrix = globalBufferDefaults.layoutMatrix = ElmColumnMajor; + } else if (lowerTokens[2] == "column_major") { + globalUniformDefaults.layoutMatrix = globalBufferDefaults.layoutMatrix = ElmRowMajor; + } else { + // unknown majorness strings are treated as (HLSL column major)==(SPIR-V row major) + warn(loc, "unknown pack_matrix pragma value", tokens[2].c_str(), ""); + globalUniformDefaults.layoutMatrix = globalBufferDefaults.layoutMatrix = ElmRowMajor; + } + } } // @@ -7176,6 +7198,11 @@ void HlslParseContext::declareStruct(const TSourceLoc& loc, TString& structName, } if (newLists.uniform) { newMember(newUniformMember); + + // inherit default matrix layout (changeable via #pragma pack_matrix), if none given. + if (member->type->isMatrix() && member->type->getQualifier().layoutMatrix == ElmNone) + newUniformMember.type->getQualifier().layoutMatrix = globalUniformDefaults.layoutMatrix; + correctUniform(newUniformMember.type->getQualifier()); newLists.uniform->push_back(newUniformMember); }