blob: 9340620594d21fb57016e37b927121534036f03f [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 Stiles3c74a532021-05-18 17:31:48 -040024#include "src/sksl/ir/SkSLConstructorDiagonalMatrix.h"
John Stilesfd7252f2021-04-04 22:24:40 -040025#include "src/sksl/ir/SkSLConstructorScalarCast.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050026#include "src/sksl/ir/SkSLDoStatement.h"
27#include "src/sksl/ir/SkSLExtension.h"
28#include "src/sksl/ir/SkSLFieldAccess.h"
29#include "src/sksl/ir/SkSLFloatLiteral.h"
30#include "src/sksl/ir/SkSLForStatement.h"
31#include "src/sksl/ir/SkSLFunctionCall.h"
32#include "src/sksl/ir/SkSLFunctionDeclaration.h"
33#include "src/sksl/ir/SkSLFunctionDefinition.h"
John Stiles569249b2020-11-03 12:18:22 -050034#include "src/sksl/ir/SkSLFunctionPrototype.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050035#include "src/sksl/ir/SkSLIfStatement.h"
36#include "src/sksl/ir/SkSLIndexExpression.h"
37#include "src/sksl/ir/SkSLIntLiteral.h"
38#include "src/sksl/ir/SkSLInterfaceBlock.h"
39#include "src/sksl/ir/SkSLPostfixExpression.h"
40#include "src/sksl/ir/SkSLPrefixExpression.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050041#include "src/sksl/ir/SkSLReturnStatement.h"
42#include "src/sksl/ir/SkSLSetting.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050043#include "src/sksl/ir/SkSLSwitchStatement.h"
44#include "src/sksl/ir/SkSLSwizzle.h"
45#include "src/sksl/ir/SkSLTernaryExpression.h"
46#include "src/sksl/ir/SkSLVarDeclarations.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050047#include "src/sksl/ir/SkSLVariableReference.h"
ethannicholasf789b382016-08-03 12:43:36 -070048
49namespace SkSL {
50
ethannicholasf789b382016-08-03 12:43:36 -070051/**
52 * Converts a Program into GLSL code.
53 */
54class GLSLCodeGenerator : public CodeGenerator {
55public:
Ethan Nicholas941e7e22016-12-12 15:33:30 -050056 GLSLCodeGenerator(const Context* context, const Program* program, ErrorReporter* errors,
Ethan Nicholas0df1b042017-03-31 13:56:23 -040057 OutputStream* out)
Ethan Nicholas941e7e22016-12-12 15:33:30 -050058 : INHERITED(program, errors, out)
Ethan Nicholas762466e2017-06-29 10:03:38 -040059 , fLineEnding("\n")
John Stiles270cec22021-02-17 12:59:36 -050060 , fContext(*context) {}
ethannicholasf789b382016-08-03 12:43:36 -070061
Ethan Nicholas762466e2017-06-29 10:03:38 -040062 bool generateCode() override;
ethannicholasf789b382016-08-03 12:43:36 -070063
Ethan Nicholas762466e2017-06-29 10:03:38 -040064protected:
John Stiles45990502021-02-16 10:55:27 -050065 using Precedence = Operator::Precedence;
Brian Osman00185012021-02-04 16:07:11 -050066
Ethan Nicholas962dec42021-06-10 13:06:39 -040067 void write(skstd::string_view s);
Ethan Nicholas5b5f0962017-09-11 13:50:14 -070068
Ethan Nicholas962dec42021-06-10 13:06:39 -040069 void writeLine(skstd::string_view s = skstd::string_view());
ethannicholasf789b382016-08-03 12:43:36 -070070
John Stilese8b5a732021-03-12 13:25:52 -050071 void finishLine();
72
Ethan Nicholas762466e2017-06-29 10:03:38 -040073 virtual void writeHeader();
74
Ethan Nicholasf7b88202017-09-18 14:10:39 -040075 virtual bool usesPrecisionModifiers() const;
Ethan Nicholas762466e2017-06-29 10:03:38 -040076
Ethan Nicholasf7b88202017-09-18 14:10:39 -040077 virtual String getTypeName(const Type& type);
78
Brian Osman02bc5222021-01-28 11:00:20 -050079 void writeStructDefinition(const StructDefinition& s);
John Stilesdc75a972020-11-25 16:24:55 -050080
Ethan Nicholasf7b88202017-09-18 14:10:39 -040081 void writeType(const Type& type);
ethannicholasf789b382016-08-03 12:43:36 -070082
Ethan Nicholas962dec42021-06-10 13:06:39 -040083 void writeExtension(skstd::string_view name, bool require = true);
ethannicholasf789b382016-08-03 12:43:36 -070084
85 void writeInterfaceBlock(const InterfaceBlock& intf);
86
87 void writeFunctionStart(const FunctionDeclaration& f);
Ethan Nicholas0df1b042017-03-31 13:56:23 -040088
ethannicholasf789b382016-08-03 12:43:36 -070089 void writeFunctionDeclaration(const FunctionDeclaration& f);
90
John Stiles569249b2020-11-03 12:18:22 -050091 void writeFunctionPrototype(const FunctionPrototype& f);
92
Ethan Nicholas762466e2017-06-29 10:03:38 -040093 virtual void writeFunction(const FunctionDefinition& f);
ethannicholasf789b382016-08-03 12:43:36 -070094
95 void writeLayout(const Layout& layout);
96
ethannicholas5961bc92016-10-12 06:39:56 -070097 void writeModifiers(const Modifiers& modifiers, bool globalContext);
Ethan Nicholas941e7e22016-12-12 15:33:30 -050098
Ethan Nicholascd700e92018-08-24 16:43:57 -040099 virtual void writeInputVars();
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000100
Ethan Nicholas762466e2017-06-29 10:03:38 -0400101 virtual void writeVarInitializer(const Variable& var, const Expression& value);
102
Ethan Nicholasf7b88202017-09-18 14:10:39 -0400103 const char* getTypePrecision(const Type& type);
104
Ethan Nicholasdcba08e2017-08-02 10:52:54 -0400105 void writeTypePrecision(const Type& type);
106
Brian Osmanc0213602020-10-06 14:43:32 -0400107 void writeVarDeclaration(const VarDeclaration& var, bool global);
ethannicholasf789b382016-08-03 12:43:36 -0700108
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500109 void writeFragCoord();
110
Ethan Nicholas762466e2017-06-29 10:03:38 -0400111 virtual void writeVariableReference(const VariableReference& ref);
ethannicholasf789b382016-08-03 12:43:36 -0700112
113 void writeExpression(const Expression& expr, Precedence parentPrecedence);
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500114
ethannicholasf789b382016-08-03 12:43:36 -0700115 void writeIntrinsicCall(const FunctionCall& c);
116
ethannicholas5961bc92016-10-12 06:39:56 -0700117 void writeMinAbsHack(Expression& absExpr, Expression& otherExpr);
118
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500119 void writeDeterminantHack(const Expression& mat);
120
121 void writeInverseHack(const Expression& mat);
122
123 void writeTransposeHack(const Expression& mat);
124
125 void writeInverseSqrtHack(const Expression& x);
126
John Stilesf061c592021-05-21 23:34:42 -0400127 void writeMatrixComparisonWorkaround(const BinaryExpression& x);
128
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400129 virtual void writeFunctionCall(const FunctionCall& c);
ethannicholasf789b382016-08-03 12:43:36 -0700130
John Stiles3c74a532021-05-18 17:31:48 -0400131 void writeConstructorDiagonalMatrix(const ConstructorDiagonalMatrix& c,
132 Precedence parentPrecedence);
133
John Stiles95680232021-04-22 15:05:20 -0400134 virtual void writeAnyConstructor(const AnyConstructor& c, Precedence parentPrecedence);
John Stiles626b62e2021-03-31 22:06:07 -0400135
John Stiles95680232021-04-22 15:05:20 -0400136 virtual void writeCastConstructor(const AnyConstructor& c, Precedence parentPrecedence);
John Stilesb14a8192021-04-05 11:40:46 -0400137
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400138 virtual void writeFieldAccess(const FieldAccess& f);
ethannicholasf789b382016-08-03 12:43:36 -0700139
Ethan Nicholas82399462017-10-16 12:35:44 -0400140 virtual void writeSwizzle(const Swizzle& swizzle);
ethannicholasf789b382016-08-03 12:43:36 -0700141
Ethan Nicholas762466e2017-06-29 10:03:38 -0400142 virtual void writeBinaryExpression(const BinaryExpression& b, Precedence parentPrecedence);
John Stiles933043b2021-03-31 15:23:16 -0400143
Adrienne Walkerc02165f2018-08-21 11:08:11 -0700144 void writeShortCircuitWorkaroundExpression(const BinaryExpression& b,
145 Precedence parentPrecedence);
ethannicholasf789b382016-08-03 12:43:36 -0700146
John Stiles95680232021-04-22 15:05:20 -0400147 virtual void writeTernaryExpression(const TernaryExpression& t, Precedence parentPrecedence);
ethannicholasf789b382016-08-03 12:43:36 -0700148
Ethan Nicholas762466e2017-06-29 10:03:38 -0400149 virtual void writeIndexExpression(const IndexExpression& expr);
ethannicholasf789b382016-08-03 12:43:36 -0700150
151 void writePrefixExpression(const PrefixExpression& p, Precedence parentPrecedence);
152
153 void writePostfixExpression(const PostfixExpression& p, Precedence parentPrecedence);
154
155 void writeBoolLiteral(const BoolLiteral& b);
156
Ethan Nicholasdcba08e2017-08-02 10:52:54 -0400157 virtual void writeIntLiteral(const IntLiteral& i);
ethannicholasf789b382016-08-03 12:43:36 -0700158
John Stiles08c66082021-04-23 18:09:42 -0400159 virtual void writeFloatLiteral(const FloatLiteral& f);
ethannicholasf789b382016-08-03 12:43:36 -0700160
Ethan Nicholas762466e2017-06-29 10:03:38 -0400161 virtual void writeSetting(const Setting& s);
162
ethannicholasf789b382016-08-03 12:43:36 -0700163 void writeStatement(const Statement& s);
164
165 void writeBlock(const Block& b);
166
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400167 virtual void writeIfStatement(const IfStatement& stmt);
ethannicholasf789b382016-08-03 12:43:36 -0700168
169 void writeForStatement(const ForStatement& f);
170
ethannicholasf789b382016-08-03 12:43:36 -0700171 void writeDoStatement(const DoStatement& d);
172
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400173 virtual void writeSwitchStatement(const SwitchStatement& s);
Ethan Nicholasaf197692017-02-27 13:26:45 -0500174
Ethan Nicholasf1b14642018-08-09 16:18:07 -0400175 virtual void writeReturnStatement(const ReturnStatement& r);
ethannicholasf789b382016-08-03 12:43:36 -0700176
Ethan Nicholas762466e2017-06-29 10:03:38 -0400177 virtual void writeProgramElement(const ProgramElement& e);
178
John Stilesc1a98b82021-02-24 13:35:02 -0500179 const ShaderCapsClass& caps() const { return fContext.fCaps; }
180
Ethan Nicholas762466e2017-06-29 10:03:38 -0400181 const char* fLineEnding;
ethannicholasf789b382016-08-03 12:43:36 -0700182 const Context& fContext;
Ethan Nicholas88f6d372018-07-27 10:03:46 -0400183 StringStream fExtensions;
184 StringStream fGlobals;
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500185 StringStream fExtraFunctions;
Ethan Nicholas0df1b042017-03-31 13:56:23 -0400186 String fFunctionHeader;
ethannicholasddb37d62016-10-20 09:54:00 -0700187 int fVarCount = 0;
188 int fIndentation = 0;
189 bool fAtLineStart = false;
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500190 std::set<String> fWrittenIntrinsics;
ethannicholasddb37d62016-10-20 09:54:00 -0700191 // true if we have run into usages of dFdx / dFdy
192 bool fFoundDerivatives = false;
Brian Osman4b2f9152018-04-17 11:19:57 -0400193 bool fFoundExternalSamplerDecl = false;
Brian Salomon67529b22019-08-13 15:31:04 -0400194 bool fFoundRectSamplerDecl = false;
Chris Daltonf1b47bb2017-10-06 11:57:51 -0600195 bool fFoundGSInvocations = false;
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500196 bool fSetupFragPositionGlobal = false;
197 bool fSetupFragPositionLocal = false;
Brian Salomondba65f92018-01-22 08:43:38 -0500198 bool fSetupFragCoordWorkaround = false;
Ethan Nicholas13863662019-07-29 13:05:15 -0400199 // if non-empty, replace all texture / texture2D / textureProj / etc. calls with this name
200 String fTextureFunctionOverride;
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500201
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400202 // We map function names to function class so we can quickly deal with function calls that need
203 // extra processing
204 enum class FunctionClass {
Adrienne Walker92b161f2018-08-22 10:41:52 -0700205 kAbs,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400206 kAtan,
207 kDeterminant,
Chris Daltonb8af5ad2019-02-25 14:54:21 -0700208 kDFdx,
209 kDFdy,
210 kFwidth,
Chris Daltona7086182018-11-16 09:33:43 -0500211 kFMA,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400212 kFract,
213 kInverse,
214 kInverseSqrt,
215 kMin,
Adrienne Walker2f4c09b2018-08-22 16:04:57 -0700216 kPow,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400217 kSaturate,
218 kTexture,
Ethan Nicholas5a9a9b82019-09-20 12:59:22 -0400219 kTranspose
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400220 };
Ethan Nicholas962dec42021-06-10 13:06:39 -0400221 static std::unordered_map<skstd::string_view, FunctionClass>* fFunctionClasses;
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400222
John Stiles7571f9e2020-09-02 22:42:33 -0400223 using INHERITED = CodeGenerator;
ethannicholasf789b382016-08-03 12:43:36 -0700224};
225
John Stilesa6841be2020-08-06 14:11:56 -0400226} // namespace SkSL
ethannicholasf789b382016-08-03 12:43:36 -0700227
228#endif