From: Neil Roberts <nrobe...@igalia.com> Using OriginLowerLeft isn’t allowed on Vulkan but explicitly allowed by ARB_gl_spirv so it’s probably worth testing. --- .../execution/origin-lower-left.shader_test | 191 +++++++++++++++++ .../execution/origin-upper-left.shader_test | 192 ++++++++++++++++++ 2 files changed, 383 insertions(+) create mode 100644 tests/spec/arb_gl_spirv/execution/origin-lower-left.shader_test create mode 100644 tests/spec/arb_gl_spirv/execution/origin-upper-left.shader_test
diff --git a/tests/spec/arb_gl_spirv/execution/origin-lower-left.shader_test b/tests/spec/arb_gl_spirv/execution/origin-lower-left.shader_test new file mode 100644 index 000000000..4dc15256d --- /dev/null +++ b/tests/spec/arb_gl_spirv/execution/origin-lower-left.shader_test @@ -0,0 +1,191 @@ +# Tests that OriginLowerLeft works. This isn’t allowed on Vulkan but +# is explicitly allowed on ARB_gl_spirv so it’s probably worth +# testing. + +[require] +SPIRV YES +GL >= 3.3 +GLSL >= 4.5 +GL_ARB_gl_spirv + +[vertex shader spirv] +; Automatically generated from the GLSL by shader_test_spirv.py. DO NOT EDIT +; SPIR-V +; Version: 1.0 +; Generator: Khronos Glslang Reference Front End; 6 +; Bound: 26 +; Schema: 0 + OpCapability Shader + %1 = OpExtInstImport "GLSL.std.450" + OpMemoryModel Logical GLSL450 + OpEntryPoint Vertex %main "main" %_ %pos_in %pos_out %gl_VertexID %gl_InstanceID + OpSource GLSL 450 + OpName %main "main" + OpName %gl_PerVertex "gl_PerVertex" + OpMemberName %gl_PerVertex 0 "gl_Position" + OpMemberName %gl_PerVertex 1 "gl_PointSize" + OpMemberName %gl_PerVertex 2 "gl_ClipDistance" + OpMemberName %gl_PerVertex 3 "gl_CullDistance" + OpName %_ "" + OpName %pos_in "pos_in" + OpName %pos_out "pos_out" + OpName %gl_VertexID "gl_VertexID" + OpName %gl_InstanceID "gl_InstanceID" + OpMemberDecorate %gl_PerVertex 0 BuiltIn Position + OpMemberDecorate %gl_PerVertex 1 BuiltIn PointSize + OpMemberDecorate %gl_PerVertex 2 BuiltIn ClipDistance + OpMemberDecorate %gl_PerVertex 3 BuiltIn CullDistance + OpDecorate %gl_PerVertex Block + OpDecorate %pos_in Location 0 + OpDecorate %pos_out Location 0 + OpDecorate %gl_VertexID BuiltIn VertexId + OpDecorate %gl_InstanceID BuiltIn InstanceId + %void = OpTypeVoid + %3 = OpTypeFunction %void + %float = OpTypeFloat 32 + %v4float = OpTypeVector %float 4 + %uint = OpTypeInt 32 0 + %uint_1 = OpConstant %uint 1 +%_arr_float_uint_1 = OpTypeArray %float %uint_1 +%gl_PerVertex = OpTypeStruct %v4float %float %_arr_float_uint_1 %_arr_float_uint_1 +%_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex + %_ = OpVariable %_ptr_Output_gl_PerVertex Output + %int = OpTypeInt 32 1 + %int_0 = OpConstant %int 0 +%_ptr_Input_v4float = OpTypePointer Input %v4float + %pos_in = OpVariable %_ptr_Input_v4float Input +%_ptr_Output_v4float = OpTypePointer Output %v4float + %pos_out = OpVariable %_ptr_Output_v4float Output +%_ptr_Input_int = OpTypePointer Input %int +%gl_VertexID = OpVariable %_ptr_Input_int Input +%gl_InstanceID = OpVariable %_ptr_Input_int Input + %main = OpFunction %void None %3 + %5 = OpLabel + %18 = OpLoad %v4float %pos_in + %20 = OpAccessChain %_ptr_Output_v4float %_ %int_0 + OpStore %20 %18 + %22 = OpLoad %v4float %pos_in + OpStore %pos_out %22 + OpReturn + OpFunctionEnd + +[vertex shader] +#version 450 + +layout(location = 0) in vec4 pos_in; +layout(location = 0) out vec4 pos_out; + +void +main() +{ + gl_Position = pos_in; + pos_out = pos_in; +} + +[fragment shader spirv] +; Automatically generated from the GLSL by shader_test_spirv.py. DO NOT EDIT +; SPIR-V +; Version: 1.0 +; Generator: Khronos Glslang Reference Front End; 6 +; Bound: 51 +; Schema: 0 + OpCapability Shader + %1 = OpExtInstImport "GLSL.std.450" + OpMemoryModel Logical GLSL450 + OpEntryPoint Fragment %main "main" %gl_FragCoord %pos_in %color_out + OpExecutionMode %main OriginLowerLeft + OpSource GLSL 450 + OpName %main "main" + OpName %frag_coord "frag_coord" + OpName %gl_FragCoord "gl_FragCoord" + OpName %pos_in "pos_in" + OpName %color_out "color_out" + OpDecorate %gl_FragCoord BuiltIn FragCoord + OpDecorate %pos_in Location 0 + OpDecorate %color_out Location 0 + %void = OpTypeVoid + %3 = OpTypeFunction %void + %float = OpTypeFloat 32 + %v2float = OpTypeVector %float 2 +%_ptr_Function_v2float = OpTypePointer Function %v2float + %v4float = OpTypeVector %float 4 +%_ptr_Input_v4float = OpTypePointer Input %v4float +%gl_FragCoord = OpVariable %_ptr_Input_v4float Input + %float_125 = OpConstant %float 125 + %bool = OpTypeBool + %pos_in = OpVariable %_ptr_Input_v4float Input + %uint = OpTypeInt 32 0 + %uint_0 = OpConstant %uint 0 +%_ptr_Input_float = OpTypePointer Input %float +%_ptr_Function_float = OpTypePointer Function %float + %uint_1 = OpConstant %uint 1 +%_ptr_Output_v4float = OpTypePointer Output %v4float + %color_out = OpVariable %_ptr_Output_v4float Output + %float_0 = OpConstant %float 0 + %float_1 = OpConstant %float 1 + %48 = OpConstantComposite %v4float %float_0 %float_1 %float_0 %float_1 + %50 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1 + %main = OpFunction %void None %3 + %5 = OpLabel + %frag_coord = OpVariable %_ptr_Function_v2float Function + %13 = OpLoad %v4float %gl_FragCoord + %14 = OpVectorShuffle %v2float %13 %13 0 1 + %16 = OpCompositeConstruct %v2float %float_125 %float_125 + %17 = OpFSub %v2float %14 %16 + OpStore %frag_coord %17 + %23 = OpAccessChain %_ptr_Input_float %pos_in %uint_0 + %24 = OpLoad %float %23 + %25 = OpExtInst %float %1 FSign %24 + %27 = OpAccessChain %_ptr_Function_float %frag_coord %uint_0 + %28 = OpLoad %float %27 + %29 = OpExtInst %float %1 FSign %28 + %30 = OpFOrdEqual %bool %25 %29 + OpSelectionMerge %32 None + OpBranchConditional %30 %31 %32 + %31 = OpLabel + %34 = OpAccessChain %_ptr_Input_float %pos_in %uint_1 + %35 = OpLoad %float %34 + %36 = OpExtInst %float %1 FSign %35 + %37 = OpAccessChain %_ptr_Function_float %frag_coord %uint_1 + %38 = OpLoad %float %37 + %39 = OpExtInst %float %1 FSign %38 + %40 = OpFOrdEqual %bool %36 %39 + OpBranch %32 + %32 = OpLabel + %41 = OpPhi %bool %30 %5 %40 %31 + OpSelectionMerge %43 None + OpBranchConditional %41 %42 %49 + %42 = OpLabel + OpStore %color_out %48 + OpBranch %43 + %49 = OpLabel + OpStore %color_out %50 + OpBranch %43 + %43 = OpLabel + OpReturn + OpFunctionEnd + +[fragment shader] +#version 450 + +layout(location = 0) in vec4 pos_in; +layout(location = 0) out vec4 color_out; + +void +main() +{ + vec2 frag_coord = gl_FragCoord.xy - 125.0; + + if (sign(pos_in.x) == sign(frag_coord.x) && + sign(pos_in.y) == sign(frag_coord.y)) + color_out = vec4(0.0, 1.0, 0.0, 1.0); + else + color_out = vec4(1.0, 0.0, 0.0, 1.0); +} + +[test] +clear color 0.8 0.0 0.0 0.0 +clear + +draw rect -1 -1 2 2 +probe all rgba 0.0 1.0 0.0 1.0 diff --git a/tests/spec/arb_gl_spirv/execution/origin-upper-left.shader_test b/tests/spec/arb_gl_spirv/execution/origin-upper-left.shader_test new file mode 100644 index 000000000..8af814d1a --- /dev/null +++ b/tests/spec/arb_gl_spirv/execution/origin-upper-left.shader_test @@ -0,0 +1,192 @@ +# Tests that OriginUpperLeft works. + +[require] +SPIRV YES +GL >= 3.3 +GLSL >= 4.5 +GL_ARB_gl_spirv + +[vertex shader spirv] +; Automatically generated from the GLSL by shader_test_spirv.py. DO NOT EDIT +; SPIR-V +; Version: 1.0 +; Generator: Khronos Glslang Reference Front End; 6 +; Bound: 26 +; Schema: 0 + OpCapability Shader + %1 = OpExtInstImport "GLSL.std.450" + OpMemoryModel Logical GLSL450 + OpEntryPoint Vertex %main "main" %_ %pos_in %pos_out %gl_VertexID %gl_InstanceID + OpSource GLSL 450 + OpName %main "main" + OpName %gl_PerVertex "gl_PerVertex" + OpMemberName %gl_PerVertex 0 "gl_Position" + OpMemberName %gl_PerVertex 1 "gl_PointSize" + OpMemberName %gl_PerVertex 2 "gl_ClipDistance" + OpMemberName %gl_PerVertex 3 "gl_CullDistance" + OpName %_ "" + OpName %pos_in "pos_in" + OpName %pos_out "pos_out" + OpName %gl_VertexID "gl_VertexID" + OpName %gl_InstanceID "gl_InstanceID" + OpMemberDecorate %gl_PerVertex 0 BuiltIn Position + OpMemberDecorate %gl_PerVertex 1 BuiltIn PointSize + OpMemberDecorate %gl_PerVertex 2 BuiltIn ClipDistance + OpMemberDecorate %gl_PerVertex 3 BuiltIn CullDistance + OpDecorate %gl_PerVertex Block + OpDecorate %pos_in Location 0 + OpDecorate %pos_out Location 0 + OpDecorate %gl_VertexID BuiltIn VertexId + OpDecorate %gl_InstanceID BuiltIn InstanceId + %void = OpTypeVoid + %3 = OpTypeFunction %void + %float = OpTypeFloat 32 + %v4float = OpTypeVector %float 4 + %uint = OpTypeInt 32 0 + %uint_1 = OpConstant %uint 1 +%_arr_float_uint_1 = OpTypeArray %float %uint_1 +%gl_PerVertex = OpTypeStruct %v4float %float %_arr_float_uint_1 %_arr_float_uint_1 +%_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex + %_ = OpVariable %_ptr_Output_gl_PerVertex Output + %int = OpTypeInt 32 1 + %int_0 = OpConstant %int 0 +%_ptr_Input_v4float = OpTypePointer Input %v4float + %pos_in = OpVariable %_ptr_Input_v4float Input +%_ptr_Output_v4float = OpTypePointer Output %v4float + %pos_out = OpVariable %_ptr_Output_v4float Output +%_ptr_Input_int = OpTypePointer Input %int +%gl_VertexID = OpVariable %_ptr_Input_int Input +%gl_InstanceID = OpVariable %_ptr_Input_int Input + %main = OpFunction %void None %3 + %5 = OpLabel + %18 = OpLoad %v4float %pos_in + %20 = OpAccessChain %_ptr_Output_v4float %_ %int_0 + OpStore %20 %18 + %22 = OpLoad %v4float %pos_in + OpStore %pos_out %22 + OpReturn + OpFunctionEnd + +[vertex shader] +#version 450 + +layout(location = 0) in vec4 pos_in; +layout(location = 0) out vec4 pos_out; + +void +main() +{ + gl_Position = pos_in; + pos_out = pos_in; +} + +[fragment shader spirv] +; Automatically generated from the GLSL by shader_test_spirv.py. DO NOT EDIT +; SPIR-V +; Version: 1.0 +; Generator: Khronos Glslang Reference Front End; 6 +; Bound: 52 +; Schema: 0 + OpCapability Shader + %1 = OpExtInstImport "GLSL.std.450" + OpMemoryModel Logical GLSL450 + OpEntryPoint Fragment %main "main" %gl_FragCoord %pos_in %color_out + OpExecutionMode %main OriginUpperLeft + OpSource GLSL 450 + OpName %main "main" + OpName %frag_coord "frag_coord" + OpName %gl_FragCoord "gl_FragCoord" + OpName %pos_in "pos_in" + OpName %color_out "color_out" + OpDecorate %gl_FragCoord BuiltIn FragCoord + OpDecorate %pos_in Location 0 + OpDecorate %color_out Location 0 + %void = OpTypeVoid + %3 = OpTypeFunction %void + %float = OpTypeFloat 32 + %v2float = OpTypeVector %float 2 +%_ptr_Function_v2float = OpTypePointer Function %v2float + %v4float = OpTypeVector %float 4 +%_ptr_Input_v4float = OpTypePointer Input %v4float +%gl_FragCoord = OpVariable %_ptr_Input_v4float Input + %float_125 = OpConstant %float 125 + %bool = OpTypeBool + %pos_in = OpVariable %_ptr_Input_v4float Input + %uint = OpTypeInt 32 0 + %uint_0 = OpConstant %uint 0 +%_ptr_Input_float = OpTypePointer Input %float +%_ptr_Function_float = OpTypePointer Function %float + %uint_1 = OpConstant %uint 1 +%_ptr_Output_v4float = OpTypePointer Output %v4float + %color_out = OpVariable %_ptr_Output_v4float Output + %float_0 = OpConstant %float 0 + %float_1 = OpConstant %float 1 + %49 = OpConstantComposite %v4float %float_0 %float_1 %float_0 %float_1 + %51 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1 + %main = OpFunction %void None %3 + %5 = OpLabel + %frag_coord = OpVariable %_ptr_Function_v2float Function + %13 = OpLoad %v4float %gl_FragCoord + %14 = OpVectorShuffle %v2float %13 %13 0 1 + %16 = OpCompositeConstruct %v2float %float_125 %float_125 + %17 = OpFSub %v2float %14 %16 + OpStore %frag_coord %17 + %23 = OpAccessChain %_ptr_Input_float %pos_in %uint_0 + %24 = OpLoad %float %23 + %25 = OpExtInst %float %1 FSign %24 + %27 = OpAccessChain %_ptr_Function_float %frag_coord %uint_0 + %28 = OpLoad %float %27 + %29 = OpExtInst %float %1 FSign %28 + %30 = OpFOrdEqual %bool %25 %29 + OpSelectionMerge %32 None + OpBranchConditional %30 %31 %32 + %31 = OpLabel + %34 = OpAccessChain %_ptr_Input_float %pos_in %uint_1 + %35 = OpLoad %float %34 + %36 = OpExtInst %float %1 FSign %35 + %37 = OpAccessChain %_ptr_Function_float %frag_coord %uint_1 + %38 = OpLoad %float %37 + %39 = OpExtInst %float %1 FSign %38 + %40 = OpFNegate %float %39 + %41 = OpFOrdEqual %bool %36 %40 + OpBranch %32 + %32 = OpLabel + %42 = OpPhi %bool %30 %5 %41 %31 + OpSelectionMerge %44 None + OpBranchConditional %42 %43 %50 + %43 = OpLabel + OpStore %color_out %49 + OpBranch %44 + %50 = OpLabel + OpStore %color_out %51 + OpBranch %44 + %44 = OpLabel + OpReturn + OpFunctionEnd + +[fragment shader] +#version 450 + +layout(origin_upper_left) in vec4 gl_FragCoord; + +layout(location = 0) in vec4 pos_in; +layout(location = 0) out vec4 color_out; + +void +main() +{ + vec2 frag_coord = gl_FragCoord.xy - 125.0; + + if (sign(pos_in.x) == sign(frag_coord.x) && + sign(pos_in.y) == -sign(frag_coord.y)) + color_out = vec4(0.0, 1.0, 0.0, 1.0); + else + color_out = vec4(1.0, 0.0, 0.0, 1.0); +} + +[test] +clear color 0.8 0.0 0.0 0.0 +clear + +draw rect -1 -1 2 2 +probe all rgba 0.0 1.0 0.0 1.0 -- 2.19.1 _______________________________________________ Piglit mailing list Piglit@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/piglit