blob: 0013d3acf21c6f6aba8eb177eef6d07c33d46b87 [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"
Brian Osmanf72dedd2020-01-08 13:19:58 -05009#include "include/core/SkCanvas.h"
Brian Osman92aac1e2020-08-05 16:48:58 -040010#include "include/core/SkColorFilter.h"
Brian Osman269b21c2020-08-06 12:15:53 -040011#include "include/core/SkData.h"
Brian Osmanf72dedd2020-01-08 13:19:58 -050012#include "include/core/SkPaint.h"
13#include "include/core/SkSurface.h"
Brian Osmanee426f22020-01-02 11:55:24 -050014#include "include/effects/SkRuntimeEffect.h"
Robert Phillips6d344c32020-07-06 10:56:46 -040015#include "include/gpu/GrDirectContext.h"
Brian Salomon5392c942021-03-30 16:14:37 -040016#include "src/core/SkColorSpacePriv.h"
Brian Osmand9bde072020-04-15 14:18:13 -040017#include "src/core/SkTLazy.h"
Brian Osman62419612020-07-22 10:19:02 -040018#include "src/gpu/GrColor.h"
Brian Osmancc3d2d22021-04-16 14:53:24 -040019#include "src/gpu/GrFragmentProcessor.h"
Brian Osman088913a2019-12-19 15:44:56 -050020#include "tests/Test.h"
21
Brian Osmanf72dedd2020-01-08 13:19:58 -050022#include <algorithm>
Brian Osman8e2ef022020-09-30 13:26:43 -040023#include <thread>
Brian Osmanf72dedd2020-01-08 13:19:58 -050024
John Stiles7ce17512021-01-12 18:39:02 -050025void test_invalid_effect(skiatest::Reporter* r, const char* src, const char* expected) {
26 auto [effect, errorText] = SkRuntimeEffect::Make(SkString(src));
27 REPORTER_ASSERT(r, !effect);
28 REPORTER_ASSERT(r, errorText.contains(expected),
29 "Expected error message to contain \"%s\". Actual message: \"%s\"",
30 expected, errorText.c_str());
31};
Brian Osman088913a2019-12-19 15:44:56 -050032
Brian Osman24c18522020-11-10 16:36:01 -050033#define EMPTY_MAIN "half4 main() { return half4(0); }"
34
John Stiles7ce17512021-01-12 18:39:02 -050035DEF_TEST(SkRuntimeEffectInvalid_FPOnly, r) {
Brian Osman088913a2019-12-19 15:44:56 -050036 // Features that are only allowed in .fp files (key, in uniform, ctype, when, tracked).
37 // Ensure that these fail, and the error messages contain the relevant keyword.
John Stiles7ce17512021-01-12 18:39:02 -050038 test_invalid_effect(r, "layout(key) in bool Input;" EMPTY_MAIN, "key");
39 test_invalid_effect(r, "in uniform float Input;" EMPTY_MAIN, "in uniform");
40 test_invalid_effect(r, "layout(ctype=SkRect) float4 Input;" EMPTY_MAIN, "ctype");
41 test_invalid_effect(r, "in bool Flag; "
42 "layout(when=Flag) uniform float Input;" EMPTY_MAIN, "when");
43 test_invalid_effect(r, "layout(tracked) uniform float Input;" EMPTY_MAIN, "tracked");
44}
Brian Osman088913a2019-12-19 15:44:56 -050045
John Stiles7ce17512021-01-12 18:39:02 -050046DEF_TEST(SkRuntimeEffectInvalid_LimitedUniformTypes, r) {
Brian Osmand18967c2021-04-01 09:56:07 -040047 // Runtime SkSL supports a limited set of uniform types. No bool, for example:
John Stiles7ce17512021-01-12 18:39:02 -050048 test_invalid_effect(r, "uniform bool b;" EMPTY_MAIN, "uniform");
John Stiles7ce17512021-01-12 18:39:02 -050049}
Brian Osman088913a2019-12-19 15:44:56 -050050
John Stiles7ce17512021-01-12 18:39:02 -050051DEF_TEST(SkRuntimeEffectInvalid_NoInVariables, r) {
Brian Osmana4b91692020-08-10 14:26:16 -040052 // 'in' variables aren't allowed at all:
John Stiles7ce17512021-01-12 18:39:02 -050053 test_invalid_effect(r, "in bool b;" EMPTY_MAIN, "'in'");
54 test_invalid_effect(r, "in float f;" EMPTY_MAIN, "'in'");
55 test_invalid_effect(r, "in float2 v;" EMPTY_MAIN, "'in'");
56 test_invalid_effect(r, "in half3x3 m;" EMPTY_MAIN, "'in'");
57}
Brian Osman8783b782020-01-06 11:13:45 -050058
John Stiles7ce17512021-01-12 18:39:02 -050059DEF_TEST(SkRuntimeEffectInvalid_UndefinedFunction, r) {
60 test_invalid_effect(r, "half4 missing(); half4 main() { return missing(); }",
61 "undefined function");
62}
Brian Osman182c92e2020-07-20 15:18:33 -040063
John Stiles7ce17512021-01-12 18:39:02 -050064DEF_TEST(SkRuntimeEffectInvalid_UndefinedMain, r) {
Brian Osman182c92e2020-07-20 15:18:33 -040065 // Shouldn't be possible to create an SkRuntimeEffect without "main"
John Stiles7ce17512021-01-12 18:39:02 -050066 test_invalid_effect(r, "", "main");
67}
Brian Osman82329002020-07-21 09:39:27 -040068
John Stiles7ce17512021-01-12 18:39:02 -050069DEF_TEST(SkRuntimeEffectInvalid_SkCapsDisallowed, r) {
Brian Osmanb06301e2020-11-06 11:45:36 -050070 // sk_Caps is an internal system. It should not be visible to runtime effects
John Stiles7ce17512021-01-12 18:39:02 -050071 test_invalid_effect(r, "half4 main() { return sk_Caps.integerSupport ? half4(1) : half4(0); }",
72 "unknown identifier 'sk_Caps'");
73}
Brian Osmanb06301e2020-11-06 11:45:36 -050074
Brian Osman92aac1e2020-08-05 16:48:58 -040075DEF_TEST(SkRuntimeEffectInvalidColorFilters, r) {
76 auto test = [r](const char* sksl) {
77 auto [effect, errorText] = SkRuntimeEffect::Make(SkString(sksl));
78 REPORTER_ASSERT(r, effect);
Brian Osman269b21c2020-08-06 12:15:53 -040079
Brian Osmana4b91692020-08-10 14:26:16 -040080 sk_sp<SkData> uniforms = SkData::MakeUninitialized(effect->uniformSize());
Brian Osman269b21c2020-08-06 12:15:53 -040081
Brian Osmana4b91692020-08-10 14:26:16 -040082 REPORTER_ASSERT(r, effect->makeShader(uniforms, nullptr, 0, nullptr, false));
83 REPORTER_ASSERT(r, !effect->makeColorFilter(uniforms));
Brian Osman92aac1e2020-08-05 16:48:58 -040084 };
85
86 // Runtime effects that use sample coords or sk_FragCoord are valid shaders,
87 // but not valid color filters
Brian Osman767f4442020-08-13 16:59:48 -040088 test("half4 main(float2 p) { return half2(p).xy01; }");
89 test("half4 main(float2 p) { return half2(sk_FragCoord.xy).xy01; }");
Brian Osman92aac1e2020-08-05 16:48:58 -040090}
91
Brian Osmanf72dedd2020-01-08 13:19:58 -050092class TestEffect {
93public:
Brian Osman62419612020-07-22 10:19:02 -040094 TestEffect(skiatest::Reporter* r, sk_sp<SkSurface> surface)
95 : fReporter(r), fSurface(std::move(surface)) {}
96
Brian Osman33316412020-11-06 10:42:51 -050097 void build(const char* src) {
John Stiles1f19ce22021-02-11 17:40:03 -050098 auto [effect, errorText] = SkRuntimeEffect::Make(SkString(src));
Brian Osmanf72dedd2020-01-08 13:19:58 -050099 if (!effect) {
Brian Osman62419612020-07-22 10:19:02 -0400100 REPORT_FAILURE(fReporter, "effect",
Brian Osmanf72dedd2020-01-08 13:19:58 -0500101 SkStringPrintf("Effect didn't compile: %s", errorText.c_str()));
102 return;
103 }
Brian Osmand9bde072020-04-15 14:18:13 -0400104 fBuilder.init(std::move(effect));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500105 }
106
Brian Osmana4b91692020-08-10 14:26:16 -0400107 SkRuntimeShaderBuilder::BuilderUniform uniform(const char* name) {
108 return fBuilder->uniform(name);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500109 }
Brian Osman62419612020-07-22 10:19:02 -0400110 SkRuntimeShaderBuilder::BuilderChild child(const char* name) {
111 return fBuilder->child(name);
112 }
Brian Osmanf72dedd2020-01-08 13:19:58 -0500113
Brian Osman62419612020-07-22 10:19:02 -0400114 using PreTestFn = std::function<void(SkCanvas*, SkPaint*)>;
115
116 void test(GrColor TL, GrColor TR, GrColor BL, GrColor BR,
117 PreTestFn preTestCallback = nullptr) {
Brian Osmand9bde072020-04-15 14:18:13 -0400118 auto shader = fBuilder->makeShader(nullptr, false);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500119 if (!shader) {
Brian Osman62419612020-07-22 10:19:02 -0400120 REPORT_FAILURE(fReporter, "shader", SkString("Effect didn't produce a shader"));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500121 return;
122 }
123
Brian Osman62419612020-07-22 10:19:02 -0400124 SkCanvas* canvas = fSurface->getCanvas();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500125 SkPaint paint;
126 paint.setShader(std::move(shader));
127 paint.setBlendMode(SkBlendMode::kSrc);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500128
Brian Osman62419612020-07-22 10:19:02 -0400129 canvas->save();
130 if (preTestCallback) {
131 preTestCallback(canvas, &paint);
132 }
133 canvas->drawPaint(paint);
134 canvas->restore();
135
136 GrColor actual[4];
137 SkImageInfo info = fSurface->imageInfo();
138 if (!fSurface->readPixels(info, actual, info.minRowBytes(), 0, 0)) {
139 REPORT_FAILURE(fReporter, "readPixels", SkString("readPixels failed"));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500140 return;
141 }
142
Brian Osman62419612020-07-22 10:19:02 -0400143 GrColor expected[4] = {TL, TR, BL, BR};
John Stilesc1c3c6d2020-08-15 23:22:53 -0400144 if (0 != memcmp(actual, expected, sizeof(actual))) {
Brian Osman62419612020-07-22 10:19:02 -0400145 REPORT_FAILURE(fReporter, "Runtime effect didn't match expectations",
Brian Osmanf72dedd2020-01-08 13:19:58 -0500146 SkStringPrintf("\n"
147 "Expected: [ %08x %08x %08x %08x ]\n"
148 "Got : [ %08x %08x %08x %08x ]\n"
149 "SkSL:\n%s\n",
150 TL, TR, BL, BR, actual[0], actual[1], actual[2],
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400151 actual[3], fBuilder->effect()->source().c_str()));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500152 }
153 }
154
Brian Osman62419612020-07-22 10:19:02 -0400155 void test(GrColor expected, PreTestFn preTestCallback = nullptr) {
156 this->test(expected, expected, expected, expected, preTestCallback);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500157 }
158
159private:
Brian Osman62419612020-07-22 10:19:02 -0400160 skiatest::Reporter* fReporter;
161 sk_sp<SkSurface> fSurface;
Brian Osmand9bde072020-04-15 14:18:13 -0400162 SkTLazy<SkRuntimeShaderBuilder> fBuilder;
Brian Osmanf72dedd2020-01-08 13:19:58 -0500163};
164
Brian Osman62419612020-07-22 10:19:02 -0400165// Produces a 2x2 bitmap shader, with opaque colors:
166// [ Red, Green ]
167// [ Blue, White ]
168static sk_sp<SkShader> make_RGBW_shader() {
169 SkBitmap bmp;
170 bmp.allocPixels(SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType));
171 SkIRect topLeft = SkIRect::MakeWH(1, 1);
172 bmp.pixmap().erase(SK_ColorRED, topLeft);
173 bmp.pixmap().erase(SK_ColorGREEN, topLeft.makeOffset(1, 0));
174 bmp.pixmap().erase(SK_ColorBLUE, topLeft.makeOffset(0, 1));
175 bmp.pixmap().erase(SK_ColorWHITE, topLeft.makeOffset(1, 1));
Mike Reedb41bd152020-12-12 11:18:31 -0500176 return bmp.makeShader(SkSamplingOptions());
Brian Osman62419612020-07-22 10:19:02 -0400177}
178
Robert Phillipse94b4e12020-07-23 13:54:35 -0400179static void test_RuntimeEffect_Shaders(skiatest::Reporter* r, GrRecordingContext* rContext) {
Brian Osmanf72dedd2020-01-08 13:19:58 -0500180 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
Robert Phillipse94b4e12020-07-23 13:54:35 -0400181 sk_sp<SkSurface> surface = rContext
182 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
183 : SkSurface::MakeRaster(info);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500184 REPORTER_ASSERT(r, surface);
Brian Osman62419612020-07-22 10:19:02 -0400185 TestEffect effect(r, surface);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500186
Brian Osman504032e2020-01-10 10:05:24 -0500187 using float4 = std::array<float, 4>;
Brian Osmand18967c2021-04-01 09:56:07 -0400188 using int4 = std::array<int, 4>;
Brian Osman504032e2020-01-10 10:05:24 -0500189
Brian Osman62419612020-07-22 10:19:02 -0400190 // Local coords
Brian Osman33316412020-11-06 10:42:51 -0500191 effect.build("half4 main(float2 p) { return half4(half2(p - 0.5), 0, 1); }");
Brian Osman62419612020-07-22 10:19:02 -0400192 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500193
Brian Osman62419612020-07-22 10:19:02 -0400194 // Use of a simple uniform. (Draw twice with two values to ensure it's updated).
Brian Osman33316412020-11-06 10:42:51 -0500195 effect.build("uniform float4 gColor; half4 main() { return half4(gColor); }");
Brian Osmana4b91692020-08-10 14:26:16 -0400196 effect.uniform("gColor") = float4{ 0.0f, 0.25f, 0.75f, 1.0f };
Brian Osman62419612020-07-22 10:19:02 -0400197 effect.test(0xFFBF4000);
Brian Osmana4b91692020-08-10 14:26:16 -0400198 effect.uniform("gColor") = float4{ 1.0f, 0.0f, 0.0f, 0.498f };
Brian Osman62419612020-07-22 10:19:02 -0400199 effect.test(0x7F00007F); // Tests that we clamp to valid premul
Michael Ludwig5e6b3cd2020-05-27 17:02:37 -0400200
Brian Osmand18967c2021-04-01 09:56:07 -0400201 // Same, with integer uniforms
202 effect.build("uniform int4 gColor; half4 main() { return half4(gColor) / 255.0; }");
203 effect.uniform("gColor") = int4{ 0x00, 0x40, 0xBF, 0xFF };
204 effect.test(0xFFBF4000);
205 effect.uniform("gColor") = int4{ 0xFF, 0x00, 0x00, 0x7F };
206 effect.test(0x7F00007F); // Tests that we clamp to valid premul
207
Brian Osman62419612020-07-22 10:19:02 -0400208 // Test sk_FragCoord (device coords). Rotate the canvas to be sure we're seeing device coords.
209 // Since the surface is 2x2, we should see (0,0), (1,0), (0,1), (1,1). Multiply by 0.498 to
210 // make sure we're not saturating unexpectedly.
Brian Osman33316412020-11-06 10:42:51 -0500211 effect.build("half4 main() { return half4(0.498 * (half2(sk_FragCoord.xy) - 0.5), 0, 1); }");
Brian Osman62419612020-07-22 10:19:02 -0400212 effect.test(0xFF000000, 0xFF00007F, 0xFF007F00, 0xFF007F7F,
213 [](SkCanvas* canvas, SkPaint*) { canvas->rotate(45.0f); });
Michael Ludwig22534f22020-05-27 17:25:33 -0400214
Brian Osman0acb5b52020-09-02 13:45:47 -0400215 // Runtime effects should use relaxed precision rules by default
Brian Osman33316412020-11-06 10:42:51 -0500216 effect.build("half4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
Brian Osman0acb5b52020-09-02 13:45:47 -0400217 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
218
Brian Osman33316412020-11-06 10:42:51 -0500219 // ... and support *returning* float4 (aka vec4), not just half4
220 effect.build("float4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
221 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
222 effect.build("vec4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
Brian Osmanf1319c32020-10-13 09:34:23 -0400223 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
224
Brian Osmanb4ce9442020-11-11 09:18:02 -0500225 // Mutating coords should work. (skbug.com/10918)
226 effect.build("vec4 main(vec2 p) { p -= 0.5; return vec4(p, 0, 1); }");
227 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
228 effect.build("void moveCoords(inout vec2 p) { p -= 0.5; }"
229 "vec4 main(vec2 p) { moveCoords(p); return vec4(p, 0, 1); }");
230 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
231
Brian Osmanb5f0f522020-07-23 13:28:14 -0400232 //
233 // Sampling children
234 //
235
Brian Osman62419612020-07-22 10:19:02 -0400236 // Sampling a null child should return the paint color
Brian Osman33316412020-11-06 10:42:51 -0500237 effect.build("uniform shader child;"
238 "half4 main() { return sample(child); }");
Brian Osman62419612020-07-22 10:19:02 -0400239 effect.child("child") = nullptr;
240 effect.test(0xFF00FFFF,
241 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
242
243 sk_sp<SkShader> rgbwShader = make_RGBW_shader();
244
245 // Sampling a simple child at our coordinates (implicitly)
Brian Osman33316412020-11-06 10:42:51 -0500246 effect.build("uniform shader child;"
247 "half4 main() { return sample(child); }");
Brian Osman62419612020-07-22 10:19:02 -0400248 effect.child("child") = rgbwShader;
249 effect.test(0xFF0000FF, 0xFF00FF00, 0xFFFF0000, 0xFFFFFFFF);
250
251 // Sampling with explicit coordinates (reflecting about the diagonal)
Brian Osman33316412020-11-06 10:42:51 -0500252 effect.build("uniform shader child;"
253 "half4 main(float2 p) { return sample(child, p.yx); }");
Brian Osman62419612020-07-22 10:19:02 -0400254 effect.child("child") = rgbwShader;
255 effect.test(0xFF0000FF, 0xFFFF0000, 0xFF00FF00, 0xFFFFFFFF);
256
257 // Sampling with a matrix (again, reflecting about the diagonal)
Brian Osman33316412020-11-06 10:42:51 -0500258 effect.build("uniform shader child;"
259 "half4 main() { return sample(child, float3x3(0, 1, 0, 1, 0, 0, 0, 0, 1)); }");
Brian Osman62419612020-07-22 10:19:02 -0400260 effect.child("child") = rgbwShader;
261 effect.test(0xFF0000FF, 0xFFFF0000, 0xFF00FF00, 0xFFFFFFFF);
Brian Osmanb5f0f522020-07-23 13:28:14 -0400262
263 //
264 // Helper functions
265 //
266
267 // Test case for inlining in the pipeline-stage and fragment-shader passes (skbug.com/10526):
Brian Osman33316412020-11-06 10:42:51 -0500268 effect.build("float2 helper(float2 x) { return x + 1; }"
269 "half4 main(float2 p) { float2 v = helper(p); return half4(half2(v), 0, 1); }");
Brian Osmanb5f0f522020-07-23 13:28:14 -0400270 effect.test(0xFF00FFFF);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500271}
272
273DEF_TEST(SkRuntimeEffectSimple, r) {
274 test_RuntimeEffect_Shaders(r, nullptr);
275}
276
277DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeEffectSimple_GPU, r, ctxInfo) {
Robert Phillips6d344c32020-07-06 10:56:46 -0400278 test_RuntimeEffect_Shaders(r, ctxInfo.directContext());
Brian Osmanf72dedd2020-01-08 13:19:58 -0500279}
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400280
281DEF_TEST(SkRuntimeShaderBuilderReuse, r) {
282 const char* kSource = R"(
283 uniform half x;
284 half4 main() { return half4(x); }
285 )";
286
John Stiles1f19ce22021-02-11 17:40:03 -0500287 sk_sp<SkRuntimeEffect> effect = SkRuntimeEffect::Make(SkString(kSource)).effect;
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400288 REPORTER_ASSERT(r, effect);
289
290 // Test passes if this sequence doesn't assert. skbug.com/10667
291 SkRuntimeShaderBuilder b(std::move(effect));
292 b.uniform("x") = 0.0f;
293 auto shader_0 = b.makeShader(nullptr, false);
294
295 b.uniform("x") = 1.0f;
296 auto shader_1 = b.makeShader(nullptr, true);
297}
Brian Osman8e2ef022020-09-30 13:26:43 -0400298
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500299DEF_TEST(SkRuntimeShaderBuilderSetUniforms, r) {
300 const char* kSource = R"(
301 uniform half x;
302 uniform vec2 offset;
303 half4 main() { return half4(x); }
304 )";
305
John Stiles1f19ce22021-02-11 17:40:03 -0500306 sk_sp<SkRuntimeEffect> effect = SkRuntimeEffect::Make(SkString(kSource)).effect;
Derek Sollenberger9e1cedd2021-01-14 08:30:52 -0500307 REPORTER_ASSERT(r, effect);
308
309 SkRuntimeShaderBuilder b(std::move(effect));
310
311 // Test passes if this sequence doesn't assert.
312 float x = 1.0f;
313 REPORTER_ASSERT(r, b.uniform("x").set(&x, 1));
314
315 // add extra value to ensure that set doesn't try to use sizeof(array)
316 float origin[] = { 2.0f, 3.0f, 4.0f };
317 REPORTER_ASSERT(r, b.uniform("offset").set<float>(origin, 2));
318
319#ifndef SK_DEBUG
320 REPORTER_ASSERT(r, !b.uniform("offset").set<float>(origin, 1));
321 REPORTER_ASSERT(r, !b.uniform("offset").set<float>(origin, 3));
322#endif
323
324
325 auto shader = b.makeShader(nullptr, false);
326}
327
Brian Osman8e2ef022020-09-30 13:26:43 -0400328DEF_TEST(SkRuntimeEffectThreaded, r) {
329 // SkRuntimeEffect uses a single compiler instance, but it's mutex locked.
330 // This tests that we can safely use it from more than one thread, and also
331 // that programs don't refer to shared structures owned by the compiler.
332 // skbug.com/10589
333 static constexpr char kSource[] = "half4 main() { return sk_FragCoord.xyxy; }";
334
335 std::thread threads[16];
336 for (auto& thread : threads) {
337 thread = std::thread([r]() {
338 auto [effect, error] = SkRuntimeEffect::Make(SkString(kSource));
339 REPORTER_ASSERT(r, effect);
340 });
341 }
342
343 for (auto& thread : threads) {
344 thread.join();
345 }
346}
Mike Klein827f8c02021-02-06 09:13:01 -0600347
348DEF_TEST(SkRuntimeColorFilterSingleColor, r) {
349 // Test runtime colorfilters support filterColor4f().
350 auto [effect, err] = SkRuntimeEffect::Make(SkString{
351 "uniform shader input; half4 main() { half4 c = sample(input); return c*c; }"});
352 REPORTER_ASSERT(r, effect);
353 REPORTER_ASSERT(r, err.isEmpty());
354
355 sk_sp<SkColorFilter> input = nullptr;
356 sk_sp<SkColorFilter> cf = effect->makeColorFilter(SkData::MakeEmpty(), &input, 1);
357 REPORTER_ASSERT(r, cf);
358
359 SkColor4f c = cf->filterColor4f({0.25, 0.5, 0.75, 1.0},
360 sk_srgb_singleton(), sk_srgb_singleton());
361 REPORTER_ASSERT(r, c.fR == 0.0625f);
362 REPORTER_ASSERT(r, c.fG == 0.25f);
363 REPORTER_ASSERT(r, c.fB == 0.5625f);
364 REPORTER_ASSERT(r, c.fA == 1.0f);
365}
Brian Osman8e756f32021-02-10 10:19:27 -0500366
367static void test_RuntimeEffectStructNameReuse(skiatest::Reporter* r, GrRecordingContext* rContext) {
368 // Test that two different runtime effects can reuse struct names in a single paint operation
369 auto [childEffect, err] = SkRuntimeEffect::Make(SkString(
370 "uniform shader paint;"
371 "struct S { half4 rgba; };"
372 "void process(inout S s) { s.rgba.rgb *= 0.5; }"
373 "half4 main() { S s; s.rgba = sample(paint); process(s); return s.rgba; }"
374 ));
375 REPORTER_ASSERT(r, childEffect, "%s\n", err.c_str());
376 sk_sp<SkShader> nullChild = nullptr;
377 sk_sp<SkShader> child = childEffect->makeShader(/*uniforms=*/nullptr, &nullChild,
378 /*childCount=*/1, /*localMatrix=*/nullptr,
379 /*isOpaque=*/false);
380
381 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
382 sk_sp<SkSurface> surface = rContext
383 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
384 : SkSurface::MakeRaster(info);
385 REPORTER_ASSERT(r, surface);
386
387 TestEffect effect(r, surface);
388 effect.build(
389 "uniform shader child;"
390 "struct S { float2 coord; };"
391 "void process(inout S s) { s.coord = s.coord.yx; }"
392 "half4 main(float2 p) { S s; s.coord = p; process(s); return sample(child, s.coord); "
393 "}");
394 effect.child("child") = child;
395 effect.test(0xFF00407F, [](SkCanvas*, SkPaint* paint) {
396 paint->setColor4f({0.99608f, 0.50196f, 0.0f, 1.0f});
397 });
398}
399
400DEF_TEST(SkRuntimeStructNameReuse, r) {
401 test_RuntimeEffectStructNameReuse(r, nullptr);
402}
403
404DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeStructNameReuse_GPU, r, ctxInfo) {
405 test_RuntimeEffectStructNameReuse(r, ctxInfo.directContext());
406}
Mike Kleine0d9b862021-02-16 12:00:29 -0600407
408DEF_TEST(SkRuntimeColorFilterFlags, r) {
409 { // Here's a non-trivial filter that doesn't change alpha.
410 auto [effect, err] = SkRuntimeEffect::Make(SkString{
Brian Osmancdee1202021-04-14 09:36:49 -0400411 "half4 main(half4 color) { return color + half4(1,1,1,0); }"});
Mike Kleine0d9b862021-02-16 12:00:29 -0600412 REPORTER_ASSERT(r, effect && err.isEmpty());
Brian Osmancdee1202021-04-14 09:36:49 -0400413 sk_sp<SkColorFilter> filter = effect->makeColorFilter(SkData::MakeEmpty());
Mike Kleine0d9b862021-02-16 12:00:29 -0600414 REPORTER_ASSERT(r, filter && filter->isAlphaUnchanged());
415 }
416
417 { // Here's one that definitely changes alpha.
418 auto [effect, err] = SkRuntimeEffect::Make(SkString{
Brian Osmancdee1202021-04-14 09:36:49 -0400419 "half4 main(half4 color) { return color + half4(0,0,0,4); }"});
Mike Kleine0d9b862021-02-16 12:00:29 -0600420 REPORTER_ASSERT(r, effect && err.isEmpty());
Brian Osmancdee1202021-04-14 09:36:49 -0400421 sk_sp<SkColorFilter> filter = effect->makeColorFilter(SkData::MakeEmpty());
Mike Kleine0d9b862021-02-16 12:00:29 -0600422 REPORTER_ASSERT(r, filter && !filter->isAlphaUnchanged());
423 }
424}
Brian Osmancc3d2d22021-04-16 14:53:24 -0400425
426DEF_TEST(SkRuntimeShaderSampleUsage, r) {
427 auto test = [&](const char* src, bool expectExplicit) {
428 auto [effect, err] =
429 SkRuntimeEffect::MakeForShader(SkStringPrintf("uniform shader child; %s", src));
430 REPORTER_ASSERT(r, effect);
431
432 auto child = GrFragmentProcessor::MakeColor({ 1, 1, 1, 1 });
433 auto fp = effect->makeFP(nullptr, &child, 1);
434 REPORTER_ASSERT(r, fp);
435
436 REPORTER_ASSERT(r, fp->childProcessor(0)->isSampledWithExplicitCoords() == expectExplicit);
437 };
438
439 // This test verifies that we detect calls to sample where the coords are the same as those
440 // passed to main. In those cases, it's safe to turn the "explicit" sampling into "passthrough"
441 // sampling. This optimization is implemented very conservatively.
442
443 // Cases where our optimization is valid, and works:
444
445 // Direct use of passed-in coords
446 test("half4 main(float2 xy) { return sample(child, xy); }", false);
447 // Sample with passed-in coords, read (but don't write) sample coords elsewhere
448 test("half4 main(float2 xy) { return sample(child, xy) + sin(xy.x); }", false);
449
450 // Cases where our optimization is not valid, and does not happen:
451
452 // Sampling with values completely unrelated to passed-in coords
453 test("half4 main(float2 xy) { return sample(child, float2(0, 0)); }", true);
454 // Use of expression involving passed in coords
455 test("half4 main(float2 xy) { return sample(child, xy * 0.5); }", true);
456 // Use of coords after modification
457 test("half4 main(float2 xy) { xy *= 2; return sample(child, xy); }", true);
458 // Use of coords after modification via out-param call
459 test("void adjust(inout float2 xy) { xy *= 2; }"
460 "half4 main(float2 xy) { adjust(xy); return sample(child, xy); }", true);
461
462 // There should (must) not be any false-positive cases. There are false-negatives.
463 // In all of these cases, our optimization would be valid, but does not happen:
464
465 // Direct use of passed-in coords, modified after use
466 test("half4 main(float2 xy) { half4 c = sample(child, xy); xy *= 2; return c; }", true);
467 // Passed-in coords copied to a temp variable
468 test("half4 main(float2 xy) { float2 p = xy; return sample(child, p); }", true);
469 // Use of coords passed to helper function
470 test("half4 helper(float2 xy) { return sample(child, xy); }"
471 "half4 main(float2 xy) { return helper(xy); }", true);
472}