blob: 7e223d1e949b5bc3cbba8773d0a708d33f5a814e [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
Ethan Nicholasceb4d482017-07-10 15:40:20 -0400137 virtual void writeFunctionCall(const FunctionCall& c);
ethannicholasf789b382016-08-03 12:43:36 -0700138
John Stiles3c74a532021-05-18 17:31:48 -0400139 void writeConstructorDiagonalMatrix(const ConstructorDiagonalMatrix& c,
140 Precedence parentPrecedence);
141
John Stiles95680232021-04-22 15:05:20 -0400142 virtual void writeAnyConstructor(const AnyConstructor& c, Precedence parentPrecedence);
John Stiles626b62e2021-03-31 22:06:07 -0400143
John Stiles95680232021-04-22 15:05:20 -0400144 virtual void writeCastConstructor(const AnyConstructor& c, Precedence parentPrecedence);
John Stilesb14a8192021-04-05 11:40:46 -0400145
Michael Ludwig9094f2c2018-09-07 13:44:21 -0400146 virtual void writeFieldAccess(const FieldAccess& f);
ethannicholasf789b382016-08-03 12:43:36 -0700147
Ethan Nicholas82399462017-10-16 12:35:44 -0400148 virtual void writeSwizzle(const Swizzle& swizzle);
ethannicholasf789b382016-08-03 12:43:36 -0700149
Ethan Nicholas762466e2017-06-29 10:03:38 -0400150 virtual void writeBinaryExpression(const BinaryExpression& b, Precedence parentPrecedence);
John Stiles933043b2021-03-31 15:23:16 -0400151
Adrienne Walkerc02165f2018-08-21 11:08:11 -0700152 void writeShortCircuitWorkaroundExpression(const BinaryExpression& b,
153 Precedence parentPrecedence);
ethannicholasf789b382016-08-03 12:43:36 -0700154
John Stiles95680232021-04-22 15:05:20 -0400155 virtual void writeTernaryExpression(const TernaryExpression& t, Precedence parentPrecedence);
ethannicholasf789b382016-08-03 12:43:36 -0700156
Ethan Nicholas762466e2017-06-29 10:03:38 -0400157 virtual void writeIndexExpression(const IndexExpression& expr);
ethannicholasf789b382016-08-03 12:43:36 -0700158
159 void writePrefixExpression(const PrefixExpression& p, Precedence parentPrecedence);
160
161 void writePostfixExpression(const PostfixExpression& p, Precedence parentPrecedence);
162
163 void writeBoolLiteral(const BoolLiteral& b);
164
Ethan Nicholasdcba08e2017-08-02 10:52:54 -0400165 virtual void writeIntLiteral(const IntLiteral& i);
ethannicholasf789b382016-08-03 12:43:36 -0700166
John Stiles08c66082021-04-23 18:09:42 -0400167 virtual void writeFloatLiteral(const FloatLiteral& f);
ethannicholasf789b382016-08-03 12:43:36 -0700168
Ethan Nicholas762466e2017-06-29 10:03:38 -0400169 virtual void writeSetting(const Setting& s);
170
ethannicholasf789b382016-08-03 12:43:36 -0700171 void writeStatement(const Statement& s);
172
173 void writeBlock(const Block& b);
174
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400175 virtual void writeIfStatement(const IfStatement& stmt);
ethannicholasf789b382016-08-03 12:43:36 -0700176
177 void writeForStatement(const ForStatement& f);
178
ethannicholasf789b382016-08-03 12:43:36 -0700179 void writeDoStatement(const DoStatement& d);
180
Ethan Nicholas6e1cbc02017-07-14 10:12:15 -0400181 virtual void writeSwitchStatement(const SwitchStatement& s);
Ethan Nicholasaf197692017-02-27 13:26:45 -0500182
Ethan Nicholasf1b14642018-08-09 16:18:07 -0400183 virtual void writeReturnStatement(const ReturnStatement& r);
ethannicholasf789b382016-08-03 12:43:36 -0700184
Ethan Nicholas762466e2017-06-29 10:03:38 -0400185 virtual void writeProgramElement(const ProgramElement& e);
186
John Stilesc1a98b82021-02-24 13:35:02 -0500187 const ShaderCapsClass& caps() const { return fContext.fCaps; }
188
Ethan Nicholas762466e2017-06-29 10:03:38 -0400189 const char* fLineEnding;
ethannicholasf789b382016-08-03 12:43:36 -0700190 const Context& fContext;
Ethan Nicholas88f6d372018-07-27 10:03:46 -0400191 StringStream fExtensions;
192 StringStream fGlobals;
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500193 StringStream fExtraFunctions;
Ethan Nicholas0df1b042017-03-31 13:56:23 -0400194 String fFunctionHeader;
ethannicholasddb37d62016-10-20 09:54:00 -0700195 int fVarCount = 0;
196 int fIndentation = 0;
197 bool fAtLineStart = false;
Ethan Nicholas6e6525c2018-01-03 17:03:56 -0500198 std::set<String> fWrittenIntrinsics;
ethannicholasddb37d62016-10-20 09:54:00 -0700199 // true if we have run into usages of dFdx / dFdy
200 bool fFoundDerivatives = false;
Brian Osman4b2f9152018-04-17 11:19:57 -0400201 bool fFoundExternalSamplerDecl = false;
Brian Salomon67529b22019-08-13 15:31:04 -0400202 bool fFoundRectSamplerDecl = false;
Chris Daltonf1b47bb2017-10-06 11:57:51 -0600203 bool fFoundGSInvocations = false;
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500204 bool fSetupFragPositionGlobal = false;
205 bool fSetupFragPositionLocal = false;
Brian Salomondba65f92018-01-22 08:43:38 -0500206 bool fSetupFragCoordWorkaround = false;
Ethan Nicholas13863662019-07-29 13:05:15 -0400207 // if non-empty, replace all texture / texture2D / textureProj / etc. calls with this name
208 String fTextureFunctionOverride;
Ethan Nicholas941e7e22016-12-12 15:33:30 -0500209
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400210 // We map function names to function class so we can quickly deal with function calls that need
211 // extra processing
212 enum class FunctionClass {
Adrienne Walker92b161f2018-08-22 10:41:52 -0700213 kAbs,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400214 kAtan,
215 kDeterminant,
Chris Daltonb8af5ad2019-02-25 14:54:21 -0700216 kDFdx,
217 kDFdy,
218 kFwidth,
Chris Daltona7086182018-11-16 09:33:43 -0500219 kFMA,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400220 kFract,
221 kInverse,
222 kInverseSqrt,
223 kMin,
Adrienne Walker2f4c09b2018-08-22 16:04:57 -0700224 kPow,
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400225 kSaturate,
226 kTexture,
Ethan Nicholas5a9a9b82019-09-20 12:59:22 -0400227 kTranspose
Ethan Nicholas12fb9cf2018-08-03 16:16:57 -0400228 };
229 static std::unordered_map<StringFragment, FunctionClass>* fFunctionClasses;
230
John Stiles7571f9e2020-09-02 22:42:33 -0400231 using INHERITED = CodeGenerator;
ethannicholasf789b382016-08-03 12:43:36 -0700232};
233
John Stilesa6841be2020-08-06 14:11:56 -0400234} // namespace SkSL
ethannicholasf789b382016-08-03 12:43:36 -0700235
236#endif