blob: ab24457e1f74fcf3309846c7b8fe1fbc48fc5ce8 [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 Osmand9bde072020-04-15 14:18:13 -040016#include "src/core/SkTLazy.h"
Brian Osman62419612020-07-22 10:19:02 -040017#include "src/gpu/GrColor.h"
Brian Osman088913a2019-12-19 15:44:56 -050018#include "tests/Test.h"
19
Brian Osmanf72dedd2020-01-08 13:19:58 -050020#include <algorithm>
Brian Osman8e2ef022020-09-30 13:26:43 -040021#include <thread>
Brian Osmanf72dedd2020-01-08 13:19:58 -050022
Brian Osman5f6b41e2020-03-09 11:53:24 -040023DEF_TEST(SkRuntimeEffectInvalid, r) {
24 auto test = [r](const char* hdr, const char* body, const char* expected) {
Brian Osman767f4442020-08-13 16:59:48 -040025 SkString src = SkStringPrintf("%s half4 main(float2 p) { %s return half4(0); }",
Brian Osman5f6b41e2020-03-09 11:53:24 -040026 hdr, body);
Brian Osmanf72dedd2020-01-08 13:19:58 -050027 auto[effect, errorText] = SkRuntimeEffect::Make(src);
Brian Osman088913a2019-12-19 15:44:56 -050028 REPORTER_ASSERT(r, !effect);
29 REPORTER_ASSERT(r, errorText.contains(expected),
30 "Expected error message to contain \"%s\". Actual message: \"%s\"",
31 expected, errorText.c_str());
32 };
33
34 // Features that are only allowed in .fp files (key, in uniform, ctype, when, tracked).
35 // Ensure that these fail, and the error messages contain the relevant keyword.
Brian Osman5f6b41e2020-03-09 11:53:24 -040036 test("layout(key) in bool Input;", "", "key");
37 test("in uniform float Input;", "", "in uniform");
38 test("layout(ctype=SkRect) float4 Input;", "", "ctype");
39 test("in bool Flag; layout(when=Flag) uniform float Input;", "", "when");
40 test("layout(tracked) uniform float Input;", "", "tracked");
Brian Osman088913a2019-12-19 15:44:56 -050041
Brian Osmanb06301e2020-11-06 11:45:36 -050042 // GLSL types like sampler2D and texture2D are not allowed anywhere:
43 test("uniform sampler2D s;", "", "no type named 'sampler2D'");
44 test("uniform texture2D s;", "", "no type named 'texture2D'");
45
46 // Runtime SkSL supports a limited set of uniform types. No bool, or int, for example:
Brian Osmana4b91692020-08-10 14:26:16 -040047 test("uniform bool b;", "", "uniform");
48 test("uniform int i;", "", "uniform");
Brian Osman088913a2019-12-19 15:44:56 -050049
Brian Osmana4b91692020-08-10 14:26:16 -040050 // 'in' variables aren't allowed at all:
51 test("in bool b;", "", "'in'");
52 test("in float f;", "", "'in'");
53 test("in float2 v;", "", "'in'");
54 test("in half3x3 m;", "", "'in'");
Brian Osman8783b782020-01-06 11:13:45 -050055
Brian Osmana4b91692020-08-10 14:26:16 -040056 // 'marker' is only permitted on float4x4 uniforms
Brian Osmane64ae862020-07-16 15:29:15 -040057 test("layout(marker=local_to_world) uniform float3x3 localToWorld;", "", "float4x4");
58
Brian Osman767f4442020-08-13 16:59:48 -040059 test("float missing();", "p.x = missing();", "undefined function");
Brian Osman182c92e2020-07-20 15:18:33 -040060
61 // Shouldn't be possible to create an SkRuntimeEffect without "main"
62 test("//", "", "main");
Brian Osman82329002020-07-21 09:39:27 -040063
64 // Various places that shaders (fragmentProcessors) should not be allowed
65 test("",
66 "shader child;",
67 "must be global");
Brian Osman91292e92020-11-04 15:40:50 -050068 test("uniform shader child; half4 helper(shader fp) { return sample(fp); }",
Brian Osman767f4442020-08-13 16:59:48 -040069 "half4 color = helper(child);",
Brian Osman82329002020-07-21 09:39:27 -040070 "parameter");
Brian Osman91292e92020-11-04 15:40:50 -050071 test("uniform shader child; shader get_child() { return child; }",
Brian Osman767f4442020-08-13 16:59:48 -040072 "half4 color = sample(get_child());",
Brian Osman82329002020-07-21 09:39:27 -040073 "return");
Brian Osman91292e92020-11-04 15:40:50 -050074 test("uniform shader child;",
Brian Osman767f4442020-08-13 16:59:48 -040075 "half4 color = sample(shader(child));",
Brian Osman82329002020-07-21 09:39:27 -040076 "construct");
Brian Osman91292e92020-11-04 15:40:50 -050077 test("uniform shader child1; uniform shader child2;",
Brian Osman767f4442020-08-13 16:59:48 -040078 "half4 color = sample(p.x > 10 ? child1 : child2);",
Brian Osman82329002020-07-21 09:39:27 -040079 "expression");
Brian Osmane12939f2020-08-12 11:36:56 -040080
Brian Osmanb06301e2020-11-06 11:45:36 -050081 // sk_Caps is an internal system. It should not be visible to runtime effects
82 test("", "if (sk_Caps.integerSupport) { p = p.yx; }", "unknown identifier 'sk_Caps'");
83
Brian Osmane12939f2020-08-12 11:36:56 -040084 // Errors that aren't caught until later in the compilation process (during optimize())
Brian Osman767f4442020-08-13 16:59:48 -040085 test("", "return half4(1);", "unreachable");
Brian Osmane12939f2020-08-12 11:36:56 -040086 test("half badFunc() { }", "", "without returning");
Brian Osman088913a2019-12-19 15:44:56 -050087}
Brian Osmanf72dedd2020-01-08 13:19:58 -050088
Brian Osman92aac1e2020-08-05 16:48:58 -040089DEF_TEST(SkRuntimeEffectInvalidColorFilters, r) {
90 auto test = [r](const char* sksl) {
91 auto [effect, errorText] = SkRuntimeEffect::Make(SkString(sksl));
92 REPORTER_ASSERT(r, effect);
Brian Osman269b21c2020-08-06 12:15:53 -040093
Brian Osmana4b91692020-08-10 14:26:16 -040094 sk_sp<SkData> uniforms = SkData::MakeUninitialized(effect->uniformSize());
Brian Osman269b21c2020-08-06 12:15:53 -040095
Brian Osmana4b91692020-08-10 14:26:16 -040096 REPORTER_ASSERT(r, effect->makeShader(uniforms, nullptr, 0, nullptr, false));
97 REPORTER_ASSERT(r, !effect->makeColorFilter(uniforms));
Brian Osman92aac1e2020-08-05 16:48:58 -040098 };
99
100 // Runtime effects that use sample coords or sk_FragCoord are valid shaders,
101 // but not valid color filters
Brian Osman767f4442020-08-13 16:59:48 -0400102 test("half4 main(float2 p) { return half2(p).xy01; }");
103 test("half4 main(float2 p) { return half2(sk_FragCoord.xy).xy01; }");
Brian Osman269b21c2020-08-06 12:15:53 -0400104
105 // We also can't use layout(marker), which would give the runtime color filter CTM information
106 test("layout(marker=ctm) uniform float4x4 ctm;"
Brian Osman767f4442020-08-13 16:59:48 -0400107 "half4 main(float2 p) { return half4(half(ctm[0][0]), 0, 0, 1); }");
Brian Osman92aac1e2020-08-05 16:48:58 -0400108}
109
Brian Osmanf72dedd2020-01-08 13:19:58 -0500110class TestEffect {
111public:
Brian Osman62419612020-07-22 10:19:02 -0400112 TestEffect(skiatest::Reporter* r, sk_sp<SkSurface> surface)
113 : fReporter(r), fSurface(std::move(surface)) {}
114
Brian Osman33316412020-11-06 10:42:51 -0500115 void build(const char* src) {
116 auto[effect, errorText] = SkRuntimeEffect::Make(SkString(src));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500117 if (!effect) {
Brian Osman62419612020-07-22 10:19:02 -0400118 REPORT_FAILURE(fReporter, "effect",
Brian Osmanf72dedd2020-01-08 13:19:58 -0500119 SkStringPrintf("Effect didn't compile: %s", errorText.c_str()));
120 return;
121 }
Brian Osmand9bde072020-04-15 14:18:13 -0400122 fBuilder.init(std::move(effect));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500123 }
124
Brian Osmana4b91692020-08-10 14:26:16 -0400125 SkRuntimeShaderBuilder::BuilderUniform uniform(const char* name) {
126 return fBuilder->uniform(name);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500127 }
Brian Osman62419612020-07-22 10:19:02 -0400128 SkRuntimeShaderBuilder::BuilderChild child(const char* name) {
129 return fBuilder->child(name);
130 }
Brian Osmanf72dedd2020-01-08 13:19:58 -0500131
Brian Osman62419612020-07-22 10:19:02 -0400132 using PreTestFn = std::function<void(SkCanvas*, SkPaint*)>;
133
134 void test(GrColor TL, GrColor TR, GrColor BL, GrColor BR,
135 PreTestFn preTestCallback = nullptr) {
Brian Osmand9bde072020-04-15 14:18:13 -0400136 auto shader = fBuilder->makeShader(nullptr, false);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500137 if (!shader) {
Brian Osman62419612020-07-22 10:19:02 -0400138 REPORT_FAILURE(fReporter, "shader", SkString("Effect didn't produce a shader"));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500139 return;
140 }
141
Brian Osman62419612020-07-22 10:19:02 -0400142 SkCanvas* canvas = fSurface->getCanvas();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500143 SkPaint paint;
144 paint.setShader(std::move(shader));
145 paint.setBlendMode(SkBlendMode::kSrc);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500146
Brian Osman62419612020-07-22 10:19:02 -0400147 canvas->save();
148 if (preTestCallback) {
149 preTestCallback(canvas, &paint);
150 }
151 canvas->drawPaint(paint);
152 canvas->restore();
153
154 GrColor actual[4];
155 SkImageInfo info = fSurface->imageInfo();
156 if (!fSurface->readPixels(info, actual, info.minRowBytes(), 0, 0)) {
157 REPORT_FAILURE(fReporter, "readPixels", SkString("readPixels failed"));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500158 return;
159 }
160
Brian Osman62419612020-07-22 10:19:02 -0400161 GrColor expected[4] = {TL, TR, BL, BR};
John Stilesc1c3c6d2020-08-15 23:22:53 -0400162 if (0 != memcmp(actual, expected, sizeof(actual))) {
Brian Osman62419612020-07-22 10:19:02 -0400163 REPORT_FAILURE(fReporter, "Runtime effect didn't match expectations",
Brian Osmanf72dedd2020-01-08 13:19:58 -0500164 SkStringPrintf("\n"
165 "Expected: [ %08x %08x %08x %08x ]\n"
166 "Got : [ %08x %08x %08x %08x ]\n"
167 "SkSL:\n%s\n",
168 TL, TR, BL, BR, actual[0], actual[1], actual[2],
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400169 actual[3], fBuilder->effect()->source().c_str()));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500170 }
171 }
172
Brian Osman62419612020-07-22 10:19:02 -0400173 void test(GrColor expected, PreTestFn preTestCallback = nullptr) {
174 this->test(expected, expected, expected, expected, preTestCallback);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500175 }
176
177private:
Brian Osman62419612020-07-22 10:19:02 -0400178 skiatest::Reporter* fReporter;
179 sk_sp<SkSurface> fSurface;
Brian Osmand9bde072020-04-15 14:18:13 -0400180 SkTLazy<SkRuntimeShaderBuilder> fBuilder;
Brian Osmanf72dedd2020-01-08 13:19:58 -0500181};
182
Brian Osman62419612020-07-22 10:19:02 -0400183// Produces a 2x2 bitmap shader, with opaque colors:
184// [ Red, Green ]
185// [ Blue, White ]
186static sk_sp<SkShader> make_RGBW_shader() {
187 SkBitmap bmp;
188 bmp.allocPixels(SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType));
189 SkIRect topLeft = SkIRect::MakeWH(1, 1);
190 bmp.pixmap().erase(SK_ColorRED, topLeft);
191 bmp.pixmap().erase(SK_ColorGREEN, topLeft.makeOffset(1, 0));
192 bmp.pixmap().erase(SK_ColorBLUE, topLeft.makeOffset(0, 1));
193 bmp.pixmap().erase(SK_ColorWHITE, topLeft.makeOffset(1, 1));
194 return bmp.makeShader();
195}
196
Robert Phillipse94b4e12020-07-23 13:54:35 -0400197static void test_RuntimeEffect_Shaders(skiatest::Reporter* r, GrRecordingContext* rContext) {
Brian Osmanf72dedd2020-01-08 13:19:58 -0500198 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
Robert Phillipse94b4e12020-07-23 13:54:35 -0400199 sk_sp<SkSurface> surface = rContext
200 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
201 : SkSurface::MakeRaster(info);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500202 REPORTER_ASSERT(r, surface);
Brian Osman62419612020-07-22 10:19:02 -0400203 TestEffect effect(r, surface);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500204
Brian Osman504032e2020-01-10 10:05:24 -0500205 using float4 = std::array<float, 4>;
206
Brian Osman62419612020-07-22 10:19:02 -0400207 // Local coords
Brian Osman33316412020-11-06 10:42:51 -0500208 effect.build("half4 main(float2 p) { return half4(half2(p - 0.5), 0, 1); }");
Brian Osman62419612020-07-22 10:19:02 -0400209 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500210
Brian Osman62419612020-07-22 10:19:02 -0400211 // Use of a simple uniform. (Draw twice with two values to ensure it's updated).
Brian Osman33316412020-11-06 10:42:51 -0500212 effect.build("uniform float4 gColor; half4 main() { return half4(gColor); }");
Brian Osmana4b91692020-08-10 14:26:16 -0400213 effect.uniform("gColor") = float4{ 0.0f, 0.25f, 0.75f, 1.0f };
Brian Osman62419612020-07-22 10:19:02 -0400214 effect.test(0xFFBF4000);
Brian Osmana4b91692020-08-10 14:26:16 -0400215 effect.uniform("gColor") = float4{ 1.0f, 0.0f, 0.0f, 0.498f };
Brian Osman62419612020-07-22 10:19:02 -0400216 effect.test(0x7F00007F); // Tests that we clamp to valid premul
Michael Ludwig5e6b3cd2020-05-27 17:02:37 -0400217
Brian Osman62419612020-07-22 10:19:02 -0400218 // Test sk_FragCoord (device coords). Rotate the canvas to be sure we're seeing device coords.
219 // Since the surface is 2x2, we should see (0,0), (1,0), (0,1), (1,1). Multiply by 0.498 to
220 // make sure we're not saturating unexpectedly.
Brian Osman33316412020-11-06 10:42:51 -0500221 effect.build("half4 main() { return half4(0.498 * (half2(sk_FragCoord.xy) - 0.5), 0, 1); }");
Brian Osman62419612020-07-22 10:19:02 -0400222 effect.test(0xFF000000, 0xFF00007F, 0xFF007F00, 0xFF007F7F,
223 [](SkCanvas* canvas, SkPaint*) { canvas->rotate(45.0f); });
Michael Ludwig22534f22020-05-27 17:25:33 -0400224
Brian Osman0acb5b52020-09-02 13:45:47 -0400225 // Runtime effects should use relaxed precision rules by default
Brian Osman33316412020-11-06 10:42:51 -0500226 effect.build("half4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
Brian Osman0acb5b52020-09-02 13:45:47 -0400227 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
228
Brian Osmanf1319c32020-10-13 09:34:23 -0400229 // ... and support GLSL type names
Brian Osman33316412020-11-06 10:42:51 -0500230 effect.build("half4 main(float2 p) { return vec4(p - 0.5, 0, 1); }");
231 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
232
233 // ... and support *returning* float4 (aka vec4), not just half4
234 effect.build("float4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
235 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
236 effect.build("vec4 main(float2 p) { return float4(p - 0.5, 0, 1); }");
Brian Osmanf1319c32020-10-13 09:34:23 -0400237 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
238
Brian Osmanb5f0f522020-07-23 13:28:14 -0400239 //
240 // Sampling children
241 //
242
Brian Osman62419612020-07-22 10:19:02 -0400243 // Sampling a null child should return the paint color
Brian Osman33316412020-11-06 10:42:51 -0500244 effect.build("uniform shader child;"
245 "half4 main() { return sample(child); }");
Brian Osman62419612020-07-22 10:19:02 -0400246 effect.child("child") = nullptr;
247 effect.test(0xFF00FFFF,
248 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
249
250 sk_sp<SkShader> rgbwShader = make_RGBW_shader();
251
252 // Sampling a simple child at our coordinates (implicitly)
Brian Osman33316412020-11-06 10:42:51 -0500253 effect.build("uniform shader child;"
254 "half4 main() { return sample(child); }");
Brian Osman62419612020-07-22 10:19:02 -0400255 effect.child("child") = rgbwShader;
256 effect.test(0xFF0000FF, 0xFF00FF00, 0xFFFF0000, 0xFFFFFFFF);
257
258 // Sampling with explicit coordinates (reflecting about the diagonal)
Brian Osman33316412020-11-06 10:42:51 -0500259 effect.build("uniform shader child;"
260 "half4 main(float2 p) { return sample(child, p.yx); }");
Brian Osman62419612020-07-22 10:19:02 -0400261 effect.child("child") = rgbwShader;
262 effect.test(0xFF0000FF, 0xFFFF0000, 0xFF00FF00, 0xFFFFFFFF);
263
264 // Sampling with a matrix (again, reflecting about the diagonal)
Brian Osman33316412020-11-06 10:42:51 -0500265 effect.build("uniform shader child;"
266 "half4 main() { return sample(child, float3x3(0, 1, 0, 1, 0, 0, 0, 0, 1)); }");
Brian Osman62419612020-07-22 10:19:02 -0400267 effect.child("child") = rgbwShader;
268 effect.test(0xFF0000FF, 0xFFFF0000, 0xFF00FF00, 0xFFFFFFFF);
Brian Osmanb5f0f522020-07-23 13:28:14 -0400269
Brian Osman91292e92020-11-04 15:40:50 -0500270 // Legacy behavior - shaders can be declared 'in' rather than 'uniform'
Brian Osman33316412020-11-06 10:42:51 -0500271 effect.build("in shader child;"
272 "half4 main() { return sample(child); }");
Brian Osman91292e92020-11-04 15:40:50 -0500273 effect.child("child") = rgbwShader;
274 effect.test(0xFF0000FF, 0xFF00FF00, 0xFFFF0000, 0xFFFFFFFF);
275
Brian Osmanb5f0f522020-07-23 13:28:14 -0400276 //
277 // Helper functions
278 //
279
280 // Test case for inlining in the pipeline-stage and fragment-shader passes (skbug.com/10526):
Brian Osman33316412020-11-06 10:42:51 -0500281 effect.build("float2 helper(float2 x) { return x + 1; }"
282 "half4 main(float2 p) { float2 v = helper(p); return half4(half2(v), 0, 1); }");
Brian Osmanb5f0f522020-07-23 13:28:14 -0400283 effect.test(0xFF00FFFF);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500284}
285
286DEF_TEST(SkRuntimeEffectSimple, r) {
287 test_RuntimeEffect_Shaders(r, nullptr);
288}
289
290DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeEffectSimple_GPU, r, ctxInfo) {
Robert Phillips6d344c32020-07-06 10:56:46 -0400291 test_RuntimeEffect_Shaders(r, ctxInfo.directContext());
Brian Osmanf72dedd2020-01-08 13:19:58 -0500292}
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400293
294DEF_TEST(SkRuntimeShaderBuilderReuse, r) {
295 const char* kSource = R"(
296 uniform half x;
297 half4 main() { return half4(x); }
298 )";
299
300 sk_sp<SkRuntimeEffect> effect = std::get<0>(SkRuntimeEffect::Make(SkString(kSource)));
301 REPORTER_ASSERT(r, effect);
302
303 // Test passes if this sequence doesn't assert. skbug.com/10667
304 SkRuntimeShaderBuilder b(std::move(effect));
305 b.uniform("x") = 0.0f;
306 auto shader_0 = b.makeShader(nullptr, false);
307
308 b.uniform("x") = 1.0f;
309 auto shader_1 = b.makeShader(nullptr, true);
310}
Brian Osman8e2ef022020-09-30 13:26:43 -0400311
312DEF_TEST(SkRuntimeEffectThreaded, r) {
313 // SkRuntimeEffect uses a single compiler instance, but it's mutex locked.
314 // This tests that we can safely use it from more than one thread, and also
315 // that programs don't refer to shared structures owned by the compiler.
316 // skbug.com/10589
317 static constexpr char kSource[] = "half4 main() { return sk_FragCoord.xyxy; }";
318
319 std::thread threads[16];
320 for (auto& thread : threads) {
321 thread = std::thread([r]() {
322 auto [effect, error] = SkRuntimeEffect::Make(SkString(kSource));
323 REPORTER_ASSERT(r, effect);
324 });
325 }
326
327 for (auto& thread : threads) {
328 thread.join();
329 }
330}