blob: 297254ededece2f299baa974ce322aae7c76f059 [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"
Brian Osman443b5da2021-06-04 16:52:21 -040025#include "src/gpu/effects/GrSkSLFP.h"
Brian Osman088913a2019-12-19 15:44:56 -050026#include "tests/Test.h"
27
Brian Osmanf72dedd2020-01-08 13:19:58 -050028#include <algorithm>
Brian Osman8e2ef022020-09-30 13:26:43 -040029#include <thread>
Brian Osmanf72dedd2020-01-08 13:19:58 -050030
John Stiles7ce17512021-01-12 18:39:02 -050031void test_invalid_effect(skiatest::Reporter* r, const char* src, const char* expected) {
Brian Osman56ed7da2021-04-21 15:57:27 -040032 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(src));
John Stiles7ce17512021-01-12 18:39:02 -050033 REPORTER_ASSERT(r, !effect);
34 REPORTER_ASSERT(r, errorText.contains(expected),
35 "Expected error message to contain \"%s\". Actual message: \"%s\"",
36 expected, errorText.c_str());
37};
Brian Osman088913a2019-12-19 15:44:56 -050038
Brian Osman56ed7da2021-04-21 15:57:27 -040039#define EMPTY_MAIN "half4 main(float2 p) { return half4(0); }"
Brian Osman24c18522020-11-10 16:36:01 -050040
John Stiles7ce17512021-01-12 18:39:02 -050041DEF_TEST(SkRuntimeEffectInvalid_LimitedUniformTypes, r) {
Brian Osmand18967c2021-04-01 09:56:07 -040042 // Runtime SkSL supports a limited set of uniform types. No bool, for example:
John Stiles7ce17512021-01-12 18:39:02 -050043 test_invalid_effect(r, "uniform bool b;" EMPTY_MAIN, "uniform");
John Stiles7ce17512021-01-12 18:39:02 -050044}
Brian Osman088913a2019-12-19 15:44:56 -050045
John Stiles7ce17512021-01-12 18:39:02 -050046DEF_TEST(SkRuntimeEffectInvalid_NoInVariables, r) {
Brian Osmana4b91692020-08-10 14:26:16 -040047 // 'in' variables aren't allowed at all:
John Stiles7ce17512021-01-12 18:39:02 -050048 test_invalid_effect(r, "in bool b;" EMPTY_MAIN, "'in'");
49 test_invalid_effect(r, "in float f;" EMPTY_MAIN, "'in'");
50 test_invalid_effect(r, "in float2 v;" EMPTY_MAIN, "'in'");
51 test_invalid_effect(r, "in half3x3 m;" EMPTY_MAIN, "'in'");
52}
Brian Osman8783b782020-01-06 11:13:45 -050053
John Stiles7ce17512021-01-12 18:39:02 -050054DEF_TEST(SkRuntimeEffectInvalid_UndefinedFunction, r) {
Brian Osman56ed7da2021-04-21 15:57:27 -040055 test_invalid_effect(r, "half4 missing(); half4 main(float2 p) { return missing(); }",
Brian Osman7da06572021-07-21 15:19:34 -040056 "function 'half4 missing()' is not defined");
John Stiles7ce17512021-01-12 18:39:02 -050057}
Brian Osman182c92e2020-07-20 15:18:33 -040058
John Stiles7ce17512021-01-12 18:39:02 -050059DEF_TEST(SkRuntimeEffectInvalid_UndefinedMain, r) {
Brian Osman182c92e2020-07-20 15:18:33 -040060 // Shouldn't be possible to create an SkRuntimeEffect without "main"
John Stiles7ce17512021-01-12 18:39:02 -050061 test_invalid_effect(r, "", "main");
62}
Brian Osman82329002020-07-21 09:39:27 -040063
John Stiles7ce17512021-01-12 18:39:02 -050064DEF_TEST(SkRuntimeEffectInvalid_SkCapsDisallowed, r) {
Brian Osmanb06301e2020-11-06 11:45:36 -050065 // sk_Caps is an internal system. It should not be visible to runtime effects
Brian Osman56ed7da2021-04-21 15:57:27 -040066 test_invalid_effect(
67 r,
68 "half4 main(float2 p) { return sk_Caps.integerSupport ? half4(1) : half4(0); }",
69 "unknown identifier 'sk_Caps'");
John Stiles7ce17512021-01-12 18:39:02 -050070}
Brian Osmanb06301e2020-11-06 11:45:36 -050071
John Stiles65d7ab22021-04-28 15:14:09 -040072DEF_TEST(SkRuntimeEffectCanDisableES2Restrictions, r) {
73 auto test_valid_es3 = [](skiatest::Reporter* r, const char* sksl) {
Brian Osmane9ab3912021-07-02 10:17:45 -040074 SkRuntimeEffect::Options opt = SkRuntimeEffectPriv::ES3Options();
John Stiles65d7ab22021-04-28 15:14:09 -040075 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(sksl), opt);
76 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
77 };
78
79 test_invalid_effect(r, "float f[2] = float[2](0, 1);" EMPTY_MAIN, "construction of array type");
80 test_valid_es3 (r, "float f[2] = float[2](0, 1);" EMPTY_MAIN);
81}
82
Brian Osmanaf4e2332021-04-20 12:00:10 -040083DEF_TEST(SkRuntimeEffectForColorFilter, r) {
84 // Tests that the color filter factory rejects or accepts certain SkSL constructs
85 auto test_valid = [r](const char* sksl) {
86 auto [effect, errorText] = SkRuntimeEffect::MakeForColorFilter(SkString(sksl));
John Stiles65d7ab22021-04-28 15:14:09 -040087 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
Brian Osmanaf4e2332021-04-20 12:00:10 -040088 };
89
90 auto test_invalid = [r](const char* sksl, const char* expected) {
91 auto [effect, errorText] = SkRuntimeEffect::MakeForColorFilter(SkString(sksl));
92 REPORTER_ASSERT(r, !effect);
93 REPORTER_ASSERT(r,
94 errorText.contains(expected),
95 "Expected error message to contain \"%s\". Actual message: \"%s\"",
96 expected,
97 errorText.c_str());
98 };
99
100 // Color filters must use the 'half4 main(half4)' signature. Either color can be float4/vec4
101 test_valid("half4 main(half4 c) { return c; }");
102 test_valid("float4 main(half4 c) { return c; }");
103 test_valid("half4 main(float4 c) { return c; }");
104 test_valid("float4 main(float4 c) { return c; }");
105 test_valid("vec4 main(half4 c) { return c; }");
106 test_valid("half4 main(vec4 c) { return c; }");
107 test_valid("vec4 main(vec4 c) { return c; }");
108
109 // Invalid return types
110 test_invalid("void main(half4 c) {}", "'main' must return");
111 test_invalid("half3 main(half4 c) { return c.rgb; }", "'main' must return");
112
113 // Invalid argument types (some are valid as shaders, but not color filters)
114 test_invalid("half4 main() { return half4(1); }", "'main' parameter");
115 test_invalid("half4 main(float2 p) { return half4(1); }", "'main' parameter");
116 test_invalid("half4 main(float2 p, half4 c) { return c; }", "'main' parameter");
117
118 // sk_FragCoord should not be available
119 test_invalid("half4 main(half4 c) { return sk_FragCoord.xy01; }", "unknown identifier");
120
121 // Sampling a child shader requires that we pass explicit coords
122 test_valid("uniform shader child;"
123 "half4 main(half4 c) { return sample(child, c.rg); }");
124
Brian Osmanb5282f02021-08-24 10:11:56 -0400125 // Sampling a colorFilter requires a color
Brian Osmanc9125aa2021-04-21 09:57:19 -0400126 test_valid("uniform colorFilter child;"
127 "half4 main(half4 c) { return sample(child, c); }");
128
Brian Osmanb5282f02021-08-24 10:11:56 -0400129 // Sampling a blender requires two colors
130 test_valid("uniform blender child;"
131 "half4 main(half4 c) { return sample(child, c, c); }");
Brian Osmanaf4e2332021-04-20 12:00:10 -0400132}
133
John Stiles93003912021-06-16 11:34:37 -0400134DEF_TEST(SkRuntimeEffectForBlender, r) {
135 // Tests that the blender factory rejects or accepts certain SkSL constructs
136 auto test_valid = [r](const char* sksl) {
137 auto [effect, errorText] = SkRuntimeEffect::MakeForBlender(SkString(sksl));
138 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
139 };
140
141 auto test_invalid = [r](const char* sksl, const char* expected) {
142 auto [effect, errorText] = SkRuntimeEffect::MakeForBlender(SkString(sksl));
143 REPORTER_ASSERT(r, !effect);
144 REPORTER_ASSERT(r,
145 errorText.contains(expected),
146 "Expected error message to contain \"%s\". Actual message: \"%s\"",
147 expected,
148 errorText.c_str());
149 };
150
John Stiles8e51bad2021-07-22 10:13:30 -0400151 // Blenders must use the 'half4 main(half4, half4)' signature. Any mixture of float4/vec4/half4
152 // is allowed.
John Stiles93003912021-06-16 11:34:37 -0400153 test_valid("half4 main(half4 s, half4 d) { return s; }");
154 test_valid("float4 main(float4 s, float4 d) { return d; }");
155 test_valid("float4 main(half4 s, float4 d) { return s; }");
156 test_valid("half4 main(float4 s, half4 d) { return d; }");
157 test_valid("vec4 main(half4 s, half4 d) { return s; }");
158 test_valid("half4 main(vec4 s, vec4 d) { return d; }");
159 test_valid("vec4 main(vec4 s, vec4 d) { return s; }");
160
161 // Invalid return types
162 test_invalid("void main(half4 s, half4 d) {}", "'main' must return");
163 test_invalid("half3 main(half4 s, half4 d) { return s.rgb; }", "'main' must return");
164
165 // Invalid argument types (some are valid as shaders/color filters)
166 test_invalid("half4 main() { return half4(1); }", "'main' parameter");
167 test_invalid("half4 main(half4 c) { return c; }", "'main' parameter");
168 test_invalid("half4 main(float2 p) { return half4(1); }", "'main' parameter");
169 test_invalid("half4 main(float2 p, half4 c) { return c; }", "'main' parameter");
170 test_invalid("half4 main(float2 p, half4 a, half4 b) { return a; }", "'main' parameter");
171 test_invalid("half4 main(half4 a, half4 b, half4 c) { return a; }", "'main' parameter");
172
173 // sk_FragCoord should not be available
174 test_invalid("half4 main(half4 s, half4 d) { return sk_FragCoord.xy01; }",
175 "unknown identifier");
176
John Stiles8e51bad2021-07-22 10:13:30 -0400177 // Sampling a child shader requires that we pass explicit coords
178 test_valid("uniform shader child;"
179 "half4 main(half4 s, half4 d) { return sample(child, s.rg); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400180
Brian Osmanb5282f02021-08-24 10:11:56 -0400181 // Sampling a colorFilter requires a color
John Stiles8e51bad2021-07-22 10:13:30 -0400182 test_valid("uniform colorFilter child;"
183 "half4 main(half4 s, half4 d) { return sample(child, d); }");
184
Brian Osmanb5282f02021-08-24 10:11:56 -0400185 // Sampling a blender requires two colors
186 test_valid("uniform blender child;"
187 "half4 main(half4 s, half4 d) { return sample(child, s, d); }");
John Stiles93003912021-06-16 11:34:37 -0400188}
189
Brian Osmanaf4e2332021-04-20 12:00:10 -0400190DEF_TEST(SkRuntimeEffectForShader, r) {
191 // Tests that the shader factory rejects or accepts certain SkSL constructs
Brian Osman77046a72021-07-20 13:16:57 -0400192 auto test_valid = [r](const char* sksl, SkRuntimeEffect::Options options = {}) {
193 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(sksl), options);
John Stiles65d7ab22021-04-28 15:14:09 -0400194 REPORTER_ASSERT(r, effect, "%s", errorText.c_str());
Brian Osmanaf4e2332021-04-20 12:00:10 -0400195 };
196
Brian Osman77046a72021-07-20 13:16:57 -0400197 auto test_invalid = [r](const char* sksl,
198 const char* expected,
199 SkRuntimeEffect::Options options = {}) {
Brian Osmanaf4e2332021-04-20 12:00:10 -0400200 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(sksl));
201 REPORTER_ASSERT(r, !effect);
202 REPORTER_ASSERT(r,
203 errorText.contains(expected),
204 "Expected error message to contain \"%s\". Actual message: \"%s\"",
205 expected,
206 errorText.c_str());
207 };
208
209 // Shaders must use either the 'half4 main(float2)' or 'half4 main(float2, half4)' signature
210 // Either color can be half4/float4/vec4, but the coords must be float2/vec2
211 test_valid("half4 main(float2 p) { return p.xyxy; }");
212 test_valid("float4 main(float2 p) { return p.xyxy; }");
213 test_valid("vec4 main(float2 p) { return p.xyxy; }");
214 test_valid("half4 main(vec2 p) { return p.xyxy; }");
215 test_valid("vec4 main(vec2 p) { return p.xyxy; }");
216 test_valid("half4 main(float2 p, half4 c) { return c; }");
217 test_valid("half4 main(float2 p, float4 c) { return c; }");
218 test_valid("half4 main(float2 p, vec4 c) { return c; }");
219 test_valid("float4 main(float2 p, half4 c) { return c; }");
220 test_valid("vec4 main(float2 p, half4 c) { return c; }");
221 test_valid("vec4 main(vec2 p, vec4 c) { return c; }");
222
223 // Invalid return types
224 test_invalid("void main(float2 p) {}", "'main' must return");
225 test_invalid("half3 main(float2 p) { return p.xy1; }", "'main' must return");
226
227 // Invalid argument types (some are valid as color filters, but not shaders)
228 test_invalid("half4 main() { return half4(1); }", "'main' parameter");
229 test_invalid("half4 main(half4 c) { return c; }", "'main' parameter");
230
Brian Osman77046a72021-07-20 13:16:57 -0400231 // sk_FragCoord should be available, but only if we've enabled it via Options
232 test_invalid("half4 main(float2 p) { return sk_FragCoord.xy01; }",
233 "unknown identifier 'sk_FragCoord'");
234
235 SkRuntimeEffect::Options optionsWithFragCoord;
236 SkRuntimeEffectPriv::EnableFragCoord(&optionsWithFragCoord);
237 test_valid("half4 main(float2 p) { return sk_FragCoord.xy01; }", optionsWithFragCoord);
Brian Osmanaf4e2332021-04-20 12:00:10 -0400238
239 // Sampling a child shader requires that we pass explicit coords
240 test_valid("uniform shader child;"
241 "half4 main(float2 p) { return sample(child, p); }");
242
Brian Osmanb5282f02021-08-24 10:11:56 -0400243 // Sampling a colorFilter requires a color
Brian Osmanc9125aa2021-04-21 09:57:19 -0400244 test_valid("uniform colorFilter child;"
245 "half4 main(float2 p, half4 c) { return sample(child, c); }");
246
Brian Osmanb5282f02021-08-24 10:11:56 -0400247 // Sampling a blender requires two colors
248 test_valid("uniform blender child;"
249 "half4 main(float2 p, half4 c) { return sample(child, c, c); }");
Brian Osmanaf4e2332021-04-20 12:00:10 -0400250}
251
John Stiles9b170c62021-06-18 10:14:14 -0400252using PreTestFn = std::function<void(SkCanvas*, SkPaint*)>;
253
254void paint_canvas(SkCanvas* canvas, SkPaint* paint, const PreTestFn& preTestCallback) {
255 canvas->save();
256 if (preTestCallback) {
257 preTestCallback(canvas, paint);
258 }
259 canvas->drawPaint(*paint);
260 canvas->restore();
261}
262
263static void verify_2x2_surface_results(skiatest::Reporter* r,
264 const SkRuntimeEffect* effect,
265 SkSurface* surface,
266 std::array<GrColor, 4> expected) {
267 std::array<GrColor, 4> actual;
268 SkImageInfo info = surface->imageInfo();
269 if (!surface->readPixels(info, actual.data(), info.minRowBytes(), /*srcX=*/0, /*srcY=*/0)) {
270 REPORT_FAILURE(r, "readPixels", SkString("readPixels failed"));
271 return;
272 }
273
274 if (actual != expected) {
275 REPORT_FAILURE(r, "Runtime effect didn't match expectations",
276 SkStringPrintf("\n"
277 "Expected: [ %08x %08x %08x %08x ]\n"
278 "Got : [ %08x %08x %08x %08x ]\n"
279 "SkSL:\n%s\n",
280 expected[0], expected[1], expected[2], expected[3],
281 actual[0], actual[1], actual[2], actual[3],
282 effect->source().c_str()));
283 }
284}
285
Brian Osmanf72dedd2020-01-08 13:19:58 -0500286class TestEffect {
287public:
Brian Osman62419612020-07-22 10:19:02 -0400288 TestEffect(skiatest::Reporter* r, sk_sp<SkSurface> surface)
289 : fReporter(r), fSurface(std::move(surface)) {}
290
Brian Osman33316412020-11-06 10:42:51 -0500291 void build(const char* src) {
Brian Osman77046a72021-07-20 13:16:57 -0400292 SkRuntimeEffect::Options options;
293 SkRuntimeEffectPriv::EnableFragCoord(&options);
294 auto [effect, errorText] = SkRuntimeEffect::MakeForShader(SkString(src), options);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500295 if (!effect) {
Brian Osman62419612020-07-22 10:19:02 -0400296 REPORT_FAILURE(fReporter, "effect",
Brian Osmanf72dedd2020-01-08 13:19:58 -0500297 SkStringPrintf("Effect didn't compile: %s", errorText.c_str()));
298 return;
299 }
Brian Osmand9bde072020-04-15 14:18:13 -0400300 fBuilder.init(std::move(effect));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500301 }
302
Brian Osmana4b91692020-08-10 14:26:16 -0400303 SkRuntimeShaderBuilder::BuilderUniform uniform(const char* name) {
304 return fBuilder->uniform(name);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500305 }
John Stiles9b170c62021-06-18 10:14:14 -0400306
Brian Osman62419612020-07-22 10:19:02 -0400307 SkRuntimeShaderBuilder::BuilderChild child(const char* name) {
308 return fBuilder->child(name);
309 }
Brian Osmanf72dedd2020-01-08 13:19:58 -0500310
John Stiles9b170c62021-06-18 10:14:14 -0400311 void test(std::array<GrColor, 4> expected, PreTestFn preTestCallback = nullptr) {
John Stiles49128242021-06-16 22:37:15 -0400312 auto shader = fBuilder->makeShader(/*localMatrix=*/nullptr, /*isOpaque=*/false);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500313 if (!shader) {
Brian Osman62419612020-07-22 10:19:02 -0400314 REPORT_FAILURE(fReporter, "shader", SkString("Effect didn't produce a shader"));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500315 return;
316 }
317
Brian Osman62419612020-07-22 10:19:02 -0400318 SkCanvas* canvas = fSurface->getCanvas();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500319 SkPaint paint;
320 paint.setShader(std::move(shader));
321 paint.setBlendMode(SkBlendMode::kSrc);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500322
John Stiles9b170c62021-06-18 10:14:14 -0400323 paint_canvas(canvas, &paint, preTestCallback);
Brian Osman62419612020-07-22 10:19:02 -0400324
John Stiles9b170c62021-06-18 10:14:14 -0400325 verify_2x2_surface_results(fReporter, fBuilder->effect(), fSurface.get(), expected);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500326 }
327
Brian Osman62419612020-07-22 10:19:02 -0400328 void test(GrColor expected, PreTestFn preTestCallback = nullptr) {
John Stiles9b170c62021-06-18 10:14:14 -0400329 this->test({expected, expected, expected, expected}, preTestCallback);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500330 }
331
332private:
Brian Osman62419612020-07-22 10:19:02 -0400333 skiatest::Reporter* fReporter;
334 sk_sp<SkSurface> fSurface;
Brian Osmand9bde072020-04-15 14:18:13 -0400335 SkTLazy<SkRuntimeShaderBuilder> fBuilder;
Brian Osmanf72dedd2020-01-08 13:19:58 -0500336};
337
John Stiles9b170c62021-06-18 10:14:14 -0400338class TestBlend {
339public:
340 TestBlend(skiatest::Reporter* r, sk_sp<SkSurface> surface)
341 : fReporter(r), fSurface(std::move(surface)) {}
342
343 void build(const char* src) {
344 auto [effect, errorText] = SkRuntimeEffect::MakeForBlender(SkString(src));
345 if (!effect) {
346 REPORT_FAILURE(fReporter, "effect",
347 SkStringPrintf("Effect didn't compile: %s", errorText.c_str()));
348 return;
349 }
350 fBuilder.init(std::move(effect));
351 }
352
353 SkRuntimeBlendBuilder::BuilderUniform uniform(const char* name) {
354 return fBuilder->uniform(name);
355 }
356
John Stiles8e51bad2021-07-22 10:13:30 -0400357 SkRuntimeBlendBuilder::BuilderChild child(const char* name) {
358 return fBuilder->child(name);
359 }
360
John Stiles9b170c62021-06-18 10:14:14 -0400361 void test(std::array<GrColor, 4> expected, PreTestFn preTestCallback = nullptr) {
362 auto blender = fBuilder->makeBlender();
363 if (!blender) {
364 REPORT_FAILURE(fReporter, "blender", SkString("Effect didn't produce a blender"));
365 return;
366 }
367
368 SkCanvas* canvas = fSurface->getCanvas();
369 SkPaint paint;
Mike Reed3037d9f2021-07-06 11:29:45 -0400370 paint.setBlender(std::move(blender));
John Stiles9b170c62021-06-18 10:14:14 -0400371 paint.setColor(SK_ColorGRAY);
372
373 paint_canvas(canvas, &paint, preTestCallback);
374
375 verify_2x2_surface_results(fReporter, fBuilder->effect(), fSurface.get(), expected);
376 }
377
378 void test(GrColor expected, PreTestFn preTestCallback = nullptr) {
379 this->test({expected, expected, expected, expected}, preTestCallback);
380 }
381
382private:
383 skiatest::Reporter* fReporter;
384 sk_sp<SkSurface> fSurface;
385 SkTLazy<SkRuntimeBlendBuilder> fBuilder;
386};
387
Brian Osman62419612020-07-22 10:19:02 -0400388// Produces a 2x2 bitmap shader, with opaque colors:
389// [ Red, Green ]
390// [ Blue, White ]
391static sk_sp<SkShader> make_RGBW_shader() {
392 SkBitmap bmp;
393 bmp.allocPixels(SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType));
394 SkIRect topLeft = SkIRect::MakeWH(1, 1);
395 bmp.pixmap().erase(SK_ColorRED, topLeft);
396 bmp.pixmap().erase(SK_ColorGREEN, topLeft.makeOffset(1, 0));
397 bmp.pixmap().erase(SK_ColorBLUE, topLeft.makeOffset(0, 1));
398 bmp.pixmap().erase(SK_ColorWHITE, topLeft.makeOffset(1, 1));
Mike Reedb41bd152020-12-12 11:18:31 -0500399 return bmp.makeShader(SkSamplingOptions());
Brian Osman62419612020-07-22 10:19:02 -0400400}
401
Robert Phillipse94b4e12020-07-23 13:54:35 -0400402static void test_RuntimeEffect_Shaders(skiatest::Reporter* r, GrRecordingContext* rContext) {
Brian Osmanf72dedd2020-01-08 13:19:58 -0500403 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
Robert Phillipse94b4e12020-07-23 13:54:35 -0400404 sk_sp<SkSurface> surface = rContext
405 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
406 : SkSurface::MakeRaster(info);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500407 REPORTER_ASSERT(r, surface);
Brian Osman62419612020-07-22 10:19:02 -0400408 TestEffect effect(r, surface);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500409
Brian Osman504032e2020-01-10 10:05:24 -0500410 using float4 = std::array<float, 4>;
Brian Osmand18967c2021-04-01 09:56:07 -0400411 using int4 = std::array<int, 4>;
Brian Osman504032e2020-01-10 10:05:24 -0500412
Brian Osman62419612020-07-22 10:19:02 -0400413 // Local coords
Brian Osman33316412020-11-06 10:42:51 -0500414 effect.build("half4 main(float2 p) { return half4(half2(p - 0.5), 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400415 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osmanf72dedd2020-01-08 13:19:58 -0500416
Brian Osman62419612020-07-22 10:19:02 -0400417 // Use of a simple uniform. (Draw twice with two values to ensure it's updated).
Brian Osman56ed7da2021-04-21 15:57:27 -0400418 effect.build("uniform float4 gColor; half4 main(float2 p) { return half4(gColor); }");
Brian Osmana4b91692020-08-10 14:26:16 -0400419 effect.uniform("gColor") = float4{ 0.0f, 0.25f, 0.75f, 1.0f };
Brian Osman62419612020-07-22 10:19:02 -0400420 effect.test(0xFFBF4000);
Brian Osmana4b91692020-08-10 14:26:16 -0400421 effect.uniform("gColor") = float4{ 1.0f, 0.0f, 0.0f, 0.498f };
Brian Osman62419612020-07-22 10:19:02 -0400422 effect.test(0x7F00007F); // Tests that we clamp to valid premul
Michael Ludwig5e6b3cd2020-05-27 17:02:37 -0400423
Brian Osmand18967c2021-04-01 09:56:07 -0400424 // Same, with integer uniforms
Brian Osman56ed7da2021-04-21 15:57:27 -0400425 effect.build("uniform int4 gColor; half4 main(float2 p) { return half4(gColor) / 255.0; }");
Brian Osmand18967c2021-04-01 09:56:07 -0400426 effect.uniform("gColor") = int4{ 0x00, 0x40, 0xBF, 0xFF };
427 effect.test(0xFFBF4000);
428 effect.uniform("gColor") = int4{ 0xFF, 0x00, 0x00, 0x7F };
429 effect.test(0x7F00007F); // Tests that we clamp to valid premul
430
Brian Osman62419612020-07-22 10:19:02 -0400431 // Test sk_FragCoord (device coords). Rotate the canvas to be sure we're seeing device coords.
432 // Since the surface is 2x2, we should see (0,0), (1,0), (0,1), (1,1). Multiply by 0.498 to
433 // make sure we're not saturating unexpectedly.
Brian Osman56ed7da2021-04-21 15:57:27 -0400434 effect.build(
435 "half4 main(float2 p) { return half4(0.498 * (half2(sk_FragCoord.xy) - 0.5), 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400436 effect.test({0xFF000000, 0xFF00007F, 0xFF007F00, 0xFF007F7F},
Brian Osman62419612020-07-22 10:19:02 -0400437 [](SkCanvas* canvas, SkPaint*) { canvas->rotate(45.0f); });
Michael Ludwig22534f22020-05-27 17:25:33 -0400438
Brian Osman0acb5b52020-09-02 13:45:47 -0400439 // Runtime effects should use relaxed precision rules by default
Brian Osman33316412020-11-06 10:42:51 -0500440 effect.build("half4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400441 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osman0acb5b52020-09-02 13:45:47 -0400442
Brian Osman33316412020-11-06 10:42:51 -0500443 // ... and support *returning* float4 (aka vec4), not just half4
444 effect.build("float4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400445 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osman33316412020-11-06 10:42:51 -0500446 effect.build("vec4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400447 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osmanf1319c32020-10-13 09:34:23 -0400448
Brian Osmanb4ce9442020-11-11 09:18:02 -0500449 // Mutating coords should work. (skbug.com/10918)
450 effect.build("vec4 main(vec2 p) { p -= 0.5; return vec4(p, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400451 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osmanb4ce9442020-11-11 09:18:02 -0500452 effect.build("void moveCoords(inout vec2 p) { p -= 0.5; }"
453 "vec4 main(vec2 p) { moveCoords(p); return vec4(p, 0, 1); }");
John Stiles9b170c62021-06-18 10:14:14 -0400454 effect.test({0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF});
Brian Osmanb4ce9442020-11-11 09:18:02 -0500455
Brian Osmanb5f0f522020-07-23 13:28:14 -0400456 //
457 // Sampling children
458 //
459
Brian Osman62419612020-07-22 10:19:02 -0400460 // Sampling a null child should return the paint color
Brian Osman33316412020-11-06 10:42:51 -0500461 effect.build("uniform shader child;"
Brian Osman293497e2021-08-24 14:08:50 -0400462 "half4 main(float2 p) { return shade(child, p); }");
Brian Osman62419612020-07-22 10:19:02 -0400463 effect.child("child") = nullptr;
464 effect.test(0xFF00FFFF,
465 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
466
467 sk_sp<SkShader> rgbwShader = make_RGBW_shader();
468
Brian Osman56ed7da2021-04-21 15:57:27 -0400469 // Sampling a simple child at our coordinates
Brian Osman33316412020-11-06 10:42:51 -0500470 effect.build("uniform shader child;"
Brian Osman293497e2021-08-24 14:08:50 -0400471 "half4 main(float2 p) { return shade(child, p); }");
Brian Osman62419612020-07-22 10:19:02 -0400472 effect.child("child") = rgbwShader;
John Stiles9b170c62021-06-18 10:14:14 -0400473 effect.test({0xFF0000FF, 0xFF00FF00, 0xFFFF0000, 0xFFFFFFFF});
Brian Osman62419612020-07-22 10:19:02 -0400474
475 // Sampling with explicit coordinates (reflecting about the diagonal)
Brian Osman33316412020-11-06 10:42:51 -0500476 effect.build("uniform shader child;"
Brian Osman293497e2021-08-24 14:08:50 -0400477 "half4 main(float2 p) { return shade(child, p.yx); }");
Brian Osman62419612020-07-22 10:19:02 -0400478 effect.child("child") = rgbwShader;
John Stiles9b170c62021-06-18 10:14:14 -0400479 effect.test({0xFF0000FF, 0xFFFF0000, 0xFF00FF00, 0xFFFFFFFF});
Brian Osman62419612020-07-22 10:19:02 -0400480
Brian Osmanb5f0f522020-07-23 13:28:14 -0400481 //
482 // Helper functions
483 //
484
485 // Test case for inlining in the pipeline-stage and fragment-shader passes (skbug.com/10526):
Brian Osman33316412020-11-06 10:42:51 -0500486 effect.build("float2 helper(float2 x) { return x + 1; }"
487 "half4 main(float2 p) { float2 v = helper(p); return half4(half2(v), 0, 1); }");
Brian Osmanb5f0f522020-07-23 13:28:14 -0400488 effect.test(0xFF00FFFF);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500489}
490
491DEF_TEST(SkRuntimeEffectSimple, r) {
492 test_RuntimeEffect_Shaders(r, nullptr);
493}
494
495DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeEffectSimple_GPU, r, ctxInfo) {
Robert Phillips6d344c32020-07-06 10:56:46 -0400496 test_RuntimeEffect_Shaders(r, ctxInfo.directContext());
Brian Osmanf72dedd2020-01-08 13:19:58 -0500497}
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400498
John Stiles9b170c62021-06-18 10:14:14 -0400499static void test_RuntimeEffect_Blenders(skiatest::Reporter* r, GrRecordingContext* rContext) {
500 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
501 sk_sp<SkSurface> surface = rContext
502 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
503 : SkSurface::MakeRaster(info);
504 REPORTER_ASSERT(r, surface);
505 TestBlend effect(r, surface);
506
John Stiles8e51bad2021-07-22 10:13:30 -0400507 using float2 = std::array<float, 2>;
John Stiles9b170c62021-06-18 10:14:14 -0400508 using float4 = std::array<float, 4>;
509 using int4 = std::array<int, 4>;
510
511 // Use of a simple uniform. (Draw twice with two values to ensure it's updated).
512 effect.build("uniform float4 gColor; half4 main(half4 s, half4 d) { return half4(gColor); }");
513 effect.uniform("gColor") = float4{ 0.0f, 0.25f, 0.75f, 1.0f };
514 effect.test(0xFFBF4000);
515 effect.uniform("gColor") = float4{ 1.0f, 0.0f, 0.0f, 0.498f };
516 effect.test(0x7F0000FF); // Unlike SkShaders, we don't clamp here
517
518 // Same, with integer uniforms
519 effect.build("uniform int4 gColor;"
520 "half4 main(half4 s, half4 d) { return half4(gColor) / 255.0; }");
521 effect.uniform("gColor") = int4{ 0x00, 0x40, 0xBF, 0xFF };
522 effect.test(0xFFBF4000);
523 effect.uniform("gColor") = int4{ 0xFF, 0x00, 0x00, 0x7F };
524 effect.test(0x7F0000FF); // Unlike SkShaders, we don't clamp here
525
526 // Verify that mutating the source and destination colors is allowed
527 effect.build("half4 main(half4 s, half4 d) { s += d; d += s; return half4(1); }");
528 effect.test(0xFFFFFFFF);
529
530 // Verify that we can write out the source color (ignoring the dest color)
531 // This is equivalent to the kSrc blend mode.
532 effect.build("half4 main(half4 s, half4 d) { return s; }");
533 effect.test(0xFF888888);
534
535 // Fill the destination with a variety of colors (using the RGBW shader)
John Stilesce9a5c92021-07-30 11:20:19 -0400536 SkPaint rgbwPaint;
537 rgbwPaint.setShader(make_RGBW_shader());
538 rgbwPaint.setBlendMode(SkBlendMode::kSrc);
539 surface->getCanvas()->drawPaint(rgbwPaint);
John Stiles9b170c62021-06-18 10:14:14 -0400540
541 // Verify that we can read back the dest color exactly as-is (ignoring the source color)
542 // This is equivalent to the kDst blend mode.
543 effect.build("half4 main(half4 s, half4 d) { return d; }");
544 effect.test({0xFF0000FF, 0xFF00FF00, 0xFFFF0000, 0xFFFFFFFF});
545
546 // Verify that we can invert the destination color (including the alpha channel).
547 // The expected outputs are the exact inverse of the previous test.
548 effect.build("half4 main(half4 s, half4 d) { return half4(1) - d; }");
549 effect.test({0x00FFFF00, 0x00FF00FF, 0x0000FFFF, 0x00000000});
550
551 // Verify that color values are clamped to 0 and 1.
552 effect.build("half4 main(half4 s, half4 d) { return half4(-1); }");
553 effect.test(0x00000000);
554 effect.build("half4 main(half4 s, half4 d) { return half4(2); }");
555 effect.test(0xFFFFFFFF);
John Stiles8e51bad2021-07-22 10:13:30 -0400556
557 //
558 // Sampling children
559 //
560
John Stilesce9a5c92021-07-30 11:20:19 -0400561 // Sampling a null shader/color filter should return the paint color.
John Stiles8e51bad2021-07-22 10:13:30 -0400562 effect.build("uniform shader child;"
Brian Osman293497e2021-08-24 14:08:50 -0400563 "half4 main(half4 s, half4 d) { return shade(child, s.rg); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400564 effect.child("child") = nullptr;
565 effect.test(0xFF00FFFF,
566 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
567
John Stilesce9a5c92021-07-30 11:20:19 -0400568 effect.build("uniform colorFilter child;"
Brian Osman293497e2021-08-24 14:08:50 -0400569 "half4 main(half4 s, half4 d) { return filter(child, s); }");
John Stilesce9a5c92021-07-30 11:20:19 -0400570 effect.child("child") = nullptr;
571 effect.test(0xFF00FFFF,
572 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
573
574 // Sampling a null blender should do a src-over blend. Draw 50% black over RGBW to verify this.
575 surface->getCanvas()->drawPaint(rgbwPaint);
576 effect.build("uniform blender child;"
Brian Osman293497e2021-08-24 14:08:50 -0400577 "half4 main(half4 s, half4 d) { return blend(child, s, d); }");
John Stilesce9a5c92021-07-30 11:20:19 -0400578 effect.child("child") = nullptr;
579 effect.test({0xFF000080, 0xFF008000, 0xFF800000, 0xFF808080},
580 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({0.0f, 0.0f, 0.0f, 0.497f}); });
581
John Stiles8e51bad2021-07-22 10:13:30 -0400582 // Sampling a shader at various coordinates
583 effect.build("uniform shader child;"
584 "uniform half2 pos;"
Brian Osman293497e2021-08-24 14:08:50 -0400585 "half4 main(half4 s, half4 d) { return shade(child, pos); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400586 effect.child("child") = make_RGBW_shader();
587 effect.uniform("pos") = float2{0, 0};
588 effect.test(0xFF0000FF);
589
590 effect.uniform("pos") = float2{1, 0};
591 effect.test(0xFF00FF00);
592
593 effect.uniform("pos") = float2{0, 1};
594 effect.test(0xFFFF0000);
595
596 effect.uniform("pos") = float2{1, 1};
597 effect.test(0xFFFFFFFF);
598
599 // Sampling a color filter
600 effect.build("uniform colorFilter child;"
Brian Osman293497e2021-08-24 14:08:50 -0400601 "half4 main(half4 s, half4 d) { return filter(child, half4(1)); }");
John Stiles8e51bad2021-07-22 10:13:30 -0400602 effect.child("child") = SkColorFilters::Blend(0xFF012345, SkBlendMode::kSrc);
603 effect.test(0xFF452301);
John Stilesce9a5c92021-07-30 11:20:19 -0400604
605 // Sampling a built-in blender
606 surface->getCanvas()->drawPaint(rgbwPaint);
607 effect.build("uniform blender child;"
Brian Osman293497e2021-08-24 14:08:50 -0400608 "half4 main(half4 s, half4 d) { return blend(child, s, d); }");
John Stilesce9a5c92021-07-30 11:20:19 -0400609 effect.child("child") = SkBlender::Mode(SkBlendMode::kPlus);
610 effect.test({0xFF4523FF, 0xFF45FF01, 0xFFFF2301, 0xFFFFFFFF},
611 [](SkCanvas*, SkPaint* paint) { paint->setColor(0xFF012345); });
612
613 // Sampling a runtime-effect blender
614 surface->getCanvas()->drawPaint(rgbwPaint);
615 effect.build("uniform blender child;"
Brian Osman293497e2021-08-24 14:08:50 -0400616 "half4 main(half4 s, half4 d) { return blend(child, s, d); }");
John Stilesce9a5c92021-07-30 11:20:19 -0400617 effect.child("child") = SkBlenders::Arithmetic(0, 1, 1, 0, /*enforcePremul=*/false);
618 effect.test({0xFF4523FF, 0xFF45FF01, 0xFFFF2301, 0xFFFFFFFF},
619 [](SkCanvas*, SkPaint* paint) { paint->setColor(0xFF012345); });
John Stiles9b170c62021-06-18 10:14:14 -0400620}
621
622DEF_TEST(SkRuntimeEffect_Blender_CPU, r) {
John Stiles9a2aa972021-06-18 10:15:35 -0400623 test_RuntimeEffect_Blenders(r, /*rContext=*/nullptr);
John Stiles9b170c62021-06-18 10:14:14 -0400624}
625
626DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeEffect_Blender_GPU, r, ctxInfo) {
627 test_RuntimeEffect_Blenders(r, ctxInfo.directContext());
628}
629
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400630DEF_TEST(SkRuntimeShaderBuilderReuse, r) {
631 const char* kSource = R"(
632 uniform half x;
Brian Osman56ed7da2021-04-21 15:57:27 -0400633 half4 main(float2 p) { return half4(x); }
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400634 )";
635
Brian Osman56ed7da2021-04-21 15:57:27 -0400636 sk_sp<SkRuntimeEffect> effect = SkRuntimeEffect::MakeForShader(SkString(kSource)).effect;
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400637 REPORTER_ASSERT(r, effect);
638
639 // Test passes if this sequence doesn't assert. skbug.com/10667
640 SkRuntimeShaderBuilder b(std::move(effect));
641 b.uniform("x") = 0.0f;
John Stiles49128242021-06-16 22:37:15 -0400642 auto shader_0 = b.makeShader(/*localMatrix=*/nullptr, /*isOpaque=*/false);
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400643
644 b.uniform("x") = 1.0f;
John Stiles49128242021-06-16 22:37:15 -0400645 auto shader_1 = b.makeShader(/*localMatrix=*/nullptr, /*isOpaque=*/true);
646}
647
648DEF_TEST(SkRuntimeBlendBuilderReuse, r) {
649 const char* kSource = R"(
650 uniform half x;
651 half4 main(half4 s, half4 d) { return half4(x); }
652 )";
653
654 sk_sp<SkRuntimeEffect> effect = SkRuntimeEffect::MakeForBlender(SkString(kSource)).effect;
655 REPORTER_ASSERT(r, effect);
656
657 // We should be able to construct multiple SkBlenders in a row without asserting.
658 SkRuntimeBlendBuilder b(std::move(effect));
659 for (float x = 0.0f; x <= 2.0f; x += 2.0f) {
660 b.uniform("x") = x;
661 sk_sp<SkBlender> blender = b.makeBlender();
662 }
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400663}
Brian Osman8e2ef022020-09-30 13:26:43 -0400664
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500665DEF_TEST(SkRuntimeShaderBuilderSetUniforms, r) {
666 const char* kSource = R"(
667 uniform half x;
668 uniform vec2 offset;
Brian Osman56ed7da2021-04-21 15:57:27 -0400669 half4 main(float2 p) { return half4(x); }
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500670 )";
671
Brian Osman56ed7da2021-04-21 15:57:27 -0400672 sk_sp<SkRuntimeEffect> effect = SkRuntimeEffect::MakeForShader(SkString(kSource)).effect;
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500673 REPORTER_ASSERT(r, effect);
674
675 SkRuntimeShaderBuilder b(std::move(effect));
676
677 // Test passes if this sequence doesn't assert.
678 float x = 1.0f;
679 REPORTER_ASSERT(r, b.uniform("x").set(&x, 1));
680
681 // add extra value to ensure that set doesn't try to use sizeof(array)
682 float origin[] = { 2.0f, 3.0f, 4.0f };
683 REPORTER_ASSERT(r, b.uniform("offset").set<float>(origin, 2));
684
685#ifndef SK_DEBUG
686 REPORTER_ASSERT(r, !b.uniform("offset").set<float>(origin, 1));
687 REPORTER_ASSERT(r, !b.uniform("offset").set<float>(origin, 3));
688#endif
689
John Stiles49128242021-06-16 22:37:15 -0400690 auto shader = b.makeShader(/*localMatrix=*/nullptr, /*isOpaque=*/false);
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500691}
692
Brian Osman8e2ef022020-09-30 13:26:43 -0400693DEF_TEST(SkRuntimeEffectThreaded, r) {
694 // SkRuntimeEffect uses a single compiler instance, but it's mutex locked.
695 // This tests that we can safely use it from more than one thread, and also
696 // that programs don't refer to shared structures owned by the compiler.
697 // skbug.com/10589
Brian Osman56ed7da2021-04-21 15:57:27 -0400698 static constexpr char kSource[] = "half4 main(float2 p) { return sk_FragCoord.xyxy; }";
Brian Osman8e2ef022020-09-30 13:26:43 -0400699
700 std::thread threads[16];
701 for (auto& thread : threads) {
702 thread = std::thread([r]() {
Brian Osman77046a72021-07-20 13:16:57 -0400703 SkRuntimeEffect::Options options;
704 SkRuntimeEffectPriv::EnableFragCoord(&options);
705 auto [effect, error] = SkRuntimeEffect::MakeForShader(SkString(kSource), options);
Brian Osman8e2ef022020-09-30 13:26:43 -0400706 REPORTER_ASSERT(r, effect);
707 });
708 }
709
710 for (auto& thread : threads) {
711 thread.join();
712 }
713}
Mike Klein827f8c02021-02-06 09:13:01 -0600714
715DEF_TEST(SkRuntimeColorFilterSingleColor, r) {
716 // Test runtime colorfilters support filterColor4f().
Brian Osman56ed7da2021-04-21 15:57:27 -0400717 auto [effect, err] =
718 SkRuntimeEffect::MakeForColorFilter(SkString{"half4 main(half4 c) { return c*c; }"});
Mike Klein827f8c02021-02-06 09:13:01 -0600719 REPORTER_ASSERT(r, effect);
720 REPORTER_ASSERT(r, err.isEmpty());
721
Brian Osman56ed7da2021-04-21 15:57:27 -0400722 sk_sp<SkColorFilter> cf = effect->makeColorFilter(SkData::MakeEmpty());
Mike Klein827f8c02021-02-06 09:13:01 -0600723 REPORTER_ASSERT(r, cf);
724
725 SkColor4f c = cf->filterColor4f({0.25, 0.5, 0.75, 1.0},
726 sk_srgb_singleton(), sk_srgb_singleton());
727 REPORTER_ASSERT(r, c.fR == 0.0625f);
728 REPORTER_ASSERT(r, c.fG == 0.25f);
729 REPORTER_ASSERT(r, c.fB == 0.5625f);
730 REPORTER_ASSERT(r, c.fA == 1.0f);
731}
Brian Osman8e756f32021-02-10 10:19:27 -0500732
733static void test_RuntimeEffectStructNameReuse(skiatest::Reporter* r, GrRecordingContext* rContext) {
734 // Test that two different runtime effects can reuse struct names in a single paint operation
Brian Osman56ed7da2021-04-21 15:57:27 -0400735 auto [childEffect, err] = SkRuntimeEffect::MakeForShader(SkString(
Brian Osman8e756f32021-02-10 10:19:27 -0500736 "uniform shader paint;"
737 "struct S { half4 rgba; };"
738 "void process(inout S s) { s.rgba.rgb *= 0.5; }"
Brian Osman293497e2021-08-24 14:08:50 -0400739 "half4 main(float2 p) { S s; s.rgba = shade(paint, p); process(s); return s.rgba; }"
Brian Osman8e756f32021-02-10 10:19:27 -0500740 ));
741 REPORTER_ASSERT(r, childEffect, "%s\n", err.c_str());
742 sk_sp<SkShader> nullChild = nullptr;
743 sk_sp<SkShader> child = childEffect->makeShader(/*uniforms=*/nullptr, &nullChild,
744 /*childCount=*/1, /*localMatrix=*/nullptr,
745 /*isOpaque=*/false);
746
747 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
748 sk_sp<SkSurface> surface = rContext
749 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
750 : SkSurface::MakeRaster(info);
751 REPORTER_ASSERT(r, surface);
752
753 TestEffect effect(r, surface);
754 effect.build(
755 "uniform shader child;"
756 "struct S { float2 coord; };"
757 "void process(inout S s) { s.coord = s.coord.yx; }"
Brian Osman293497e2021-08-24 14:08:50 -0400758 "half4 main(float2 p) { S s; s.coord = p; process(s); return shade(child, s.coord); "
Brian Osman8e756f32021-02-10 10:19:27 -0500759 "}");
760 effect.child("child") = child;
761 effect.test(0xFF00407F, [](SkCanvas*, SkPaint* paint) {
762 paint->setColor4f({0.99608f, 0.50196f, 0.0f, 1.0f});
763 });
764}
765
766DEF_TEST(SkRuntimeStructNameReuse, r) {
767 test_RuntimeEffectStructNameReuse(r, nullptr);
768}
769
770DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeStructNameReuse_GPU, r, ctxInfo) {
771 test_RuntimeEffectStructNameReuse(r, ctxInfo.directContext());
772}
Mike Kleine0d9b862021-02-16 12:00:29 -0600773
774DEF_TEST(SkRuntimeColorFilterFlags, r) {
775 { // Here's a non-trivial filter that doesn't change alpha.
Brian Osman56ed7da2021-04-21 15:57:27 -0400776 auto [effect, err] = SkRuntimeEffect::MakeForColorFilter(SkString{
Brian Osmancdee1202021-04-14 09:36:49 -0400777 "half4 main(half4 color) { return color + half4(1,1,1,0); }"});
Mike Kleine0d9b862021-02-16 12:00:29 -0600778 REPORTER_ASSERT(r, effect && err.isEmpty());
Brian Osmancdee1202021-04-14 09:36:49 -0400779 sk_sp<SkColorFilter> filter = effect->makeColorFilter(SkData::MakeEmpty());
Mike Kleine0d9b862021-02-16 12:00:29 -0600780 REPORTER_ASSERT(r, filter && filter->isAlphaUnchanged());
781 }
782
783 { // Here's one that definitely changes alpha.
Brian Osman56ed7da2021-04-21 15:57:27 -0400784 auto [effect, err] = SkRuntimeEffect::MakeForColorFilter(SkString{
Brian Osmancdee1202021-04-14 09:36:49 -0400785 "half4 main(half4 color) { return color + half4(0,0,0,4); }"});
Mike Kleine0d9b862021-02-16 12:00:29 -0600786 REPORTER_ASSERT(r, effect && err.isEmpty());
Brian Osmancdee1202021-04-14 09:36:49 -0400787 sk_sp<SkColorFilter> filter = effect->makeColorFilter(SkData::MakeEmpty());
Mike Kleine0d9b862021-02-16 12:00:29 -0600788 REPORTER_ASSERT(r, filter && !filter->isAlphaUnchanged());
789 }
790}
Brian Osman4d571112021-04-27 09:10:10 -0400791
Brian Osman70ae4c82021-05-21 16:23:06 -0400792DEF_TEST(SkRuntimeShaderSampleCoords, r) {
793 // This test verifies that we detect calls to sample where the coords are the same as those
794 // passed to main. In those cases, it's safe to turn the "explicit" sampling into "passthrough"
795 // sampling. This optimization is implemented very conservatively.
796 //
797 // It also checks that we correctly set the "referencesSampleCoords" bit on the runtime effect
798 // FP, depending on how the coords parameter to main is used.
Brian Osman70ae4c82021-05-21 16:23:06 -0400799
800 auto test = [&](const char* src, bool expectExplicit, bool expectReferencesSampleCoords) {
Brian Osman4d571112021-04-27 09:10:10 -0400801 auto [effect, err] =
802 SkRuntimeEffect::MakeForShader(SkStringPrintf("uniform shader child; %s", src));
803 REPORTER_ASSERT(r, effect);
804
805 auto child = GrFragmentProcessor::MakeColor({ 1, 1, 1, 1 });
Brian Osman171fba72021-06-16 17:10:21 -0400806 auto fp = GrSkSLFP::Make(effect, "test_fp", /*inputFP=*/nullptr, GrSkSLFP::OptFlags::kNone,
807 "child", std::move(child));
Brian Osman4d571112021-04-27 09:10:10 -0400808 REPORTER_ASSERT(r, fp);
809
Brian Salomon66b500a2021-08-02 12:37:14 -0400810 REPORTER_ASSERT(r, fp->childProcessor(0)->sampleUsage().isExplicit() == expectExplicit);
811 REPORTER_ASSERT(r, fp->usesSampleCoords() == expectReferencesSampleCoords);
Brian Osman4d571112021-04-27 09:10:10 -0400812 };
813
Brian Osman4d571112021-04-27 09:10:10 -0400814 // Cases where our optimization is valid, and works:
815
Brian Osman8cdf28f2021-05-24 09:52:39 -0400816 // Direct use of passed-in coords. Here, the only use of sample coords is for a sample call
817 // converted to passthrough, so referenceSampleCoords is *false*, despite appearing in main.
Brian Osman293497e2021-08-24 14:08:50 -0400818 test("half4 main(float2 xy) { return shade(child, xy); }", false, false);
Brian Osman4d571112021-04-27 09:10:10 -0400819 // Sample with passed-in coords, read (but don't write) sample coords elsewhere
Brian Osman293497e2021-08-24 14:08:50 -0400820 test("half4 main(float2 xy) { return shade(child, xy) + sin(xy.x); }", false, true);
Brian Osman4d571112021-04-27 09:10:10 -0400821
822 // Cases where our optimization is not valid, and does not happen:
823
824 // Sampling with values completely unrelated to passed-in coords
Brian Osman293497e2021-08-24 14:08:50 -0400825 test("half4 main(float2 xy) { return shade(child, float2(0, 0)); }", true, false);
Brian Osman4d571112021-04-27 09:10:10 -0400826 // Use of expression involving passed in coords
Brian Osman293497e2021-08-24 14:08:50 -0400827 test("half4 main(float2 xy) { return shade(child, xy * 0.5); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400828 // Use of coords after modification
Brian Osman293497e2021-08-24 14:08:50 -0400829 test("half4 main(float2 xy) { xy *= 2; return shade(child, xy); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400830 // Use of coords after modification via out-param call
831 test("void adjust(inout float2 xy) { xy *= 2; }"
Brian Osman293497e2021-08-24 14:08:50 -0400832 "half4 main(float2 xy) { adjust(xy); return shade(child, xy); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400833
834 // There should (must) not be any false-positive cases. There are false-negatives.
835 // In all of these cases, our optimization would be valid, but does not happen:
836
837 // Direct use of passed-in coords, modified after use
Brian Osman293497e2021-08-24 14:08:50 -0400838 test("half4 main(float2 xy) { half4 c = shade(child, xy); xy *= 2; return c; }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400839 // Passed-in coords copied to a temp variable
Brian Osman293497e2021-08-24 14:08:50 -0400840 test("half4 main(float2 xy) { float2 p = xy; return shade(child, p); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400841 // Use of coords passed to helper function
Brian Osman293497e2021-08-24 14:08:50 -0400842 test("half4 helper(float2 xy) { return shade(child, xy); }"
Brian Osman70ae4c82021-05-21 16:23:06 -0400843 "half4 main(float2 xy) { return helper(xy); }", true, true);
Brian Osman4d571112021-04-27 09:10:10 -0400844}
Brian Osman70ae91f2021-06-10 14:27:53 -0400845
846DEF_GPUTEST_FOR_ALL_CONTEXTS(GrSkSLFP_Specialized, r, ctxInfo) {
847 struct FpAndKey {
848 std::unique_ptr<GrFragmentProcessor> fp;
849 SkTArray<uint32_t, true> key;
850 };
851
Brian Osman59465892021-06-18 09:15:44 -0400852 // Constant color, but with a similar option to GrFragmentProcessor::OverrideInput
Brian Osman70ae91f2021-06-10 14:27:53 -0400853 // specialize decides if the color is inserted in the SkSL as a literal, or left as a uniform
854 auto make_color_fp = [&](SkPMColor4f color, bool specialize) {
855 auto effect = SkMakeRuntimeEffect(SkRuntimeEffect::MakeForShader, R"(
856 uniform half4 color;
857 half4 main(float2 xy) { return color; }
858 )");
859 FpAndKey result;
Brian Osmanb2cb8172021-06-15 14:36:17 -0400860 result.fp = GrSkSLFP::Make(std::move(effect), "color_fp", /*inputFP=*/nullptr,
Brian Osman171fba72021-06-16 17:10:21 -0400861 GrSkSLFP::OptFlags::kNone,
Brian Osmanb2cb8172021-06-15 14:36:17 -0400862 "color", GrSkSLFP::SpecializeIf(specialize, color));
Brian Osman70ae91f2021-06-10 14:27:53 -0400863 GrProcessorKeyBuilder builder(&result.key);
Brian Salomon13b28732021-08-06 15:33:58 -0400864 result.fp->addToKey(*ctxInfo.directContext()->priv().caps()->shaderCaps(), &builder);
Brian Osman70ae91f2021-06-10 14:27:53 -0400865 builder.flush();
866 return result;
867 };
868
869 FpAndKey uRed = make_color_fp({1, 0, 0, 1}, false),
870 uGreen = make_color_fp({0, 1, 0, 1}, false),
871 sRed = make_color_fp({1, 0, 0, 1}, true),
872 sGreen = make_color_fp({0, 1, 0, 1}, true);
873
874 // uRed and uGreen should have the same key - they just have different uniforms
875 SkASSERT(uRed.key == uGreen.key);
876 // sRed and sGreen should have keys that are different from the uniform case, and each other
877 SkASSERT(sRed.key != uRed.key);
878 SkASSERT(sGreen.key != uRed.key);
879 SkASSERT(sRed.key != sGreen.key);
880}