blob: 1501dc5677633c0619e41cedbcb13262f1c1b155 [file] [log] [blame]
ethannicholasf789b382016-08-03 12:43:36 -07001/*
2 * Copyright 2016 Google Inc.
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
8#include "SkSLCompiler.h"
9
10#include "Test.h"
11
Ethan Nicholas9e1138d2016-11-21 10:39:35 -050012#if SK_SUPPORT_GPU
Ethan Nicholas7ef4b742016-11-11 15:16:46 -050013
Ethan Nicholas941e7e22016-12-12 15:33:30 -050014static void test(skiatest::Reporter* r, const char* src, const SkSL::Program::Settings& settings,
15 const char* expected, SkSL::Program::Inputs* inputs) {
ethannicholasf789b382016-08-03 12:43:36 -070016 SkSL::Compiler compiler;
Ethan Nicholas9e1138d2016-11-21 10:39:35 -050017 SkString output;
Ethan Nicholas941e7e22016-12-12 15:33:30 -050018 std::unique_ptr<SkSL::Program> program = compiler.convertProgram(SkSL::Program::kFragment_Kind,
19 SkString(src),
20 settings);
21 if (!program) {
ethannicholasf789b382016-08-03 12:43:36 -070022 SkDebugf("Unexpected error compiling %s\n%s", src, compiler.errorText().c_str());
23 }
Ethan Nicholas941e7e22016-12-12 15:33:30 -050024 REPORTER_ASSERT(r, program);
25 *inputs = program->fInputs;
26 REPORTER_ASSERT(r, compiler.toGLSL(*program, &output));
27 if (program) {
Ethan Nicholas9e1138d2016-11-21 10:39:35 -050028 SkString skExpected(expected);
29 if (output != skExpected) {
Ethan Nicholas941e7e22016-12-12 15:33:30 -050030 SkDebugf("GLSL MISMATCH:\nsource:\n%s\n\nexpected:\n'%s'\n\nreceived:\n'%s'", src,
ethannicholasf789b382016-08-03 12:43:36 -070031 expected, output.c_str());
32 }
Ethan Nicholas9e1138d2016-11-21 10:39:35 -050033 REPORTER_ASSERT(r, output == skExpected);
ethannicholasf789b382016-08-03 12:43:36 -070034 }
35}
36
Ethan Nicholas941e7e22016-12-12 15:33:30 -050037static void test(skiatest::Reporter* r, const char* src, const GrShaderCaps& caps,
38 const char* expected) {
39 SkSL::Program::Settings settings;
40 settings.fCaps = &caps;
41 SkSL::Program::Inputs inputs;
42 test(r, src, settings, expected, &inputs);
43}
44
ethannicholasf789b382016-08-03 12:43:36 -070045DEF_TEST(SkSLHelloWorld, r) {
ethannicholasf789b382016-08-03 12:43:36 -070046 test(r,
ethannicholas5961bc92016-10-12 06:39:56 -070047 "void main() { sk_FragColor = vec4(0.75); }",
Brian Salomonf1dd6772016-11-29 15:27:52 -050048 *SkSL::ShaderCapsFactory::Default(),
ethannicholasf789b382016-08-03 12:43:36 -070049 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -050050 "out vec4 sk_FragColor;\n"
ethannicholasf789b382016-08-03 12:43:36 -070051 "void main() {\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -050052 " sk_FragColor = vec4(0.75);\n"
ethannicholasf789b382016-08-03 12:43:36 -070053 "}\n");
54}
55
56DEF_TEST(SkSLControl, r) {
ethannicholasf789b382016-08-03 12:43:36 -070057 test(r,
ethannicholasf789b382016-08-03 12:43:36 -070058 "void main() {"
ethannicholas08a92112016-11-09 13:26:45 -080059 "if (sqrt(2) > 5) { sk_FragColor = vec4(0.75); } else { discard; }"
ethannicholasf789b382016-08-03 12:43:36 -070060 "int i = 0;"
ethannicholas5961bc92016-10-12 06:39:56 -070061 "while (i < 10) sk_FragColor *= 0.5;"
Ethan Nicholas9e1138d2016-11-21 10:39:35 -050062 "do { sk_FragColor += 0.01; } while (sk_FragColor.x < 0.75);"
ethannicholasf789b382016-08-03 12:43:36 -070063 "for (int i = 0; i < 10; i++) {"
Ethan Nicholas86a43402017-01-19 13:32:00 -050064 "if (i % 2 == 1) break; else continue;"
ethannicholasf789b382016-08-03 12:43:36 -070065 "}"
66 "return;"
67 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -050068 *SkSL::ShaderCapsFactory::Default(),
ethannicholasf789b382016-08-03 12:43:36 -070069 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -050070 "out vec4 sk_FragColor;\n"
ethannicholasf789b382016-08-03 12:43:36 -070071 "void main() {\n"
ethannicholas08a92112016-11-09 13:26:45 -080072 " if (sqrt(2.0) > 5.0) {\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -050073 " sk_FragColor = vec4(0.75);\n"
ethannicholasf789b382016-08-03 12:43:36 -070074 " } else {\n"
75 " discard;\n"
76 " }\n"
77 " int i = 0;\n"
Ethan Nicholas86a43402017-01-19 13:32:00 -050078 " while (true) sk_FragColor *= 0.5;\n"
ethannicholasf789b382016-08-03 12:43:36 -070079 " do {\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -050080 " sk_FragColor += 0.01;\n"
Ethan Nicholas9e1138d2016-11-21 10:39:35 -050081 " } while (sk_FragColor.x < 0.75);\n"
ethannicholasf789b382016-08-03 12:43:36 -070082 " for (int i = 0;i < 10; i++) {\n"
Ethan Nicholas86a43402017-01-19 13:32:00 -050083 " if (i % 2 == 1) break; else continue;\n"
ethannicholasf789b382016-08-03 12:43:36 -070084 " }\n"
85 " return;\n"
86 "}\n");
87}
88
89DEF_TEST(SkSLFunctions, r) {
ethannicholasf789b382016-08-03 12:43:36 -070090 test(r,
ethannicholasf789b382016-08-03 12:43:36 -070091 "float foo(float v[2]) { return v[0] * v[1]; }"
92 "void bar(inout float x) { float y[2], z; y[0] = x; y[1] = x * 2; z = foo(y); x = z; }"
ethannicholas5961bc92016-10-12 06:39:56 -070093 "void main() { float x = 10; bar(x); sk_FragColor = vec4(x); }",
Brian Salomonf1dd6772016-11-29 15:27:52 -050094 *SkSL::ShaderCapsFactory::Default(),
ethannicholasf789b382016-08-03 12:43:36 -070095 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -050096 "out vec4 sk_FragColor;\n"
ethannicholas5961bc92016-10-12 06:39:56 -070097 "float foo(in float v[2]) {\n"
ethannicholasf789b382016-08-03 12:43:36 -070098 " return v[0] * v[1];\n"
99 "}\n"
100 "void bar(inout float x) {\n"
101 " float y[2], z;\n"
102 " y[0] = x;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700103 " y[1] = x * 2.0;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700104 " z = foo(y);\n"
105 " x = z;\n"
106 "}\n"
107 "void main() {\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700108 " float x = 10.0;\n"
Ethan Nicholas86a43402017-01-19 13:32:00 -0500109 " bar(10.0);\n"
110 " sk_FragColor = vec4(10.0);\n"
ethannicholasf789b382016-08-03 12:43:36 -0700111 "}\n");
112}
113
114DEF_TEST(SkSLOperators, r) {
ethannicholasf789b382016-08-03 12:43:36 -0700115 test(r,
116 "void main() {"
117 "float x = 1, y = 2;"
118 "int z = 3;"
Ethan Nicholas86a43402017-01-19 13:32:00 -0500119 "x = x - x + y * z * x * (y - z);"
ethannicholasf789b382016-08-03 12:43:36 -0700120 "y = x / y / z;"
121 "z = (z / 2 % 3 << 4) >> 2 << 1;"
ethannicholas08a92112016-11-09 13:26:45 -0800122 "bool b = (x > 4) == x < 2 || 2 >= sqrt(2) && y <= z;"
ethannicholasf789b382016-08-03 12:43:36 -0700123 "x += 12;"
124 "x -= 12;"
125 "x *= y /= z = 10;"
126 "b ||= false;"
127 "b &&= true;"
128 "b ^^= false;"
129 "z |= 0;"
130 "z &= -1;"
131 "z ^= 0;"
132 "z >>= 2;"
133 "z <<= 4;"
134 "z %= 5;"
135 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500136 *SkSL::ShaderCapsFactory::Default(),
ethannicholasf789b382016-08-03 12:43:36 -0700137 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500138 "out vec4 sk_FragColor;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700139 "void main() {\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700140 " float x = 1.0, y = 2.0;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700141 " int z = 3;\n"
Ethan Nicholas86a43402017-01-19 13:32:00 -0500142 " x = -6.0;\n"
143 " y = -1.0;\n"
144 " z = 8;\n"
145 " bool b = false == true || 2.0 >= sqrt(2.0) && true;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700146 " x += 12.0;\n"
147 " x -= 12.0;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700148 " x *= (y /= float(z = 10));\n"
149 " b ||= false;\n"
150 " b &&= true;\n"
151 " b ^^= false;\n"
152 " z |= 0;\n"
153 " z &= -1;\n"
154 " z ^= 0;\n"
155 " z >>= 2;\n"
156 " z <<= 4;\n"
157 " z %= 5;\n"
158 "}\n");
159}
160
161DEF_TEST(SkSLMatrices, r) {
ethannicholasf789b382016-08-03 12:43:36 -0700162 test(r,
163 "void main() {"
164 "mat2x4 x = mat2x4(1);"
165 "mat3x2 y = mat3x2(1, 0, 0, 1, vec2(2, 2));"
166 "mat3x4 z = x * y;"
167 "vec3 v1 = mat3(1) * vec3(1);"
168 "vec3 v2 = vec3(1) * mat3(1);"
169 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500170 *SkSL::ShaderCapsFactory::Default(),
ethannicholasf789b382016-08-03 12:43:36 -0700171 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500172 "out vec4 sk_FragColor;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700173 "void main() {\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700174 " mat2x4 x = mat2x4(1.0);\n"
175 " mat3x2 y = mat3x2(1.0, 0.0, 0.0, 1.0, vec2(2.0, 2.0));\n"
ethannicholasf789b382016-08-03 12:43:36 -0700176 " mat3x4 z = x * y;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700177 " vec3 v1 = mat3(1.0) * vec3(1.0);\n"
178 " vec3 v2 = vec3(1.0) * mat3(1.0);\n"
ethannicholasf789b382016-08-03 12:43:36 -0700179 "}\n");
180}
181
182DEF_TEST(SkSLInterfaceBlock, r) {
ethannicholasf789b382016-08-03 12:43:36 -0700183 test(r,
184 "uniform testBlock {"
185 "float x;"
186 "float y[2];"
187 "layout(binding=12) mat3x2 z;"
188 "bool w;"
189 "};"
190 "void main() {"
191 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500192 *SkSL::ShaderCapsFactory::Default(),
ethannicholasf789b382016-08-03 12:43:36 -0700193 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500194 "out vec4 sk_FragColor;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700195 "uniform testBlock {\n"
196 " float x;\n"
197 " float[2] y;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700198 " layout (binding = 12) mat3x2 z;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700199 " bool w;\n"
200 "};\n"
201 "void main() {\n"
202 "}\n");
203}
204
205DEF_TEST(SkSLStructs, r) {
ethannicholasf789b382016-08-03 12:43:36 -0700206 test(r,
207 "struct A {"
208 "int x;"
209 "int y;"
210 "} a1, a2;"
211 "A a3;"
212 "struct B {"
213 "float x;"
214 "float y[2];"
215 "layout(binding=1) A z;"
216 "};"
217 "B b1, b2, b3;"
218 "void main() {"
219 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500220 *SkSL::ShaderCapsFactory::Default(),
ethannicholasf789b382016-08-03 12:43:36 -0700221 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500222 "out vec4 sk_FragColor;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700223 "struct A {\n"
224 " int x;\n"
225 " int y;\n"
Ethan Nicholas19671772016-11-28 16:30:17 -0500226 "} a1, a2;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700227 "A a3;\n"
228 "struct B {\n"
229 " float x;\n"
230 " float[2] y;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700231 " layout (binding = 1) A z;\n"
Ethan Nicholas19671772016-11-28 16:30:17 -0500232 "} b1, b2, b3;\n"
ethannicholasf789b382016-08-03 12:43:36 -0700233 "void main() {\n"
234 "}\n");
ethannicholas5961bc92016-10-12 06:39:56 -0700235}
ethannicholasf789b382016-08-03 12:43:36 -0700236
ethannicholas5961bc92016-10-12 06:39:56 -0700237DEF_TEST(SkSLVersion, r) {
ethannicholas5961bc92016-10-12 06:39:56 -0700238 test(r,
239 "in float test; void main() { sk_FragColor = vec4(0.75); }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500240 *SkSL::ShaderCapsFactory::Version450Core(),
ethannicholas5961bc92016-10-12 06:39:56 -0700241 "#version 450 core\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500242 "out vec4 sk_FragColor;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700243 "in float test;\n"
244 "void main() {\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500245 " sk_FragColor = vec4(0.75);\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700246 "}\n");
ethannicholas5961bc92016-10-12 06:39:56 -0700247 test(r,
248 "in float test; void main() { sk_FragColor = vec4(0.75); }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500249 *SkSL::ShaderCapsFactory::Version110(),
ethannicholas5961bc92016-10-12 06:39:56 -0700250 "#version 110\n"
251 "varying float test;\n"
252 "void main() {\n"
253 " gl_FragColor = vec4(0.75);\n"
254 "}\n");
255}
256
Leon Scroggins857cb972016-11-11 18:44:37 +0000257DEF_TEST(SkSLUsesPrecisionModifiers, r) {
Leon Scroggins857cb972016-11-11 18:44:37 +0000258 test(r,
259 "void main() { float x = 0.75; highp float y = 1; }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500260 *SkSL::ShaderCapsFactory::Default(),
Leon Scroggins857cb972016-11-11 18:44:37 +0000261 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500262 "out vec4 sk_FragColor;\n"
Leon Scroggins857cb972016-11-11 18:44:37 +0000263 "void main() {\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700264 " float x = 0.75;\n"
265 " float y = 1.0;\n"
266 "}\n");
ethannicholas5961bc92016-10-12 06:39:56 -0700267 test(r,
268 "void main() { float x = 0.75; highp float y = 1; }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500269 *SkSL::ShaderCapsFactory::UsesPrecisionModifiers(),
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500270 "#version 400\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700271 "precision highp float;\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500272 "out mediump vec4 sk_FragColor;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700273 "void main() {\n"
274 " float x = 0.75;\n"
275 " highp float y = 1.0;\n"
276 "}\n");
277}
278
279DEF_TEST(SkSLMinAbs, r) {
280 test(r,
281 "void main() {"
282 "float x = -5;"
283 "x = min(abs(x), 6);"
284 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500285 *SkSL::ShaderCapsFactory::Default(),
ethannicholas5961bc92016-10-12 06:39:56 -0700286 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500287 "out vec4 sk_FragColor;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700288 "void main() {\n"
289 " float x = -5.0;\n"
Ethan Nicholas86a43402017-01-19 13:32:00 -0500290 " x = min(abs(-5.0), 6.0);\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700291 "}\n");
292
ethannicholas5961bc92016-10-12 06:39:56 -0700293 test(r,
294 "void main() {"
295 "float x = -5.0;"
296 "x = min(abs(x), 6.0);"
297 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500298 *SkSL::ShaderCapsFactory::CannotUseMinAndAbsTogether(),
ethannicholas5961bc92016-10-12 06:39:56 -0700299 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500300 "out vec4 sk_FragColor;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700301 "void main() {\n"
302 " float minAbsHackVar0;\n"
303 " float minAbsHackVar1;\n"
304 " float x = -5.0;\n"
Ethan Nicholas86a43402017-01-19 13:32:00 -0500305 " x = ((minAbsHackVar0 = abs(-5.0)) < (minAbsHackVar1 = 6.0) ? minAbsHackVar0 : "
ethannicholas5961bc92016-10-12 06:39:56 -0700306 "minAbsHackVar1);\n"
307 "}\n");
308}
309
ethannicholasad146f62016-10-14 06:40:02 -0700310DEF_TEST(SkSLNegatedAtan, r) {
311 test(r,
312 "void main() { vec2 x = vec2(1, 2); float y = atan(x.x, -(2 * x.y)); }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500313 *SkSL::ShaderCapsFactory::Default(),
ethannicholasad146f62016-10-14 06:40:02 -0700314 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500315 "out vec4 sk_FragColor;\n"
ethannicholasad146f62016-10-14 06:40:02 -0700316 "void main() {\n"
317 " vec2 x = vec2(1.0, 2.0);\n"
318 " float y = atan(x.x, -(2.0 * x.y));\n"
319 "}\n");
ethannicholasad146f62016-10-14 06:40:02 -0700320 test(r,
321 "void main() { vec2 x = vec2(1, 2); float y = atan(x.x, -(2 * x.y)); }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500322 *SkSL::ShaderCapsFactory::MustForceNegatedAtanParamToFloat(),
ethannicholasad146f62016-10-14 06:40:02 -0700323 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500324 "out vec4 sk_FragColor;\n"
ethannicholasad146f62016-10-14 06:40:02 -0700325 "void main() {\n"
326 " vec2 x = vec2(1.0, 2.0);\n"
327 " float y = atan(x.x, -1.0 * (2.0 * x.y));\n"
328 "}\n");
329}
330
ethannicholas5961bc92016-10-12 06:39:56 -0700331DEF_TEST(SkSLModifiersDeclaration, r) {
332 test(r,
333 "layout(blend_support_all_equations) out;"
334 "void main() { }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500335 *SkSL::ShaderCapsFactory::Default(),
ethannicholas5961bc92016-10-12 06:39:56 -0700336 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500337 "out vec4 sk_FragColor;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700338 "layout (blend_support_all_equations) out ;\n"
339 "void main() {\n"
340 "}\n");
341}
342
343DEF_TEST(SkSLHex, r) {
344 test(r,
345 "void main() {"
346 "int i1 = 0x0;"
347 "int i2 = 0x1234abcd;"
348 "int i3 = 0x7fffffff;"
349 "int i4 = 0xffffffff;"
350 "int i5 = -0xbeef;"
351 "uint u1 = 0x0;"
352 "uint u2 = 0x1234abcd;"
353 "uint u3 = 0x7fffffff;"
354 "uint u4 = 0xffffffff;"
355 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500356 *SkSL::ShaderCapsFactory::Default(),
ethannicholas5961bc92016-10-12 06:39:56 -0700357 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500358 "out vec4 sk_FragColor;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700359 "void main() {\n"
360 " int i1 = 0;\n"
361 " int i2 = 305441741;\n"
362 " int i3 = 2147483647;\n"
363 " int i4 = -1;\n"
364 " int i5 = -48879;\n"
365 " uint u1 = 0u;\n"
366 " uint u2 = 305441741u;\n"
367 " uint u3 = 2147483647u;\n"
368 " uint u4 = 4294967295u;\n"
369 "}\n");
370}
371
Ethan Nicholas4578a8e2016-11-01 11:57:42 -0400372DEF_TEST(SkSLVectorConstructors, r) {
373 test(r,
374 "vec2 v1 = vec2(1);"
375 "vec2 v2 = vec2(1, 2);"
376 "vec2 v3 = vec2(vec2(1));"
377 "vec2 v4 = vec2(vec3(1));"
378 "vec3 v5 = vec3(vec2(1), 1.0);"
379 "vec3 v6 = vec3(vec4(1, 2, 3, 4));"
380 "ivec2 v7 = ivec2(1);"
381 "ivec2 v8 = ivec2(vec2(1, 2));"
382 "vec2 v9 = vec2(ivec2(1, 2));",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500383 *SkSL::ShaderCapsFactory::Default(),
Ethan Nicholas4578a8e2016-11-01 11:57:42 -0400384 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500385 "out vec4 sk_FragColor;\n"
Ethan Nicholas4578a8e2016-11-01 11:57:42 -0400386 "vec2 v1 = vec2(1.0);\n"
387 "vec2 v2 = vec2(1.0, 2.0);\n"
388 "vec2 v3 = vec2(1.0);\n"
389 "vec2 v4 = vec2(vec3(1.0));\n"
390 "vec3 v5 = vec3(vec2(1.0), 1.0);\n"
391 "vec3 v6 = vec3(vec4(1.0, 2.0, 3.0, 4.0));\n"
392 "ivec2 v7 = ivec2(1);\n"
393 "ivec2 v8 = ivec2(vec2(1.0, 2.0));\n"
394 "vec2 v9 = vec2(ivec2(1, 2));\n");
395}
396
ethannicholas5961bc92016-10-12 06:39:56 -0700397DEF_TEST(SkSLArrayConstructors, r) {
398 test(r,
399 "float test1[] = float[](1, 2, 3, 4);"
400 "vec2 test2[] = vec2[](vec2(1, 2), vec2(3, 4));"
401 "mat4 test3[] = mat4[]();",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500402 *SkSL::ShaderCapsFactory::Default(),
ethannicholas5961bc92016-10-12 06:39:56 -0700403 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500404 "out vec4 sk_FragColor;\n"
ethannicholas5961bc92016-10-12 06:39:56 -0700405 "float test1[] = float[](1.0, 2.0, 3.0, 4.0);\n"
406 "vec2 test2[] = vec2[](vec2(1.0, 2.0), vec2(3.0, 4.0));\n"
407 "mat4 test3[] = mat4[]();\n");
ethannicholasf789b382016-08-03 12:43:36 -0700408}
ethannicholasddb37d62016-10-20 09:54:00 -0700409
410DEF_TEST(SkSLDerivatives, r) {
411 test(r,
412 "void main() { float x = dFdx(1); }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500413 *SkSL::ShaderCapsFactory::Default(),
ethannicholasddb37d62016-10-20 09:54:00 -0700414 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500415 "out vec4 sk_FragColor;\n"
ethannicholasddb37d62016-10-20 09:54:00 -0700416 "void main() {\n"
417 " float x = dFdx(1.0);\n"
418 "}\n");
ethannicholasddb37d62016-10-20 09:54:00 -0700419 test(r,
420 "void main() { float x = 1; }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500421 *SkSL::ShaderCapsFactory::ShaderDerivativeExtensionString(),
ethannicholasddb37d62016-10-20 09:54:00 -0700422 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500423 "out vec4 sk_FragColor;\n"
ethannicholasddb37d62016-10-20 09:54:00 -0700424 "void main() {\n"
425 " float x = 1.0;\n"
426 "}\n");
427 test(r,
428 "void main() { float x = dFdx(1); }",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500429 *SkSL::ShaderCapsFactory::ShaderDerivativeExtensionString(),
ethannicholasddb37d62016-10-20 09:54:00 -0700430 "#version 400\n"
431 "#extension GL_OES_standard_derivatives : require\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500432 "out vec4 sk_FragColor;\n"
ethannicholasddb37d62016-10-20 09:54:00 -0700433 "void main() {\n"
434 " float x = dFdx(1.0);\n"
435 "}\n");
436}
ethannicholas08a92112016-11-09 13:26:45 -0800437
438DEF_TEST(SkSLConstantFolding, r) {
439 test(r,
440 "void main() {"
441 "float f_add = 32 + 2;"
442 "float f_sub = 32 - 2;"
443 "float f_mul = 32 * 2;"
444 "float f_div = 32 / 2;"
445 "float mixed = (12 > 2.0) ? (10 * 2 / 5 + 18 - 3) : 0;"
446 "int i_add = 32 + 2;"
447 "int i_sub = 32 - 2;"
448 "int i_mul = 32 * 2;"
449 "int i_div = 32 / 2;"
450 "int i_or = 12 | 6;"
451 "int i_and = 254 & 7;"
452 "int i_xor = 2 ^ 7;"
453 "int i_shl = 1 << 4;"
454 "int i_shr = 128 >> 2;"
455 "bool gt_it = 6 > 5;"
456 "bool gt_if = 6 > 6;"
457 "bool gt_ft = 6.0 > 5.0;"
458 "bool gt_ff = 6.0 > 6.0;"
459 "bool gte_it = 6 >= 6;"
460 "bool gte_if = 6 >= 7;"
461 "bool gte_ft = 6.0 >= 6.0;"
462 "bool gte_ff = 6.0 >= 7.0;"
463 "bool lte_it = 6 <= 6;"
464 "bool lte_if = 6 <= 5;"
465 "bool lte_ft = 6.0 <= 6.0;"
466 "bool lte_ff = 6.0 <= 5.0;"
467 "bool or_t = 1 == 1 || 2 == 8;"
468 "bool or_f = 1 > 1 || 2 == 8;"
469 "bool and_t = 1 == 1 && 2 <= 8;"
470 "bool and_f = 1 == 2 && 2 == 8;"
471 "bool xor_t = 1 == 1 ^^ 1 != 1;"
472 "bool xor_f = 1 == 1 ^^ 1 == 1;"
473 "int ternary = 10 > 5 ? 10 : 5;"
474 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500475 *SkSL::ShaderCapsFactory::Default(),
ethannicholas08a92112016-11-09 13:26:45 -0800476 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500477 "out vec4 sk_FragColor;\n"
ethannicholas08a92112016-11-09 13:26:45 -0800478 "void main() {\n"
479 " float f_add = 34.0;\n"
480 " float f_sub = 30.0;\n"
481 " float f_mul = 64.0;\n"
482 " float f_div = 16.0;\n"
483 " float mixed = 19.0;\n"
484 " int i_add = 34;\n"
485 " int i_sub = 30;\n"
486 " int i_mul = 64;\n"
487 " int i_div = 16;\n"
488 " int i_or = 14;\n"
489 " int i_and = 6;\n"
490 " int i_xor = 5;\n"
491 " int i_shl = 16;\n"
492 " int i_shr = 32;\n"
493 " bool gt_it = true;\n"
494 " bool gt_if = false;\n"
495 " bool gt_ft = true;\n"
496 " bool gt_ff = false;\n"
497 " bool gte_it = true;\n"
498 " bool gte_if = false;\n"
499 " bool gte_ft = true;\n"
500 " bool gte_ff = false;\n"
501 " bool lte_it = true;\n"
502 " bool lte_if = false;\n"
503 " bool lte_ft = true;\n"
504 " bool lte_ff = false;\n"
505 " bool or_t = true;\n"
506 " bool or_f = false;\n"
507 " bool and_t = true;\n"
508 " bool and_f = false;\n"
509 " bool xor_t = true;\n"
510 " bool xor_f = false;\n"
511 " int ternary = 10;\n"
512 "}\n");
513}
514
515DEF_TEST(SkSLStaticIf, r) {
516 test(r,
517 "void main() {"
518 "int x;"
519 "if (true) x = 1;"
520 "if (2 > 1) x = 2; else x = 3;"
521 "if (1 > 2) x = 4; else x = 5;"
522 "if (false) x = 6;"
523 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500524 *SkSL::ShaderCapsFactory::Default(),
ethannicholas08a92112016-11-09 13:26:45 -0800525 "#version 400\n"
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500526 "out vec4 sk_FragColor;\n"
ethannicholas08a92112016-11-09 13:26:45 -0800527 "void main() {\n"
528 " int x;\n"
529 " x = 1;\n"
530 " x = 2;\n"
531 " x = 5;\n"
532 " {\n"
533 " }\n"
534 "}\n");
535}
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500536
Ethan Nicholas3605ace2016-11-21 15:59:48 -0500537DEF_TEST(SkSLCaps, r) {
538 test(r,
539 "void main() {"
540 "int x;"
541 "if (sk_Caps.externalTextureSupport) x = 1;"
542 "if (sk_Caps.fbFetchSupport) x = 2;"
543 "if (sk_Caps.dropsTileOnZeroDivide && sk_Caps.texelFetchSupport) x = 3;"
544 "if (sk_Caps.dropsTileOnZeroDivide && sk_Caps.canUseAnyFunctionInShader) x = 4;"
545 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500546 *SkSL::ShaderCapsFactory::VariousCaps(),
Ethan Nicholas3605ace2016-11-21 15:59:48 -0500547 "#version 400\n"
548 "out vec4 sk_FragColor;\n"
549 "void main() {\n"
550 " int x;\n"
551 " x = 1;\n"
552 " {\n"
553 " }\n"
554 " x = 3;\n"
555 " {\n"
556 " }\n"
557 "}\n");
558}
559
Ethan Nicholas2b3dab62016-11-28 12:03:26 -0500560DEF_TEST(SkSLTexture, r) {
561 test(r,
562 "uniform sampler1D one;"
563 "uniform sampler2D two;"
564 "void main() {"
565 "vec4 a = texture(one, 0);"
566 "vec4 b = texture(two, vec2(0));"
567 "vec4 c = texture(one, vec2(0));"
568 "vec4 d = texture(two, vec3(0));"
569 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500570 *SkSL::ShaderCapsFactory::Default(),
Ethan Nicholas2b3dab62016-11-28 12:03:26 -0500571 "#version 400\n"
572 "out vec4 sk_FragColor;\n"
573 "uniform sampler1D one;\n"
574 "uniform sampler2D two;\n"
575 "void main() {\n"
576 " vec4 a = texture(one, 0.0);\n"
577 " vec4 b = texture(two, vec2(0.0));\n"
578 " vec4 c = textureProj(one, vec2(0.0));\n"
579 " vec4 d = textureProj(two, vec3(0.0));\n"
580 "}\n");
581 test(r,
582 "uniform sampler1D one;"
583 "uniform sampler2D two;"
584 "void main() {"
585 "vec4 a = texture(one, 0);"
586 "vec4 b = texture(two, vec2(0));"
587 "vec4 c = texture(one, vec2(0));"
588 "vec4 d = texture(two, vec3(0));"
589 "}",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500590 *SkSL::ShaderCapsFactory::Version110(),
Ethan Nicholas2b3dab62016-11-28 12:03:26 -0500591 "#version 110\n"
592 "uniform sampler1D one;\n"
593 "uniform sampler2D two;\n"
594 "void main() {\n"
595 " vec4 a = texture1D(one, 0.0);\n"
596 " vec4 b = texture2D(two, vec2(0.0));\n"
597 " vec4 c = texture1DProj(one, vec2(0.0));\n"
598 " vec4 d = texture2DProj(two, vec3(0.0));\n"
599 "}\n");
600}
601
Ethan Nicholas19671772016-11-28 16:30:17 -0500602DEF_TEST(SkSLOffset, r) {
603 test(r,
604 "struct Test {"
605 "layout(offset = 0) int x;"
606 "layout(offset = 4) int y;"
607 "int z;"
608 "} test;",
Brian Salomonf1dd6772016-11-29 15:27:52 -0500609 *SkSL::ShaderCapsFactory::Default(),
Ethan Nicholas19671772016-11-28 16:30:17 -0500610 "#version 400\n"
611 "out vec4 sk_FragColor;\n"
612 "struct Test {\n"
613 " layout (offset = 0) int x;\n"
614 " layout (offset = 4) int y;\n"
615 " int z;\n"
616 "} test;\n");
617}
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500618
619DEF_TEST(SkSLFragCoord, r) {
620 SkSL::Program::Settings settings;
621 settings.fFlipY = true;
622 sk_sp<GrShaderCaps> caps = SkSL::ShaderCapsFactory::FragCoordsOld();
623 settings.fCaps = caps.get();
624 SkSL::Program::Inputs inputs;
625 test(r,
626 "void main() { sk_FragColor.xy = sk_FragCoord.xy; }",
627 settings,
628 "#version 110\n"
629 "#extension GL_ARB_fragment_coord_conventions : require\n"
630 "layout(origin_upper_left) in vec4 gl_FragCoord;\n"
631 "void main() {\n"
632 " gl_FragColor.xy = gl_FragCoord.xy;\n"
633 "}\n",
634 &inputs);
635 REPORTER_ASSERT(r, !inputs.fRTHeight);
636
637 caps = SkSL::ShaderCapsFactory::FragCoordsNew();
638 settings.fCaps = caps.get();
639 test(r,
640 "void main() { sk_FragColor.xy = sk_FragCoord.xy; }",
641 settings,
642 "#version 400\n"
643 "layout(origin_upper_left) in vec4 gl_FragCoord;\n"
644 "out vec4 sk_FragColor;\n"
645 "void main() {\n"
646 " sk_FragColor.xy = gl_FragCoord.xy;\n"
647 "}\n",
648 &inputs);
649 REPORTER_ASSERT(r, !inputs.fRTHeight);
650
651 caps = SkSL::ShaderCapsFactory::Default();
652 settings.fCaps = caps.get();
653 test(r,
654 "void main() { sk_FragColor.xy = sk_FragCoord.xy; }",
655 settings,
656 "#version 400\n"
657 "uniform float u_skRTHeight;\n"
658 "out vec4 sk_FragColor;\n"
659 "void main() {\n"
660 " vec2 _sktmpCoord = gl_FragCoord.xy;\n"
661 " vec4 sk_FragCoord = vec4(_sktmpCoord.x, u_skRTHeight - _sktmpCoord.y, 1.0, 1.0);\n"
662 " sk_FragColor.xy = sk_FragCoord.xy;\n"
663 "}\n",
664 &inputs);
665 REPORTER_ASSERT(r, inputs.fRTHeight);
666
667 settings.fFlipY = false;
668 test(r,
669 "void main() { sk_FragColor.xy = sk_FragCoord.xy; }",
670 settings,
671 "#version 400\n"
672 "out vec4 sk_FragColor;\n"
673 "void main() {\n"
674 " sk_FragColor.xy = gl_FragCoord.xy;\n"
675 "}\n",
676 &inputs);
677 REPORTER_ASSERT(r, !inputs.fRTHeight);
678}
679
Ethan Nicholas7ef4b742016-11-11 15:16:46 -0500680#endif