blob: 4ce2a4dfb55508dacc81e35a9a82e783a2695ab2 [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
ethannicholasf789b382016-08-03 12:43:36 -070067 void write(const char* s);
68
69 void writeLine();
70
71 void writeLine(const char* s);
72
Ethan Nicholas0df1b042017-03-31 13:56:23 -040073 void write(const String& s);
ethannicholasf789b382016-08-03 12:43:36 -070074
Ethan Nicholas5b5f0962017-09-11 13:50:14 -070075 void write(StringFragment s);
76
Ethan Nicholas0df1b042017-03-31 13:56:23 -040077 void writeLine(const String& s);
ethannicholasf789b382016-08-03 12:43:36 -070078
John Stilese8b5a732021-03-12 13:25:52 -050079 void finishLine();
80
Ethan Nicholas762466e2017-06-29 10:03:38 -040081 virtual void writeHeader();
82
Ethan Nicholasf7b88202017-09-18 14:10:39 -040083 virtual bool usesPrecisionModifiers() const;
Ethan Nicholas762466e2017-06-29 10:03:38 -040084
Ethan Nicholasf7b88202017-09-18 14:10:39 -040085 virtual String getTypeName(const Type& type);
86
Brian Osman02bc5222021-01-28 11:00:20 -050087 void writeStructDefinition(const StructDefinition& s);
John Stilesdc75a972020-11-25 16:24:55 -050088
Ethan Nicholasf7b88202017-09-18 14:10:39 -040089 void writeType(const Type& type);
ethannicholasf789b382016-08-03 12:43:36 -070090
Ethan Nicholas88f6d372018-07-27 10:03:46 -040091 void writeExtension(const String& name);
92
93 void writeExtension(const String& name, bool require);
ethannicholasf789b382016-08-03 12:43:36 -070094
95 void writeInterfaceBlock(const InterfaceBlock& intf);
96
97 void writeFunctionStart(const FunctionDeclaration& f);
Ethan Nicholas0df1b042017-03-31 13:56:23 -040098
ethannicholasf789b382016-08-03 12:43:36 -070099 void writeFunctionDeclaration(const FunctionDeclaration& f);
100
John Stiles569249b2020-11-03 12:18:22 -0500101 void writeFunctionPrototype(const FunctionPrototype& f);
102
Ethan Nicholas762466e2017-06-29 10:03:38 -0400103 virtual void writeFunction(const FunctionDefinition& f);
ethannicholasf789b382016-08-03 12:43:36 -0700104
105 void writeLayout(const Layout& layout);
106
ethannicholas5961bc92016-10-12 06:39:56 -0700107 void writeModifiers(const Modifiers& modifiers, bool globalContext);
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500108
Ethan Nicholascd700e92018-08-24 16:43:57 -0400109 virtual void writeInputVars();
Ethan Nicholas82a62d22017-11-07 14:42:10 +0000110
Ethan Nicholas762466e2017-06-29 10:03:38 -0400111 virtual void writeVarInitializer(const Variable& var, const Expression& value);
112
Ethan Nicholasf7b88202017-09-18 14:10:39 -0400113 const char* getTypePrecision(const Type& type);
114
Ethan Nicholasdcba08e2017-08-02 10:52:54 -0400115 void writeTypePrecision(const Type& type);
116
Brian Osmanc0213602020-10-06 14:43:32 -0400117 void writeVarDeclaration(const VarDeclaration& var, bool global);
ethannicholasf789b382016-08-03 12:43:36 -0700118
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500119 void writeFragCoord();
120
Ethan Nicholas762466e2017-06-29 10:03:38 -0400121 virtual void writeVariableReference(const VariableReference& ref);
ethannicholasf789b382016-08-03 12:43:36 -0700122
123 void writeExpression(const Expression& expr, Precedence parentPrecedence);
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500124
ethannicholasf789b382016-08-03 12:43:36 -0700125 void writeIntrinsicCall(const FunctionCall& c);
126
ethannicholas5961bc92016-10-12 06:39:56 -0700127 void writeMinAbsHack(Expression& absExpr, Expression& otherExpr);
128
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500129 void writeDeterminantHack(const Expression& mat);
130
131 void writeInverseHack(const Expression& mat);
132
133 void writeTransposeHack(const Expression& mat);
134
135 void writeInverseSqrtHack(const Expression& x);
136
John Stilesf061c592021-05-21 23:34:42 -0400137 void writeMatrixComparisonWorkaround(const BinaryExpression& x);
138
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400139 virtual void writeFunctionCall(const FunctionCall& c);
ethannicholasf789b382016-08-03 12:43:36 -0700140
John Stiles3c74a532021-05-18 17:31:48 -0400141 void writeConstructorDiagonalMatrix(const ConstructorDiagonalMatrix& c,
142 Precedence parentPrecedence);
143
John Stiles95680232021-04-22 15:05:20 -0400144 virtual void writeAnyConstructor(const AnyConstructor& c, Precedence parentPrecedence);
John Stiles626b62e2021-03-31 22:06:07 -0400145
John Stiles95680232021-04-22 15:05:20 -0400146 virtual void writeCastConstructor(const AnyConstructor& c, Precedence parentPrecedence);
John Stilesb14a8192021-04-05 11:40:46 -0400147
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400148 virtual void writeFieldAccess(const FieldAccess& f);
ethannicholasf789b382016-08-03 12:43:36 -0700149
Ethan Nicholas82399462017-10-16 12:35:44 -0400150 virtual void writeSwizzle(const Swizzle& swizzle);
ethannicholasf789b382016-08-03 12:43:36 -0700151
Ethan Nicholas762466e2017-06-29 10:03:38 -0400152 virtual void writeBinaryExpression(const BinaryExpression& b, Precedence parentPrecedence);
John Stiles933043b2021-03-31 15:23:16 -0400153
Adrienne Walkerc02165f2018-08-21 11:08:11 -0700154 void writeShortCircuitWorkaroundExpression(const BinaryExpression& b,
155 Precedence parentPrecedence);
ethannicholasf789b382016-08-03 12:43:36 -0700156
John Stiles95680232021-04-22 15:05:20 -0400157 virtual void writeTernaryExpression(const TernaryExpression& t, Precedence parentPrecedence);
ethannicholasf789b382016-08-03 12:43:36 -0700158
Ethan Nicholas762466e2017-06-29 10:03:38 -0400159 virtual void writeIndexExpression(const IndexExpression& expr);
ethannicholasf789b382016-08-03 12:43:36 -0700160
161 void writePrefixExpression(const PrefixExpression& p, Precedence parentPrecedence);
162
163 void writePostfixExpression(const PostfixExpression& p, Precedence parentPrecedence);
164
165 void writeBoolLiteral(const BoolLiteral& b);
166
Ethan Nicholasdcba08e2017-08-02 10:52:54 -0400167 virtual void writeIntLiteral(const IntLiteral& i);
ethannicholasf789b382016-08-03 12:43:36 -0700168
John Stiles08c66082021-04-23 18:09:42 -0400169 virtual void writeFloatLiteral(const FloatLiteral& f);
ethannicholasf789b382016-08-03 12:43:36 -0700170
Ethan Nicholas762466e2017-06-29 10:03:38 -0400171 virtual void writeSetting(const Setting& s);
172
ethannicholasf789b382016-08-03 12:43:36 -0700173 void writeStatement(const Statement& s);
174
175 void writeBlock(const Block& b);
176
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400177 virtual void writeIfStatement(const IfStatement& stmt);
ethannicholasf789b382016-08-03 12:43:36 -0700178
179 void writeForStatement(const ForStatement& f);
180
ethannicholasf789b382016-08-03 12:43:36 -0700181 void writeDoStatement(const DoStatement& d);
182
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400183 virtual void writeSwitchStatement(const SwitchStatement& s);
Ethan Nicholasaf197692017-02-27 13:26:45 -0500184
Ethan Nicholasf1b14642018-08-09 16:18:07 -0400185 virtual void writeReturnStatement(const ReturnStatement& r);
ethannicholasf789b382016-08-03 12:43:36 -0700186
Ethan Nicholas762466e2017-06-29 10:03:38 -0400187 virtual void writeProgramElement(const ProgramElement& e);
188
John Stilesc1a98b82021-02-24 13:35:02 -0500189 const ShaderCapsClass& caps() const { return fContext.fCaps; }
190
Ethan Nicholas762466e2017-06-29 10:03:38 -0400191 const char* fLineEnding;
ethannicholasf789b382016-08-03 12:43:36 -0700192 const Context& fContext;
Ethan Nicholas88f6d372018-07-27 10:03:46 -0400193 StringStream fExtensions;
194 StringStream fGlobals;
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500195 StringStream fExtraFunctions;
Ethan Nicholas0df1b042017-03-31 13:56:23 -0400196 String fFunctionHeader;
ethannicholasddb37d62016-10-20 09:54:00 -0700197 int fVarCount = 0;
198 int fIndentation = 0;
199 bool fAtLineStart = false;
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500200 std::set<String> fWrittenIntrinsics;
ethannicholasddb37d62016-10-20 09:54:00 -0700201 // true if we have run into usages of dFdx / dFdy
202 bool fFoundDerivatives = false;
Brian Osman4b2f9152018-04-17 11:19:57 -0400203 bool fFoundExternalSamplerDecl = false;
Brian Salomon67529b22019-08-13 15:31:04 -0400204 bool fFoundRectSamplerDecl = false;
Chris Daltonf1b47bb2017-10-06 11:57:51 -0600205 bool fFoundGSInvocations = false;
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500206 bool fSetupFragPositionGlobal = false;
207 bool fSetupFragPositionLocal = false;
Brian Salomondba65f92018-01-22 08:43:38 -0500208 bool fSetupFragCoordWorkaround = false;
Ethan Nicholas13863662019-07-29 13:05:15 -0400209 // if non-empty, replace all texture / texture2D / textureProj / etc. calls with this name
210 String fTextureFunctionOverride;
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500211
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400212 // We map function names to function class so we can quickly deal with function calls that need
213 // extra processing
214 enum class FunctionClass {
Adrienne Walker92b161f2018-08-22 10:41:52 -0700215 kAbs,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400216 kAtan,
217 kDeterminant,
Chris Daltonb8af5ad2019-02-25 14:54:21 -0700218 kDFdx,
219 kDFdy,
220 kFwidth,
Chris Daltona7086182018-11-16 09:33:43 -0500221 kFMA,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400222 kFract,
223 kInverse,
224 kInverseSqrt,
225 kMin,
Adrienne Walker2f4c09b2018-08-22 16:04:57 -0700226 kPow,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400227 kSaturate,
228 kTexture,
Ethan Nicholas5a9a9b82019-09-20 12:59:22 -0400229 kTranspose
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400230 };
231 static std::unordered_map<StringFragment, FunctionClass>* fFunctionClasses;
232
John Stiles7571f9e2020-09-02 22:42:33 -0400233 using INHERITED = CodeGenerator;
ethannicholasf789b382016-08-03 12:43:36 -0700234};
235
John Stilesa6841be2020-08-06 14:11:56 -0400236} // namespace SkSL
ethannicholasf789b382016-08-03 12:43:36 -0700237
238#endif