blob: db959bed4506356e9b00a34971911aace8f0c123 [file] [log] [blame]
Ethan Nicholas762466e2017-06-29 10:03:38 -04001/*
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
Mike Kleinc0bd9f92019-04-23 12:05:21 -05008#include "src/sksl/SkSLCPPCodeGenerator.h"
Ethan Nicholas762466e2017-06-29 10:03:38 -04009
Brian Osman1298bc42020-06-30 13:39:35 -040010#include "include/private/SkSLSampleUsage.h"
Michael Ludwig8f3a8362020-06-29 17:27:00 -040011#include "src/sksl/SkSLAnalysis.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050012#include "src/sksl/SkSLCPPUniformCTypes.h"
13#include "src/sksl/SkSLCompiler.h"
14#include "src/sksl/SkSLHCodeGenerator.h"
Ethan Nicholas762466e2017-06-29 10:03:38 -040015
Michael Ludwig92e4c7f2018-08-30 16:08:18 -040016#include <algorithm>
17
Ethan Nicholas2a479a52020-08-18 16:29:45 -040018#if defined(SKSL_STANDALONE) || defined(GR_TEST_UTILS)
19
Ethan Nicholas762466e2017-06-29 10:03:38 -040020namespace SkSL {
21
22static bool needs_uniform_var(const Variable& var) {
Ethan Nicholas5f9836e2017-12-20 15:16:33 -050023 return (var.fModifiers.fFlags & Modifiers::kUniform_Flag) &&
Ethan Nicholase6592142020-09-08 10:22:09 -040024 var.fType.typeKind() != Type::TypeKind::kSampler;
Ethan Nicholas762466e2017-06-29 10:03:38 -040025}
26
27CPPCodeGenerator::CPPCodeGenerator(const Context* context, const Program* program,
28 ErrorReporter* errors, String name, OutputStream* out)
John Stiles50819422020-06-18 13:00:38 -040029 : INHERITED(context, program, errors, out)
30 , fName(std::move(name))
31 , fFullName(String::printf("Gr%s", fName.c_str()))
32 , fSectionAndParameterHelper(program, *errors) {
33 fLineEnding = "\n";
Ethan Nicholas13863662019-07-29 13:05:15 -040034 fTextureFunctionOverride = "sample";
Ethan Nicholas762466e2017-06-29 10:03:38 -040035}
36
37void CPPCodeGenerator::writef(const char* s, va_list va) {
38 static constexpr int BUFFER_SIZE = 1024;
Ethan Nicholas9fb036f2017-07-05 16:19:09 -040039 va_list copy;
40 va_copy(copy, va);
Ethan Nicholas762466e2017-06-29 10:03:38 -040041 char buffer[BUFFER_SIZE];
John Stiles50819422020-06-18 13:00:38 -040042 int length = std::vsnprintf(buffer, BUFFER_SIZE, s, va);
Ethan Nicholas762466e2017-06-29 10:03:38 -040043 if (length < BUFFER_SIZE) {
44 fOut->write(buffer, length);
45 } else {
46 std::unique_ptr<char[]> heap(new char[length + 1]);
Ethan Nicholas9fb036f2017-07-05 16:19:09 -040047 vsprintf(heap.get(), s, copy);
Ethan Nicholas762466e2017-06-29 10:03:38 -040048 fOut->write(heap.get(), length);
49 }
z102.zhangd74f2c82018-08-10 09:08:47 +080050 va_end(copy);
Ethan Nicholas762466e2017-06-29 10:03:38 -040051}
52
53void CPPCodeGenerator::writef(const char* s, ...) {
54 va_list va;
55 va_start(va, s);
56 this->writef(s, va);
57 va_end(va);
58}
59
60void CPPCodeGenerator::writeHeader() {
61}
62
Ethan Nicholasf7b88202017-09-18 14:10:39 -040063bool CPPCodeGenerator::usesPrecisionModifiers() const {
64 return false;
Ethan Nicholas762466e2017-06-29 10:03:38 -040065}
66
Ethan Nicholasf7b88202017-09-18 14:10:39 -040067String CPPCodeGenerator::getTypeName(const Type& type) {
68 return type.name();
Ethan Nicholas5af9ea32017-07-28 15:19:46 -040069}
Ethan Nicholasf7b88202017-09-18 14:10:39 -040070
Ethan Nicholas762466e2017-06-29 10:03:38 -040071void CPPCodeGenerator::writeBinaryExpression(const BinaryExpression& b,
72 Precedence parentPrecedence) {
Ethan Nicholas5a9e7fb2020-04-17 12:45:51 -040073 if (b.fOperator == Token::Kind::TK_PERCENT) {
Ethan Nicholas762466e2017-06-29 10:03:38 -040074 // need to use "%%" instead of "%" b/c the code will be inside of a printf
75 Precedence precedence = GetBinaryPrecedence(b.fOperator);
76 if (precedence >= parentPrecedence) {
77 this->write("(");
78 }
79 this->writeExpression(*b.fLeft, precedence);
80 this->write(" %% ");
81 this->writeExpression(*b.fRight, precedence);
82 if (precedence >= parentPrecedence) {
83 this->write(")");
84 }
Ethan Nicholase6592142020-09-08 10:22:09 -040085 } else if (b.fLeft->kind() == Expression::Kind::kNullLiteral ||
86 b.fRight->kind() == Expression::Kind::kNullLiteral) {
Ethan Nicholasee1c8a72019-02-22 10:50:47 -050087 const Variable* var;
Ethan Nicholase6592142020-09-08 10:22:09 -040088 if (b.fLeft->kind() != Expression::Kind::kNullLiteral) {
John Stiles17c5b702020-08-18 10:40:03 -040089 var = &b.fLeft->as<VariableReference>().fVariable;
Ethan Nicholasee1c8a72019-02-22 10:50:47 -050090 } else {
John Stiles17c5b702020-08-18 10:40:03 -040091 var = &b.fRight->as<VariableReference>().fVariable;
Ethan Nicholasee1c8a72019-02-22 10:50:47 -050092 }
Ethan Nicholase6592142020-09-08 10:22:09 -040093 SkASSERT(var->fType.typeKind() == Type::TypeKind::kNullable &&
Ethan Nicholasee1c8a72019-02-22 10:50:47 -050094 var->fType.componentType() == *fContext.fFragmentProcessor_Type);
95 this->write("%s");
Brian Osman12c5d292020-07-13 16:11:35 -040096 const char* op = "";
Ethan Nicholasee1c8a72019-02-22 10:50:47 -050097 switch (b.fOperator) {
Ethan Nicholas5a9e7fb2020-04-17 12:45:51 -040098 case Token::Kind::TK_EQEQ:
Brian Osman12c5d292020-07-13 16:11:35 -040099 op = "!";
Ethan Nicholasee1c8a72019-02-22 10:50:47 -0500100 break;
Ethan Nicholas5a9e7fb2020-04-17 12:45:51 -0400101 case Token::Kind::TK_NEQ:
Brian Osman12c5d292020-07-13 16:11:35 -0400102 op = "";
Ethan Nicholasee1c8a72019-02-22 10:50:47 -0500103 break;
104 default:
105 SkASSERT(false);
106 }
Brian Osman12c5d292020-07-13 16:11:35 -0400107 int childIndex = this->getChildFPIndex(*var);
108 fFormatArgs.push_back(String(op) + "_outer.childProcessor(" + to_string(childIndex) +
109 ") ? \"true\" : \"false\"");
Ethan Nicholas762466e2017-06-29 10:03:38 -0400110 } else {
111 INHERITED::writeBinaryExpression(b, parentPrecedence);
112 }
113}
114
Ethan Nicholasf7b88202017-09-18 14:10:39 -0400115static String default_value(const Type& type) {
Ethan Nicholase9d172a2017-11-20 12:12:24 -0500116 if (type.fName == "bool") {
117 return "false";
118 }
Ethan Nicholase6592142020-09-08 10:22:09 -0400119 switch (type.typeKind()) {
120 case Type::TypeKind::kScalar: return "0";
121 case Type::TypeKind::kVector: return type.name() + "(0)";
122 case Type::TypeKind::kMatrix: return type.name() + "(1)";
Ethan Nicholasf7b88202017-09-18 14:10:39 -0400123 default: ABORT("unsupported default_value type\n");
124 }
Ethan Nicholas762466e2017-06-29 10:03:38 -0400125}
126
Ethan Nicholase9d172a2017-11-20 12:12:24 -0500127static String default_value(const Variable& var) {
Brian Osman495993a2018-10-16 15:45:55 -0400128 if (var.fModifiers.fLayout.fCType == SkSL::Layout::CType::kSkPMColor4f) {
Brian Osmanf28e55d2018-10-03 16:35:54 -0400129 return "{SK_FloatNaN, SK_FloatNaN, SK_FloatNaN, SK_FloatNaN}";
Ethan Nicholase9d172a2017-11-20 12:12:24 -0500130 }
131 return default_value(var.fType);
132}
133
Ethan Nicholas762466e2017-06-29 10:03:38 -0400134static bool is_private(const Variable& var) {
135 return !(var.fModifiers.fFlags & Modifiers::kUniform_Flag) &&
136 !(var.fModifiers.fFlags & Modifiers::kIn_Flag) &&
137 var.fStorage == Variable::kGlobal_Storage &&
138 var.fModifiers.fLayout.fBuiltin == -1;
139}
140
Michael Ludwiga4275592018-08-31 10:52:47 -0400141static bool is_uniform_in(const Variable& var) {
142 return (var.fModifiers.fFlags & Modifiers::kUniform_Flag) &&
143 (var.fModifiers.fFlags & Modifiers::kIn_Flag) &&
Ethan Nicholase6592142020-09-08 10:22:09 -0400144 var.fType.typeKind() != Type::TypeKind::kSampler;
Michael Ludwiga4275592018-08-31 10:52:47 -0400145}
146
John Stiles47b4e222020-08-12 09:56:50 -0400147String CPPCodeGenerator::formatRuntimeValue(const Type& type,
148 const Layout& layout,
149 const String& cppCode,
150 std::vector<String>* formatArgs) {
Ethan Nicholase6592142020-09-08 10:22:09 -0400151 if (type.typeKind() == Type::TypeKind::kArray) {
Ethan Nicholas7018bcf2020-08-20 15:57:22 -0400152 String result("[");
153 const char* separator = "";
154 for (int i = 0; i < type.columns(); i++) {
155 result += separator + this->formatRuntimeValue(type.componentType(), layout,
156 "(" + cppCode + ")[" + to_string(i) +
157 "]", formatArgs);
158 separator = ",";
159 }
160 result += "]";
161 return result;
162 }
Ethan Nicholasf7b88202017-09-18 14:10:39 -0400163 if (type.isFloat()) {
John Stiles47b4e222020-08-12 09:56:50 -0400164 formatArgs->push_back(cppCode);
165 return "%f";
166 }
167 if (type == *fContext.fInt_Type) {
168 formatArgs->push_back(cppCode);
169 return "%d";
170 }
171 if (type == *fContext.fBool_Type) {
172 formatArgs->push_back("(" + cppCode + " ? \"true\" : \"false\")");
173 return "%s";
174 }
175 if (type == *fContext.fFloat2_Type || type == *fContext.fHalf2_Type) {
176 formatArgs->push_back(cppCode + ".fX");
177 formatArgs->push_back(cppCode + ".fY");
178 return type.name() + "(%f, %f)";
179 }
180 if (type == *fContext.fFloat3_Type || type == *fContext.fHalf3_Type) {
181 formatArgs->push_back(cppCode + ".fX");
182 formatArgs->push_back(cppCode + ".fY");
183 formatArgs->push_back(cppCode + ".fZ");
184 return type.name() + "(%f, %f, %f)";
185 }
186 if (type == *fContext.fFloat4_Type || type == *fContext.fHalf4_Type) {
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400187 switch (layout.fCType) {
188 case Layout::CType::kSkPMColor:
John Stiles47b4e222020-08-12 09:56:50 -0400189 formatArgs->push_back("SkGetPackedR32(" + cppCode + ") / 255.0");
190 formatArgs->push_back("SkGetPackedG32(" + cppCode + ") / 255.0");
191 formatArgs->push_back("SkGetPackedB32(" + cppCode + ") / 255.0");
192 formatArgs->push_back("SkGetPackedA32(" + cppCode + ") / 255.0");
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400193 break;
Brian Osmanf28e55d2018-10-03 16:35:54 -0400194 case Layout::CType::kSkPMColor4f:
John Stiles47b4e222020-08-12 09:56:50 -0400195 formatArgs->push_back(cppCode + ".fR");
196 formatArgs->push_back(cppCode + ".fG");
197 formatArgs->push_back(cppCode + ".fB");
198 formatArgs->push_back(cppCode + ".fA");
Brian Osmanf28e55d2018-10-03 16:35:54 -0400199 break;
Mike Reedb26b4e72020-01-22 14:31:21 -0500200 case Layout::CType::kSkV4:
John Stiles47b4e222020-08-12 09:56:50 -0400201 formatArgs->push_back(cppCode + ".x");
202 formatArgs->push_back(cppCode + ".y");
203 formatArgs->push_back(cppCode + ".z");
204 formatArgs->push_back(cppCode + ".w");
Brian Salomoneca66b32019-06-01 11:18:15 -0400205 break;
John Stiles47b4e222020-08-12 09:56:50 -0400206 case Layout::CType::kSkRect:
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400207 case Layout::CType::kDefault:
John Stiles47b4e222020-08-12 09:56:50 -0400208 formatArgs->push_back(cppCode + ".left()");
209 formatArgs->push_back(cppCode + ".top()");
210 formatArgs->push_back(cppCode + ".right()");
211 formatArgs->push_back(cppCode + ".bottom()");
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400212 break;
213 default:
214 SkASSERT(false);
Ethan Nicholasd608c092017-10-26 09:30:08 -0400215 }
John Stiles47b4e222020-08-12 09:56:50 -0400216 return type.name() + "(%f, %f, %f, %f)";
Ethan Nicholas762466e2017-06-29 10:03:38 -0400217 }
Ethan Nicholase6592142020-09-08 10:22:09 -0400218 if (type.typeKind() == Type::TypeKind::kMatrix) {
John Stiles47b4e222020-08-12 09:56:50 -0400219 SkASSERT(type.componentType() == *fContext.fFloat_Type ||
220 type.componentType() == *fContext.fHalf_Type);
221
222 String format = type.name() + "(";
223 for (int c = 0; c < type.columns(); ++c) {
224 for (int r = 0; r < type.rows(); ++r) {
225 formatArgs->push_back(String::printf("%s.rc(%d, %d)", cppCode.c_str(), r, c));
226 format += "%f, ";
227 }
228 }
229
230 // Replace trailing ", " with ")".
231 format.pop_back();
232 format.back() = ')';
233 return format;
234 }
Ethan Nicholase6592142020-09-08 10:22:09 -0400235 if (type.typeKind() == Type::TypeKind::kEnum) {
John Stiles47b4e222020-08-12 09:56:50 -0400236 formatArgs->push_back("(int) " + cppCode);
237 return "%d";
238 }
239 if (type == *fContext.fInt4_Type ||
240 type == *fContext.fShort4_Type ||
241 type == *fContext.fByte4_Type) {
242 formatArgs->push_back(cppCode + ".left()");
243 formatArgs->push_back(cppCode + ".top()");
244 formatArgs->push_back(cppCode + ".right()");
245 formatArgs->push_back(cppCode + ".bottom()");
246 return type.name() + "(%d, %d, %d, %d)";
247 }
248
249 SkDEBUGFAILF("unsupported runtime value type '%s'\n", String(type.fName).c_str());
250 return "";
251}
252
253void CPPCodeGenerator::writeRuntimeValue(const Type& type, const Layout& layout,
254 const String& cppCode) {
255 this->write(this->formatRuntimeValue(type, layout, cppCode, &fFormatArgs));
Ethan Nicholas762466e2017-06-29 10:03:38 -0400256}
257
258void CPPCodeGenerator::writeVarInitializer(const Variable& var, const Expression& value) {
259 if (is_private(var)) {
Ethan Nicholasd608c092017-10-26 09:30:08 -0400260 this->writeRuntimeValue(var.fType, var.fModifiers.fLayout, var.fName);
Ethan Nicholas762466e2017-06-29 10:03:38 -0400261 } else {
262 this->writeExpression(value, kTopLevel_Precedence);
263 }
264}
265
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400266String CPPCodeGenerator::getSamplerHandle(const Variable& var) {
267 int samplerCount = 0;
Ethan Nicholas68990be2017-07-13 09:36:52 -0400268 for (const auto param : fSectionAndParameterHelper.getParameters()) {
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400269 if (&var == param) {
270 return "args.fTexSamplers[" + to_string(samplerCount) + "]";
271 }
Ethan Nicholase6592142020-09-08 10:22:09 -0400272 if (param->fType.typeKind() == Type::TypeKind::kSampler) {
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400273 ++samplerCount;
274 }
275 }
276 ABORT("should have found sampler in parameters\n");
277}
278
Ethan Nicholasdcba08e2017-08-02 10:52:54 -0400279void CPPCodeGenerator::writeIntLiteral(const IntLiteral& i) {
280 this->write(to_string((int32_t) i.fValue));
281}
282
Ethan Nicholas82399462017-10-16 12:35:44 -0400283void CPPCodeGenerator::writeSwizzle(const Swizzle& swizzle) {
284 if (fCPPMode) {
Ethan Nicholasd9d33c32018-06-12 11:05:59 -0400285 SkASSERT(swizzle.fComponents.size() == 1); // no support for multiple swizzle components yet
Ethan Nicholas82399462017-10-16 12:35:44 -0400286 this->writeExpression(*swizzle.fBase, kPostfix_Precedence);
287 switch (swizzle.fComponents[0]) {
288 case 0: this->write(".left()"); break;
289 case 1: this->write(".top()"); break;
290 case 2: this->write(".right()"); break;
291 case 3: this->write(".bottom()"); break;
292 }
293 } else {
294 INHERITED::writeSwizzle(swizzle);
295 }
296}
297
John Stiles735a5a72020-08-26 10:21:10 -0400298void CPPCodeGenerator::setReturnType(int offset, ReturnType typeToSet) {
299 if (fReturnType == ReturnType::kNothing) {
300 fReturnType = typeToSet;
301 } else if (fReturnType != typeToSet) {
302 fErrors.error(offset,
303 "Fragment processors must not mix sk_OutColor and return statements\n");
304 }
305}
306
Ethan Nicholas762466e2017-06-29 10:03:38 -0400307void CPPCodeGenerator::writeVariableReference(const VariableReference& ref) {
Ethan Nicholas82399462017-10-16 12:35:44 -0400308 if (fCPPMode) {
309 this->write(ref.fVariable.fName);
310 return;
311 }
Ethan Nicholas762466e2017-06-29 10:03:38 -0400312 switch (ref.fVariable.fModifiers.fLayout.fBuiltin) {
Ethan Nicholas762466e2017-06-29 10:03:38 -0400313 case SK_OUTCOLOR_BUILTIN:
314 this->write("%s");
315 fFormatArgs.push_back(String("args.fOutputColor"));
John Stiles735a5a72020-08-26 10:21:10 -0400316 this->setReturnType(ref.fOffset, ReturnType::kUsesSkOutColor);
Ethan Nicholas762466e2017-06-29 10:03:38 -0400317 break;
Michael Ludwigfc2fdf02020-06-29 17:20:13 -0400318 case SK_MAIN_COORDS_BUILTIN:
319 this->write("%s");
320 fFormatArgs.push_back(String("args.fSampleCoord"));
321 fAccessSampleCoordsDirectly = true;
322 break;
Ethan Nicholascd700e92018-08-24 16:43:57 -0400323 case SK_WIDTH_BUILTIN:
324 this->write("sk_Width");
325 break;
326 case SK_HEIGHT_BUILTIN:
327 this->write("sk_Height");
328 break;
Ethan Nicholas762466e2017-06-29 10:03:38 -0400329 default:
Ethan Nicholase6592142020-09-08 10:22:09 -0400330 if (ref.fVariable.fType.typeKind() == Type::TypeKind::kSampler) {
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400331 this->write("%s");
332 fFormatArgs.push_back("fragBuilder->getProgramBuilder()->samplerVariable(" +
Stephen Whited523a062019-06-19 13:12:46 -0400333 this->getSamplerHandle(ref.fVariable) + ")");
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400334 return;
Ethan Nicholas762466e2017-06-29 10:03:38 -0400335 }
336 if (ref.fVariable.fModifiers.fFlags & Modifiers::kUniform_Flag) {
337 this->write("%s");
338 String name = ref.fVariable.fName;
Brian Osman1cb41712017-10-19 12:54:52 -0400339 String var = String::printf("args.fUniformHandler->getUniformCStr(%sVar)",
340 HCodeGenerator::FieldName(name.c_str()).c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -0400341 String code;
Ethan Nicholasfc994162019-06-06 10:04:27 -0400342 if (ref.fVariable.fModifiers.fLayout.fWhen.fLength) {
Ethan Nicholas762466e2017-06-29 10:03:38 -0400343 code = String::printf("%sVar.isValid() ? %s : \"%s\"",
344 HCodeGenerator::FieldName(name.c_str()).c_str(),
345 var.c_str(),
Ethan Nicholasf7b88202017-09-18 14:10:39 -0400346 default_value(ref.fVariable.fType).c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -0400347 } else {
348 code = var;
349 }
350 fFormatArgs.push_back(code);
351 } else if (SectionAndParameterHelper::IsParameter(ref.fVariable)) {
Ethan Nicholas5b5f0962017-09-11 13:50:14 -0700352 String name(ref.fVariable.fName);
Ethan Nicholasd608c092017-10-26 09:30:08 -0400353 this->writeRuntimeValue(ref.fVariable.fType, ref.fVariable.fModifiers.fLayout,
Ethan Nicholasbcd51e82019-04-09 10:40:41 -0400354 String::printf("_outer.%s", name.c_str()).c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -0400355 } else {
Ethan Nicholas5b5f0962017-09-11 13:50:14 -0700356 this->write(ref.fVariable.fName);
Ethan Nicholas762466e2017-06-29 10:03:38 -0400357 }
358 }
359}
360
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400361void CPPCodeGenerator::writeIfStatement(const IfStatement& s) {
362 if (s.fIsStatic) {
363 this->write("@");
364 }
365 INHERITED::writeIfStatement(s);
366}
367
Ethan Nicholasf1b14642018-08-09 16:18:07 -0400368void CPPCodeGenerator::writeReturnStatement(const ReturnStatement& s) {
369 if (fInMain) {
John Stiles735a5a72020-08-26 10:21:10 -0400370 this->setReturnType(s.fOffset, ReturnType::kUsesExplicitReturn);
Ethan Nicholasf1b14642018-08-09 16:18:07 -0400371 }
372 INHERITED::writeReturnStatement(s);
373}
374
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400375void CPPCodeGenerator::writeSwitchStatement(const SwitchStatement& s) {
376 if (s.fIsStatic) {
377 this->write("@");
378 }
379 INHERITED::writeSwitchStatement(s);
380}
381
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400382void CPPCodeGenerator::writeFieldAccess(const FieldAccess& access) {
383 if (access.fBase->fType.name() == "fragmentProcessor") {
384 // Special field access on fragment processors are converted into function calls on
385 // GrFragmentProcessor's getters.
Ethan Nicholase6592142020-09-08 10:22:09 -0400386 if (access.fBase->kind() != Expression::Kind::kVariableReference) {
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400387 fErrors.error(access.fBase->fOffset, "fragmentProcessor must be a reference\n");
388 return;
389 }
390
391 const Type::Field& field = fContext.fFragmentProcessor_Type->fields()[access.fFieldIndex];
John Stiles3dc0da62020-08-19 17:48:31 -0400392 const Variable& var = access.fBase->as<VariableReference>().fVariable;
Brian Osman12c5d292020-07-13 16:11:35 -0400393 String cppAccess = String::printf("_outer.childProcessor(%d)->%s()",
394 this->getChildFPIndex(var),
Ethan Nicholasee1c8a72019-02-22 10:50:47 -0500395 String(field.fName).c_str());
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400396
397 if (fCPPMode) {
398 this->write(cppAccess.c_str());
399 } else {
400 writeRuntimeValue(*field.fType, Layout(), cppAccess);
401 }
402 return;
403 }
404 INHERITED::writeFieldAccess(access);
405}
406
Ethan Nicholasee1c8a72019-02-22 10:50:47 -0500407int CPPCodeGenerator::getChildFPIndex(const Variable& var) const {
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400408 int index = 0;
409 bool found = false;
410 for (const auto& p : fProgram) {
Ethan Nicholase6592142020-09-08 10:22:09 -0400411 if (p.kind() == ProgramElement::Kind::kVar) {
John Stiles3dc0da62020-08-19 17:48:31 -0400412 const VarDeclarations& decls = p.as<VarDeclarations>();
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400413 for (const auto& raw : decls.fVars) {
John Stiles3dc0da62020-08-19 17:48:31 -0400414 const VarDeclaration& decl = raw->as<VarDeclaration>();
Ethan Nicholasee1c8a72019-02-22 10:50:47 -0500415 if (decl.fVar == &var) {
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400416 found = true;
Ethan Nicholasee1c8a72019-02-22 10:50:47 -0500417 } else if (decl.fVar->fType.nonnullable() == *fContext.fFragmentProcessor_Type) {
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400418 ++index;
419 }
420 }
421 }
422 if (found) {
423 break;
424 }
425 }
426 SkASSERT(found);
427 return index;
428}
429
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400430void CPPCodeGenerator::writeFunctionCall(const FunctionCall& c) {
Ethan Nicholas13863662019-07-29 13:05:15 -0400431 if (c.fFunction.fBuiltin && c.fFunction.fName == "sample" &&
Ethan Nicholase6592142020-09-08 10:22:09 -0400432 c.fArguments[0]->fType.typeKind() != Type::TypeKind::kSampler) {
Leon Scroggins III982fff22020-07-31 14:09:06 -0400433 // Validity checks that are detected by function definition in sksl_fp.inc
Ethan Nicholasd4efe682019-08-29 16:10:13 -0400434 SkASSERT(c.fArguments.size() >= 1 && c.fArguments.size() <= 3);
Florin Malita390f9bd2019-03-04 12:25:57 -0500435 SkASSERT("fragmentProcessor" == c.fArguments[0]->fType.name() ||
436 "fragmentProcessor?" == c.fArguments[0]->fType.name());
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400437
438 // Actually fail during compilation if arguments with valid types are
Ethan Nicholas13863662019-07-29 13:05:15 -0400439 // provided that are not variable references, since sample() is a
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400440 // special function that impacts code emission.
Ethan Nicholase6592142020-09-08 10:22:09 -0400441 if (c.fArguments[0]->kind() != Expression::Kind::kVariableReference) {
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400442 fErrors.error(c.fArguments[0]->fOffset,
Ethan Nicholas13863662019-07-29 13:05:15 -0400443 "sample()'s fragmentProcessor argument must be a variable reference\n");
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400444 return;
445 }
John Stiles3dc0da62020-08-19 17:48:31 -0400446 const Variable& child = c.fArguments[0]->as<VariableReference>().fVariable;
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400447
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400448 // Start a new extra emit code section so that the emitted child processor can depend on
449 // sksl variables defined in earlier sksl code.
450 this->newExtraEmitCodeBlock();
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400451
Michael Ludwige88320b2020-06-24 09:04:56 -0400452 String inputColor;
Ethan Nicholasd4efe682019-08-29 16:10:13 -0400453 if (c.fArguments.size() > 1 && c.fArguments[1]->fType.name() == "half4") {
Ethan Nicholasc6dce5a2019-07-24 16:51:36 -0400454 // Use the invokeChild() variant that accepts an input color, so convert the 2nd
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400455 // argument's expression into C++ code that produces sksl stored in an SkString.
Brian Osman12c5d292020-07-13 16:11:35 -0400456 String inputColorName = "_input" + to_string(c.fOffset);
John Stilesd060c9d2020-06-08 11:44:25 -0400457 addExtraEmitCodeLine(convertSKSLExpressionToCPP(*c.fArguments[1], inputColorName));
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400458
Michael Ludwige88320b2020-06-24 09:04:56 -0400459 // invokeChild() needs a char* and a pre-pended comma
460 inputColor = ", " + inputColorName + ".c_str()";
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400461 }
462
Michael Ludwige88320b2020-06-24 09:04:56 -0400463 String inputCoord;
464 String invokeFunction = "invokeChild";
465 if (c.fArguments.back()->fType.name() == "float2") {
466 // Invoking child with explicit coordinates at this call site
467 inputCoord = "_coords" + to_string(c.fOffset);
468 addExtraEmitCodeLine(convertSKSLExpressionToCPP(*c.fArguments.back(), inputCoord));
469 inputCoord.append(".c_str()");
470 } else if (c.fArguments.back()->fType.name() == "float3x3") {
471 // Invoking child with a matrix, sampling relative to the input coords.
472 invokeFunction = "invokeChildWithMatrix";
Brian Osman1298bc42020-06-30 13:39:35 -0400473 SampleUsage usage = Analysis::GetSampleUsage(fProgram, child);
Michael Ludwige88320b2020-06-24 09:04:56 -0400474
Brian Osman1298bc42020-06-30 13:39:35 -0400475 if (!usage.hasUniformMatrix()) {
Michael Ludwige88320b2020-06-24 09:04:56 -0400476 inputCoord = "_matrix" + to_string(c.fOffset);
477 addExtraEmitCodeLine(convertSKSLExpressionToCPP(*c.fArguments.back(), inputCoord));
478 inputCoord.append(".c_str()");
479 }
480 // else pass in the empty string to rely on invokeChildWithMatrix's automatic uniform
481 // resolution
482 }
483 if (!inputCoord.empty()) {
484 inputCoord = ", " + inputCoord;
485 }
486
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400487 // Write the output handling after the possible input handling
Ethan Nicholas13863662019-07-29 13:05:15 -0400488 String childName = "_sample" + to_string(c.fOffset);
Brian Osman12c5d292020-07-13 16:11:35 -0400489 String childIndexStr = to_string(this->getChildFPIndex(child));
490 addExtraEmitCodeLine("SkString " + childName + " = this->" + invokeFunction + "(" +
491 childIndexStr + inputColor + ", args" + inputCoord + ");");
John Stiles50819422020-06-18 13:00:38 -0400492
Ethan Nicholas6ad52892019-05-03 13:13:42 +0000493 this->write("%s");
494 fFormatArgs.push_back(childName + ".c_str()");
Ethan Nicholasc9472af2017-10-10 16:30:21 -0400495 return;
496 }
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400497 if (c.fFunction.fBuiltin) {
498 INHERITED::writeFunctionCall(c);
499 } else {
500 this->write("%s");
501 fFormatArgs.push_back((String(c.fFunction.fName) + "_name.c_str()").c_str());
502 this->write("(");
503 const char* separator = "";
504 for (const auto& arg : c.fArguments) {
505 this->write(separator);
506 separator = ", ";
507 this->writeExpression(*arg, kSequence_Precedence);
508 }
509 this->write(")");
510 }
Ethan Nicholas13863662019-07-29 13:05:15 -0400511 if (c.fFunction.fBuiltin && c.fFunction.fName == "sample") {
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400512 this->write(".%s");
Ethan Nicholasd9d33c32018-06-12 11:05:59 -0400513 SkASSERT(c.fArguments.size() >= 1);
Ethan Nicholase6592142020-09-08 10:22:09 -0400514 SkASSERT(c.fArguments[0]->kind() == Expression::Kind::kVariableReference);
John Stiles3dc0da62020-08-19 17:48:31 -0400515 String sampler = this->getSamplerHandle(c.fArguments[0]->as<VariableReference>().fVariable);
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400516 fFormatArgs.push_back("fragBuilder->getProgramBuilder()->samplerSwizzle(" + sampler +
Greg Daniel369ee6b2019-12-02 15:30:02 -0500517 ").asString().c_str()");
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400518 }
519}
520
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400521static const char* glsltype_string(const Context& context, const Type& type) {
522 if (type == *context.fFloat_Type) {
523 return "kFloat_GrSLType";
524 } else if (type == *context.fHalf_Type) {
525 return "kHalf_GrSLType";
John Stiles0e8149c2020-08-18 12:23:40 -0400526 } else if (type == *context.fInt_Type) {
527 return "kInt_GrSLType";
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400528 } else if (type == *context.fFloat2_Type) {
529 return "kFloat2_GrSLType";
530 } else if (type == *context.fHalf2_Type) {
531 return "kHalf2_GrSLType";
John Stiles0e8149c2020-08-18 12:23:40 -0400532 } else if (type == *context.fInt2_Type) {
533 return "kInt2_GrSLType";
Ethan Nicholas8ae1b562019-12-17 15:18:02 -0500534 } else if (type == *context.fFloat3_Type) {
535 return "kFloat3_GrSLType";
536 } else if (type == *context.fHalf3_Type) {
537 return "kHalf3_GrSLType";
John Stiles0e8149c2020-08-18 12:23:40 -0400538 } else if (type == *context.fInt3_Type) {
539 return "kInt3_GrSLType";
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400540 } else if (type == *context.fFloat4_Type) {
541 return "kFloat4_GrSLType";
542 } else if (type == *context.fHalf4_Type) {
543 return "kHalf4_GrSLType";
John Stiles0e8149c2020-08-18 12:23:40 -0400544 } else if (type == *context.fInt4_Type) {
545 return "kInt4_GrSLType";
Ethan Nicholas58430122020-04-14 09:54:02 -0400546 } else if (type == *context.fFloat2x2_Type) {
547 return "kFloat2x2_GrSLType";
548 } else if (type == *context.fHalf2x2_Type) {
549 return "kHalf2x2_GrSLType";
John Stiles0e8149c2020-08-18 12:23:40 -0400550 } else if (type == *context.fFloat2x3_Type) {
551 return "kFloat2x3_GrSLType";
552 } else if (type == *context.fHalf2x3_Type) {
553 return "kHalf2x3_GrSLType";
554 } else if (type == *context.fFloat2x4_Type) {
555 return "kFloat2x4_GrSLType";
556 } else if (type == *context.fHalf2x4_Type) {
557 return "kHalf2x4_GrSLType";
558 } else if (type == *context.fFloat3x2_Type) {
559 return "kFloat3x2_GrSLType";
560 } else if (type == *context.fHalf3x2_Type) {
561 return "kHalf3x2_GrSLType";
Ethan Nicholas58430122020-04-14 09:54:02 -0400562 } else if (type == *context.fFloat3x3_Type) {
563 return "kFloat3x3_GrSLType";
564 } else if (type == *context.fHalf3x3_Type) {
565 return "kHalf3x3_GrSLType";
John Stiles0e8149c2020-08-18 12:23:40 -0400566 } else if (type == *context.fFloat3x4_Type) {
567 return "kFloat3x4_GrSLType";
568 } else if (type == *context.fHalf3x4_Type) {
569 return "kHalf3x4_GrSLType";
570 } else if (type == *context.fFloat4x2_Type) {
571 return "kFloat4x2_GrSLType";
572 } else if (type == *context.fHalf4x2_Type) {
573 return "kHalf4x2_GrSLType";
574 } else if (type == *context.fFloat4x3_Type) {
575 return "kFloat4x3_GrSLType";
576 } else if (type == *context.fHalf4x3_Type) {
577 return "kHalf4x3_GrSLType";
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400578 } else if (type == *context.fFloat4x4_Type) {
579 return "kFloat4x4_GrSLType";
580 } else if (type == *context.fHalf4x4_Type) {
581 return "kHalf4x4_GrSLType";
582 } else if (type == *context.fVoid_Type) {
583 return "kVoid_GrSLType";
John Stiles648a81e2020-09-02 10:52:14 -0400584 } else if (type == *context.fBool_Type) {
585 return "kBool_GrSLType";
Ethan Nicholase6592142020-09-08 10:22:09 -0400586 } else if (type.typeKind() == Type::TypeKind::kEnum) {
Ethan Nicholas8ae1b562019-12-17 15:18:02 -0500587 return "int";
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400588 }
589 SkASSERT(false);
590 return nullptr;
591}
592
Ethan Nicholas762466e2017-06-29 10:03:38 -0400593void CPPCodeGenerator::writeFunction(const FunctionDefinition& f) {
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400594 const FunctionDeclaration& decl = f.fDeclaration;
Brian Osman08f986d2020-05-13 17:06:46 -0400595 if (decl.fBuiltin) {
596 return;
597 }
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400598 fFunctionHeader = "";
599 OutputStream* oldOut = fOut;
600 StringStream buffer;
601 fOut = &buffer;
602 if (decl.fName == "main") {
Ethan Nicholasf1b14642018-08-09 16:18:07 -0400603 fInMain = true;
John Stiles3dc0da62020-08-19 17:48:31 -0400604 for (const auto& s : f.fBody->as<Block>().fStatements) {
Ethan Nicholas762466e2017-06-29 10:03:38 -0400605 this->writeStatement(*s);
606 this->writeLine();
607 }
Ethan Nicholasf1b14642018-08-09 16:18:07 -0400608 fInMain = false;
Ethan Nicholas762466e2017-06-29 10:03:38 -0400609
610 fOut = oldOut;
611 this->write(fFunctionHeader);
612 this->write(buffer.str());
613 } else {
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400614 this->addExtraEmitCodeLine("SkString " + decl.fName + "_name;");
615 String args = "const GrShaderVar " + decl.fName + "_args[] = { ";
616 const char* separator = "";
617 for (const auto& param : decl.fParameters) {
618 args += String(separator) + "GrShaderVar(\"" + param->fName + "\", " +
619 glsltype_string(fContext, param->fType) + ")";
620 separator = ", ";
621 }
622 args += "};";
623 this->addExtraEmitCodeLine(args.c_str());
John Stiles3dc0da62020-08-19 17:48:31 -0400624 for (const auto& s : f.fBody->as<Block>().fStatements) {
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400625 this->writeStatement(*s);
626 this->writeLine();
627 }
628
629 fOut = oldOut;
630 String emit = "fragBuilder->emitFunction(";
631 emit += glsltype_string(fContext, decl.fReturnType);
632 emit += ", \"" + decl.fName + "\"";
633 emit += ", " + to_string((int64_t) decl.fParameters.size());
634 emit += ", " + decl.fName + "_args";
John Stiles50819422020-06-18 13:00:38 -0400635 emit += ",\nR\"SkSL(" + buffer.str() + ")SkSL\"";
Ethan Nicholas095f5b42019-08-30 11:51:41 -0400636 emit += ", &" + decl.fName + "_name);";
637 this->addExtraEmitCodeLine(emit.c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -0400638 }
639}
640
641void CPPCodeGenerator::writeSetting(const Setting& s) {
Brian Osmanf265afd2020-08-04 13:23:36 -0400642 this->write(s.fName.c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -0400643}
644
Ethan Nicholasf57c0d62017-07-31 11:18:22 -0400645bool CPPCodeGenerator::writeSection(const char* name, const char* prefix) {
Ethan Nicholas68990be2017-07-13 09:36:52 -0400646 const Section* s = fSectionAndParameterHelper.getSection(name);
647 if (s) {
648 this->writef("%s%s", prefix, s->fText.c_str());
Ethan Nicholasf57c0d62017-07-31 11:18:22 -0400649 return true;
Ethan Nicholas762466e2017-06-29 10:03:38 -0400650 }
Ethan Nicholasf57c0d62017-07-31 11:18:22 -0400651 return false;
Ethan Nicholas762466e2017-06-29 10:03:38 -0400652}
653
654void CPPCodeGenerator::writeProgramElement(const ProgramElement& p) {
Ethan Nicholase6592142020-09-08 10:22:09 -0400655 switch (p.kind()) {
656 case ProgramElement::Kind::kSection:
Ethan Nicholas762466e2017-06-29 10:03:38 -0400657 return;
Ethan Nicholase6592142020-09-08 10:22:09 -0400658 case ProgramElement::Kind::kVar: {
659 const VarDeclarations& decls = p.as<VarDeclarations>();
660 if (!decls.fVars.size()) {
661 return;
662 }
663 const Variable& var = *decls.fVars[0]->as<VarDeclaration>().fVar;
664 if (var.fModifiers.fFlags & (Modifiers::kIn_Flag | Modifiers::kUniform_Flag) ||
665 -1 != var.fModifiers.fLayout.fBuiltin) {
666 return;
667 }
668 break;
Ethan Nicholas762466e2017-06-29 10:03:38 -0400669 }
Ethan Nicholase6592142020-09-08 10:22:09 -0400670 default:
671 break;
Ethan Nicholas762466e2017-06-29 10:03:38 -0400672 }
673 INHERITED::writeProgramElement(p);
674}
675
676void CPPCodeGenerator::addUniform(const Variable& var) {
677 if (!needs_uniform_var(var)) {
678 return;
679 }
Ethan Nicholasfc994162019-06-06 10:04:27 -0400680 if (var.fModifiers.fLayout.fWhen.fLength) {
681 this->writef(" if (%s) {\n ", String(var.fModifiers.fLayout.fWhen).c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -0400682 }
Ethan Nicholas5b5f0962017-09-11 13:50:14 -0700683 String name(var.fName);
Ethan Nicholase6592142020-09-08 10:22:09 -0400684 if (var.fType.typeKind() != Type::TypeKind::kArray) {
Ethan Nicholas7018bcf2020-08-20 15:57:22 -0400685 this->writef(" %sVar = args.fUniformHandler->addUniform(&_outer, "
686 "kFragment_GrShaderFlag, %s, \"%s\");\n",
687 HCodeGenerator::FieldName(name.c_str()).c_str(),
688 glsltype_string(fContext, var.fType),
689 name.c_str());
690 } else {
691 this->writef(" %sVar = args.fUniformHandler->addUniformArray(&_outer, "
692 "kFragment_GrShaderFlag, %s, \"%s\", %d);\n",
693 HCodeGenerator::FieldName(name.c_str()).c_str(),
694 glsltype_string(fContext, var.fType.componentType()),
695 name.c_str(),
696 var.fType.columns());
697 }
Ethan Nicholasfc994162019-06-06 10:04:27 -0400698 if (var.fModifiers.fLayout.fWhen.fLength) {
Ethan Nicholas762466e2017-06-29 10:03:38 -0400699 this->write(" }\n");
700 }
701}
702
Ethan Nicholascd700e92018-08-24 16:43:57 -0400703void CPPCodeGenerator::writeInputVars() {
704}
705
Ethan Nicholas762466e2017-06-29 10:03:38 -0400706void CPPCodeGenerator::writePrivateVars() {
Ethan Nicholas3c6ae622018-04-24 13:06:09 -0400707 for (const auto& p : fProgram) {
Ethan Nicholase6592142020-09-08 10:22:09 -0400708 if (p.kind() == ProgramElement::Kind::kVar) {
John Stiles3dc0da62020-08-19 17:48:31 -0400709 const VarDeclarations& decls = p.as<VarDeclarations>();
Ethan Nicholas3c6ae622018-04-24 13:06:09 -0400710 for (const auto& raw : decls.fVars) {
John Stiles3dc0da62020-08-19 17:48:31 -0400711 VarDeclaration& decl = raw->as<VarDeclaration>();
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000712 if (is_private(*decl.fVar)) {
713 if (decl.fVar->fType == *fContext.fFragmentProcessor_Type) {
714 fErrors.error(decl.fOffset,
Ethan Nicholasc9472af2017-10-10 16:30:21 -0400715 "fragmentProcessor variables must be declared 'in'");
716 return;
717 }
Ethan Nicholase9d172a2017-11-20 12:12:24 -0500718 this->writef("%s %s = %s;\n",
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000719 HCodeGenerator::FieldType(fContext, decl.fVar->fType,
720 decl.fVar->fModifiers.fLayout).c_str(),
Ethan Nicholase9d172a2017-11-20 12:12:24 -0500721 String(decl.fVar->fName).c_str(),
722 default_value(*decl.fVar).c_str());
Michael Ludwiga4275592018-08-31 10:52:47 -0400723 } else if (decl.fVar->fModifiers.fLayout.fFlags & Layout::kTracked_Flag) {
724 // An auto-tracked uniform in variable, so add a field to hold onto the prior
725 // state. Note that tracked variables must be uniform in's and that is validated
726 // before writePrivateVars() is called.
727 const UniformCTypeMapper* mapper = UniformCTypeMapper::Get(fContext, *decl.fVar);
728 SkASSERT(mapper && mapper->supportsTracking());
729
730 String name = HCodeGenerator::FieldName(String(decl.fVar->fName).c_str());
731 // The member statement is different if the mapper reports a default value
732 if (mapper->defaultValue().size() > 0) {
733 this->writef("%s %sPrev = %s;\n",
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400734 Layout::CTypeToStr(mapper->ctype()), name.c_str(),
Michael Ludwiga4275592018-08-31 10:52:47 -0400735 mapper->defaultValue().c_str());
736 } else {
737 this->writef("%s %sPrev;\n",
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400738 Layout::CTypeToStr(mapper->ctype()), name.c_str());
Michael Ludwiga4275592018-08-31 10:52:47 -0400739 }
Ethan Nicholas762466e2017-06-29 10:03:38 -0400740 }
741 }
742 }
743 }
744}
745
746void CPPCodeGenerator::writePrivateVarValues() {
Ethan Nicholas3c6ae622018-04-24 13:06:09 -0400747 for (const auto& p : fProgram) {
Ethan Nicholase6592142020-09-08 10:22:09 -0400748 if (p.kind() == ProgramElement::Kind::kVar) {
John Stiles3dc0da62020-08-19 17:48:31 -0400749 const VarDeclarations& decls = p.as<VarDeclarations>();
Ethan Nicholas3c6ae622018-04-24 13:06:09 -0400750 for (const auto& raw : decls.fVars) {
John Stiles3dc0da62020-08-19 17:48:31 -0400751 VarDeclaration& decl = raw->as<VarDeclaration>();
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000752 if (is_private(*decl.fVar) && decl.fValue) {
753 this->writef("%s = ", String(decl.fVar->fName).c_str());
Ethan Nicholas82399462017-10-16 12:35:44 -0400754 fCPPMode = true;
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000755 this->writeExpression(*decl.fValue, kAssignment_Precedence);
Ethan Nicholas82399462017-10-16 12:35:44 -0400756 fCPPMode = false;
757 this->write(";\n");
Ethan Nicholas762466e2017-06-29 10:03:38 -0400758 }
759 }
760 }
761 }
762}
763
Ethan Nicholas82399462017-10-16 12:35:44 -0400764static bool is_accessible(const Variable& var) {
Ethan Nicholasee1c8a72019-02-22 10:50:47 -0500765 const Type& type = var.fType.nonnullable();
Ethan Nicholase6592142020-09-08 10:22:09 -0400766 return Type::TypeKind::kSampler != type.typeKind() &&
767 Type::TypeKind::kOther != type.typeKind();
Ethan Nicholas82399462017-10-16 12:35:44 -0400768}
769
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400770void CPPCodeGenerator::newExtraEmitCodeBlock() {
771 // This should only be called when emitting SKSL for emitCode(), which can be detected if the
772 // cpp buffer is not null, and the cpp buffer is not the current output.
773 SkASSERT(fCPPBuffer && fCPPBuffer != fOut);
774
775 // Start a new block as an empty string
776 fExtraEmitCodeBlocks.push_back("");
777 // Mark its location in the output buffer, uses ${\d} for the token since ${} will not occur in
778 // valid sksl and makes detection trivial.
779 this->writef("${%zu}", fExtraEmitCodeBlocks.size() - 1);
780}
781
782void CPPCodeGenerator::addExtraEmitCodeLine(const String& toAppend) {
783 SkASSERT(fExtraEmitCodeBlocks.size() > 0);
784 String& currentBlock = fExtraEmitCodeBlocks[fExtraEmitCodeBlocks.size() - 1];
785 // Automatically add indentation and newline
786 currentBlock += " " + toAppend + "\n";
787}
788
789void CPPCodeGenerator::flushEmittedCode() {
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400790 if (fCPPBuffer == nullptr) {
791 // Not actually within writeEmitCode() so nothing to flush
792 return;
793 }
794
795 StringStream* skslBuffer = static_cast<StringStream*>(fOut);
796
797 String sksl = skslBuffer->str();
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400798 // Empty the accumulation buffer since its current contents are consumed.
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400799 skslBuffer->reset();
800
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400801 // Switch to the cpp buffer
Michael Ludwigd0440192018-09-07 14:24:52 +0000802 fOut = fCPPBuffer;
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400803
804 // Iterate through the sksl, keeping track of where the last statement ended (e.g. the latest
805 // encountered ';', '{', or '}'). If an extra emit code block token is encountered then the
806 // code from 0 to last statement end is sent to writeCodeAppend, the extra code block is
807 // appended to the cpp buffer, and then the sksl string is trimmed to start where the last
808 // statement left off (minus the encountered token).
809 size_t i = 0;
810 int flushPoint = -1;
811 int tokenStart = -1;
812 while (i < sksl.size()) {
813 if (tokenStart >= 0) {
814 // Looking for the end of the token
815 if (sksl[i] == '}') {
816 // Must append the sksl from 0 to flushPoint (inclusive) then the extra code
817 // accumulated in the block with index parsed from chars [tokenStart+2, i-1]
818 String toFlush = String(sksl.c_str(), flushPoint + 1);
819 // writeCodeAppend automatically removes the format args that it consumed, so
820 // fFormatArgs will be in a valid state for any future sksl
821 this->writeCodeAppend(toFlush);
822
823 int codeBlock = stoi(String(sksl.c_str() + tokenStart + 2, i - tokenStart - 2));
824 SkASSERT(codeBlock < (int) fExtraEmitCodeBlocks.size());
825 if (fExtraEmitCodeBlocks[codeBlock].size() > 0) {
826 this->write(fExtraEmitCodeBlocks[codeBlock].c_str());
827 }
828
829 // Now reset the sksl buffer to start after the flush point, but remove the token.
830 String compacted = String(sksl.c_str() + flushPoint + 1,
831 tokenStart - flushPoint - 1);
832 if (i < sksl.size() - 1) {
833 compacted += String(sksl.c_str() + i + 1, sksl.size() - i - 1);
834 }
835 sksl = compacted;
836
837 // And reset iteration
838 i = -1;
839 flushPoint = -1;
840 tokenStart = -1;
841 }
842 } else {
843 // Looking for the start of extra emit block tokens, and tracking when statements end
844 if (sksl[i] == ';' || sksl[i] == '{' || sksl[i] == '}') {
845 flushPoint = i;
846 } else if (i < sksl.size() - 1 && sksl[i] == '$' && sksl[i + 1] == '{') {
847 // found an extra emit code block token
848 tokenStart = i++;
849 }
850 }
851 i++;
Michael Ludwigd0440192018-09-07 14:24:52 +0000852 }
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400853
854 // Once we've gone through the sksl string to this point, there are no remaining extra emit
855 // code blocks to interleave, so append the remainder as usual.
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400856 this->writeCodeAppend(sksl);
857
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400858 // After appending, switch back to the emptied sksl buffer and reset the extra code blocks
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400859 fOut = skslBuffer;
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400860 fExtraEmitCodeBlocks.clear();
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400861}
862
Ethan Nicholas5b6e6272017-10-13 13:11:06 -0400863void CPPCodeGenerator::writeCodeAppend(const String& code) {
John Stiles50819422020-06-18 13:00:38 -0400864 if (!code.empty()) {
865 // Count % format specifiers.
866 size_t argCount = 0;
867 for (size_t index = 0; index < code.size(); ++index) {
Ethan Nicholas5b6e6272017-10-13 13:11:06 -0400868 if ('%' == code[index]) {
John Stiles50819422020-06-18 13:00:38 -0400869 if (index == code.size() - 1) {
Ethan Nicholas5b6e6272017-10-13 13:11:06 -0400870 break;
871 }
872 if (code[index + 1] != '%') {
873 ++argCount;
874 }
875 }
Ethan Nicholas5b6e6272017-10-13 13:11:06 -0400876 }
John Stiles50819422020-06-18 13:00:38 -0400877
878 // Emit the code string.
879 this->writef(" fragBuilder->codeAppendf(\n"
880 "R\"SkSL(%s)SkSL\"\n", code.c_str());
881 for (size_t i = 0; i < argCount; ++i) {
Ethan Nicholas5b6e6272017-10-13 13:11:06 -0400882 this->writef(", %s", fFormatArgs[i].c_str());
883 }
884 this->write(");\n");
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400885
John Stiles50819422020-06-18 13:00:38 -0400886 // argCount is equal to the number of fFormatArgs that were consumed, so they should be
887 // removed from the list.
888 if (argCount > 0) {
889 fFormatArgs.erase(fFormatArgs.begin(), fFormatArgs.begin() + argCount);
890 }
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400891 }
892}
893
894String CPPCodeGenerator::convertSKSLExpressionToCPP(const Expression& e,
895 const String& cppVar) {
896 // To do this conversion, we temporarily switch the sksl output stream
897 // to an empty stringstream and reset the format args to empty.
898 OutputStream* oldSKSL = fOut;
899 StringStream exprBuffer;
900 fOut = &exprBuffer;
901
902 std::vector<String> oldArgs(fFormatArgs);
903 fFormatArgs.clear();
904
905 // Convert the argument expression into a format string and args
906 this->writeExpression(e, Precedence::kTopLevel_Precedence);
907 std::vector<String> newArgs(fFormatArgs);
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400908 String expr = exprBuffer.str();
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400909
910 // After generating, restore the original output stream and format args
911 fFormatArgs = oldArgs;
912 fOut = oldSKSL;
913
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400914 // The sksl written to exprBuffer is not processed by flushEmittedCode(), so any extra emit code
915 // block tokens won't get handled. So we need to strip them from the expression and stick them
916 // to the end of the original sksl stream.
917 String exprFormat = "";
918 int tokenStart = -1;
919 for (size_t i = 0; i < expr.size(); i++) {
920 if (tokenStart >= 0) {
921 if (expr[i] == '}') {
922 // End of the token, so append the token to fOut
923 fOut->write(expr.c_str() + tokenStart, i - tokenStart + 1);
924 tokenStart = -1;
925 }
926 } else {
927 if (i < expr.size() - 1 && expr[i] == '$' && expr[i + 1] == '{') {
928 tokenStart = i++;
929 } else {
930 exprFormat += expr[i];
931 }
932 }
933 }
934
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400935 // Now build the final C++ code snippet from the format string and args
936 String cppExpr;
John Stiles50819422020-06-18 13:00:38 -0400937 if (newArgs.empty()) {
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400938 // This was a static expression, so we can simplify the input
939 // color declaration in the emitted code to just a static string
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400940 cppExpr = "SkString " + cppVar + "(\"" + exprFormat + "\");";
John Stiles50819422020-06-18 13:00:38 -0400941 } else if (newArgs.size() == 1 && exprFormat == "%s") {
942 // If the format expression is simply "%s", we can avoid an expensive call to printf.
943 // This happens fairly often in codegen so it is worth simplifying.
944 cppExpr = "SkString " + cppVar + "(" + newArgs[0] + ");";
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400945 } else {
946 // String formatting must occur dynamically, so have the C++ declaration
947 // use SkStringPrintf with the format args that were accumulated
948 // when the expression was written.
949 cppExpr = "SkString " + cppVar + " = SkStringPrintf(\"" + exprFormat + "\"";
950 for (size_t i = 0; i < newArgs.size(); i++) {
951 cppExpr += ", " + newArgs[i];
952 }
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400953 cppExpr += ");";
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400954 }
955 return cppExpr;
Ethan Nicholas5b6e6272017-10-13 13:11:06 -0400956}
957
Ethan Nicholas762466e2017-06-29 10:03:38 -0400958bool CPPCodeGenerator::writeEmitCode(std::vector<const Variable*>& uniforms) {
959 this->write(" void emitCode(EmitArgs& args) override {\n"
960 " GrGLSLFPFragmentBuilder* fragBuilder = args.fFragBuilder;\n");
961 this->writef(" const %s& _outer = args.fFp.cast<%s>();\n"
962 " (void) _outer;\n",
963 fFullName.c_str(), fFullName.c_str());
Ethan Nicholas3c6ae622018-04-24 13:06:09 -0400964 for (const auto& p : fProgram) {
Ethan Nicholase6592142020-09-08 10:22:09 -0400965 if (p.kind() == ProgramElement::Kind::kVar) {
John Stiles3dc0da62020-08-19 17:48:31 -0400966 const VarDeclarations& decls = p.as<VarDeclarations>();
Ethan Nicholas3c6ae622018-04-24 13:06:09 -0400967 for (const auto& raw : decls.fVars) {
John Stiles3dc0da62020-08-19 17:48:31 -0400968 VarDeclaration& decl = raw->as<VarDeclaration>();
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000969 String nameString(decl.fVar->fName);
Ethan Nicholas82399462017-10-16 12:35:44 -0400970 const char* name = nameString.c_str();
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000971 if (SectionAndParameterHelper::IsParameter(*decl.fVar) &&
972 is_accessible(*decl.fVar)) {
Ethan Nicholasbcd51e82019-04-09 10:40:41 -0400973 this->writef(" auto %s = _outer.%s;\n"
Ethan Nicholas82399462017-10-16 12:35:44 -0400974 " (void) %s;\n",
975 name, name, name);
976 }
977 }
978 }
979 }
Ethan Nicholas762466e2017-06-29 10:03:38 -0400980 this->writePrivateVarValues();
981 for (const auto u : uniforms) {
982 this->addUniform(*u);
Ethan Nicholas762466e2017-06-29 10:03:38 -0400983 }
John Stiles02b11282020-08-10 15:25:24 -0400984 this->writeSection(kEmitCodeSection);
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400985
986 // Save original buffer as the CPP buffer for flushEmittedCode()
987 fCPPBuffer = fOut;
988 StringStream skslBuffer;
989 fOut = &skslBuffer;
990
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400991 this->newExtraEmitCodeBlock();
Ethan Nicholas762466e2017-06-29 10:03:38 -0400992 bool result = INHERITED::generateCode();
Michael Ludwig1fc5fbd2018-09-07 13:13:06 -0400993 this->flushEmittedCode();
Michael Ludwig92e4c7f2018-08-30 16:08:18 -0400994
995 // Then restore the original CPP buffer and close the function
996 fOut = fCPPBuffer;
997 fCPPBuffer = nullptr;
Ethan Nicholas5b6e6272017-10-13 13:11:06 -0400998 this->write(" }\n");
Ethan Nicholas762466e2017-06-29 10:03:38 -0400999 return result;
1000}
1001
1002void CPPCodeGenerator::writeSetData(std::vector<const Variable*>& uniforms) {
1003 const char* fullName = fFullName.c_str();
John Stiles02b11282020-08-10 15:25:24 -04001004 const Section* section = fSectionAndParameterHelper.getSection(kSetDataSection);
Ethan Nicholas68990be2017-07-13 09:36:52 -04001005 const char* pdman = section ? section->fArgument.c_str() : "pdman";
Ethan Nicholas762466e2017-06-29 10:03:38 -04001006 this->writef(" void onSetData(const GrGLSLProgramDataManager& %s, "
1007 "const GrFragmentProcessor& _proc) override {\n",
1008 pdman);
1009 bool wroteProcessor = false;
John Stiles06f3d082020-06-04 11:07:21 -04001010 for (const Variable* u : uniforms) {
Michael Ludwiga4275592018-08-31 10:52:47 -04001011 if (is_uniform_in(*u)) {
Ethan Nicholas762466e2017-06-29 10:03:38 -04001012 if (!wroteProcessor) {
1013 this->writef(" const %s& _outer = _proc.cast<%s>();\n", fullName, fullName);
1014 wroteProcessor = true;
1015 this->writef(" {\n");
1016 }
Michael Ludwiga4275592018-08-31 10:52:47 -04001017
1018 const UniformCTypeMapper* mapper = UniformCTypeMapper::Get(fContext, *u);
1019 SkASSERT(mapper);
1020
Ethan Nicholas5b5f0962017-09-11 13:50:14 -07001021 String nameString(u->fName);
1022 const char* name = nameString.c_str();
Michael Ludwiga4275592018-08-31 10:52:47 -04001023
1024 // Switches for setData behavior in the generated code
1025 bool conditionalUniform = u->fModifiers.fLayout.fWhen != "";
1026 bool isTracked = u->fModifiers.fLayout.fFlags & Layout::kTracked_Flag;
1027 bool needsValueDeclaration = isTracked || !mapper->canInlineUniformValue();
1028
1029 String uniformName = HCodeGenerator::FieldName(name) + "Var";
1030
1031 String indent = " "; // 8 by default, 12 when nested for conditional uniforms
1032 if (conditionalUniform) {
1033 // Add a pre-check to make sure the uniform was emitted
1034 // before trying to send any data to the GPU
1035 this->writef(" if (%s.isValid()) {\n", uniformName.c_str());
1036 indent += " ";
1037 }
1038
1039 String valueVar = "";
1040 if (needsValueDeclaration) {
1041 valueVar.appendf("%sValue", name);
1042 // Use AccessType since that will match the return type of _outer's public API.
1043 String valueType = HCodeGenerator::AccessType(fContext, u->fType,
1044 u->fModifiers.fLayout);
Ethan Nicholasbcd51e82019-04-09 10:40:41 -04001045 this->writef("%s%s %s = _outer.%s;\n",
Michael Ludwiga4275592018-08-31 10:52:47 -04001046 indent.c_str(), valueType.c_str(), valueVar.c_str(), name);
Ethan Nicholas762466e2017-06-29 10:03:38 -04001047 } else {
Michael Ludwiga4275592018-08-31 10:52:47 -04001048 // Not tracked and the mapper only needs to use the value once
1049 // so send it a safe expression instead of the variable name
Ethan Nicholasbcd51e82019-04-09 10:40:41 -04001050 valueVar.appendf("(_outer.%s)", name);
Michael Ludwiga4275592018-08-31 10:52:47 -04001051 }
1052
1053 if (isTracked) {
1054 SkASSERT(mapper->supportsTracking());
1055
1056 String prevVar = HCodeGenerator::FieldName(name) + "Prev";
1057 this->writef("%sif (%s) {\n"
1058 "%s %s;\n"
1059 "%s %s;\n"
1060 "%s}\n", indent.c_str(),
1061 mapper->dirtyExpression(valueVar, prevVar).c_str(), indent.c_str(),
1062 mapper->saveState(valueVar, prevVar).c_str(), indent.c_str(),
1063 mapper->setUniform(pdman, uniformName, valueVar).c_str(), indent.c_str());
1064 } else {
1065 this->writef("%s%s;\n", indent.c_str(),
1066 mapper->setUniform(pdman, uniformName, valueVar).c_str());
1067 }
1068
1069 if (conditionalUniform) {
1070 // Close the earlier precheck block
1071 this->writef(" }\n");
Ethan Nicholas762466e2017-06-29 10:03:38 -04001072 }
1073 }
1074 }
1075 if (wroteProcessor) {
1076 this->writef(" }\n");
1077 }
Ethan Nicholas68990be2017-07-13 09:36:52 -04001078 if (section) {
Ethan Nicholas2d5f9b32017-12-13 14:36:14 -05001079 int samplerIndex = 0;
Ethan Nicholas3c6ae622018-04-24 13:06:09 -04001080 for (const auto& p : fProgram) {
Ethan Nicholase6592142020-09-08 10:22:09 -04001081 if (p.kind() == ProgramElement::Kind::kVar) {
John Stiles3dc0da62020-08-19 17:48:31 -04001082 const VarDeclarations& decls = p.as<VarDeclarations>();
John Stiles06f3d082020-06-04 11:07:21 -04001083 for (const std::unique_ptr<Statement>& raw : decls.fVars) {
John Stiles3dc0da62020-08-19 17:48:31 -04001084 const VarDeclaration& decl = raw->as<VarDeclaration>();
John Stiles06f3d082020-06-04 11:07:21 -04001085 const Variable& variable = *decl.fVar;
1086 String nameString(variable.fName);
Ethan Nicholas5b5f0962017-09-11 13:50:14 -07001087 const char* name = nameString.c_str();
Ethan Nicholase6592142020-09-08 10:22:09 -04001088 if (variable.fType.typeKind() == Type::TypeKind::kSampler) {
Robert Phillipsbd99c0c2019-12-12 13:26:58 +00001089 this->writef(" const GrSurfaceProxyView& %sView = "
1090 "_outer.textureSampler(%d).view();\n",
Ethan Nicholas2d5f9b32017-12-13 14:36:14 -05001091 name, samplerIndex);
Robert Phillipsbd99c0c2019-12-12 13:26:58 +00001092 this->writef(" GrTexture& %s = *%sView.proxy()->peekTexture();\n",
Ethan Nicholas2d5f9b32017-12-13 14:36:14 -05001093 name, name);
1094 this->writef(" (void) %s;\n", name);
1095 ++samplerIndex;
John Stiles06f3d082020-06-04 11:07:21 -04001096 } else if (needs_uniform_var(variable)) {
Ethan Nicholas762466e2017-06-29 10:03:38 -04001097 this->writef(" UniformHandle& %s = %sVar;\n"
1098 " (void) %s;\n",
1099 name, HCodeGenerator::FieldName(name).c_str(), name);
John Stiles06f3d082020-06-04 11:07:21 -04001100 } else if (SectionAndParameterHelper::IsParameter(variable) &&
1101 variable.fType != *fContext.fFragmentProcessor_Type) {
Ethan Nicholas762466e2017-06-29 10:03:38 -04001102 if (!wroteProcessor) {
1103 this->writef(" const %s& _outer = _proc.cast<%s>();\n", fullName,
1104 fullName);
1105 wroteProcessor = true;
1106 }
John Stiles06f3d082020-06-04 11:07:21 -04001107
1108 if (variable.fType.nonnullable() != *fContext.fFragmentProcessor_Type) {
1109 this->writef(" auto %s = _outer.%s;\n"
1110 " (void) %s;\n",
1111 name, name, name);
1112 }
Ethan Nicholas762466e2017-06-29 10:03:38 -04001113 }
1114 }
1115 }
1116 }
John Stiles02b11282020-08-10 15:25:24 -04001117 this->writeSection(kSetDataSection);
Ethan Nicholas762466e2017-06-29 10:03:38 -04001118 }
1119 this->write(" }\n");
1120}
1121
Brian Salomonf7dcd762018-07-30 14:48:15 -04001122void CPPCodeGenerator::writeOnTextureSampler() {
1123 bool foundSampler = false;
1124 for (const auto& param : fSectionAndParameterHelper.getParameters()) {
Ethan Nicholase6592142020-09-08 10:22:09 -04001125 if (param->fType.typeKind() == Type::TypeKind::kSampler) {
Brian Salomonf7dcd762018-07-30 14:48:15 -04001126 if (!foundSampler) {
1127 this->writef(
1128 "const GrFragmentProcessor::TextureSampler& %s::onTextureSampler(int "
1129 "index) const {\n",
1130 fFullName.c_str());
1131 this->writef(" return IthTextureSampler(index, %s",
1132 HCodeGenerator::FieldName(String(param->fName).c_str()).c_str());
1133 foundSampler = true;
1134 } else {
1135 this->writef(", %s",
1136 HCodeGenerator::FieldName(String(param->fName).c_str()).c_str());
1137 }
1138 }
1139 }
1140 if (foundSampler) {
1141 this->write(");\n}\n");
1142 }
1143}
1144
Ethan Nicholasf57c0d62017-07-31 11:18:22 -04001145void CPPCodeGenerator::writeClone() {
John Stiles02b11282020-08-10 15:25:24 -04001146 if (!this->writeSection(kCloneSection)) {
1147 if (fSectionAndParameterHelper.getSection(kFieldsSection)) {
John Stiles47b4e222020-08-12 09:56:50 -04001148 fErrors.error(/*offset=*/0, "fragment processors with custom @fields must also have a "
1149 "custom @clone");
Ethan Nicholasf57c0d62017-07-31 11:18:22 -04001150 }
1151 this->writef("%s::%s(const %s& src)\n"
Ethan Nicholasabff9562017-10-09 10:54:08 -04001152 ": INHERITED(k%s_ClassID, src.optimizationFlags())", fFullName.c_str(),
1153 fFullName.c_str(), fFullName.c_str(), fFullName.c_str());
John Stiles06f3d082020-06-04 11:07:21 -04001154 for (const Variable* param : fSectionAndParameterHelper.getParameters()) {
Robert Phillipsbce7d862019-02-21 22:53:57 +00001155 String fieldName = HCodeGenerator::FieldName(String(param->fName).c_str());
John Stiles88183902020-06-10 16:40:38 -04001156 if (param->fType.nonnullable() != *fContext.fFragmentProcessor_Type) {
Ethan Nicholasee1c8a72019-02-22 10:50:47 -05001157 this->writef("\n, %s(src.%s)",
1158 fieldName.c_str(),
1159 fieldName.c_str());
1160 }
Ethan Nicholasf57c0d62017-07-31 11:18:22 -04001161 }
Ethan Nicholasabff9562017-10-09 10:54:08 -04001162 this->writef(" {\n");
Brian Osman12c5d292020-07-13 16:11:35 -04001163 this->writef(" this->cloneAndRegisterAllChildProcessors(src);\n");
Brian Salomonf7dcd762018-07-30 14:48:15 -04001164 int samplerCount = 0;
Ethan Nicholasf57c0d62017-07-31 11:18:22 -04001165 for (const auto& param : fSectionAndParameterHelper.getParameters()) {
Ethan Nicholase6592142020-09-08 10:22:09 -04001166 if (param->fType.typeKind() == Type::TypeKind::kSampler) {
Brian Salomonf7dcd762018-07-30 14:48:15 -04001167 ++samplerCount;
Ethan Nicholasf57c0d62017-07-31 11:18:22 -04001168 }
1169 }
Brian Salomonf7dcd762018-07-30 14:48:15 -04001170 if (samplerCount) {
1171 this->writef(" this->setTextureSamplerCnt(%d);", samplerCount);
1172 }
Michael Ludwige88320b2020-06-24 09:04:56 -04001173 if (fAccessSampleCoordsDirectly) {
1174 this->writef(" this->setUsesSampleCoordsDirectly();\n");
1175 }
Ethan Nicholasf57c0d62017-07-31 11:18:22 -04001176 this->write("}\n");
Brian Salomonaff329b2017-08-11 09:40:37 -04001177 this->writef("std::unique_ptr<GrFragmentProcessor> %s::clone() const {\n",
1178 fFullName.c_str());
John Stilesfbd050b2020-08-03 13:21:46 -04001179 this->writef(" return std::make_unique<%s>(*this);\n",
Brian Salomonaff329b2017-08-11 09:40:37 -04001180 fFullName.c_str());
Ethan Nicholasf57c0d62017-07-31 11:18:22 -04001181 this->write("}\n");
1182 }
1183}
1184
John Stiles47b4e222020-08-12 09:56:50 -04001185void CPPCodeGenerator::writeDumpInfo() {
John Stiles8d9bf642020-08-12 15:07:45 -04001186 this->writef("#if GR_TEST_UTILS\n"
John Stilescab58862020-08-12 15:47:06 -04001187 "SkString %s::onDumpInfo() const {\n", fFullName.c_str());
John Stiles47b4e222020-08-12 09:56:50 -04001188
1189 if (!this->writeSection(kDumpInfoSection)) {
1190 if (fSectionAndParameterHelper.getSection(kFieldsSection)) {
1191 fErrors.error(/*offset=*/0, "fragment processors with custom @fields must also have a "
1192 "custom @dumpInfo");
1193 }
1194
John Stiles47b4e222020-08-12 09:56:50 -04001195 String formatString;
1196 std::vector<String> argumentList;
1197
1198 for (const Variable* param : fSectionAndParameterHelper.getParameters()) {
1199 // dumpInfo() doesn't need to log child FPs.
1200 if (param->fType.nonnullable() == *fContext.fFragmentProcessor_Type) {
1201 continue;
1202 }
1203
1204 // Add this field onto the format string and argument list.
1205 String fieldName = HCodeGenerator::FieldName(String(param->fName).c_str());
1206 String runtimeValue = this->formatRuntimeValue(param->fType, param->fModifiers.fLayout,
1207 param->fName, &argumentList);
1208 formatString.appendf("%s%s=%s",
1209 formatString.empty() ? "" : ", ",
1210 fieldName.c_str(),
1211 runtimeValue.c_str());
1212 }
1213
John Stiles47b4e222020-08-12 09:56:50 -04001214 if (!formatString.empty()) {
John Stilescab58862020-08-12 15:47:06 -04001215 // Emit the finished format string and associated arguments.
1216 this->writef(" return SkStringPrintf(\"(%s)\"", formatString.c_str());
John Stiles47b4e222020-08-12 09:56:50 -04001217
John Stilescab58862020-08-12 15:47:06 -04001218 for (const String& argument : argumentList) {
1219 this->writef(", %s", argument.c_str());
1220 }
John Stiles47b4e222020-08-12 09:56:50 -04001221
John Stilescab58862020-08-12 15:47:06 -04001222 this->write(");");
1223 } else {
1224 // No fields to dump at all; just return an empty string.
1225 this->write(" return SkString();");
1226 }
John Stiles47b4e222020-08-12 09:56:50 -04001227 }
1228
John Stilescab58862020-08-12 15:47:06 -04001229 this->write("\n"
1230 "}\n"
John Stiles47b4e222020-08-12 09:56:50 -04001231 "#endif\n");
1232}
1233
Ethan Nicholas762466e2017-06-29 10:03:38 -04001234void CPPCodeGenerator::writeTest() {
John Stiles02b11282020-08-10 15:25:24 -04001235 const Section* test = fSectionAndParameterHelper.getSection(kTestCodeSection);
Ethan Nicholas68990be2017-07-13 09:36:52 -04001236 if (test) {
Brian Salomonaff329b2017-08-11 09:40:37 -04001237 this->writef(
1238 "GR_DEFINE_FRAGMENT_PROCESSOR_TEST(%s);\n"
1239 "#if GR_TEST_UTILS\n"
1240 "std::unique_ptr<GrFragmentProcessor> %s::TestCreate(GrProcessorTestData* %s) {\n",
1241 fFullName.c_str(),
1242 fFullName.c_str(),
1243 test->fArgument.c_str());
John Stiles02b11282020-08-10 15:25:24 -04001244 this->writeSection(kTestCodeSection);
Ethan Nicholas68990be2017-07-13 09:36:52 -04001245 this->write("}\n"
1246 "#endif\n");
Ethan Nicholas762466e2017-06-29 10:03:38 -04001247 }
Ethan Nicholas762466e2017-06-29 10:03:38 -04001248}
1249
1250void CPPCodeGenerator::writeGetKey() {
1251 this->writef("void %s::onGetGLSLProcessorKey(const GrShaderCaps& caps, "
1252 "GrProcessorKeyBuilder* b) const {\n",
1253 fFullName.c_str());
Ethan Nicholascab767f2019-07-01 13:32:07 -04001254 for (const auto& p : fProgram) {
Ethan Nicholase6592142020-09-08 10:22:09 -04001255 if (p.kind() == ProgramElement::Kind::kVar) {
John Stiles3dc0da62020-08-19 17:48:31 -04001256 const VarDeclarations& decls = p.as<VarDeclarations>();
Ethan Nicholascab767f2019-07-01 13:32:07 -04001257 for (const auto& raw : decls.fVars) {
John Stiles3dc0da62020-08-19 17:48:31 -04001258 const VarDeclaration& decl = raw->as<VarDeclaration>();
Ethan Nicholascab767f2019-07-01 13:32:07 -04001259 const Variable& var = *decl.fVar;
1260 String nameString(var.fName);
1261 const char* name = nameString.c_str();
1262 if (var.fModifiers.fLayout.fKey != Layout::kNo_Key &&
1263 (var.fModifiers.fFlags & Modifiers::kUniform_Flag)) {
1264 fErrors.error(var.fOffset,
1265 "layout(key) may not be specified on uniforms");
Ethan Nicholasbcd51e82019-04-09 10:40:41 -04001266 }
Ethan Nicholascab767f2019-07-01 13:32:07 -04001267 switch (var.fModifiers.fLayout.fKey) {
1268 case Layout::kKey_Key:
1269 if (is_private(var)) {
1270 this->writef("%s %s =",
1271 HCodeGenerator::FieldType(fContext, var.fType,
1272 var.fModifiers.fLayout).c_str(),
1273 String(var.fName).c_str());
1274 if (decl.fValue) {
1275 fCPPMode = true;
1276 this->writeExpression(*decl.fValue, kAssignment_Precedence);
1277 fCPPMode = false;
1278 } else {
1279 this->writef("%s", default_value(var).c_str());
1280 }
1281 this->write(";\n");
1282 }
1283 if (var.fModifiers.fLayout.fWhen.fLength) {
1284 this->writef("if (%s) {", String(var.fModifiers.fLayout.fWhen).c_str());
1285 }
John Stilesb3038f82020-07-27 17:33:25 -04001286 if (var.fType == *fContext.fHalf4_Type) {
Ethan Nicholascab767f2019-07-01 13:32:07 -04001287 this->writef(" uint16_t red = SkFloatToHalf(%s.fR);\n",
1288 HCodeGenerator::FieldName(name).c_str());
1289 this->writef(" uint16_t green = SkFloatToHalf(%s.fG);\n",
1290 HCodeGenerator::FieldName(name).c_str());
1291 this->writef(" uint16_t blue = SkFloatToHalf(%s.fB);\n",
1292 HCodeGenerator::FieldName(name).c_str());
1293 this->writef(" uint16_t alpha = SkFloatToHalf(%s.fA);\n",
1294 HCodeGenerator::FieldName(name).c_str());
1295 this->write(" b->add32(((uint32_t)red << 16) | green);\n");
1296 this->write(" b->add32(((uint32_t)blue << 16) | alpha);\n");
John Stiles45f5b032020-07-27 17:31:29 -04001297 } else if (var.fType == *fContext.fHalf_Type ||
1298 var.fType == *fContext.fFloat_Type) {
1299 this->writef(" b->add32(sk_bit_cast<uint32_t>(%s));\n",
Ethan Nicholascab767f2019-07-01 13:32:07 -04001300 HCodeGenerator::FieldName(name).c_str());
John Stiles45f5b032020-07-27 17:31:29 -04001301 } else if (var.fType.isInteger() || var.fType == *fContext.fBool_Type ||
Ethan Nicholase6592142020-09-08 10:22:09 -04001302 var.fType.typeKind() == Type::TypeKind::kEnum) {
John Stiles45f5b032020-07-27 17:31:29 -04001303 this->writef(" b->add32((uint32_t) %s);\n",
1304 HCodeGenerator::FieldName(name).c_str());
1305 } else {
1306 ABORT("NOT YET IMPLEMENTED: automatic key handling for %s\n",
1307 var.fType.displayName().c_str());
Ethan Nicholascab767f2019-07-01 13:32:07 -04001308 }
1309 if (var.fModifiers.fLayout.fWhen.fLength) {
1310 this->write("}");
1311 }
1312 break;
1313 case Layout::kIdentity_Key:
Ethan Nicholase6592142020-09-08 10:22:09 -04001314 if (var.fType.typeKind() != Type::TypeKind::kMatrix) {
Ethan Nicholascab767f2019-07-01 13:32:07 -04001315 fErrors.error(var.fOffset,
1316 "layout(key=identity) requires matrix type");
1317 }
1318 this->writef(" b->add32(%s.isIdentity() ? 1 : 0);\n",
1319 HCodeGenerator::FieldName(name).c_str());
1320 break;
1321 case Layout::kNo_Key:
1322 break;
Ethan Nicholas762466e2017-06-29 10:03:38 -04001323 }
Ethan Nicholascab767f2019-07-01 13:32:07 -04001324 }
Ethan Nicholas762466e2017-06-29 10:03:38 -04001325 }
1326 }
1327 this->write("}\n");
1328}
1329
1330bool CPPCodeGenerator::generateCode() {
1331 std::vector<const Variable*> uniforms;
Ethan Nicholas3c6ae622018-04-24 13:06:09 -04001332 for (const auto& p : fProgram) {
Ethan Nicholase6592142020-09-08 10:22:09 -04001333 if (p.kind() == ProgramElement::Kind::kVar) {
John Stiles3dc0da62020-08-19 17:48:31 -04001334 const VarDeclarations& decls = p.as<VarDeclarations>();
Ethan Nicholas3c6ae622018-04-24 13:06:09 -04001335 for (const auto& raw : decls.fVars) {
John Stiles3dc0da62020-08-19 17:48:31 -04001336 VarDeclaration& decl = raw->as<VarDeclaration>();
Ethan Nicholas82a62d22017-11-07 14:42:10 +00001337 if ((decl.fVar->fModifiers.fFlags & Modifiers::kUniform_Flag) &&
Ethan Nicholase6592142020-09-08 10:22:09 -04001338 decl.fVar->fType.typeKind() != Type::TypeKind::kSampler) {
Ethan Nicholas82a62d22017-11-07 14:42:10 +00001339 uniforms.push_back(decl.fVar);
Ethan Nicholas762466e2017-06-29 10:03:38 -04001340 }
Michael Ludwiga4275592018-08-31 10:52:47 -04001341
1342 if (is_uniform_in(*decl.fVar)) {
1343 // Validate the "uniform in" declarations to make sure they are fully supported,
1344 // instead of generating surprising C++
1345 const UniformCTypeMapper* mapper =
1346 UniformCTypeMapper::Get(fContext, *decl.fVar);
1347 if (mapper == nullptr) {
1348 fErrors.error(decl.fOffset, String(decl.fVar->fName)
1349 + "'s type is not supported for use as a 'uniform in'");
1350 return false;
1351 }
1352 if (decl.fVar->fModifiers.fLayout.fFlags & Layout::kTracked_Flag) {
1353 if (!mapper->supportsTracking()) {
1354 fErrors.error(decl.fOffset, String(decl.fVar->fName)
1355 + "'s type does not support state tracking");
1356 return false;
1357 }
1358 }
1359
1360 } else {
1361 // If it's not a uniform_in, it's an error to be tracked
1362 if (decl.fVar->fModifiers.fLayout.fFlags & Layout::kTracked_Flag) {
1363 fErrors.error(decl.fOffset, "Non-'in uniforms' cannot be tracked");
1364 return false;
1365 }
1366 }
Ethan Nicholas762466e2017-06-29 10:03:38 -04001367 }
1368 }
1369 }
1370 const char* baseName = fName.c_str();
1371 const char* fullName = fFullName.c_str();
Ethan Nicholas130fb3f2018-02-01 12:14:34 -05001372 this->writef("%s\n", HCodeGenerator::GetHeader(fProgram, fErrors).c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -04001373 this->writef(kFragmentProcessorHeader, fullName);
Mike Kleinc0bd9f92019-04-23 12:05:21 -05001374 this->writef("#include \"%s.h\"\n\n", fullName);
John Stiles02b11282020-08-10 15:25:24 -04001375 this->writeSection(kCppSection);
John Stiles45f5b032020-07-27 17:31:29 -04001376 this->writef("#include \"src/core/SkUtils.h\"\n"
1377 "#include \"src/gpu/GrTexture.h\"\n"
Mike Kleinc0bd9f92019-04-23 12:05:21 -05001378 "#include \"src/gpu/glsl/GrGLSLFragmentProcessor.h\"\n"
1379 "#include \"src/gpu/glsl/GrGLSLFragmentShaderBuilder.h\"\n"
1380 "#include \"src/gpu/glsl/GrGLSLProgramBuilder.h\"\n"
1381 "#include \"src/sksl/SkSLCPP.h\"\n"
1382 "#include \"src/sksl/SkSLUtil.h\"\n"
Ethan Nicholas762466e2017-06-29 10:03:38 -04001383 "class GrGLSL%s : public GrGLSLFragmentProcessor {\n"
1384 "public:\n"
1385 " GrGLSL%s() {}\n",
Ethan Nicholas9fb036f2017-07-05 16:19:09 -04001386 baseName, baseName);
Ethan Nicholas762466e2017-06-29 10:03:38 -04001387 bool result = this->writeEmitCode(uniforms);
1388 this->write("private:\n");
1389 this->writeSetData(uniforms);
1390 this->writePrivateVars();
1391 for (const auto& u : uniforms) {
Ethan Nicholas762466e2017-06-29 10:03:38 -04001392 if (needs_uniform_var(*u) && !(u->fModifiers.fFlags & Modifiers::kIn_Flag)) {
Ethan Nicholas5b5f0962017-09-11 13:50:14 -07001393 this->writef(" UniformHandle %sVar;\n",
1394 HCodeGenerator::FieldName(String(u->fName).c_str()).c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -04001395 }
1396 }
Ethan Nicholas68990be2017-07-13 09:36:52 -04001397 for (const auto& param : fSectionAndParameterHelper.getParameters()) {
Ethan Nicholas762466e2017-06-29 10:03:38 -04001398 if (needs_uniform_var(*param)) {
Ethan Nicholas5b5f0962017-09-11 13:50:14 -07001399 this->writef(" UniformHandle %sVar;\n",
1400 HCodeGenerator::FieldName(String(param->fName).c_str()).c_str());
Ethan Nicholas762466e2017-06-29 10:03:38 -04001401 }
1402 }
Ethan Nicholas762466e2017-06-29 10:03:38 -04001403 this->writef("};\n"
1404 "GrGLSLFragmentProcessor* %s::onCreateGLSLInstance() const {\n"
1405 " return new GrGLSL%s();\n"
1406 "}\n",
1407 fullName, baseName);
1408 this->writeGetKey();
1409 this->writef("bool %s::onIsEqual(const GrFragmentProcessor& other) const {\n"
1410 " const %s& that = other.cast<%s>();\n"
1411 " (void) that;\n",
1412 fullName, fullName, fullName);
Ethan Nicholas68990be2017-07-13 09:36:52 -04001413 for (const auto& param : fSectionAndParameterHelper.getParameters()) {
Ethan Nicholasee1c8a72019-02-22 10:50:47 -05001414 if (param->fType.nonnullable() == *fContext.fFragmentProcessor_Type) {
Ethan Nicholasc9472af2017-10-10 16:30:21 -04001415 continue;
1416 }
Ethan Nicholas5b5f0962017-09-11 13:50:14 -07001417 String nameString(param->fName);
1418 const char* name = nameString.c_str();
Ethan Nicholas762466e2017-06-29 10:03:38 -04001419 this->writef(" if (%s != that.%s) return false;\n",
1420 HCodeGenerator::FieldName(name).c_str(),
1421 HCodeGenerator::FieldName(name).c_str());
1422 }
1423 this->write(" return true;\n"
1424 "}\n");
John Stiles735a5a72020-08-26 10:21:10 -04001425 this->writef("bool %s::usesExplicitReturn() const {\n"
1426 " return %s;\n"
1427 "}\n",
1428 fullName, fReturnType == ReturnType::kUsesExplicitReturn ? "true" : "false");
Ethan Nicholasf57c0d62017-07-31 11:18:22 -04001429 this->writeClone();
John Stiles47b4e222020-08-12 09:56:50 -04001430 this->writeDumpInfo();
Brian Salomonf7dcd762018-07-30 14:48:15 -04001431 this->writeOnTextureSampler();
Ethan Nicholas762466e2017-06-29 10:03:38 -04001432 this->writeTest();
John Stiles02b11282020-08-10 15:25:24 -04001433 this->writeSection(kCppEndSection);
Greg Daniel3e8c3452018-04-06 10:37:55 -04001434
Ethan Nicholas762466e2017-06-29 10:03:38 -04001435 result &= 0 == fErrors.errorCount();
1436 return result;
1437}
1438
John Stilesa6841be2020-08-06 14:11:56 -04001439} // namespace SkSL
Ethan Nicholas2a479a52020-08-18 16:29:45 -04001440
1441#endif // defined(SKSL_STANDALONE) || defined(GR_TEST_UTILS)