glslang/Test/spv.register.autoassign-2.frag


SamplerState g_tSamp : register(s0);

Texture2D g_tScene[2] : register(t0);

struct PS_OUTPUT
{
    float4 Color : SV_Target0;
};

void main(out PS_OUTPUT psout)
{
    psout.Color = g_tScene[0].Sample(g_tSamp, float2(0.3,0.4)) +
                  g_tScene[1].Sample(g_tSamp, float2(0.3,0.4));
}
Fix defects in uniform array flattening Fix for two defects as follows: - The IO mapping traverser was not setting inVisit, and would skip some AST nodes. Depending on the order of nodes, this could have prevented the binding from showing up in the generated SPIR-V. - If a uniform array was flattened, each of the flattened scalars from the array is still a (now-scalar) uniform. It was being converted to a temporary. 2016-09-22 20:35:23 +00:00
			`SamplerState g_tSamp : register(s0);`

			`Texture2D g_tScene[2] : register(t0);`

			`struct PS_OUTPUT`
			`{`
			`float4 Color : SV_Target0;`
			`};`

			`void main(out PS_OUTPUT psout)`
			`{`
HLSL: add intrinsic function implicit promotions This PR handles implicit promotions for intrinsics when there is no exact match, such as for example clamp(int, bool, float). In this case the int and bool will be promoted to a float, and the clamp(float, float, float) form used. These promotions can be mixed with shape conversions, e.g, clamp(int, bool2, float2). Output conversions are handled either via the existing addOutputArgumentConversion function, which this PR generalizes to handle either aggregates or unaries, or by intrinsic decomposition. If there are methods or intrinsics to be decomposed, then decomposition is responsible for any output conversions, which turns out to happen automatically in all current cases. This can be revisited once inout conversions are in place. Some cases of actual ambiguity were fixed in several tests, e.g, spv.register.autoassign.* Some intrinsics with only uint versions were expanded to signed ints natively, where the underlying AST and SPIR-V supports that. E.g, countbits. This avoids extraneous conversion nodes. A new function promoteAggregate is added, and used by findFunction. This is essentially a generalization of the "promote 1st or 2nd arg" algorithm in promoteBinary. The actual selection proceeds in three steps, as described in the comments in hlslParseContext::findFunction: 1. Attempt an exact match. If found, use it. 2. If not, obtain the operator from step 1, and promote arguments. 3. Re-select the intrinsic overload from the results of step 2. 2016-11-02 18:42:34 +00:00			`psout.Color = g_tScene[0].Sample(g_tSamp, float2(0.3,0.4)) +`
			`g_tScene[1].Sample(g_tSamp, float2(0.3,0.4));`
Fix defects in uniform array flattening Fix for two defects as follows: - The IO mapping traverser was not setting inVisit, and would skip some AST nodes. Depending on the order of nodes, this could have prevented the binding from showing up in the generated SPIR-V. - If a uniform array was flattened, each of the flattened scalars from the array is still a (now-scalar) uniform. It was being converted to a temporary. 2016-09-22 20:35:23 +00:00			`}`