blob: 715d8f888659ea3a48843a388d60e9d49841b51e [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 */
Ethan Nicholas941e7e22016-12-12 15:33:30 -05007
ethannicholasf789b382016-08-03 12:43:36 -07008#ifndef SKSL_GLSLCODEGENERATOR
9#define SKSL_GLSLCODEGENERATOR
10
Brian Osman00185012021-02-04 16:07:11 -050011#include <set>
ethannicholasf789b382016-08-03 12:43:36 -070012#include <stack>
13#include <tuple>
14#include <unordered_map>
15
Ethan Nicholas24c17722021-03-09 13:10:59 -050016#include "include/private/SkSLProgramElement.h"
17#include "include/private/SkSLStatement.h"
Brian Osman00185012021-02-04 16:07:11 -050018#include "src/sksl/SkSLOperators.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050019#include "src/sksl/SkSLStringStream.h"
John Stiles3738ef52021-04-13 10:41:57 -040020#include "src/sksl/codegen/SkSLCodeGenerator.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050021#include "src/sksl/ir/SkSLBinaryExpression.h"
22#include "src/sksl/ir/SkSLBoolLiteral.h"
23#include "src/sksl/ir/SkSLConstructor.h"
John Stilesfd7252f2021-04-04 22:24:40 -040024#include "src/sksl/ir/SkSLConstructorScalarCast.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050025#include "src/sksl/ir/SkSLDoStatement.h"
26#include "src/sksl/ir/SkSLExtension.h"
27#include "src/sksl/ir/SkSLFieldAccess.h"
28#include "src/sksl/ir/SkSLFloatLiteral.h"
29#include "src/sksl/ir/SkSLForStatement.h"
30#include "src/sksl/ir/SkSLFunctionCall.h"
31#include "src/sksl/ir/SkSLFunctionDeclaration.h"
32#include "src/sksl/ir/SkSLFunctionDefinition.h"
John Stiles569249b2020-11-03 12:18:22 -050033#include "src/sksl/ir/SkSLFunctionPrototype.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050034#include "src/sksl/ir/SkSLIfStatement.h"
35#include "src/sksl/ir/SkSLIndexExpression.h"
36#include "src/sksl/ir/SkSLIntLiteral.h"
37#include "src/sksl/ir/SkSLInterfaceBlock.h"
38#include "src/sksl/ir/SkSLPostfixExpression.h"
39#include "src/sksl/ir/SkSLPrefixExpression.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050040#include "src/sksl/ir/SkSLReturnStatement.h"
41#include "src/sksl/ir/SkSLSetting.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050042#include "src/sksl/ir/SkSLSwitchStatement.h"
43#include "src/sksl/ir/SkSLSwizzle.h"
44#include "src/sksl/ir/SkSLTernaryExpression.h"
45#include "src/sksl/ir/SkSLVarDeclarations.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050046#include "src/sksl/ir/SkSLVariableReference.h"
ethannicholasf789b382016-08-03 12:43:36 -070047
48namespace SkSL {
49
ethannicholasf789b382016-08-03 12:43:36 -070050/**
51 * Converts a Program into GLSL code.
52 */
53class GLSLCodeGenerator : public CodeGenerator {
54public:
Ethan Nicholas941e7e22016-12-12 15:33:30 -050055 GLSLCodeGenerator(const Context* context, const Program* program, ErrorReporter* errors,
Ethan Nicholas0df1b042017-03-31 13:56:23 -040056 OutputStream* out)
Ethan Nicholas941e7e22016-12-12 15:33:30 -050057 : INHERITED(program, errors, out)
Ethan Nicholas762466e2017-06-29 10:03:38 -040058 , fLineEnding("\n")
John Stiles270cec22021-02-17 12:59:36 -050059 , fContext(*context) {}
ethannicholasf789b382016-08-03 12:43:36 -070060
Ethan Nicholas762466e2017-06-29 10:03:38 -040061 bool generateCode() override;
ethannicholasf789b382016-08-03 12:43:36 -070062
Ethan Nicholas762466e2017-06-29 10:03:38 -040063protected:
John Stiles45990502021-02-16 10:55:27 -050064 using Precedence = Operator::Precedence;
Brian Osman00185012021-02-04 16:07:11 -050065
ethannicholasf789b382016-08-03 12:43:36 -070066 void write(const char* s);
67
68 void writeLine();
69
70 void writeLine(const char* s);
71
Ethan Nicholas0df1b042017-03-31 13:56:23 -040072 void write(const String& s);
ethannicholasf789b382016-08-03 12:43:36 -070073
Ethan Nicholas5b5f0962017-09-11 13:50:14 -070074 void write(StringFragment s);
75
Ethan Nicholas0df1b042017-03-31 13:56:23 -040076 void writeLine(const String& s);
ethannicholasf789b382016-08-03 12:43:36 -070077
John Stilese8b5a732021-03-12 13:25:52 -050078 void finishLine();
79
Ethan Nicholas762466e2017-06-29 10:03:38 -040080 virtual void writeHeader();
81
Ethan Nicholasf7b88202017-09-18 14:10:39 -040082 virtual bool usesPrecisionModifiers() const;
Ethan Nicholas762466e2017-06-29 10:03:38 -040083
Ethan Nicholasf7b88202017-09-18 14:10:39 -040084 virtual String getTypeName(const Type& type);
85
Brian Osman02bc5222021-01-28 11:00:20 -050086 void writeStructDefinition(const StructDefinition& s);
John Stilesdc75a972020-11-25 16:24:55 -050087
Ethan Nicholasf7b88202017-09-18 14:10:39 -040088 void writeType(const Type& type);
ethannicholasf789b382016-08-03 12:43:36 -070089
Ethan Nicholas88f6d372018-07-27 10:03:46 -040090 void writeExtension(const String& name);
91
92 void writeExtension(const String& name, bool require);
ethannicholasf789b382016-08-03 12:43:36 -070093
94 void writeInterfaceBlock(const InterfaceBlock& intf);
95
96 void writeFunctionStart(const FunctionDeclaration& f);
Ethan Nicholas0df1b042017-03-31 13:56:23 -040097
ethannicholasf789b382016-08-03 12:43:36 -070098 void writeFunctionDeclaration(const FunctionDeclaration& f);
99
John Stiles569249b2020-11-03 12:18:22 -0500100 void writeFunctionPrototype(const FunctionPrototype& f);
101
Ethan Nicholas762466e2017-06-29 10:03:38 -0400102 virtual void writeFunction(const FunctionDefinition& f);
ethannicholasf789b382016-08-03 12:43:36 -0700103
104 void writeLayout(const Layout& layout);
105
ethannicholas5961bc92016-10-12 06:39:56 -0700106 void writeModifiers(const Modifiers& modifiers, bool globalContext);
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500107
Ethan Nicholascd700e92018-08-24 16:43:57 -0400108 virtual void writeInputVars();
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000109
Ethan Nicholas762466e2017-06-29 10:03:38 -0400110 virtual void writeVarInitializer(const Variable& var, const Expression& value);
111
Ethan Nicholasf7b88202017-09-18 14:10:39 -0400112 const char* getTypePrecision(const Type& type);
113
Ethan Nicholasdcba08e2017-08-02 10:52:54 -0400114 void writeTypePrecision(const Type& type);
115
Brian Osmanc0213602020-10-06 14:43:32 -0400116 void writeVarDeclaration(const VarDeclaration& var, bool global);
ethannicholasf789b382016-08-03 12:43:36 -0700117
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500118 void writeFragCoord();
119
Ethan Nicholas762466e2017-06-29 10:03:38 -0400120 virtual void writeVariableReference(const VariableReference& ref);
ethannicholasf789b382016-08-03 12:43:36 -0700121
122 void writeExpression(const Expression& expr, Precedence parentPrecedence);
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500123
ethannicholasf789b382016-08-03 12:43:36 -0700124 void writeIntrinsicCall(const FunctionCall& c);
125
ethannicholas5961bc92016-10-12 06:39:56 -0700126 void writeMinAbsHack(Expression& absExpr, Expression& otherExpr);
127
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500128 void writeDeterminantHack(const Expression& mat);
129
130 void writeInverseHack(const Expression& mat);
131
132 void writeTransposeHack(const Expression& mat);
133
134 void writeInverseSqrtHack(const Expression& x);
135
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400136 virtual void writeFunctionCall(const FunctionCall& c);
ethannicholasf789b382016-08-03 12:43:36 -0700137
John Stiles95680232021-04-22 15:05:20 -0400138 virtual void writeAnyConstructor(const AnyConstructor& c, Precedence parentPrecedence);
John Stiles626b62e2021-03-31 22:06:07 -0400139
John Stiles95680232021-04-22 15:05:20 -0400140 virtual void writeCastConstructor(const AnyConstructor& c, Precedence parentPrecedence);
John Stilesb14a8192021-04-05 11:40:46 -0400141
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400142 virtual void writeFieldAccess(const FieldAccess& f);
ethannicholasf789b382016-08-03 12:43:36 -0700143
Ethan Nicholas82399462017-10-16 12:35:44 -0400144 virtual void writeSwizzle(const Swizzle& swizzle);
ethannicholasf789b382016-08-03 12:43:36 -0700145
Ethan Nicholas762466e2017-06-29 10:03:38 -0400146 virtual void writeBinaryExpression(const BinaryExpression& b, Precedence parentPrecedence);
John Stiles933043b2021-03-31 15:23:16 -0400147
Adrienne Walkerc02165f2018-08-21 11:08:11 -0700148 void writeShortCircuitWorkaroundExpression(const BinaryExpression& b,
149 Precedence parentPrecedence);
ethannicholasf789b382016-08-03 12:43:36 -0700150
John Stiles95680232021-04-22 15:05:20 -0400151 virtual void writeTernaryExpression(const TernaryExpression& t, Precedence parentPrecedence);
ethannicholasf789b382016-08-03 12:43:36 -0700152
Ethan Nicholas762466e2017-06-29 10:03:38 -0400153 virtual void writeIndexExpression(const IndexExpression& expr);
ethannicholasf789b382016-08-03 12:43:36 -0700154
155 void writePrefixExpression(const PrefixExpression& p, Precedence parentPrecedence);
156
157 void writePostfixExpression(const PostfixExpression& p, Precedence parentPrecedence);
158
159 void writeBoolLiteral(const BoolLiteral& b);
160
Ethan Nicholasdcba08e2017-08-02 10:52:54 -0400161 virtual void writeIntLiteral(const IntLiteral& i);
ethannicholasf789b382016-08-03 12:43:36 -0700162
163 void writeFloatLiteral(const FloatLiteral& f);
164
Ethan Nicholas762466e2017-06-29 10:03:38 -0400165 virtual void writeSetting(const Setting& s);
166
ethannicholasf789b382016-08-03 12:43:36 -0700167 void writeStatement(const Statement& s);
168
169 void writeBlock(const Block& b);
170
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400171 virtual void writeIfStatement(const IfStatement& stmt);
ethannicholasf789b382016-08-03 12:43:36 -0700172
173 void writeForStatement(const ForStatement& f);
174
ethannicholasf789b382016-08-03 12:43:36 -0700175 void writeDoStatement(const DoStatement& d);
176
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400177 virtual void writeSwitchStatement(const SwitchStatement& s);
Ethan Nicholasaf197692017-02-27 13:26:45 -0500178
Ethan Nicholasf1b14642018-08-09 16:18:07 -0400179 virtual void writeReturnStatement(const ReturnStatement& r);
ethannicholasf789b382016-08-03 12:43:36 -0700180
Ethan Nicholas762466e2017-06-29 10:03:38 -0400181 virtual void writeProgramElement(const ProgramElement& e);
182
John Stilesc1a98b82021-02-24 13:35:02 -0500183 const ShaderCapsClass& caps() const { return fContext.fCaps; }
184
Ethan Nicholas762466e2017-06-29 10:03:38 -0400185 const char* fLineEnding;
ethannicholasf789b382016-08-03 12:43:36 -0700186 const Context& fContext;
Ethan Nicholas88f6d372018-07-27 10:03:46 -0400187 StringStream fExtensions;
188 StringStream fGlobals;
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500189 StringStream fExtraFunctions;
Ethan Nicholas0df1b042017-03-31 13:56:23 -0400190 String fFunctionHeader;
ethannicholasddb37d62016-10-20 09:54:00 -0700191 int fVarCount = 0;
192 int fIndentation = 0;
193 bool fAtLineStart = false;
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500194 std::set<String> fWrittenIntrinsics;
ethannicholasddb37d62016-10-20 09:54:00 -0700195 // true if we have run into usages of dFdx / dFdy
196 bool fFoundDerivatives = false;
Brian Osman4b2f9152018-04-17 11:19:57 -0400197 bool fFoundExternalSamplerDecl = false;
Brian Salomon67529b22019-08-13 15:31:04 -0400198 bool fFoundRectSamplerDecl = false;
Chris Daltonf1b47bb2017-10-06 11:57:51 -0600199 bool fFoundGSInvocations = false;
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500200 bool fSetupFragPositionGlobal = false;
201 bool fSetupFragPositionLocal = false;
Brian Salomondba65f92018-01-22 08:43:38 -0500202 bool fSetupFragCoordWorkaround = false;
Ethan Nicholas13863662019-07-29 13:05:15 -0400203 // if non-empty, replace all texture / texture2D / textureProj / etc. calls with this name
204 String fTextureFunctionOverride;
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500205
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400206 // We map function names to function class so we can quickly deal with function calls that need
207 // extra processing
208 enum class FunctionClass {
Adrienne Walker92b161f2018-08-22 10:41:52 -0700209 kAbs,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400210 kAtan,
211 kDeterminant,
Chris Daltonb8af5ad2019-02-25 14:54:21 -0700212 kDFdx,
213 kDFdy,
214 kFwidth,
Chris Daltona7086182018-11-16 09:33:43 -0500215 kFMA,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400216 kFract,
217 kInverse,
218 kInverseSqrt,
219 kMin,
Adrienne Walker2f4c09b2018-08-22 16:04:57 -0700220 kPow,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400221 kSaturate,
222 kTexture,
Ethan Nicholas5a9a9b82019-09-20 12:59:22 -0400223 kTranspose
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400224 };
225 static std::unordered_map<StringFragment, FunctionClass>* fFunctionClasses;
226
John Stiles7571f9e2020-09-02 22:42:33 -0400227 using INHERITED = CodeGenerator;
ethannicholasf789b382016-08-03 12:43:36 -0700228};
229
John Stilesa6841be2020-08-06 14:11:56 -0400230} // namespace SkSL
ethannicholasf789b382016-08-03 12:43:36 -0700231
232#endif