blob: 3d3e468921c82eb0a64a1b94012a9372c4db8a73 [file] [log] [blame]
Brian Osman088913a2019-12-19 15:44:56 -05001/*
2 * Copyright 2019 Google LLC
3 *
4 * Use of this source code is governed by a BSD-style license that can be
5 * found in the LICENSE file.
6 */
7
Brian Osman62419612020-07-22 10:19:02 -04008#include "include/core/SkBitmap.h"
John Stiles49128242021-06-16 22:37:15 -04009#include "include/core/SkBlender.h"
Brian Osmanf72dedd2020-01-08 13:19:58 -050010#include "include/core/SkCanvas.h"
Brian Osman92aac1e2020-08-05 16:48:58 -040011#include "include/core/SkColorFilter.h"
Brian Osman269b21c2020-08-06 12:15:53 -040012#include "include/core/SkData.h"
Brian Osmanf72dedd2020-01-08 13:19:58 -050013#include "include/core/SkPaint.h"
14#include "include/core/SkSurface.h"
John Stilesce9a5c92021-07-30 11:20:19 -040015#include "include/effects/SkBlenders.h"
Brian Osmanee426f22020-01-02 11:55:24 -050016#include "include/effects/SkRuntimeEffect.h"
Robert Phillips6d344c32020-07-06 10:56:46 -040017#include "include/gpu/GrDirectContext.h"
Brian Salomon5392c942021-03-30 16:14:37 -040018#include "src/core/SkColorSpacePriv.h"
Brian Osman4f009822021-04-28 09:41:06 -040019#include "src/core/SkRuntimeEffectPriv.h"
Brian Osmand9bde072020-04-15 14:18:13 -040020#include "src/core/SkTLazy.h"
Robert Phillipscc44feb2021-07-06 12:21:37 -040021#include "src/gpu/GrCaps.h"
Brian Osman62419612020-07-22 10:19:02 -040022#include "src/gpu/GrColor.h"
Brian Osman70ae91f2021-06-10 14:27:53 -040023#include "src/gpu/GrDirectContextPriv.h"
Brian Osman4d571112021-04-27 09:10:10 -040024#include "src/gpu/GrFragmentProcessor.h"
John Stilesb2295582021-10-06 10:20:09 -040025#include "src/gpu/GrImageInfo.h"
26#include "src/gpu/SurfaceFillContext.h"
Brian Osman443b5da2021-06-04 16:52:21 -040027#include "src/gpu/effects/GrSkSLFP.h"
Brian Osman088913a2019-12-19 15:44:56 -050028#include "tests/Test.h"
29
Brian Osmanf72dedd2020-01-08 13:19:58 -050030#include <algorithm>
Brian Osman8e2ef022020-09-30 13:26:43 -040031#include <thread>
Brian Osmanf72dedd2020-01-08 13:19:58 -050032
John Stiles7ce17512021-01-12 18:39:02 -050033void test_invalid_effect(skiatest::Reporter* r, const char* src, const char* expected) {
Brian Osman56ed7da2021-04-21 15:57:27 -040034 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(src));
John Stiles7ce17512021-01-12 18:39:02 -050035 REPORTER_ASSERT(r, !effect);
36 REPORTER_ASSERT(r, errorText.contains(expected),
37 "Expected error message to contain \"%s\". Actual message: \"%s\"",
38 expected, errorText.c_str());
39};
Brian Osman088913a2019-12-19 15:44:56 -050040
Brian Osman56ed7da2021-04-21 15:57:27 -040041#define EMPTY_MAIN "half4 main(float2 p) { return half4(0); }"
Brian Osman24c18522020-11-10 16:36:01 -050042
John Stiles7ce17512021-01-12 18:39:02 -050043DEF_TEST(SkRuntimeEffectInvalid_LimitedUniformTypes, r) {
Brian Osmand18967c2021-04-01 09:56:07 -040044 // Runtime SkSL supports a limited set of uniform types. No bool, for example:
John Stiles7ce17512021-01-12 18:39:02 -050045 test_invalid_effect(r, "uniform bool b;" EMPTY_MAIN, "uniform");
John Stiles7ce17512021-01-12 18:39:02 -050046}
Brian Osman088913a2019-12-19 15:44:56 -050047
John Stiles7ce17512021-01-12 18:39:02 -050048DEF_TEST(SkRuntimeEffectInvalid_NoInVariables, r) {
Brian Osmana4b91692020-08-10 14:26:16 -040049 // 'in' variables aren't allowed at all:
John Stiles7ce17512021-01-12 18:39:02 -050050 test_invalid_effect(r, "in bool b;" EMPTY_MAIN, "'in'");
51 test_invalid_effect(r, "in float f;" EMPTY_MAIN, "'in'");
52 test_invalid_effect(r, "in float2 v;" EMPTY_MAIN, "'in'");
53 test_invalid_effect(r, "in half3x3 m;" EMPTY_MAIN, "'in'");
54}
Brian Osman8783b782020-01-06 11:13:45 -050055
John Stiles7ce17512021-01-12 18:39:02 -050056DEF_TEST(SkRuntimeEffectInvalid_UndefinedFunction, r) {
Brian Osman56ed7da2021-04-21 15:57:27 -040057 test_invalid_effect(r, "half4 missing(); half4 main(float2 p) { return missing(); }",
Brian Osman7da06572021-07-21 15:19:34 -040058 "function 'half4 missing()' is not defined");
John Stiles7ce17512021-01-12 18:39:02 -050059}
Brian Osman182c92e2020-07-20 15:18:33 -040060
John Stiles7ce17512021-01-12 18:39:02 -050061DEF_TEST(SkRuntimeEffectInvalid_UndefinedMain, r) {
Brian Osman182c92e2020-07-20 15:18:33 -040062 // Shouldn't be possible to create an SkRuntimeEffect without "main"
John Stiles7ce17512021-01-12 18:39:02 -050063 test_invalid_effect(r, "", "main");
64}
Brian Osman82329002020-07-21 09:39:27 -040065
John Stiles7ce17512021-01-12 18:39:02 -050066DEF_TEST(SkRuntimeEffectInvalid_SkCapsDisallowed, r) {
Brian Osmanb06301e2020-11-06 11:45:36 -050067 // sk_Caps is an internal system. It should not be visible to runtime effects
Brian Osman56ed7da2021-04-21 15:57:27 -040068 test_invalid_effect(
69 r,
70 "half4 main(float2 p) { return sk_Caps.integerSupport ? half4(1) : half4(0); }",
71 "unknown identifier 'sk_Caps'");
John Stiles7ce17512021-01-12 18:39:02 -050072}
Brian Osmanb06301e2020-11-06 11:45:36 -050073
John Stiles7deee712021-09-03 09:48:26 -040074DEF_TEST(SkRuntimeEffect_DeadCodeEliminationStackOverflow, r) {
75 // Verify that a deeply-nested loop does not cause stack overflow during SkVM dead-code
76 // elimination.
77 auto [effect, errorText] = SkRuntimeEffect::MakeForColorFilter(SkString(R"(
78 half4 main(half4 color) {
79 half value = color.r;
80
81 for (int a=0; a<10; ++a) { // 10
82 for (int b=0; b<10; ++b) { // 100
83 for (int c=0; c<10; ++c) { // 1000
84 for (int d=0; d<10; ++d) { // 10000
85 ++value;
86 }}}}
87
88 return value.xxxx;
89 }
90 )"));
91 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
92}
93
John Stiles65d7ab22021-04-28 15:14:09 -040094DEF_TEST(SkRuntimeEffectCanDisableES2Restrictions, r) {
95 auto test_valid_es3 = [](skiatest::Reporter* r, const char* sksl) {
Brian Osmane9ab3912021-07-02 10:17:45 -040096 SkRuntimeEffect::Options opt = SkRuntimeEffectPriv::ES3Options();
John Stiles65d7ab22021-04-28 15:14:09 -040097 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(sksl), opt);
98 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
99 };
100
101 test_invalid_effect(r, "float f[2] = float[2](0, 1);" EMPTY_MAIN, "construction of array type");
102 test_valid_es3 (r, "float f[2] = float[2](0, 1);" EMPTY_MAIN);
103}
104
Brian Osmanaf4e2332021-04-20 12:00:10 -0400105DEF_TEST(SkRuntimeEffectForColorFilter, r) {
106 // Tests that the color filter factory rejects or accepts certain SkSL constructs
107 auto test_valid = [r](const char* sksl) {
108 auto [effect, errorText] = SkRuntimeEffect::MakeForColorFilter(SkString(sksl));
John Stiles65d7ab22021-04-28 15:14:09 -0400109 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
Brian Osmanaf4e2332021-04-20 12:00:10 -0400110 };
111
112 auto test_invalid = [r](const char* sksl, const char* expected) {
113 auto [effect, errorText] = SkRuntimeEffect::MakeForColorFilter(SkString(sksl));
114 REPORTER_ASSERT(r, !effect);
115 REPORTER_ASSERT(r,
116 errorText.contains(expected),
117 "Expected error message to contain \"%s\". Actual message: \"%s\"",
118 expected,
119 errorText.c_str());
120 };
121
122 // Color filters must use the 'half4 main(half4)' signature. Either color can be float4/vec4
123 test_valid("half4 main(half4 c) { return c; }");
124 test_valid("float4 main(half4 c) { return c; }");
125 test_valid("half4 main(float4 c) { return c; }");
126 test_valid("float4 main(float4 c) { return c; }");
127 test_valid("vec4 main(half4 c) { return c; }");
128 test_valid("half4 main(vec4 c) { return c; }");
129 test_valid("vec4 main(vec4 c) { return c; }");
130
131 // Invalid return types
132 test_invalid("void main(half4 c) {}", "'main' must return");
133 test_invalid("half3 main(half4 c) { return c.rgb; }", "'main' must return");
134
135 // Invalid argument types (some are valid as shaders, but not color filters)
136 test_invalid("half4 main() { return half4(1); }", "'main' parameter");
137 test_invalid("half4 main(float2 p) { return half4(1); }", "'main' parameter");
138 test_invalid("half4 main(float2 p, half4 c) { return c; }", "'main' parameter");
139
140 // sk_FragCoord should not be available
141 test_invalid("half4 main(half4 c) { return sk_FragCoord.xy01; }", "unknown identifier");
142
143 // Sampling a child shader requires that we pass explicit coords
144 test_valid("uniform shader child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400145 "half4 main(half4 c) { return child.eval(c.rg); }");
Brian Osmanaf4e2332021-04-20 12:00:10 -0400146
Brian Osmanb5282f02021-08-24 10:11:56 -0400147 // Sampling a colorFilter requires a color
Brian Osmanc9125aa2021-04-21 09:57:19 -0400148 test_valid("uniform colorFilter child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400149 "half4 main(half4 c) { return child.eval(c); }");
Brian Osmanc9125aa2021-04-21 09:57:19 -0400150
Brian Osmanb5282f02021-08-24 10:11:56 -0400151 // Sampling a blender requires two colors
152 test_valid("uniform blender child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400153 "half4 main(half4 c) { return child.eval(c, c); }");
Brian Osmanaf4e2332021-04-20 12:00:10 -0400154}
155
John Stiles93003912021-06-16 11:34:37 -0400156DEF_TEST(SkRuntimeEffectForBlender, r) {
157 // Tests that the blender factory rejects or accepts certain SkSL constructs
158 auto test_valid = [r](const char* sksl) {
159 auto [effect, errorText] = SkRuntimeEffect::MakeForBlender(SkString(sksl));
160 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
161 };
162
163 auto test_invalid = [r](const char* sksl, const char* expected) {
164 auto [effect, errorText] = SkRuntimeEffect::MakeForBlender(SkString(sksl));
165 REPORTER_ASSERT(r, !effect);
166 REPORTER_ASSERT(r,
167 errorText.contains(expected),
168 "Expected error message to contain \"%s\". Actual message: \"%s\"",
169 expected,
170 errorText.c_str());
171 };
172
John Stiles8e51bad2021-07-22 10:13:30 -0400173 // Blenders must use the 'half4 main(half4, half4)' signature. Any mixture of float4/vec4/half4
174 // is allowed.
John Stiles93003912021-06-16 11:34:37 -0400175 test_valid("half4 main(half4 s, half4 d) { return s; }");
176 test_valid("float4 main(float4 s, float4 d) { return d; }");
177 test_valid("float4 main(half4 s, float4 d) { return s; }");
178 test_valid("half4 main(float4 s, half4 d) { return d; }");
179 test_valid("vec4 main(half4 s, half4 d) { return s; }");
180 test_valid("half4 main(vec4 s, vec4 d) { return d; }");
181 test_valid("vec4 main(vec4 s, vec4 d) { return s; }");
182
183 // Invalid return types
184 test_invalid("void main(half4 s, half4 d) {}", "'main' must return");
185 test_invalid("half3 main(half4 s, half4 d) { return s.rgb; }", "'main' must return");
186
187 // Invalid argument types (some are valid as shaders/color filters)
188 test_invalid("half4 main() { return half4(1); }", "'main' parameter");
189 test_invalid("half4 main(half4 c) { return c; }", "'main' parameter");
190 test_invalid("half4 main(float2 p) { return half4(1); }", "'main' parameter");
191 test_invalid("half4 main(float2 p, half4 c) { return c; }", "'main' parameter");
192 test_invalid("half4 main(float2 p, half4 a, half4 b) { return a; }", "'main' parameter");
193 test_invalid("half4 main(half4 a, half4 b, half4 c) { return a; }", "'main' parameter");
194
195 // sk_FragCoord should not be available
196 test_invalid("half4 main(half4 s, half4 d) { return sk_FragCoord.xy01; }",
197 "unknown identifier");
198
John Stiles8e51bad2021-07-22 10:13:30 -0400199 // Sampling a child shader requires that we pass explicit coords
200 test_valid("uniform shader child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400201 "half4 main(half4 s, half4 d) { return child.eval(s.rg); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400202
Brian Osmanb5282f02021-08-24 10:11:56 -0400203 // Sampling a colorFilter requires a color
John Stiles8e51bad2021-07-22 10:13:30 -0400204 test_valid("uniform colorFilter child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400205 "half4 main(half4 s, half4 d) { return child.eval(d); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400206
Brian Osmanb5282f02021-08-24 10:11:56 -0400207 // Sampling a blender requires two colors
208 test_valid("uniform blender child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400209 "half4 main(half4 s, half4 d) { return child.eval(s, d); }");
John Stiles93003912021-06-16 11:34:37 -0400210}
211
Brian Osmanaf4e2332021-04-20 12:00:10 -0400212DEF_TEST(SkRuntimeEffectForShader, r) {
213 // Tests that the shader factory rejects or accepts certain SkSL constructs
Brian Osman77046a72021-07-20 13:16:57 -0400214 auto test_valid = [r](const char* sksl, SkRuntimeEffect::Options options = {}) {
215 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(sksl), options);
John Stiles65d7ab22021-04-28 15:14:09 -0400216 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
Brian Osmanaf4e2332021-04-20 12:00:10 -0400217 };
218
Brian Osman77046a72021-07-20 13:16:57 -0400219 auto test_invalid = [r](const char* sksl,
220 const char* expected,
221 SkRuntimeEffect::Options options = {}) {
Brian Osmanaf4e2332021-04-20 12:00:10 -0400222 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(sksl));
223 REPORTER_ASSERT(r, !effect);
224 REPORTER_ASSERT(r,
225 errorText.contains(expected),
226 "Expected error message to contain \"%s\". Actual message: \"%s\"",
227 expected,
228 errorText.c_str());
229 };
230
231 // Shaders must use either the 'half4 main(float2)' or 'half4 main(float2, half4)' signature
232 // Either color can be half4/float4/vec4, but the coords must be float2/vec2
233 test_valid("half4 main(float2 p) { return p.xyxy; }");
234 test_valid("float4 main(float2 p) { return p.xyxy; }");
235 test_valid("vec4 main(float2 p) { return p.xyxy; }");
236 test_valid("half4 main(vec2 p) { return p.xyxy; }");
237 test_valid("vec4 main(vec2 p) { return p.xyxy; }");
238 test_valid("half4 main(float2 p, half4 c) { return c; }");
239 test_valid("half4 main(float2 p, float4 c) { return c; }");
240 test_valid("half4 main(float2 p, vec4 c) { return c; }");
241 test_valid("float4 main(float2 p, half4 c) { return c; }");
242 test_valid("vec4 main(float2 p, half4 c) { return c; }");
243 test_valid("vec4 main(vec2 p, vec4 c) { return c; }");
244
245 // Invalid return types
246 test_invalid("void main(float2 p) {}", "'main' must return");
247 test_invalid("half3 main(float2 p) { return p.xy1; }", "'main' must return");
248
249 // Invalid argument types (some are valid as color filters, but not shaders)
250 test_invalid("half4 main() { return half4(1); }", "'main' parameter");
251 test_invalid("half4 main(half4 c) { return c; }", "'main' parameter");
252
Brian Osman77046a72021-07-20 13:16:57 -0400253 // sk_FragCoord should be available, but only if we've enabled it via Options
254 test_invalid("half4 main(float2 p) { return sk_FragCoord.xy01; }",
255 "unknown identifier 'sk_FragCoord'");
256
257 SkRuntimeEffect::Options optionsWithFragCoord;
258 SkRuntimeEffectPriv::EnableFragCoord(&optionsWithFragCoord);
259 test_valid("half4 main(float2 p) { return sk_FragCoord.xy01; }", optionsWithFragCoord);
Brian Osmanaf4e2332021-04-20 12:00:10 -0400260
261 // Sampling a child shader requires that we pass explicit coords
262 test_valid("uniform shader child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400263 "half4 main(float2 p) { return child.eval(p); }");
Brian Osmanaf4e2332021-04-20 12:00:10 -0400264
Brian Osmanb5282f02021-08-24 10:11:56 -0400265 // Sampling a colorFilter requires a color
Brian Osmanc9125aa2021-04-21 09:57:19 -0400266 test_valid("uniform colorFilter child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400267 "half4 main(float2 p, half4 c) { return child.eval(c); }");
Brian Osmanc9125aa2021-04-21 09:57:19 -0400268
Brian Osmanb5282f02021-08-24 10:11:56 -0400269 // Sampling a blender requires two colors
270 test_valid("uniform blender child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400271 "half4 main(float2 p, half4 c) { return child.eval(c, c); }");
Brian Osmanaf4e2332021-04-20 12:00:10 -0400272}
273
John Stiles9b170c62021-06-18 10:14:14 -0400274using PreTestFn = std::function<void(SkCanvas*, SkPaint*)>;
275
276void paint_canvas(SkCanvas* canvas, SkPaint* paint, const PreTestFn& preTestCallback) {
277 canvas->save();
278 if (preTestCallback) {
279 preTestCallback(canvas, paint);
280 }
281 canvas->drawPaint(*paint);
282 canvas->restore();
283}
284
285static void verify_2x2_surface_results(skiatest::Reporter* r,
286 const SkRuntimeEffect* effect,
287 SkSurface* surface,
288 std::array<GrColor, 4> expected) {
289 std::array<GrColor, 4> actual;
290 SkImageInfo info = surface->imageInfo();
291 if (!surface->readPixels(info, actual.data(), info.minRowBytes(), /*srcX=*/0, /*srcY=*/0)) {
292 REPORT_FAILURE(r, "readPixels", SkString("readPixels failed"));
293 return;
294 }
295
296 if (actual != expected) {
297 REPORT_FAILURE(r, "Runtime effect didn't match expectations",
298 SkStringPrintf("\n"
299 "Expected: [ %08x %08x %08x %08x ]\n"
300 "Got : [ %08x %08x %08x %08x ]\n"
301 "SkSL:\n%s\n",
302 expected[0], expected[1], expected[2], expected[3],
303 actual[0], actual[1], actual[2], actual[3],
304 effect->source().c_str()));
305 }
306}
307
Brian Osmanf72dedd2020-01-08 13:19:58 -0500308class TestEffect {
309public:
Brian Osman62419612020-07-22 10:19:02 -0400310 TestEffect(skiatest::Reporter* r, sk_sp<SkSurface> surface)
311 : fReporter(r), fSurface(std::move(surface)) {}
312
Brian Osman33316412020-11-06 10:42:51 -0500313 void build(const char* src) {
Brian Osman77046a72021-07-20 13:16:57 -0400314 SkRuntimeEffect::Options options;
315 SkRuntimeEffectPriv::EnableFragCoord(&options);
316 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(src), options);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500317 if (!effect) {
Brian Osman62419612020-07-22 10:19:02 -0400318 REPORT_FAILURE(fReporter, "effect",
Brian Osmanf72dedd2020-01-08 13:19:58 -0500319 SkStringPrintf("Effect didn't compile: %s", errorText.c_str()));
320 return;
321 }
Brian Osmand9bde072020-04-15 14:18:13 -0400322 fBuilder.init(std::move(effect));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500323 }
324
Brian Osmana4b91692020-08-10 14:26:16 -0400325 SkRuntimeShaderBuilder::BuilderUniform uniform(const char* name) {
326 return fBuilder->uniform(name);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500327 }
John Stiles9b170c62021-06-18 10:14:14 -0400328
Brian Osman62419612020-07-22 10:19:02 -0400329 SkRuntimeShaderBuilder::BuilderChild child(const char* name) {
330 return fBuilder->child(name);
331 }
Brian Osmanf72dedd2020-01-08 13:19:58 -0500332
John Stiles9b170c62021-06-18 10:14:14 -0400333 void test(std::array<GrColor, 4> expected, PreTestFn preTestCallback = nullptr) {
John Stiles49128242021-06-16 22:37:15 -0400334 auto shader = fBuilder->makeShader(/*localMatrix=*/nullptr, /*isOpaque=*/false);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500335 if (!shader) {
Brian Osman62419612020-07-22 10:19:02 -0400336 REPORT_FAILURE(fReporter, "shader", SkString("Effect didn't produce a shader"));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500337 return;
338 }
339
Brian Osman62419612020-07-22 10:19:02 -0400340 SkCanvas* canvas = fSurface->getCanvas();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500341 SkPaint paint;
342 paint.setShader(std::move(shader));
343 paint.setBlendMode(SkBlendMode::kSrc);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500344
John Stiles9b170c62021-06-18 10:14:14 -0400345 paint_canvas(canvas, &paint, preTestCallback);
Brian Osman62419612020-07-22 10:19:02 -0400346
John Stiles9b170c62021-06-18 10:14:14 -0400347 verify_2x2_surface_results(fReporter, fBuilder->effect(), fSurface.get(), expected);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500348 }
349
Brian Osman62419612020-07-22 10:19:02 -0400350 void test(GrColor expected, PreTestFn preTestCallback = nullptr) {
John Stiles9b170c62021-06-18 10:14:14 -0400351 this->test({expected, expected, expected, expected}, preTestCallback);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500352 }
353
354private:
Brian Osman62419612020-07-22 10:19:02 -0400355 skiatest::Reporter* fReporter;
356 sk_sp<SkSurface> fSurface;
Brian Osmand9bde072020-04-15 14:18:13 -0400357 SkTLazy<SkRuntimeShaderBuilder> fBuilder;
Brian Osmanf72dedd2020-01-08 13:19:58 -0500358};
359
John Stiles9b170c62021-06-18 10:14:14 -0400360class TestBlend {
361public:
362 TestBlend(skiatest::Reporter* r, sk_sp<SkSurface> surface)
363 : fReporter(r), fSurface(std::move(surface)) {}
364
365 void build(const char* src) {
366 auto [effect, errorText] = SkRuntimeEffect::MakeForBlender(SkString(src));
367 if (!effect) {
368 REPORT_FAILURE(fReporter, "effect",
369 SkStringPrintf("Effect didn't compile: %s", errorText.c_str()));
370 return;
371 }
372 fBuilder.init(std::move(effect));
373 }
374
375 SkRuntimeBlendBuilder::BuilderUniform uniform(const char* name) {
376 return fBuilder->uniform(name);
377 }
378
John Stiles8e51bad2021-07-22 10:13:30 -0400379 SkRuntimeBlendBuilder::BuilderChild child(const char* name) {
380 return fBuilder->child(name);
381 }
382
John Stiles9b170c62021-06-18 10:14:14 -0400383 void test(std::array<GrColor, 4> expected, PreTestFn preTestCallback = nullptr) {
384 auto blender = fBuilder->makeBlender();
385 if (!blender) {
386 REPORT_FAILURE(fReporter, "blender", SkString("Effect didn't produce a blender"));
387 return;
388 }
389
390 SkCanvas* canvas = fSurface->getCanvas();
391 SkPaint paint;
Mike Reed3037d9f2021-07-06 11:29:45 -0400392 paint.setBlender(std::move(blender));
John Stiles9b170c62021-06-18 10:14:14 -0400393 paint.setColor(SK_ColorGRAY);
394
395 paint_canvas(canvas, &paint, preTestCallback);
396
397 verify_2x2_surface_results(fReporter, fBuilder->effect(), fSurface.get(), expected);
398 }
399
400 void test(GrColor expected, PreTestFn preTestCallback = nullptr) {
401 this->test({expected, expected, expected, expected}, preTestCallback);
402 }
403
404private:
405 skiatest::Reporter* fReporter;
406 sk_sp<SkSurface> fSurface;
407 SkTLazy<SkRuntimeBlendBuilder> fBuilder;
408};
409
Brian Osman62419612020-07-22 10:19:02 -0400410// Produces a 2x2 bitmap shader, with opaque colors:
411// [ Red, Green ]
412// [ Blue, White ]
413static sk_sp<SkShader> make_RGBW_shader() {
414 SkBitmap bmp;
415 bmp.allocPixels(SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType));
416 SkIRect topLeft = SkIRect::MakeWH(1, 1);
417 bmp.pixmap().erase(SK_ColorRED, topLeft);
418 bmp.pixmap().erase(SK_ColorGREEN, topLeft.makeOffset(1, 0));
419 bmp.pixmap().erase(SK_ColorBLUE, topLeft.makeOffset(0, 1));
420 bmp.pixmap().erase(SK_ColorWHITE, topLeft.makeOffset(1, 1));
Mike Reedb41bd152020-12-12 11:18:31 -0500421 return bmp.makeShader(SkSamplingOptions());
Brian Osman62419612020-07-22 10:19:02 -0400422}
423
Robert Phillipse94b4e12020-07-23 13:54:35 -0400424static void test_RuntimeEffect_Shaders(skiatest::Reporter* r, GrRecordingContext* rContext) {
Brian Osmanf72dedd2020-01-08 13:19:58 -0500425 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
Robert Phillipse94b4e12020-07-23 13:54:35 -0400426 sk_sp<SkSurface> surface = rContext
427 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
428 : SkSurface::MakeRaster(info);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500429 REPORTER_ASSERT(r, surface);
Brian Osman62419612020-07-22 10:19:02 -0400430 TestEffect effect(r, surface);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500431
Brian Osman504032e2020-01-10 10:05:24 -0500432 using float4 = std::array<float, 4>;
Brian Osmand18967c2021-04-01 09:56:07 -0400433 using int4 = std::array<int, 4>;
Brian Osman504032e2020-01-10 10:05:24 -0500434
Brian Osman62419612020-07-22 10:19:02 -0400435 // Local coords
Brian Osman33316412020-11-06 10:42:51 -0500436 effect.build("half4 main(float2 p) { return half4(half2(p - 0.5), 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400437 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osmanf72dedd2020-01-08 13:19:58 -0500438
Brian Osman62419612020-07-22 10:19:02 -0400439 // Use of a simple uniform. (Draw twice with two values to ensure it's updated).
Brian Osman56ed7da2021-04-21 15:57:27 -0400440 effect.build("uniform float4 gColor; half4 main(float2 p) { return half4(gColor); }");
Brian Osmana4b91692020-08-10 14:26:16 -0400441 effect.uniform("gColor") = float4{ 0.0f, 0.25f, 0.75f, 1.0f };
Brian Osman62419612020-07-22 10:19:02 -0400442 effect.test(0xFFBF4000);
Brian Osmana4b91692020-08-10 14:26:16 -0400443 effect.uniform("gColor") = float4{ 1.0f, 0.0f, 0.0f, 0.498f };
Brian Osmanfcc0ef12021-09-24 10:51:47 -0400444 effect.test(0x7F0000FF); // Tests that we don't clamp to valid premul
Michael Ludwig5e6b3cd2020-05-27 17:02:37 -0400445
Brian Osmand18967c2021-04-01 09:56:07 -0400446 // Same, with integer uniforms
Brian Osman56ed7da2021-04-21 15:57:27 -0400447 effect.build("uniform int4 gColor; half4 main(float2 p) { return half4(gColor) / 255.0; }");
Brian Osmand18967c2021-04-01 09:56:07 -0400448 effect.uniform("gColor") = int4{ 0x00, 0x40, 0xBF, 0xFF };
449 effect.test(0xFFBF4000);
450 effect.uniform("gColor") = int4{ 0xFF, 0x00, 0x00, 0x7F };
Brian Osmanfcc0ef12021-09-24 10:51:47 -0400451 effect.test(0x7F0000FF); // Tests that we don't clamp to valid premul
Brian Osmand18967c2021-04-01 09:56:07 -0400452
Brian Osman62419612020-07-22 10:19:02 -0400453 // Test sk_FragCoord (device coords). Rotate the canvas to be sure we're seeing device coords.
454 // Since the surface is 2x2, we should see (0,0), (1,0), (0,1), (1,1). Multiply by 0.498 to
455 // make sure we're not saturating unexpectedly.
Brian Osman56ed7da2021-04-21 15:57:27 -0400456 effect.build(
457 "half4 main(float2 p) { return half4(0.498 * (half2(sk_FragCoord.xy) - 0.5), 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400458 effect.test({0xFF000000, 0xFF00007F, 0xFF007F00, 0xFF007F7F},
Brian Osman62419612020-07-22 10:19:02 -0400459 [](SkCanvas* canvas, SkPaint*) { canvas->rotate(45.0f); });
Michael Ludwig22534f22020-05-27 17:25:33 -0400460
Brian Osman0acb5b52020-09-02 13:45:47 -0400461 // Runtime effects should use relaxed precision rules by default
Brian Osman33316412020-11-06 10:42:51 -0500462 effect.build("half4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400463 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osman0acb5b52020-09-02 13:45:47 -0400464
Brian Osman33316412020-11-06 10:42:51 -0500465 // ... and support *returning* float4 (aka vec4), not just half4
466 effect.build("float4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400467 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osman33316412020-11-06 10:42:51 -0500468 effect.build("vec4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400469 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osmanf1319c32020-10-13 09:34:23 -0400470
Brian Osmanb4ce9442020-11-11 09:18:02 -0500471 // Mutating coords should work. (skbug.com/10918)
472 effect.build("vec4 main(vec2 p) { p -= 0.5; return vec4(p, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400473 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osmanb4ce9442020-11-11 09:18:02 -0500474 effect.build("void moveCoords(inout vec2 p) { p -= 0.5; }"
475 "vec4 main(vec2 p) { moveCoords(p); return vec4(p, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400476 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osmanb4ce9442020-11-11 09:18:02 -0500477
Brian Osmanb5f0f522020-07-23 13:28:14 -0400478 //
479 // Sampling children
480 //
481
Brian Osman62419612020-07-22 10:19:02 -0400482 // Sampling a null child should return the paint color
Brian Osman33316412020-11-06 10:42:51 -0500483 effect.build("uniform shader child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400484 "half4 main(float2 p) { return child.eval(p); }");
Brian Osman62419612020-07-22 10:19:02 -0400485 effect.child("child") = nullptr;
486 effect.test(0xFF00FFFF,
487 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
488
489 sk_sp<SkShader> rgbwShader = make_RGBW_shader();
490
Brian Osman56ed7da2021-04-21 15:57:27 -0400491 // Sampling a simple child at our coordinates
Brian Osman33316412020-11-06 10:42:51 -0500492 effect.build("uniform shader child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400493 "half4 main(float2 p) { return child.eval(p); }");
Brian Osman62419612020-07-22 10:19:02 -0400494 effect.child("child") = rgbwShader;
John Stiles9b170c62021-06-18 10:14:14 -0400495 effect.test({0xFF0000FF, 0xFF00FF00, 0xFFFF0000, 0xFFFFFFFF});
Brian Osman62419612020-07-22 10:19:02 -0400496
497 // Sampling with explicit coordinates (reflecting about the diagonal)
Brian Osman33316412020-11-06 10:42:51 -0500498 effect.build("uniform shader child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400499 "half4 main(float2 p) { return child.eval(p.yx); }");
Brian Osman62419612020-07-22 10:19:02 -0400500 effect.child("child") = rgbwShader;
John Stiles9b170c62021-06-18 10:14:14 -0400501 effect.test({0xFF0000FF, 0xFFFF0000, 0xFF00FF00, 0xFFFFFFFF});
Brian Osman62419612020-07-22 10:19:02 -0400502
Brian Osman201b72a2021-09-08 11:16:29 -0400503 // Bind an image shader, but don't use it - ensure that we don't assert or generate bad shaders.
504 // (skbug.com/12429)
505 effect.build("uniform shader child;"
506 "half4 main(float2 p) { return half4(0, 1, 0, 1); }");
507 effect.child("child") = rgbwShader;
508 effect.test(0xFF00FF00);
509
Brian Osmanb5f0f522020-07-23 13:28:14 -0400510 //
511 // Helper functions
512 //
513
514 // Test case for inlining in the pipeline-stage and fragment-shader passes (skbug.com/10526):
Brian Osman33316412020-11-06 10:42:51 -0500515 effect.build("float2 helper(float2 x) { return x + 1; }"
516 "half4 main(float2 p) { float2 v = helper(p); return half4(half2(v), 0, 1); }");
Brian Osmanb5f0f522020-07-23 13:28:14 -0400517 effect.test(0xFF00FFFF);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500518}
519
520DEF_TEST(SkRuntimeEffectSimple, r) {
521 test_RuntimeEffect_Shaders(r, nullptr);
522}
523
524DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeEffectSimple_GPU, r, ctxInfo) {
Robert Phillips6d344c32020-07-06 10:56:46 -0400525 test_RuntimeEffect_Shaders(r, ctxInfo.directContext());
Brian Osmanf72dedd2020-01-08 13:19:58 -0500526}
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400527
John Stiles9b170c62021-06-18 10:14:14 -0400528static void test_RuntimeEffect_Blenders(skiatest::Reporter* r, GrRecordingContext* rContext) {
529 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
530 sk_sp<SkSurface> surface = rContext
531 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
532 : SkSurface::MakeRaster(info);
533 REPORTER_ASSERT(r, surface);
534 TestBlend effect(r, surface);
535
John Stiles8e51bad2021-07-22 10:13:30 -0400536 using float2 = std::array<float, 2>;
John Stiles9b170c62021-06-18 10:14:14 -0400537 using float4 = std::array<float, 4>;
538 using int4 = std::array<int, 4>;
539
540 // Use of a simple uniform. (Draw twice with two values to ensure it's updated).
541 effect.build("uniform float4 gColor; half4 main(half4 s, half4 d) { return half4(gColor); }");
542 effect.uniform("gColor") = float4{ 0.0f, 0.25f, 0.75f, 1.0f };
543 effect.test(0xFFBF4000);
544 effect.uniform("gColor") = float4{ 1.0f, 0.0f, 0.0f, 0.498f };
Brian Osmanfcc0ef12021-09-24 10:51:47 -0400545 effect.test(0x7F0000FF); // We don't clamp here either
John Stiles9b170c62021-06-18 10:14:14 -0400546
547 // Same, with integer uniforms
548 effect.build("uniform int4 gColor;"
549 "half4 main(half4 s, half4 d) { return half4(gColor) / 255.0; }");
550 effect.uniform("gColor") = int4{ 0x00, 0x40, 0xBF, 0xFF };
551 effect.test(0xFFBF4000);
552 effect.uniform("gColor") = int4{ 0xFF, 0x00, 0x00, 0x7F };
Brian Osmanfcc0ef12021-09-24 10:51:47 -0400553 effect.test(0x7F0000FF); // We don't clamp here either
John Stiles9b170c62021-06-18 10:14:14 -0400554
555 // Verify that mutating the source and destination colors is allowed
556 effect.build("half4 main(half4 s, half4 d) { s += d; d += s; return half4(1); }");
557 effect.test(0xFFFFFFFF);
558
559 // Verify that we can write out the source color (ignoring the dest color)
560 // This is equivalent to the kSrc blend mode.
561 effect.build("half4 main(half4 s, half4 d) { return s; }");
562 effect.test(0xFF888888);
563
564 // Fill the destination with a variety of colors (using the RGBW shader)
John Stilesce9a5c92021-07-30 11:20:19 -0400565 SkPaint rgbwPaint;
566 rgbwPaint.setShader(make_RGBW_shader());
567 rgbwPaint.setBlendMode(SkBlendMode::kSrc);
568 surface->getCanvas()->drawPaint(rgbwPaint);
John Stiles9b170c62021-06-18 10:14:14 -0400569
570 // Verify that we can read back the dest color exactly as-is (ignoring the source color)
571 // This is equivalent to the kDst blend mode.
572 effect.build("half4 main(half4 s, half4 d) { return d; }");
573 effect.test({0xFF0000FF, 0xFF00FF00, 0xFFFF0000, 0xFFFFFFFF});
574
575 // Verify that we can invert the destination color (including the alpha channel).
576 // The expected outputs are the exact inverse of the previous test.
577 effect.build("half4 main(half4 s, half4 d) { return half4(1) - d; }");
578 effect.test({0x00FFFF00, 0x00FF00FF, 0x0000FFFF, 0x00000000});
579
580 // Verify that color values are clamped to 0 and 1.
581 effect.build("half4 main(half4 s, half4 d) { return half4(-1); }");
582 effect.test(0x00000000);
583 effect.build("half4 main(half4 s, half4 d) { return half4(2); }");
584 effect.test(0xFFFFFFFF);
John Stiles8e51bad2021-07-22 10:13:30 -0400585
586 //
587 // Sampling children
588 //
589
John Stilesce9a5c92021-07-30 11:20:19 -0400590 // Sampling a null shader/color filter should return the paint color.
John Stiles8e51bad2021-07-22 10:13:30 -0400591 effect.build("uniform shader child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400592 "half4 main(half4 s, half4 d) { return child.eval(s.rg); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400593 effect.child("child") = nullptr;
594 effect.test(0xFF00FFFF,
595 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
596
John Stilesce9a5c92021-07-30 11:20:19 -0400597 effect.build("uniform colorFilter child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400598 "half4 main(half4 s, half4 d) { return child.eval(s); }");
John Stilesce9a5c92021-07-30 11:20:19 -0400599 effect.child("child") = nullptr;
600 effect.test(0xFF00FFFF,
601 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
602
603 // Sampling a null blender should do a src-over blend. Draw 50% black over RGBW to verify this.
604 surface->getCanvas()->drawPaint(rgbwPaint);
605 effect.build("uniform blender child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400606 "half4 main(half4 s, half4 d) { return child.eval(s, d); }");
John Stilesce9a5c92021-07-30 11:20:19 -0400607 effect.child("child") = nullptr;
608 effect.test({0xFF000080, 0xFF008000, 0xFF800000, 0xFF808080},
609 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({0.0f, 0.0f, 0.0f, 0.497f}); });
610
John Stiles8e51bad2021-07-22 10:13:30 -0400611 // Sampling a shader at various coordinates
612 effect.build("uniform shader child;"
613 "uniform half2 pos;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400614 "half4 main(half4 s, half4 d) { return child.eval(pos); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400615 effect.child("child") = make_RGBW_shader();
616 effect.uniform("pos") = float2{0, 0};
617 effect.test(0xFF0000FF);
618
619 effect.uniform("pos") = float2{1, 0};
620 effect.test(0xFF00FF00);
621
622 effect.uniform("pos") = float2{0, 1};
623 effect.test(0xFFFF0000);
624
625 effect.uniform("pos") = float2{1, 1};
626 effect.test(0xFFFFFFFF);
627
628 // Sampling a color filter
629 effect.build("uniform colorFilter child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400630 "half4 main(half4 s, half4 d) { return child.eval(half4(1)); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400631 effect.child("child") = SkColorFilters::Blend(0xFF012345, SkBlendMode::kSrc);
632 effect.test(0xFF452301);
John Stilesce9a5c92021-07-30 11:20:19 -0400633
634 // Sampling a built-in blender
635 surface->getCanvas()->drawPaint(rgbwPaint);
636 effect.build("uniform blender child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400637 "half4 main(half4 s, half4 d) { return child.eval(s, d); }");
John Stilesce9a5c92021-07-30 11:20:19 -0400638 effect.child("child") = SkBlender::Mode(SkBlendMode::kPlus);
639 effect.test({0xFF4523FF, 0xFF45FF01, 0xFFFF2301, 0xFFFFFFFF},
640 [](SkCanvas*, SkPaint* paint) { paint->setColor(0xFF012345); });
641
642 // Sampling a runtime-effect blender
643 surface->getCanvas()->drawPaint(rgbwPaint);
644 effect.build("uniform blender child;"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400645 "half4 main(half4 s, half4 d) { return child.eval(s, d); }");
John Stilesce9a5c92021-07-30 11:20:19 -0400646 effect.child("child") = SkBlenders::Arithmetic(0, 1, 1, 0, /*enforcePremul=*/false);
647 effect.test({0xFF4523FF, 0xFF45FF01, 0xFFFF2301, 0xFFFFFFFF},
648 [](SkCanvas*, SkPaint* paint) { paint->setColor(0xFF012345); });
John Stiles9b170c62021-06-18 10:14:14 -0400649}
650
651DEF_TEST(SkRuntimeEffect_Blender_CPU, r) {
John Stiles9a2aa972021-06-18 10:15:35 -0400652 test_RuntimeEffect_Blenders(r, /*rContext=*/nullptr);
John Stiles9b170c62021-06-18 10:14:14 -0400653}
654
655DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeEffect_Blender_GPU, r, ctxInfo) {
656 test_RuntimeEffect_Blenders(r, ctxInfo.directContext());
657}
658
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400659DEF_TEST(SkRuntimeShaderBuilderReuse, r) {
660 const char* kSource = R"(
661 uniform half x;
Brian Osman56ed7da2021-04-21 15:57:27 -0400662 half4 main(float2 p) { return half4(x); }
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400663 )";
664
Brian Osman56ed7da2021-04-21 15:57:27 -0400665 sk_sp<SkRuntimeEffect> effect = SkRuntimeEffect::MakeForShader(SkString(kSource)).effect;
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400666 REPORTER_ASSERT(r, effect);
667
668 // Test passes if this sequence doesn't assert. skbug.com/10667
669 SkRuntimeShaderBuilder b(std::move(effect));
670 b.uniform("x") = 0.0f;
John Stiles49128242021-06-16 22:37:15 -0400671 auto shader_0 = b.makeShader(/*localMatrix=*/nullptr, /*isOpaque=*/false);
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400672
673 b.uniform("x") = 1.0f;
John Stiles49128242021-06-16 22:37:15 -0400674 auto shader_1 = b.makeShader(/*localMatrix=*/nullptr, /*isOpaque=*/true);
675}
676
677DEF_TEST(SkRuntimeBlendBuilderReuse, r) {
678 const char* kSource = R"(
679 uniform half x;
680 half4 main(half4 s, half4 d) { return half4(x); }
681 )";
682
683 sk_sp<SkRuntimeEffect> effect = SkRuntimeEffect::MakeForBlender(SkString(kSource)).effect;
684 REPORTER_ASSERT(r, effect);
685
686 // We should be able to construct multiple SkBlenders in a row without asserting.
687 SkRuntimeBlendBuilder b(std::move(effect));
688 for (float x = 0.0f; x <= 2.0f; x += 2.0f) {
689 b.uniform("x") = x;
690 sk_sp<SkBlender> blender = b.makeBlender();
691 }
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400692}
Brian Osman8e2ef022020-09-30 13:26:43 -0400693
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500694DEF_TEST(SkRuntimeShaderBuilderSetUniforms, r) {
695 const char* kSource = R"(
696 uniform half x;
697 uniform vec2 offset;
Brian Osman56ed7da2021-04-21 15:57:27 -0400698 half4 main(float2 p) { return half4(x); }
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500699 )";
700
Brian Osman56ed7da2021-04-21 15:57:27 -0400701 sk_sp<SkRuntimeEffect> effect = SkRuntimeEffect::MakeForShader(SkString(kSource)).effect;
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500702 REPORTER_ASSERT(r, effect);
703
704 SkRuntimeShaderBuilder b(std::move(effect));
705
706 // Test passes if this sequence doesn't assert.
707 float x = 1.0f;
708 REPORTER_ASSERT(r, b.uniform("x").set(&x, 1));
709
710 // add extra value to ensure that set doesn't try to use sizeof(array)
711 float origin[] = { 2.0f, 3.0f, 4.0f };
712 REPORTER_ASSERT(r, b.uniform("offset").set<float>(origin, 2));
713
714#ifndef SK_DEBUG
715 REPORTER_ASSERT(r, !b.uniform("offset").set<float>(origin, 1));
716 REPORTER_ASSERT(r, !b.uniform("offset").set<float>(origin, 3));
717#endif
718
John Stiles49128242021-06-16 22:37:15 -0400719 auto shader = b.makeShader(/*localMatrix=*/nullptr, /*isOpaque=*/false);
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500720}
721
Brian Osman8e2ef022020-09-30 13:26:43 -0400722DEF_TEST(SkRuntimeEffectThreaded, r) {
723 // SkRuntimeEffect uses a single compiler instance, but it's mutex locked.
724 // This tests that we can safely use it from more than one thread, and also
725 // that programs don't refer to shared structures owned by the compiler.
726 // skbug.com/10589
Brian Osman56ed7da2021-04-21 15:57:27 -0400727 static constexpr char kSource[] = "half4 main(float2 p) { return sk_FragCoord.xyxy; }";
Brian Osman8e2ef022020-09-30 13:26:43 -0400728
729 std::thread threads[16];
730 for (auto& thread : threads) {
731 thread = std::thread([r]() {
Brian Osman77046a72021-07-20 13:16:57 -0400732 SkRuntimeEffect::Options options;
733 SkRuntimeEffectPriv::EnableFragCoord(&options);
734 auto [effect, error] = SkRuntimeEffect::MakeForShader(SkString(kSource), options);
Brian Osman8e2ef022020-09-30 13:26:43 -0400735 REPORTER_ASSERT(r, effect);
736 });
737 }
738
739 for (auto& thread : threads) {
740 thread.join();
741 }
742}
Mike Klein827f8c02021-02-06 09:13:01 -0600743
744DEF_TEST(SkRuntimeColorFilterSingleColor, r) {
745 // Test runtime colorfilters support filterColor4f().
Brian Osman56ed7da2021-04-21 15:57:27 -0400746 auto [effect, err] =
747 SkRuntimeEffect::MakeForColorFilter(SkString{"half4 main(half4 c) { return c*c; }"});
Mike Klein827f8c02021-02-06 09:13:01 -0600748 REPORTER_ASSERT(r, effect);
749 REPORTER_ASSERT(r, err.isEmpty());
750
Brian Osman56ed7da2021-04-21 15:57:27 -0400751 sk_sp<SkColorFilter> cf = effect->makeColorFilter(SkData::MakeEmpty());
Mike Klein827f8c02021-02-06 09:13:01 -0600752 REPORTER_ASSERT(r, cf);
753
754 SkColor4f c = cf->filterColor4f({0.25, 0.5, 0.75, 1.0},
755 sk_srgb_singleton(), sk_srgb_singleton());
756 REPORTER_ASSERT(r, c.fR == 0.0625f);
757 REPORTER_ASSERT(r, c.fG == 0.25f);
758 REPORTER_ASSERT(r, c.fB == 0.5625f);
759 REPORTER_ASSERT(r, c.fA == 1.0f);
760}
Brian Osman8e756f32021-02-10 10:19:27 -0500761
762static void test_RuntimeEffectStructNameReuse(skiatest::Reporter* r, GrRecordingContext* rContext) {
763 // Test that two different runtime effects can reuse struct names in a single paint operation
Brian Osman56ed7da2021-04-21 15:57:27 -0400764 auto [childEffect, err] = SkRuntimeEffect::MakeForShader(SkString(
Brian Osman8e756f32021-02-10 10:19:27 -0500765 "uniform shader paint;"
766 "struct S { half4 rgba; };"
767 "void process(inout S s) { s.rgba.rgb *= 0.5; }"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400768 "half4 main(float2 p) { S s; s.rgba = paint.eval(p); process(s); return s.rgba; }"
Brian Osman8e756f32021-02-10 10:19:27 -0500769 ));
770 REPORTER_ASSERT(r, childEffect, "%s\n", err.c_str());
771 sk_sp<SkShader> nullChild = nullptr;
772 sk_sp<SkShader> child = childEffect->makeShader(/*uniforms=*/nullptr, &nullChild,
773 /*childCount=*/1, /*localMatrix=*/nullptr,
774 /*isOpaque=*/false);
775
776 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
777 sk_sp<SkSurface> surface = rContext
778 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
779 : SkSurface::MakeRaster(info);
780 REPORTER_ASSERT(r, surface);
781
782 TestEffect effect(r, surface);
783 effect.build(
784 "uniform shader child;"
785 "struct S { float2 coord; };"
786 "void process(inout S s) { s.coord = s.coord.yx; }"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400787 "half4 main(float2 p) { S s; s.coord = p; process(s); return child.eval(s.coord); "
Brian Osman8e756f32021-02-10 10:19:27 -0500788 "}");
789 effect.child("child") = child;
790 effect.test(0xFF00407F, [](SkCanvas*, SkPaint* paint) {
791 paint->setColor4f({0.99608f, 0.50196f, 0.0f, 1.0f});
792 });
793}
794
795DEF_TEST(SkRuntimeStructNameReuse, r) {
796 test_RuntimeEffectStructNameReuse(r, nullptr);
797}
798
799DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeStructNameReuse_GPU, r, ctxInfo) {
800 test_RuntimeEffectStructNameReuse(r, ctxInfo.directContext());
801}
Mike Kleine0d9b862021-02-16 12:00:29 -0600802
803DEF_TEST(SkRuntimeColorFilterFlags, r) {
804 { // Here's a non-trivial filter that doesn't change alpha.
Brian Osman56ed7da2021-04-21 15:57:27 -0400805 auto [effect, err] = SkRuntimeEffect::MakeForColorFilter(SkString{
Brian Osmancdee1202021-04-14 09:36:49 -0400806 "half4 main(half4 color) { return color + half4(1,1,1,0); }"});
Mike Kleine0d9b862021-02-16 12:00:29 -0600807 REPORTER_ASSERT(r, effect && err.isEmpty());
Brian Osmancdee1202021-04-14 09:36:49 -0400808 sk_sp<SkColorFilter> filter = effect->makeColorFilter(SkData::MakeEmpty());
Mike Kleine0d9b862021-02-16 12:00:29 -0600809 REPORTER_ASSERT(r, filter && filter->isAlphaUnchanged());
810 }
811
812 { // Here's one that definitely changes alpha.
Brian Osman56ed7da2021-04-21 15:57:27 -0400813 auto [effect, err] = SkRuntimeEffect::MakeForColorFilter(SkString{
Brian Osmancdee1202021-04-14 09:36:49 -0400814 "half4 main(half4 color) { return color + half4(0,0,0,4); }"});
Mike Kleine0d9b862021-02-16 12:00:29 -0600815 REPORTER_ASSERT(r, effect && err.isEmpty());
Brian Osmancdee1202021-04-14 09:36:49 -0400816 sk_sp<SkColorFilter> filter = effect->makeColorFilter(SkData::MakeEmpty());
Mike Kleine0d9b862021-02-16 12:00:29 -0600817 REPORTER_ASSERT(r, filter && !filter->isAlphaUnchanged());
818 }
819}
Brian Osman4d571112021-04-27 09:10:10 -0400820
Brian Osman70ae4c82021-05-21 16:23:06 -0400821DEF_TEST(SkRuntimeShaderSampleCoords, r) {
822 // This test verifies that we detect calls to sample where the coords are the same as those
823 // passed to main. In those cases, it's safe to turn the "explicit" sampling into "passthrough"
824 // sampling. This optimization is implemented very conservatively.
825 //
826 // It also checks that we correctly set the "referencesSampleCoords" bit on the runtime effect
827 // FP, depending on how the coords parameter to main is used.
Brian Osman70ae4c82021-05-21 16:23:06 -0400828
829 auto test = [&](const char* src, bool expectExplicit, bool expectReferencesSampleCoords) {
Brian Osman4d571112021-04-27 09:10:10 -0400830 auto [effect, err] =
831 SkRuntimeEffect::MakeForShader(SkStringPrintf("uniform shader child; %s", src));
832 REPORTER_ASSERT(r, effect);
833
834 auto child = GrFragmentProcessor::MakeColor({ 1, 1, 1, 1 });
Brian Osman171fba72021-06-16 17:10:21 -0400835 auto fp = GrSkSLFP::Make(effect, "test_fp", /*inputFP=*/nullptr, GrSkSLFP::OptFlags::kNone,
836 "child", std::move(child));
Brian Osman4d571112021-04-27 09:10:10 -0400837 REPORTER_ASSERT(r, fp);
838
Brian Salomon66b500a2021-08-02 12:37:14 -0400839 REPORTER_ASSERT(r, fp->childProcessor(0)->sampleUsage().isExplicit() == expectExplicit);
840 REPORTER_ASSERT(r, fp->usesSampleCoords() == expectReferencesSampleCoords);
Brian Osman4d571112021-04-27 09:10:10 -0400841 };
842
Brian Osman4d571112021-04-27 09:10:10 -0400843 // Cases where our optimization is valid, and works:
844
Brian Osman8cdf28f2021-05-24 09:52:39 -0400845 // Direct use of passed-in coords. Here, the only use of sample coords is for a sample call
846 // converted to passthrough, so referenceSampleCoords is *false*, despite appearing in main.
Brian Osmancbfa34a2021-09-02 09:26:27 -0400847 test("half4 main(float2 xy) { return child.eval(xy); }", false, false);
Brian Osman4d571112021-04-27 09:10:10 -0400848 // Sample with passed-in coords, read (but don't write) sample coords elsewhere
Brian Osmancbfa34a2021-09-02 09:26:27 -0400849 test("half4 main(float2 xy) { return child.eval(xy) + sin(xy.x); }", false, true);
Brian Osman4d571112021-04-27 09:10:10 -0400850
851 // Cases where our optimization is not valid, and does not happen:
852
853 // Sampling with values completely unrelated to passed-in coords
Brian Osmancbfa34a2021-09-02 09:26:27 -0400854 test("half4 main(float2 xy) { return child.eval(float2(0, 0)); }", true, false);
Brian Osman4d571112021-04-27 09:10:10 -0400855 // Use of expression involving passed in coords
Brian Osmancbfa34a2021-09-02 09:26:27 -0400856 test("half4 main(float2 xy) { return child.eval(xy * 0.5); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400857 // Use of coords after modification
Brian Osmancbfa34a2021-09-02 09:26:27 -0400858 test("half4 main(float2 xy) { xy *= 2; return child.eval(xy); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400859 // Use of coords after modification via out-param call
860 test("void adjust(inout float2 xy) { xy *= 2; }"
Brian Osmancbfa34a2021-09-02 09:26:27 -0400861 "half4 main(float2 xy) { adjust(xy); return child.eval(xy); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400862
863 // There should (must) not be any false-positive cases. There are false-negatives.
864 // In all of these cases, our optimization would be valid, but does not happen:
865
866 // Direct use of passed-in coords, modified after use
Brian Osmancbfa34a2021-09-02 09:26:27 -0400867 test("half4 main(float2 xy) { half4 c = child.eval(xy); xy *= 2; return c; }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400868 // Passed-in coords copied to a temp variable
Brian Osmancbfa34a2021-09-02 09:26:27 -0400869 test("half4 main(float2 xy) { float2 p = xy; return child.eval(p); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400870 // Use of coords passed to helper function
Brian Osmancbfa34a2021-09-02 09:26:27 -0400871 test("half4 helper(float2 xy) { return child.eval(xy); }"
Brian Osman70ae4c82021-05-21 16:23:06 -0400872 "half4 main(float2 xy) { return helper(xy); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400873}
Brian Osman70ae91f2021-06-10 14:27:53 -0400874
875DEF_GPUTEST_FOR_ALL_CONTEXTS(GrSkSLFP_Specialized, r, ctxInfo) {
876 struct FpAndKey {
877 std::unique_ptr<GrFragmentProcessor> fp;
878 SkTArray<uint32_t, true> key;
879 };
880
Brian Osman59465892021-06-18 09:15:44 -0400881 // Constant color, but with a similar option to GrFragmentProcessor::OverrideInput
Brian Osman70ae91f2021-06-10 14:27:53 -0400882 // specialize decides if the color is inserted in the SkSL as a literal, or left as a uniform
883 auto make_color_fp = [&](SkPMColor4f color, bool specialize) {
884 auto effect = SkMakeRuntimeEffect(SkRuntimeEffect::MakeForShader, R"(
885 uniform half4 color;
886 half4 main(float2 xy) { return color; }
887 )");
888 FpAndKey result;
Brian Osmanb2cb8172021-06-15 14:36:17 -0400889 result.fp = GrSkSLFP::Make(std::move(effect), "color_fp", /*inputFP=*/nullptr,
Brian Osman171fba72021-06-16 17:10:21 -0400890 GrSkSLFP::OptFlags::kNone,
Brian Osmanb2cb8172021-06-15 14:36:17 -0400891 "color", GrSkSLFP::SpecializeIf(specialize, color));
Brian Osman70ae91f2021-06-10 14:27:53 -0400892 GrProcessorKeyBuilder builder(&result.key);
Brian Salomon13b28732021-08-06 15:33:58 -0400893 result.fp->addToKey(*ctxInfo.directContext()->priv().caps()->shaderCaps(), &builder);
Brian Osman70ae91f2021-06-10 14:27:53 -0400894 builder.flush();
895 return result;
896 };
897
898 FpAndKey uRed = make_color_fp({1, 0, 0, 1}, false),
899 uGreen = make_color_fp({0, 1, 0, 1}, false),
900 sRed = make_color_fp({1, 0, 0, 1}, true),
901 sGreen = make_color_fp({0, 1, 0, 1}, true);
902
903 // uRed and uGreen should have the same key - they just have different uniforms
904 SkASSERT(uRed.key == uGreen.key);
905 // sRed and sGreen should have keys that are different from the uniform case, and each other
906 SkASSERT(sRed.key != uRed.key);
907 SkASSERT(sGreen.key != uRed.key);
908 SkASSERT(sRed.key != sGreen.key);
909}
John Stilesb2295582021-10-06 10:20:09 -0400910
911DEF_GPUTEST_FOR_RENDERING_CONTEXTS(GrSkSLFP_UniformArray, r, ctxInfo) {
912 // Make a fill-context to draw into.
913 GrDirectContext* directContext = ctxInfo.directContext();
914 SkImageInfo info = SkImageInfo::Make(1, 1, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
915 std::unique_ptr<skgpu::SurfaceFillContext> testCtx =
916 directContext->priv().makeSFC(info, SkBackingFit::kExact);
917
918 // Make an effect that takes a uniform array as input.
919 static constexpr std::array<float, 4> kRed {1.0f, 0.0f, 0.0f, 1.0f};
920 static constexpr std::array<float, 4> kGreen{0.0f, 1.0f, 0.0f, 1.0f};
921 static constexpr std::array<float, 4> kBlue {0.0f, 0.0f, 1.0f, 1.0f};
922 static constexpr std::array<float, 4> kGray {0.499f, 0.499f, 0.499f, 1.0f};
923
924 for (const auto& colorArray : {kRed, kGreen, kBlue, kGray}) {
925 // Compile our runtime effect.
926 auto effect = SkMakeRuntimeEffect(SkRuntimeEffect::MakeForShader, R"(
927 uniform half color[4];
928 half4 main(float2 xy) { return half4(color[0], color[1], color[2], color[3]); }
929 )");
930 // Render our shader into the fill-context with our various input colors.
931 testCtx->fillWithFP(GrSkSLFP::Make(std::move(effect), "test_fp",
932 /*inputFP=*/nullptr,
933 GrSkSLFP::OptFlags::kNone,
934 "color", SkMakeSpan(colorArray)));
935 // Read our color back and ensure it matches.
936 GrColor actual;
937 GrPixmap pixmap(info, &actual, sizeof(GrColor));
938 if (!testCtx->readPixels(directContext, pixmap, /*srcPt=*/{0, 0})) {
939 REPORT_FAILURE(r, "readPixels", SkString("readPixels failed"));
940 break;
941 }
942 if (actual != GrColorPackRGBA(255 * colorArray[0], 255 * colorArray[1],
943 255 * colorArray[2], 255 * colorArray[3])) {
944 REPORT_FAILURE(r, "Uniform array didn't match expectations",
945 SkStringPrintf("\n"
946 "Expected: [ %g %g %g %g ]\n"
947 "Got : [ %08x ]\n",
948 colorArray[0], colorArray[1],
949 colorArray[2], colorArray[3],
950 actual));
951 break;
952 }
953 }
954}