Revision 0298a0427bbfe19700169c4e239a1b9e91baa410 authored by Tim Foley on 17 November 2017, 15:09:58 UTC, committed by GitHub on 17 November 2017, 15:09:58 UTC
This statement type is a bit of a hack, to support loops that *must* be unrolled. The AST-to-AST pass handles them by cloning the AST for the loop body N times, and it was easy enough to do the same thing for the IR: emit the instructions for the body N times. The only thing that requires a bit of care is that now we might see the same variable declarations multiple times, so we need to play it safe and overwrite existing entries in our map from declarations to their IR values. Of course a better answer long-term would be to do the actual unrolling in the IR. This is especially true because we might some day want to support compile-time/must-unroll loops in functions, where the loop counter comes in as a parameter (but must still be compile-time-constant at every call site).
1 parent 0e3d9ba
hello.slang
// shaders.spire
cbuffer Uniforms
{
float4x4 modelViewProjection;
}
struct AssembledVertex
{
float3 position;
float3 color;
};
struct CoarseVertex
{
float3 color;
};
struct Fragment
{
float4 color;
};
// Vertex Shader
struct VertexStageInput
{
AssembledVertex assembledVertex : A;
};
struct VertexStageOutput
{
CoarseVertex coarseVertex : CoarseVertex;
float4 sv_position : SV_Position;
};
VertexStageOutput vertexMain(VertexStageInput input)
{
VertexStageOutput output;
float3 position = input.assembledVertex.position;
float3 color = input.assembledVertex.color;
output.coarseVertex.color = color;
output.sv_position = mul(modelViewProjection, float4(position, 1.0));
return output;
}
// Fragment Shader
struct FragmentStageInput
{
CoarseVertex coarseVertex : CoarseVertex;
};
struct FragmentStageOutput
{
Fragment fragment : SV_Target;
};
FragmentStageOutput fragmentMain(FragmentStageInput input)
{
FragmentStageOutput output;
float3 color = input.coarseVertex.color;
output.fragment.color = float4(color, 1.0);
return output;
}
Computing file changes ...
