1 /*------------------------------------------------------------------------
2 * Vulkan Conformance Tests
3 * ------------------------
5 * Copyright (c) 2015 The Khronos Group Inc.
6 * Copyright (c) 2015 Samsung Electronics Co., Ltd.
7 * Copyright (c) 2016 The Android Open Source Project
9 * Licensed under the Apache License, Version 2.0 (the "License");
10 * you may not use this file except in compliance with the License.
11 * You may obtain a copy of the License at
13 * http://www.apache.org/licenses/LICENSE-2.0
15 * Unless required by applicable law or agreed to in writing, software
16 * distributed under the License is distributed on an "AS IS" BASIS,
17 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
18 * See the License for the specific language governing permissions and
19 * limitations under the License.
23 * \brief Shader discard statement tests.
24 *//*--------------------------------------------------------------------*/
26 #include "vktShaderRenderDiscardTests.hpp"
27 #include "vktShaderRender.hpp"
28 #include "tcuStringTemplate.hpp"
29 #include "gluTexture.hpp"
33 using tcu::StringTemplate;
42 class SamplerUniformSetup : public UniformSetup
45 SamplerUniformSetup (bool useSampler)
46 : m_useSampler(useSampler)
49 virtual void setup (ShaderRenderCaseInstance& instance, const tcu::Vec4&) const
51 instance.useUniform(0u, UI_ONE);
52 instance.useUniform(1u, UI_TWO);
54 instance.useSampler(2u, 0u); // To the uniform binding location 2 bind the texture 0
58 const bool m_useSampler;
62 class ShaderDiscardCaseInstance : public ShaderRenderCaseInstance
65 ShaderDiscardCaseInstance (Context& context,
67 const ShaderEvaluator& evaluator,
68 const UniformSetup& uniformSetup,
71 virtual ~ShaderDiscardCaseInstance (void);
74 ShaderDiscardCaseInstance::ShaderDiscardCaseInstance (Context& context,
76 const ShaderEvaluator& evaluator,
77 const UniformSetup& uniformSetup,
80 : ShaderRenderCaseInstance (context, isVertexCase, evaluator, uniformSetup, DE_NULL, IMAGE_BACKING_MODE_REGULAR, static_cast<deUint32>(GRID_SIZE_DEFAULTS), fuzzyCompare)
84 de::SharedPtr<TextureBinding> brickTexture(new TextureBinding(m_context.getTestContext().getArchive(),
85 "vulkan/data/brick.png",
86 TextureBinding::TYPE_2D,
87 tcu::Sampler(tcu::Sampler::CLAMP_TO_EDGE,
88 tcu::Sampler::CLAMP_TO_EDGE,
89 tcu::Sampler::CLAMP_TO_EDGE,
94 tcu::Sampler::COMPAREMODE_NONE,
96 tcu::Vec4(0.0f, 0.0f, 0.0f, 0.0f),
98 m_textures.push_back(brickTexture);
102 ShaderDiscardCaseInstance::~ShaderDiscardCaseInstance (void)
106 class ShaderDiscardCase : public ShaderRenderCase
109 ShaderDiscardCase (tcu::TestContext& testCtx,
111 const char* description,
112 const char* shaderSource,
113 const ShaderEvalFunc evalFunc,
117 virtual TestInstance* createInstance (Context& context) const
119 DE_ASSERT(m_evaluator != DE_NULL);
120 DE_ASSERT(m_uniformSetup != DE_NULL);
121 return new ShaderDiscardCaseInstance(context, m_isVertexCase, *m_evaluator, *m_uniformSetup, m_usesTexture, m_fuzzyCompare);
124 virtual void checkSupport (Context& context) const;
127 const bool m_usesTexture;
128 const bool m_fuzzyCompare;
129 #ifndef CTS_USES_VULKANSC
131 #endif // CTS_USES_VULKANSC
134 ShaderDiscardCase::ShaderDiscardCase (tcu::TestContext& testCtx,
136 const char* description,
137 const char* shaderSource,
138 const ShaderEvalFunc evalFunc,
142 : ShaderRenderCase (testCtx, name, description, false, evalFunc, new SamplerUniformSetup(usesTexture), DE_NULL)
143 , m_usesTexture (usesTexture)
144 , m_fuzzyCompare (fuzzyCompare)
145 #ifndef CTS_USES_VULKANSC
147 #endif // CTS_USES_VULKANSC
149 #ifdef CTS_USES_VULKANSC
151 #endif // CTS_USES_VULKANSC
153 m_fragShaderSource = shaderSource;
156 "layout(location=0) in highp vec4 a_position;\n"
157 "layout(location=1) in highp vec4 a_coords;\n"
158 "layout(location=2) in highp vec4 a_one;\n"
159 "layout(location=0) out mediump vec4 v_color;\n"
160 "layout(location=1) out mediump vec4 v_coords;\n\n"
161 "layout(location=2) out mediump vec4 v_one;\n"
164 " gl_Position = a_position;\n"
165 " v_color = vec4(a_coords.xyz, 1.0);\n"
166 " v_coords = a_coords;\n"
171 void ShaderDiscardCase::checkSupport(Context& context) const
173 #ifndef CTS_USES_VULKANSC
174 if (m_demote && !context.getShaderDemoteToHelperInvocationFeatures().shaderDemoteToHelperInvocation)
175 TCU_THROW(NotSupportedError, "VK_EXT_shader_demote_to_helper_invocation not supported");
178 #endif // CTS_USES_VULKANSC
183 DISCARDMODE_ALWAYS = 0,
195 DISCARDTEMPLATE_MAIN_BASIC = 0,
196 DISCARDTEMPLATE_FUNCTION_BASIC,
197 DISCARDTEMPLATE_MAIN_STATIC_LOOP,
198 DISCARDTEMPLATE_MAIN_DYNAMIC_LOOP,
199 DISCARDTEMPLATE_FUNCTION_STATIC_LOOP,
204 // Evaluation functions
205 inline void evalDiscardAlways (ShaderEvalContext& c) { c.discard(); }
206 inline void evalDiscardNever (ShaderEvalContext& c) { c.color.xyz() = c.coords.swizzle(0,1,2); }
207 inline void evalDiscardDynamic (ShaderEvalContext& c) { c.color.xyz() = c.coords.swizzle(0,1,2); if (c.coords.x()+c.coords.y() > 0.0f) c.discard(); }
209 inline void evalDiscardTexture (ShaderEvalContext& c)
211 c.color.xyz() = c.coords.swizzle(0,1,2);
212 if (c.texture2D(0, c.coords.swizzle(0,1) * 0.25f + 0.5f).x() < 0.7f)
216 static ShaderEvalFunc getEvalFunc (DiscardMode mode)
220 case DISCARDMODE_ALWAYS: return evalDiscardAlways;
221 case DISCARDMODE_NEVER: return evalDiscardNever;
222 case DISCARDMODE_UNIFORM: return evalDiscardAlways;
223 case DISCARDMODE_DYNAMIC: return evalDiscardDynamic;
224 case DISCARDMODE_TEXTURE: return evalDiscardTexture;
225 case DISCARDMODE_DERIV: return evalDiscardAlways;
228 return evalDiscardAlways;
232 static const char* getTemplate (DiscardTemplate variant)
234 #define GLSL_SHADER_TEMPLATE_HEADER \
235 "#version 310 es\n" \
236 "#extension GL_EXT_demote_to_helper_invocation : enable\n" \
237 "layout(location = 0) in mediump vec4 v_color;\n" \
238 "layout(location = 1) in mediump vec4 v_coords;\n" \
239 "layout(location = 2) in mediump vec4 a_one;\n" \
240 "layout(location = 0) out mediump vec4 o_color;\n" \
241 "layout(set = 0, binding = 2) uniform sampler2D ut_brick;\n" \
242 "layout(set = 0, binding = 0) uniform block0 { mediump int ui_one; };\n\n"
246 case DISCARDTEMPLATE_MAIN_BASIC:
247 return GLSL_SHADER_TEMPLATE_HEADER
250 " o_color = v_color;\n"
254 case DISCARDTEMPLATE_FUNCTION_BASIC:
255 return GLSL_SHADER_TEMPLATE_HEADER
256 "void myfunc (void)\n"
262 " o_color = v_color;\n"
266 case DISCARDTEMPLATE_MAIN_STATIC_LOOP:
267 return GLSL_SHADER_TEMPLATE_HEADER
270 " o_color = v_color;\n"
271 " for (int i = 0; i < 2; i++)\n"
279 case DISCARDTEMPLATE_MAIN_DYNAMIC_LOOP:
280 return GLSL_SHADER_TEMPLATE_HEADER
281 "layout(set = 0, binding = 1) uniform block1 { mediump int ui_two; };\n\n"
284 " o_color = v_color;\n"
285 " for (int i = 0; i < ui_two; i++)\n"
293 case DISCARDTEMPLATE_FUNCTION_STATIC_LOOP:
294 return GLSL_SHADER_TEMPLATE_HEADER
295 "void myfunc (void)\n"
297 " for (int i = 0; i < 2; i++)\n"
306 " o_color = v_color;\n"
315 #undef GLSL_SHADER_TEMPLATE_HEADER
318 static const char* getTemplateName (DiscardTemplate variant)
322 case DISCARDTEMPLATE_MAIN_BASIC: return "basic";
323 case DISCARDTEMPLATE_FUNCTION_BASIC: return "function";
324 case DISCARDTEMPLATE_MAIN_STATIC_LOOP: return "static_loop";
325 case DISCARDTEMPLATE_MAIN_DYNAMIC_LOOP: return "dynamic_loop";
326 case DISCARDTEMPLATE_FUNCTION_STATIC_LOOP: return "function_static_loop";
333 static const char* getModeName (DiscardMode mode)
337 case DISCARDMODE_ALWAYS: return "always";
338 case DISCARDMODE_NEVER: return "never";
339 case DISCARDMODE_UNIFORM: return "uniform";
340 case DISCARDMODE_DYNAMIC: return "dynamic";
341 case DISCARDMODE_TEXTURE: return "texture";
342 case DISCARDMODE_DERIV: return "deriv";
349 static const char* getTemplateDesc (DiscardTemplate variant)
353 case DISCARDTEMPLATE_MAIN_BASIC: return "main";
354 case DISCARDTEMPLATE_FUNCTION_BASIC: return "function";
355 case DISCARDTEMPLATE_MAIN_STATIC_LOOP: return "static loop";
356 case DISCARDTEMPLATE_MAIN_DYNAMIC_LOOP: return "dynamic loop";
357 case DISCARDTEMPLATE_FUNCTION_STATIC_LOOP: return "static loop in function";
364 static const char* getModeDesc (DiscardMode mode)
368 case DISCARDMODE_ALWAYS: return "Always discard";
369 case DISCARDMODE_NEVER: return "Never discard";
370 case DISCARDMODE_UNIFORM: return "Discard based on uniform value";
371 case DISCARDMODE_DYNAMIC: return "Discard based on varying values";
372 case DISCARDMODE_TEXTURE: return "Discard based on texture value";
373 case DISCARDMODE_DERIV: return "Discard based on derivatives after an earlier discard";
380 de::MovePtr<ShaderDiscardCase> makeDiscardCase (tcu::TestContext& testCtx, DiscardTemplate tmpl, DiscardMode mode, const std::string& discardStr)
382 StringTemplate shaderTemplate(getTemplate(tmpl));
384 std::map<std::string, std::string> params;
388 case DISCARDMODE_ALWAYS: params["DISCARD"] = discardStr; break;
389 case DISCARDMODE_NEVER: params["DISCARD"] = "if (false) " + discardStr; break;
390 case DISCARDMODE_UNIFORM: params["DISCARD"] = "if (ui_one > 0) " + discardStr; break;
391 case DISCARDMODE_DYNAMIC: params["DISCARD"] = "if (v_coords.x+v_coords.y > 0.0) " + discardStr; break;
392 case DISCARDMODE_TEXTURE: params["DISCARD"] = "if (texture(ut_brick, v_coords.xy*0.25+0.5).x < 0.7) " + discardStr; break;
393 case DISCARDMODE_DERIV: params["DISCARD"] =
394 // First demote pixels where fragCoord.xy LSBs are not both zero, leaving only one
395 // non-helper pixel per quad. Then compute derivatives of "one+fragCoord" and check they
396 // are 0 or 1 as appropriate. Also check that helperInvocationEXT varies in the quad and
397 // is false on non-helper pixels. Demote the pixel if it gets the right values, so the final
398 // image should be entirely the clear color. If we don't get the right values, output red.
399 // This test case would not work for discard, because derivatives become undefined.
400 " ivec2 f = ivec2(gl_FragCoord.xy);\n"
401 " int lsb = (f.x | f.y)&1;\n"
402 " if (lsb != 0) demote;\n"
403 " bool isHelper = helperInvocationEXT();\n"
404 " highp vec2 dx = dFdx(a_one.xy + gl_FragCoord.xy);\n"
405 " highp vec2 dy = dFdy(a_one.xy + gl_FragCoord.xy);\n"
406 " highp float dh = dFdx(float(isHelper));\n"
407 " bool valid = abs(dx.x-1.0) < 0.01 && dx.y == 0.0 && dy.x == 0.0 && abs(dy.y-1.0) < 0.01 && abs(dh-1.0) < 0.1 && !isHelper;\n"
408 " if (valid) demote;\n"
409 " o_color = vec4(1,0,0,1);\n";
416 std::string name = std::string(getTemplateName(tmpl)) + "_" + getModeName(mode);
417 std::string description = std::string(getModeDesc(mode)) + " in " + getTemplateDesc(tmpl);
419 return de::MovePtr<ShaderDiscardCase>(new ShaderDiscardCase(testCtx, name.c_str(),
421 shaderTemplate.specialize(params).c_str(),
423 mode == DISCARDMODE_TEXTURE, // usesTexture
424 mode != DISCARDMODE_DERIV, // fuzzyCompare
425 discardStr == "demote")); // demote
428 class ShaderDiscardTests : public tcu::TestCaseGroup
431 ShaderDiscardTests (tcu::TestContext& textCtx, const char *groupName);
432 virtual ~ShaderDiscardTests (void);
434 virtual void init (void);
437 ShaderDiscardTests (const ShaderDiscardTests&); // not allowed!
438 ShaderDiscardTests& operator= (const ShaderDiscardTests&); // not allowed!
439 const std::string m_groupName;
442 ShaderDiscardTests::ShaderDiscardTests (tcu::TestContext& testCtx, const char *groupName)
443 : TestCaseGroup(testCtx, groupName, "Discard statement tests")
444 , m_groupName(groupName)
448 ShaderDiscardTests::~ShaderDiscardTests (void)
452 void ShaderDiscardTests::init (void)
454 for (int tmpl = 0; tmpl < DISCARDTEMPLATE_LAST; tmpl++)
456 for (int mode = 0; mode < DISCARDMODE_LAST; mode++)
458 if (mode == DISCARDMODE_DERIV && m_groupName == "discard")
460 addChild(makeDiscardCase(m_testCtx, (DiscardTemplate)tmpl, (DiscardMode)mode, m_groupName).release());
467 tcu::TestCaseGroup* createDiscardTests (tcu::TestContext& testCtx)
469 return new ShaderDiscardTests(testCtx, "discard");
472 tcu::TestCaseGroup* createDemoteTests (tcu::TestContext& testCtx)
474 return new ShaderDiscardTests(testCtx, "demote");