blob: 4d788cc46d5ea209cfb6161611e173accaf74594 [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 Osmana4b91692020-08-10 14:26:16 -040042 // Runtime SkSL supports a limited set of uniform types. No samplers, bool, or int, for example:
43 test("uniform sampler2D s;", "", "uniform");
44 test("uniform bool b;", "", "uniform");
45 test("uniform int i;", "", "uniform");
Brian Osman088913a2019-12-19 15:44:56 -050046
Brian Osmana4b91692020-08-10 14:26:16 -040047 // 'in' variables aren't allowed at all:
48 test("in bool b;", "", "'in'");
49 test("in float f;", "", "'in'");
50 test("in float2 v;", "", "'in'");
51 test("in half3x3 m;", "", "'in'");
Brian Osman8783b782020-01-06 11:13:45 -050052
Brian Osmana4b91692020-08-10 14:26:16 -040053 // 'marker' is only permitted on float4x4 uniforms
Brian Osmane64ae862020-07-16 15:29:15 -040054 test("layout(marker=local_to_world) uniform float3x3 localToWorld;", "", "float4x4");
55
Brian Osman767f4442020-08-13 16:59:48 -040056 test("float missing();", "p.x = missing();", "undefined function");
Brian Osman182c92e2020-07-20 15:18:33 -040057
58 // Shouldn't be possible to create an SkRuntimeEffect without "main"
59 test("//", "", "main");
Brian Osman82329002020-07-21 09:39:27 -040060
61 // Various places that shaders (fragmentProcessors) should not be allowed
62 test("",
63 "shader child;",
64 "must be global");
65 test("in shader child; half4 helper(shader fp) { return sample(fp); }",
Brian Osman767f4442020-08-13 16:59:48 -040066 "half4 color = helper(child);",
Brian Osman82329002020-07-21 09:39:27 -040067 "parameter");
68 test("in shader child; shader get_child() { return child; }",
Brian Osman767f4442020-08-13 16:59:48 -040069 "half4 color = sample(get_child());",
Brian Osman82329002020-07-21 09:39:27 -040070 "return");
71 test("in shader child;",
Brian Osman767f4442020-08-13 16:59:48 -040072 "half4 color = sample(shader(child));",
Brian Osman82329002020-07-21 09:39:27 -040073 "construct");
74 test("in shader child1; in shader child2;",
Brian Osman767f4442020-08-13 16:59:48 -040075 "half4 color = sample(p.x > 10 ? child1 : child2);",
Brian Osman82329002020-07-21 09:39:27 -040076 "expression");
Brian Osmane12939f2020-08-12 11:36:56 -040077
78 // Errors that aren't caught until later in the compilation process (during optimize())
Brian Osman767f4442020-08-13 16:59:48 -040079 test("", "return half4(1);", "unreachable");
Brian Osmane12939f2020-08-12 11:36:56 -040080 test("half badFunc() { }", "", "without returning");
Brian Osman088913a2019-12-19 15:44:56 -050081}
Brian Osmanf72dedd2020-01-08 13:19:58 -050082
Brian Osman92aac1e2020-08-05 16:48:58 -040083DEF_TEST(SkRuntimeEffectInvalidColorFilters, r) {
84 auto test = [r](const char* sksl) {
85 auto [effect, errorText] = SkRuntimeEffect::Make(SkString(sksl));
86 REPORTER_ASSERT(r, effect);
Brian Osman269b21c2020-08-06 12:15:53 -040087
Brian Osmana4b91692020-08-10 14:26:16 -040088 sk_sp<SkData> uniforms = SkData::MakeUninitialized(effect->uniformSize());
Brian Osman269b21c2020-08-06 12:15:53 -040089
Brian Osmana4b91692020-08-10 14:26:16 -040090 REPORTER_ASSERT(r, effect->makeShader(uniforms, nullptr, 0, nullptr, false));
91 REPORTER_ASSERT(r, !effect->makeColorFilter(uniforms));
Brian Osman92aac1e2020-08-05 16:48:58 -040092 };
93
94 // Runtime effects that use sample coords or sk_FragCoord are valid shaders,
95 // but not valid color filters
Brian Osman767f4442020-08-13 16:59:48 -040096 test("half4 main(float2 p) { return half2(p).xy01; }");
97 test("half4 main(float2 p) { return half2(sk_FragCoord.xy).xy01; }");
Brian Osman269b21c2020-08-06 12:15:53 -040098
99 // We also can't use layout(marker), which would give the runtime color filter CTM information
100 test("layout(marker=ctm) uniform float4x4 ctm;"
Brian Osman767f4442020-08-13 16:59:48 -0400101 "half4 main(float2 p) { return half4(half(ctm[0][0]), 0, 0, 1); }");
Brian Osman92aac1e2020-08-05 16:48:58 -0400102}
103
Brian Osmanf72dedd2020-01-08 13:19:58 -0500104class TestEffect {
105public:
Brian Osman62419612020-07-22 10:19:02 -0400106 TestEffect(skiatest::Reporter* r, sk_sp<SkSurface> surface)
107 : fReporter(r), fSurface(std::move(surface)) {}
108
109 void build(const char* header, const char* body) {
Brian Osman767f4442020-08-13 16:59:48 -0400110 SkString src = SkStringPrintf("%s half4 main(float2 p) { %s }",
Brian Osman62419612020-07-22 10:19:02 -0400111 header, body);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500112 auto[effect, errorText] = SkRuntimeEffect::Make(src);
113 if (!effect) {
Brian Osman62419612020-07-22 10:19:02 -0400114 REPORT_FAILURE(fReporter, "effect",
Brian Osmanf72dedd2020-01-08 13:19:58 -0500115 SkStringPrintf("Effect didn't compile: %s", errorText.c_str()));
116 return;
117 }
Brian Osmand9bde072020-04-15 14:18:13 -0400118 fBuilder.init(std::move(effect));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500119 }
120
Brian Osmana4b91692020-08-10 14:26:16 -0400121 SkRuntimeShaderBuilder::BuilderUniform uniform(const char* name) {
122 return fBuilder->uniform(name);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500123 }
Brian Osman62419612020-07-22 10:19:02 -0400124 SkRuntimeShaderBuilder::BuilderChild child(const char* name) {
125 return fBuilder->child(name);
126 }
Brian Osmanf72dedd2020-01-08 13:19:58 -0500127
Brian Osman62419612020-07-22 10:19:02 -0400128 using PreTestFn = std::function<void(SkCanvas*, SkPaint*)>;
129
130 void test(GrColor TL, GrColor TR, GrColor BL, GrColor BR,
131 PreTestFn preTestCallback = nullptr) {
Brian Osmand9bde072020-04-15 14:18:13 -0400132 auto shader = fBuilder->makeShader(nullptr, false);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500133 if (!shader) {
Brian Osman62419612020-07-22 10:19:02 -0400134 REPORT_FAILURE(fReporter, "shader", SkString("Effect didn't produce a shader"));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500135 return;
136 }
137
Brian Osman62419612020-07-22 10:19:02 -0400138 SkCanvas* canvas = fSurface->getCanvas();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500139 SkPaint paint;
140 paint.setShader(std::move(shader));
141 paint.setBlendMode(SkBlendMode::kSrc);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500142
Brian Osman62419612020-07-22 10:19:02 -0400143 canvas->save();
144 if (preTestCallback) {
145 preTestCallback(canvas, &paint);
146 }
147 canvas->drawPaint(paint);
148 canvas->restore();
149
150 GrColor actual[4];
151 SkImageInfo info = fSurface->imageInfo();
152 if (!fSurface->readPixels(info, actual, info.minRowBytes(), 0, 0)) {
153 REPORT_FAILURE(fReporter, "readPixels", SkString("readPixels failed"));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500154 return;
155 }
156
Brian Osman62419612020-07-22 10:19:02 -0400157 GrColor expected[4] = {TL, TR, BL, BR};
John Stilesc1c3c6d2020-08-15 23:22:53 -0400158 if (0 != memcmp(actual, expected, sizeof(actual))) {
Brian Osman62419612020-07-22 10:19:02 -0400159 REPORT_FAILURE(fReporter, "Runtime effect didn't match expectations",
Brian Osmanf72dedd2020-01-08 13:19:58 -0500160 SkStringPrintf("\n"
161 "Expected: [ %08x %08x %08x %08x ]\n"
162 "Got : [ %08x %08x %08x %08x ]\n"
163 "SkSL:\n%s\n",
164 TL, TR, BL, BR, actual[0], actual[1], actual[2],
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400165 actual[3], fBuilder->effect()->source().c_str()));
Brian Osmanf72dedd2020-01-08 13:19:58 -0500166 }
167 }
168
Brian Osman62419612020-07-22 10:19:02 -0400169 void test(GrColor expected, PreTestFn preTestCallback = nullptr) {
170 this->test(expected, expected, expected, expected, preTestCallback);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500171 }
172
173private:
Brian Osman62419612020-07-22 10:19:02 -0400174 skiatest::Reporter* fReporter;
175 sk_sp<SkSurface> fSurface;
Brian Osmand9bde072020-04-15 14:18:13 -0400176 SkTLazy<SkRuntimeShaderBuilder> fBuilder;
Brian Osmanf72dedd2020-01-08 13:19:58 -0500177};
178
Brian Osman62419612020-07-22 10:19:02 -0400179// Produces a 2x2 bitmap shader, with opaque colors:
180// [ Red, Green ]
181// [ Blue, White ]
182static sk_sp<SkShader> make_RGBW_shader() {
183 SkBitmap bmp;
184 bmp.allocPixels(SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType));
185 SkIRect topLeft = SkIRect::MakeWH(1, 1);
186 bmp.pixmap().erase(SK_ColorRED, topLeft);
187 bmp.pixmap().erase(SK_ColorGREEN, topLeft.makeOffset(1, 0));
188 bmp.pixmap().erase(SK_ColorBLUE, topLeft.makeOffset(0, 1));
189 bmp.pixmap().erase(SK_ColorWHITE, topLeft.makeOffset(1, 1));
190 return bmp.makeShader();
191}
192
Robert Phillipse94b4e12020-07-23 13:54:35 -0400193static void test_RuntimeEffect_Shaders(skiatest::Reporter* r, GrRecordingContext* rContext) {
Brian Osmanf72dedd2020-01-08 13:19:58 -0500194 SkImageInfo info = SkImageInfo::Make(2, 2, kRGBA_8888_SkColorType, kPremul_SkAlphaType);
Robert Phillipse94b4e12020-07-23 13:54:35 -0400195 sk_sp<SkSurface> surface = rContext
196 ? SkSurface::MakeRenderTarget(rContext, SkBudgeted::kNo, info)
197 : SkSurface::MakeRaster(info);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500198 REPORTER_ASSERT(r, surface);
Brian Osman62419612020-07-22 10:19:02 -0400199 TestEffect effect(r, surface);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500200
Brian Osman504032e2020-01-10 10:05:24 -0500201 using float4 = std::array<float, 4>;
202
Brian Osman62419612020-07-22 10:19:02 -0400203 // Local coords
Brian Osman767f4442020-08-13 16:59:48 -0400204 effect.build("", "return half4(half2(p - 0.5), 0, 1);");
Brian Osman62419612020-07-22 10:19:02 -0400205 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500206
Brian Osman62419612020-07-22 10:19:02 -0400207 // Use of a simple uniform. (Draw twice with two values to ensure it's updated).
208 effect.build("uniform float4 gColor;",
Brian Osman767f4442020-08-13 16:59:48 -0400209 "return half4(gColor);");
Brian Osmana4b91692020-08-10 14:26:16 -0400210 effect.uniform("gColor") = float4{ 0.0f, 0.25f, 0.75f, 1.0f };
Brian Osman62419612020-07-22 10:19:02 -0400211 effect.test(0xFFBF4000);
Brian Osmana4b91692020-08-10 14:26:16 -0400212 effect.uniform("gColor") = float4{ 1.0f, 0.0f, 0.0f, 0.498f };
Brian Osman62419612020-07-22 10:19:02 -0400213 effect.test(0x7F00007F); // Tests that we clamp to valid premul
Michael Ludwig5e6b3cd2020-05-27 17:02:37 -0400214
Brian Osman62419612020-07-22 10:19:02 -0400215 // Test sk_FragCoord (device coords). Rotate the canvas to be sure we're seeing device coords.
216 // Since the surface is 2x2, we should see (0,0), (1,0), (0,1), (1,1). Multiply by 0.498 to
217 // make sure we're not saturating unexpectedly.
Brian Osman767f4442020-08-13 16:59:48 -0400218 effect.build("", "return half4(0.498 * (half2(sk_FragCoord.xy) - 0.5), 0, 1);");
Brian Osman62419612020-07-22 10:19:02 -0400219 effect.test(0xFF000000, 0xFF00007F, 0xFF007F00, 0xFF007F7F,
220 [](SkCanvas* canvas, SkPaint*) { canvas->rotate(45.0f); });
Michael Ludwig22534f22020-05-27 17:25:33 -0400221
Brian Osman0acb5b52020-09-02 13:45:47 -0400222 // Runtime effects should use relaxed precision rules by default
223 effect.build("", "return float4(p - 0.5, 0, 1);");
224 effect.test(0xFF000000, 0xFF0000FF, 0xFF00FF00, 0xFF00FFFF);
225
Brian Osmanb5f0f522020-07-23 13:28:14 -0400226 //
227 // Sampling children
228 //
229
Brian Osman62419612020-07-22 10:19:02 -0400230 // Sampling a null child should return the paint color
231 effect.build("in shader child;",
Brian Osman767f4442020-08-13 16:59:48 -0400232 "return sample(child);");
Brian Osman62419612020-07-22 10:19:02 -0400233 effect.child("child") = nullptr;
234 effect.test(0xFF00FFFF,
235 [](SkCanvas*, SkPaint* paint) { paint->setColor4f({1.0f, 1.0f, 0.0f, 1.0f}); });
236
237 sk_sp<SkShader> rgbwShader = make_RGBW_shader();
238
239 // Sampling a simple child at our coordinates (implicitly)
240 effect.build("in shader child;",
Brian Osman767f4442020-08-13 16:59:48 -0400241 "return sample(child);");
Brian Osman62419612020-07-22 10:19:02 -0400242 effect.child("child") = rgbwShader;
243 effect.test(0xFF0000FF, 0xFF00FF00, 0xFFFF0000, 0xFFFFFFFF);
244
245 // Sampling with explicit coordinates (reflecting about the diagonal)
246 effect.build("in shader child;",
Brian Osman767f4442020-08-13 16:59:48 -0400247 "return sample(child, p.yx);");
Brian Osman62419612020-07-22 10:19:02 -0400248 effect.child("child") = rgbwShader;
249 effect.test(0xFF0000FF, 0xFFFF0000, 0xFF00FF00, 0xFFFFFFFF);
250
251 // Sampling with a matrix (again, reflecting about the diagonal)
252 effect.build("in shader child;",
Brian Osman767f4442020-08-13 16:59:48 -0400253 "return sample(child, float3x3(0, 1, 0, 1, 0, 0, 0, 0, 1));");
Brian Osman62419612020-07-22 10:19:02 -0400254 effect.child("child") = rgbwShader;
255 effect.test(0xFF0000FF, 0xFFFF0000, 0xFF00FF00, 0xFFFFFFFF);
Brian Osmanb5f0f522020-07-23 13:28:14 -0400256
257 //
258 // Helper functions
259 //
260
261 // Test case for inlining in the pipeline-stage and fragment-shader passes (skbug.com/10526):
262 effect.build("float2 helper(float2 x) { return x + 1; }",
263 "float2 v = helper(p);"
Brian Osman767f4442020-08-13 16:59:48 -0400264 "return half4(half2(v), 0, 1);");
Brian Osmanb5f0f522020-07-23 13:28:14 -0400265 effect.test(0xFF00FFFF);
Brian Osmanf72dedd2020-01-08 13:19:58 -0500266}
267
268DEF_TEST(SkRuntimeEffectSimple, r) {
269 test_RuntimeEffect_Shaders(r, nullptr);
270}
271
272DEF_GPUTEST_FOR_RENDERING_CONTEXTS(SkRuntimeEffectSimple_GPU, r, ctxInfo) {
Robert Phillips6d344c32020-07-06 10:56:46 -0400273 test_RuntimeEffect_Shaders(r, ctxInfo.directContext());
Brian Osmanf72dedd2020-01-08 13:19:58 -0500274}
Brian Osmanb6bd0d22020-08-27 10:51:22 -0400275
276DEF_TEST(SkRuntimeShaderBuilderReuse, r) {
277 const char* kSource = R"(
278 uniform half x;
279 half4 main() { return half4(x); }
280 )";
281
282 sk_sp<SkRuntimeEffect> effect = std::get<0>(SkRuntimeEffect::Make(SkString(kSource)));
283 REPORTER_ASSERT(r, effect);
284
285 // Test passes if this sequence doesn't assert. skbug.com/10667
286 SkRuntimeShaderBuilder b(std::move(effect));
287 b.uniform("x") = 0.0f;
288 auto shader_0 = b.makeShader(nullptr, false);
289
290 b.uniform("x") = 1.0f;
291 auto shader_1 = b.makeShader(nullptr, true);
292}
Brian Osman8e2ef022020-09-30 13:26:43 -0400293
294DEF_TEST(SkRuntimeEffectThreaded, r) {
295 // SkRuntimeEffect uses a single compiler instance, but it's mutex locked.
296 // This tests that we can safely use it from more than one thread, and also
297 // that programs don't refer to shared structures owned by the compiler.
298 // skbug.com/10589
299 static constexpr char kSource[] = "half4 main() { return sk_FragCoord.xyxy; }";
300
301 std::thread threads[16];
302 for (auto& thread : threads) {
303 thread = std::thread([r]() {
304 auto [effect, error] = SkRuntimeEffect::Make(SkString(kSource));
305 REPORTER_ASSERT(r, effect);
306 });
307 }
308
309 for (auto& thread : threads) {
310 thread.join();
311 }
312}