307b6507b3
HLSL allows several variables to be declared. There are packing rules involved:
e.g, a float3 and a float1 can be packed into a single array[4], while for a
float3 and another float3, the second one will skip the third array entry to
avoid straddling
This is implements that ability. Because there can be multiple variables involved,
and the final output array will often be a different type altogether (to fuse
the values into a single destination), a new variable is synthesized, unlike the prior
clip/cull support which used the declared variable. The new variable name is
taken from one of the declared ones, so the old tests are unchanged.
Several new tests are added to test various packing scenarios.
Only two semantic IDs are supported: 0, and 1, per HLSL rules. This is
encapsulated in
static const int maxClipCullRegs = 2;
and the algorithm (probably :) ) generalizes to larger values, although there
are a few issues around how HLSL would pack (e.g, would 4 scalars be packed into
a single HLSL float4 out reg? Probably, and this algorithm assumes so).
345 lines
18 KiB
Plaintext
Executable File
345 lines
18 KiB
Plaintext
Executable File
hlsl.semantic.vert
|
|
Shader version: 500
|
|
0:? Sequence
|
|
0:10 Function Definition: @main(struct-S-f1-f1-f1-f1-i11; ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Function Parameters:
|
|
0:10 'ins' ( in structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:? Sequence
|
|
0:12 Branch: Return with expression
|
|
0:12 's' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Function Definition: main( ( temp void)
|
|
0:10 Function Parameters:
|
|
0:? Sequence
|
|
0:10 Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 clip0: direct index for structure ( temp float)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:? 'clip0' (layout( location=0) in float)
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 clip1: direct index for structure ( temp float)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 1 (const int)
|
|
0:? 'clip1' (layout( location=1) in float)
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 cull0: direct index for structure ( temp float)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 2 (const int)
|
|
0:? 'cull0' (layout( location=2) in float)
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 cull1: direct index for structure ( temp float)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 3 (const int)
|
|
0:? 'cull1' (layout( location=3) in float)
|
|
0:10 move second child to first child ( temp int)
|
|
0:10 ii: direct index for structure ( temp int)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 4 (const int)
|
|
0:? 'ii' ( in int InstanceIndex)
|
|
0:10 Sequence
|
|
0:10 move second child to first child ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Function Call: @main(struct-S-f1-f1-f1-f1-i11; ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:? Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 direct index ( temp float)
|
|
0:? '@entryPointOutput_clip1' ( out 2-element array of float ClipDistance)
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:10 clip0: direct index for structure ( temp float)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:? Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 direct index ( temp float)
|
|
0:? '@entryPointOutput_clip1' ( out 2-element array of float ClipDistance)
|
|
0:10 Constant:
|
|
0:10 1 (const int)
|
|
0:10 clip1: direct index for structure ( temp float)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 1 (const int)
|
|
0:? Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 direct index ( temp float)
|
|
0:? '@entryPointOutput_cull1' ( out 2-element array of float CullDistance)
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:10 cull0: direct index for structure ( temp float)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 2 (const int)
|
|
0:? Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 direct index ( temp float)
|
|
0:? '@entryPointOutput_cull1' ( out 2-element array of float CullDistance)
|
|
0:10 Constant:
|
|
0:10 1 (const int)
|
|
0:10 cull1: direct index for structure ( temp float)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 3 (const int)
|
|
0:10 move second child to first child ( temp int)
|
|
0:10 ii: direct index for structure ( temp int)
|
|
0:10 '@entryPointOutput' (layout( location=0) out structure{ temp int ii})
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:10 ii: direct index for structure ( temp int)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 4 (const int)
|
|
0:? Linker Objects
|
|
0:? '@entryPointOutput' (layout( location=0) out structure{ temp int ii})
|
|
0:? 'clip0' (layout( location=0) in float)
|
|
0:? 'clip1' (layout( location=1) in float)
|
|
0:? 'cull0' (layout( location=2) in float)
|
|
0:? 'cull1' (layout( location=3) in float)
|
|
0:? 'ii' ( in int InstanceIndex)
|
|
0:? '@entryPointOutput_clip1' ( out 2-element array of float ClipDistance)
|
|
0:? '@entryPointOutput_cull1' ( out 2-element array of float CullDistance)
|
|
|
|
|
|
Linked vertex stage:
|
|
|
|
|
|
Shader version: 500
|
|
0:? Sequence
|
|
0:10 Function Definition: @main(struct-S-f1-f1-f1-f1-i11; ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Function Parameters:
|
|
0:10 'ins' ( in structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:? Sequence
|
|
0:12 Branch: Return with expression
|
|
0:12 's' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Function Definition: main( ( temp void)
|
|
0:10 Function Parameters:
|
|
0:? Sequence
|
|
0:10 Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 clip0: direct index for structure ( temp float)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:? 'clip0' (layout( location=0) in float)
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 clip1: direct index for structure ( temp float)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 1 (const int)
|
|
0:? 'clip1' (layout( location=1) in float)
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 cull0: direct index for structure ( temp float)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 2 (const int)
|
|
0:? 'cull0' (layout( location=2) in float)
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 cull1: direct index for structure ( temp float)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 3 (const int)
|
|
0:? 'cull1' (layout( location=3) in float)
|
|
0:10 move second child to first child ( temp int)
|
|
0:10 ii: direct index for structure ( temp int)
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 4 (const int)
|
|
0:? 'ii' ( in int InstanceIndex)
|
|
0:10 Sequence
|
|
0:10 move second child to first child ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Function Call: @main(struct-S-f1-f1-f1-f1-i11; ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:? 'ins' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:? Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 direct index ( temp float)
|
|
0:? '@entryPointOutput_clip1' ( out 2-element array of float ClipDistance)
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:10 clip0: direct index for structure ( temp float)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:? Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 direct index ( temp float)
|
|
0:? '@entryPointOutput_clip1' ( out 2-element array of float ClipDistance)
|
|
0:10 Constant:
|
|
0:10 1 (const int)
|
|
0:10 clip1: direct index for structure ( temp float)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 1 (const int)
|
|
0:? Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 direct index ( temp float)
|
|
0:? '@entryPointOutput_cull1' ( out 2-element array of float CullDistance)
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:10 cull0: direct index for structure ( temp float)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 2 (const int)
|
|
0:? Sequence
|
|
0:10 move second child to first child ( temp float)
|
|
0:10 direct index ( temp float)
|
|
0:? '@entryPointOutput_cull1' ( out 2-element array of float CullDistance)
|
|
0:10 Constant:
|
|
0:10 1 (const int)
|
|
0:10 cull1: direct index for structure ( temp float)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 3 (const int)
|
|
0:10 move second child to first child ( temp int)
|
|
0:10 ii: direct index for structure ( temp int)
|
|
0:10 '@entryPointOutput' (layout( location=0) out structure{ temp int ii})
|
|
0:10 Constant:
|
|
0:10 0 (const int)
|
|
0:10 ii: direct index for structure ( temp int)
|
|
0:10 'flattenTemp' ( temp structure{ temp float clip0, temp float clip1, temp float cull0, temp float cull1, temp int ii})
|
|
0:10 Constant:
|
|
0:10 4 (const int)
|
|
0:? Linker Objects
|
|
0:? '@entryPointOutput' (layout( location=0) out structure{ temp int ii})
|
|
0:? 'clip0' (layout( location=0) in float)
|
|
0:? 'clip1' (layout( location=1) in float)
|
|
0:? 'cull0' (layout( location=2) in float)
|
|
0:? 'cull1' (layout( location=3) in float)
|
|
0:? 'ii' ( in int InstanceIndex)
|
|
0:? '@entryPointOutput_clip1' ( out 2-element array of float ClipDistance)
|
|
0:? '@entryPointOutput_cull1' ( out 2-element array of float CullDistance)
|
|
|
|
// Module Version 10000
|
|
// Generated by (magic number): 80001
|
|
// Id's are bound by 73
|
|
|
|
Capability Shader
|
|
Capability ClipDistance
|
|
Capability CullDistance
|
|
1: ExtInstImport "GLSL.std.450"
|
|
MemoryModel Logical GLSL450
|
|
EntryPoint Vertex 4 "main" 21 26 30 34 39 51 59 68
|
|
Source HLSL 500
|
|
Name 4 "main"
|
|
Name 8 "S"
|
|
MemberName 8(S) 0 "clip0"
|
|
MemberName 8(S) 1 "clip1"
|
|
MemberName 8(S) 2 "cull0"
|
|
MemberName 8(S) 3 "cull1"
|
|
MemberName 8(S) 4 "ii"
|
|
Name 12 "@main(struct-S-f1-f1-f1-f1-i11;"
|
|
Name 11 "ins"
|
|
Name 14 "s"
|
|
Name 18 "ins"
|
|
Name 21 "clip0"
|
|
Name 26 "clip1"
|
|
Name 30 "cull0"
|
|
Name 34 "cull1"
|
|
Name 39 "ii"
|
|
Name 43 "flattenTemp"
|
|
Name 44 "param"
|
|
Name 51 "@entryPointOutput_clip1"
|
|
Name 59 "@entryPointOutput_cull1"
|
|
Name 66 "S"
|
|
MemberName 66(S) 0 "ii"
|
|
Name 68 "@entryPointOutput"
|
|
Decorate 21(clip0) Location 0
|
|
Decorate 26(clip1) Location 1
|
|
Decorate 30(cull0) Location 2
|
|
Decorate 34(cull1) Location 3
|
|
Decorate 39(ii) BuiltIn InstanceIndex
|
|
Decorate 51(@entryPointOutput_clip1) BuiltIn ClipDistance
|
|
Decorate 59(@entryPointOutput_cull1) BuiltIn CullDistance
|
|
Decorate 68(@entryPointOutput) Location 0
|
|
2: TypeVoid
|
|
3: TypeFunction 2
|
|
6: TypeFloat 32
|
|
7: TypeInt 32 1
|
|
8(S): TypeStruct 6(float) 6(float) 6(float) 6(float) 7(int)
|
|
9: TypePointer Function 8(S)
|
|
10: TypeFunction 8(S) 9(ptr)
|
|
19: 7(int) Constant 0
|
|
20: TypePointer Input 6(float)
|
|
21(clip0): 20(ptr) Variable Input
|
|
23: TypePointer Function 6(float)
|
|
25: 7(int) Constant 1
|
|
26(clip1): 20(ptr) Variable Input
|
|
29: 7(int) Constant 2
|
|
30(cull0): 20(ptr) Variable Input
|
|
33: 7(int) Constant 3
|
|
34(cull1): 20(ptr) Variable Input
|
|
37: 7(int) Constant 4
|
|
38: TypePointer Input 7(int)
|
|
39(ii): 38(ptr) Variable Input
|
|
41: TypePointer Function 7(int)
|
|
47: TypeInt 32 0
|
|
48: 47(int) Constant 2
|
|
49: TypeArray 6(float) 48
|
|
50: TypePointer Output 49
|
|
51(@entryPointOutput_clip1): 50(ptr) Variable Output
|
|
54: TypePointer Output 6(float)
|
|
59(@entryPointOutput_cull1): 50(ptr) Variable Output
|
|
66(S): TypeStruct 7(int)
|
|
67: TypePointer Output 66(S)
|
|
68(@entryPointOutput): 67(ptr) Variable Output
|
|
71: TypePointer Output 7(int)
|
|
4(main): 2 Function None 3
|
|
5: Label
|
|
18(ins): 9(ptr) Variable Function
|
|
43(flattenTemp): 9(ptr) Variable Function
|
|
44(param): 9(ptr) Variable Function
|
|
22: 6(float) Load 21(clip0)
|
|
24: 23(ptr) AccessChain 18(ins) 19
|
|
Store 24 22
|
|
27: 6(float) Load 26(clip1)
|
|
28: 23(ptr) AccessChain 18(ins) 25
|
|
Store 28 27
|
|
31: 6(float) Load 30(cull0)
|
|
32: 23(ptr) AccessChain 18(ins) 29
|
|
Store 32 31
|
|
35: 6(float) Load 34(cull1)
|
|
36: 23(ptr) AccessChain 18(ins) 33
|
|
Store 36 35
|
|
40: 7(int) Load 39(ii)
|
|
42: 41(ptr) AccessChain 18(ins) 37
|
|
Store 42 40
|
|
45: 8(S) Load 18(ins)
|
|
Store 44(param) 45
|
|
46: 8(S) FunctionCall 12(@main(struct-S-f1-f1-f1-f1-i11;) 44(param)
|
|
Store 43(flattenTemp) 46
|
|
52: 23(ptr) AccessChain 43(flattenTemp) 19
|
|
53: 6(float) Load 52
|
|
55: 54(ptr) AccessChain 51(@entryPointOutput_clip1) 19
|
|
Store 55 53
|
|
56: 23(ptr) AccessChain 43(flattenTemp) 25
|
|
57: 6(float) Load 56
|
|
58: 54(ptr) AccessChain 51(@entryPointOutput_clip1) 25
|
|
Store 58 57
|
|
60: 23(ptr) AccessChain 43(flattenTemp) 29
|
|
61: 6(float) Load 60
|
|
62: 54(ptr) AccessChain 59(@entryPointOutput_cull1) 19
|
|
Store 62 61
|
|
63: 23(ptr) AccessChain 43(flattenTemp) 33
|
|
64: 6(float) Load 63
|
|
65: 54(ptr) AccessChain 59(@entryPointOutput_cull1) 25
|
|
Store 65 64
|
|
69: 41(ptr) AccessChain 43(flattenTemp) 37
|
|
70: 7(int) Load 69
|
|
72: 71(ptr) AccessChain 68(@entryPointOutput) 19
|
|
Store 72 70
|
|
Return
|
|
FunctionEnd
|
|
12(@main(struct-S-f1-f1-f1-f1-i11;): 8(S) Function None 10
|
|
11(ins): 9(ptr) FunctionParameter
|
|
13: Label
|
|
14(s): 9(ptr) Variable Function
|
|
15: 8(S) Load 14(s)
|
|
ReturnValue 15
|
|
FunctionEnd
|