[require] shader model >= 5.0 tessellation-shader [vertex shader] struct data { float4 position : SV_Position; float r : RED; float g : GREEN; float b : BLUE; }; void main(uint id : SV_VertexID, out data output) { float2 coords = float2((id << 1) & 2, id & 2); output.position = float4(coords * float2(2, -2) + float2(-1, 1), 0, 1); output.r = 0.0; output.g = 1.0; output.b = 0.0; } [hull shader] struct data { float4 position : SV_Position; float r : RED; float g : GREEN; float b : BLUE; }; struct patch_constant_data { float edges[3] : SV_TessFactor; float inside : SV_InsideTessFactor; }; void patch_constant(InputPatch input, out patch_constant_data output) { output.edges[0] = output.edges[1] = output.edges[2] = 1.0f; output.inside = 1.0f; } [domain("tri")] [outputcontrolpoints(3)] [partitioning("integer")] [outputtopology("triangle_cw")] [patchconstantfunc("patch_constant")] data main(InputPatch input, uint i : SV_OutputControlPointID) { return input[i]; } [domain shader] struct data { float4 position : SV_Position; float r : RED; float g : GREEN; float b : BLUE; }; struct patch_constant_data { float edges[3] : SV_TessFactor; float inside : SV_InsideTessFactor; }; [domain("tri")] void main(patch_constant_data input, float3 tess_coord : SV_DomainLocation, const OutputPatch patch, out data output) { output.position = tess_coord.x * patch[0].position + tess_coord.y * patch[1].position + tess_coord.z * patch[2].position; output.r = tess_coord.x * patch[0].r + tess_coord.y * patch[1].r + tess_coord.z * patch[2].r; output.g = tess_coord.x * patch[0].g + tess_coord.y * patch[1].g + tess_coord.z * patch[2].g; output.b = tess_coord.x * patch[0].b + tess_coord.y * patch[1].b + tess_coord.z * patch[2].b; } [pixel shader] struct data { float4 position : SV_Position; float r : RED; float g : GREEN; float b : BLUE; }; float4 main(data input) : sv_target { return float4(input.r, input.g, input.b, 1.0); } [test] % llvmpipe currently segfaults due to a bug during shader compilation in the driver. if(!llvmpipe) todo(glsl | mvk & vulkan) draw 3 control point patch list 3 if(!llvmpipe) todo(mvk) probe (0, 0, 640, 480) rgba(0.0, 1.0, 0.0, 1.0) % Passthrough hull shader control point function. [hull shader] struct data { float4 position : SV_Position; float r : RED; float g : GREEN; float b : BLUE; }; struct patch_constant_data { float edges[3] : SV_TessFactor; float inside : SV_InsideTessFactor; }; void patch_constant(InputPatch input, out patch_constant_data output) { output.edges[0] = output.edges[1] = output.edges[2] = 1.0f; output.inside = 1.0f; } [domain("tri")] [outputcontrolpoints(3)] [partitioning("integer")] [outputtopology("triangle_cw")] [patchconstantfunc("patch_constant")] void main(InputPatch input) { } [test] % DXC doesn't generate a passthrough control point phase like FXC does if(!llvmpipe & sm<6) todo(glsl | mvk & vulkan) draw 3 control point patch list 3 if(!llvmpipe & sm<6) todo(mvk) probe (0, 0, 640, 480) rgba(0.0, 1.0, 0.0, 1.0) [require] shader model >= 5.0 shader model < 5.1 tessellation-shader [hull shader dxbc-tpf-hex] % As above, but with some DCL_INDEXRANGE instructions that skip a signature % element (i.e., it has "dcl_indexrange o0.z 3" at some point, but o1.z does % not exist). This must be kept in compiled form rather than source code % because we want to test a specific quirk of the code generated by the native % d3dcompiler. It should be converted to assembly as soon as that's available, % though. % struct data % { % float4 position : SV_Position; % float r : RED; % float g : GREEN; % float b : BLUE; % }; % % struct patch_constant_data % { % float edges[3] : SV_TessFactor; % float inside : SV_InsideTessFactor; % float2 x : X; % float1 y : Y; % float2 z : Z; % }; % % void patch_constant(InputPatch input, out patch_constant_data output) % { % output.edges[0] = output.edges[1] = output.edges[2] = 1.0f; % output.inside = 1.0f; % output.x = 0.0f; % output.y = 0.0f; % output.z = 0.0f; % } % % [domain("tri")] % [outputcontrolpoints(3)] % [partitioning("integer")] % [outputtopology("triangle_cw")] % [patchconstantfunc("patch_constant")] % data main(InputPatch input, uint i : SV_OutputControlPointID) % { % return input[i]; % } 43425844 d70b6259 818a3418 8aff8947 e7f3a36d 00000001 00000420 % DXBC header 00000004 00000030 000000bc 00000148 00000228 % 4e475349 00000084 00000004 00000008 % .input 00000068 00000000 00000001 00000003 00000000 00000f0f % .param SV_Position.xyzw, v0.xyzw, float, POS 00000074 00000000 00000000 00000003 00000001 00000101 % .param RED.x, v1.x, float 00000078 00000000 00000000 00000003 00000001 00000202 % .param GREEN.y, v1.y, float 0000007e 00000000 00000000 00000003 00000001 00000404 % .param BLUE.z, v1.z, float 505f5653 7469736f 006e6f69 00444552 45455247 4c42004e ab004555 % 4e47534f 00000084 00000004 00000008 % .output 00000068 00000000 00000001 00000003 00000000 0000000f % .param SV_Position.xyzw, o0.xyzw, float, POS 00000074 00000000 00000000 00000003 00000001 00000e01 % .param RED.x, o1.x, float 00000078 00000000 00000000 00000003 00000001 00000d02 % .param GREEN.y, o1.y, float 0000007e 00000000 00000000 00000003 00000001 00000b04 % .param BLUE.z, o1.z, float 505f5653 7469736f 006e6f69 00444552 45455247 4c42004e ab004555 % 47534350 000000d8 00000007 00000008 % .patch_constant 000000b0 00000000 0000000d 00000003 00000000 00000e01 % .param SV_TessFactor.x, o0.x, float, TRIEDGE 000000be 00000000 00000000 00000003 00000000 00000906 % .param X.yz, o0.yz, float 000000b0 00000001 0000000d 00000003 00000001 00000e01 % .param SV_TessFactor1.x, o1.x, float, TRIEDGE 000000c0 00000000 00000000 00000003 00000001 00000d02 % .param Y.y, o1.y, float 000000b0 00000002 0000000d 00000003 00000002 00000e01 % .param SV_TessFactor2.x, o2.x, float, TRIEDGE 000000c2 00000000 00000000 00000003 00000002 00000906 % .param Z.yz, o2.yz, float 000000c4 00000000 0000000e 00000003 00000003 00000e01 % .param SV_InsideTessFactor.x, o3.x, % float, TRIINT 545f5653 46737365 6f746361 00580072 005a0059 495f5653 6469736e % 73655465 63614673 00726f74 % 58454853 000001f0 00030050 0000007c % .text hs_5_0 01000071 % hs_decls 01001893 % dcl_input_control_point_count 3 01001894 % dcl_output_control_point_count 3 01001095 % dcl_tessellator_domain domain_tri 01000896 % dcl_tessellator_partitioning partitioning_integer 01001897 % dcl_tessellator_output_primitive output_triangle_cw 0100086a % dcl_globalFlags refactoringAllowed 01000073 % hs_fork_phase 02000099 00000003 % dcl_hs_fork_phase_instance_count 3 0200005f 00017000 % dcl_input vForkInstanceId 04000067 00102012 00000000 00000011 % dcl_output_siv o0.x, finalTriUeq0EdgeTessFactor 04000067 00102012 00000001 00000012 % dcl_output_siv o1.x, finalTriVeq0EdgeTessFactor 04000067 00102012 00000002 00000013 % dcl_output_siv o2.x, finalTriWeq0EdgeTessFactor 02000068 00000001 % dcl_temps 1 0400005b 00102012 00000000 00000003 % dcl_index_range o0.x 3 04000036 00100012 00000000 0001700a % mov r0.x, vForkInstanceId.x 06000036 00902012 0010000a 00000000 00004001 3f800000 % mov o[r0.x + 0].x, l(1.00000000e+00) 0100003e % ret 01000073 % hs_fork_phase 04000067 00102012 00000003 00000014 % dcl_output_siv o3.x, finalTriInsideTessFactor 05000036 00102012 00000003 00004001 3f800000 % mov o3.x, l(1.00000000e+00) 0100003e % ret 01000073 % hs_fork_phase 02000099 00000003 % dcl_hs_fork_phase_instance_count 3 0200005f 00017000 % dcl_input vForkInstanceId 03000065 00102022 00000000 % dcl_output o0.y 03000065 00102022 00000001 % dcl_output o1.y 03000065 00102022 00000002 % dcl_output o2.y 02000068 00000001 % dcl_temps 1 0400005b 00102022 00000000 00000003 % dcl_index_range o0.y 3 04000036 00100012 00000000 0001700a % mov r0.x, vForkInstanceId.x 06000036 00902022 0010000a 00000000 00004001 00000000 % mov o[r0.x + 0].y, l(0) 0100003e % ret 01000073 % hs_fork_phase 02000099 00000002 % dcl_hs_fork_phase_instance_count 2 0200005f 00017000 % dcl_input vForkInstanceId 03000065 00102042 00000000 % dcl_output o0.z 03000065 00102042 00000002 % dcl_output o2.z 02000068 00000001 % dcl_temps 1 0400005b 00102042 00000000 00000003 % dcl_index_range o0.z 3 0600004f 00100012 00000000 0001700a 00004001 00000001 % ult r0.x, vForkInstanceId.x, l(1) 09000037 00100012 00000000 0010000a 00000000 % movc r0.x, r0.x, 00004001 00000000 00004001 00000002 % l(0), l(2) 06000036 00902042 0010000a 00000000 00004001 00000000 % mov o[r0.x + 0].z, l(0) 0100003e % ret [domain shader] struct data { float4 position : SV_Position; float r : RED; float g : GREEN; float b : BLUE; }; struct patch_constant_data { float edges[3] : SV_TessFactor; float inside : SV_InsideTessFactor; float2 x : X; float1 y : Y; float2 z : Z; }; [domain("tri")] void main(patch_constant_data input, float3 tess_coord : SV_DomainLocation, const OutputPatch patch, out data output) { output.position = tess_coord.x * patch[0].position + tess_coord.y * patch[1].position + tess_coord.z * patch[2].position; output.r = tess_coord.x * patch[0].r + tess_coord.y * patch[1].r + tess_coord.z * patch[2].r; output.g = tess_coord.x * patch[0].g + tess_coord.y * patch[1].g + tess_coord.z * patch[2].g; output.b = tess_coord.x * patch[0].b + tess_coord.y * patch[1].b + tess_coord.z * patch[2].b; } [test] if(!llvmpipe) todo(glsl | mvk & vulkan) draw 3 control point patch list 3 if(!llvmpipe) todo(mvk) probe (0, 0, 640, 480) rgba(0.0, 1.0, 0.0, 1.0)