blob: d7556b82ec039895b93f5bd14f206fcea3b9ceef [file] [log] [blame]
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +00001//
Nicolas Capensb1f45b72013-12-19 17:37:19 -05002// Copyright (c) 2002-2014 The ANGLE Project Authors. All rights reserved.
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +00003// Use of this source code is governed by a BSD-style license that can be
4// found in the LICENSE file.
5//
6
7#ifndef COMPILER_OUTPUTHLSL_H_
8#define COMPILER_OUTPUTHLSL_H_
9
alokp@chromium.org4e89d232010-05-14 19:37:21 +000010#include <list>
11#include <set>
daniel@transgaming.com652468c2012-12-20 21:11:57 +000012#include <map>
13
14#define GL_APICALL
shannon.woods%transgaming.com@gtempaccount.comf26ddae2013-04-13 03:29:13 +000015#include <GLES3/gl3.h>
daniel@transgaming.com652468c2012-12-20 21:11:57 +000016#include <GLES2/gl2.h>
alokp@chromium.org4e89d232010-05-14 19:37:21 +000017
Geoff Lang17732822013-08-29 13:46:49 -040018#include "compiler/translator/intermediate.h"
Jamie Madill6b9cb252013-10-17 10:45:47 -040019#include "compiler/translator/ParseContext.h"
Geoff Lang17732822013-08-29 13:46:49 -040020#include "compiler/translator/ShaderVariable.h"
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000021
22namespace sh
23{
daniel@transgaming.comf8f8f362012-04-28 00:35:00 +000024class UnfoldShortCircuit;
daniel@transgaming.comb5875982010-04-15 20:44:53 +000025
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000026class OutputHLSL : public TIntermTraverser
27{
28 public:
shannon.woods%transgaming.com@gtempaccount.com18b4c4b2013-04-13 03:31:40 +000029 OutputHLSL(TParseContext &context, const ShBuiltInResources& resources, ShShaderOutput outputType);
daniel@transgaming.comb5875982010-04-15 20:44:53 +000030 ~OutputHLSL();
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000031
daniel@transgaming.com950f9932010-04-13 03:26:14 +000032 void output();
33
daniel@transgaming.comb5875982010-04-15 20:44:53 +000034 TInfoSinkBase &getBodyStream();
Jamie Madill9d2ffb12013-08-30 13:21:04 -040035 const std::vector<Uniform> &getUniforms();
shannonwoods@chromium.org4a643ae2013-05-30 00:12:27 +000036 const ActiveInterfaceBlocks &getInterfaceBlocks() const;
Jamie Madill9d2ffb12013-08-30 13:21:04 -040037 const std::vector<Attribute> &getOutputVariables() const;
38 const std::vector<Attribute> &getAttributes() const;
Jamie Madill47fdd132013-08-30 13:21:04 -040039 const std::vector<Varying> &getVaryings() const;
daniel@transgaming.comb5875982010-04-15 20:44:53 +000040
daniel@transgaming.coma2a95e72010-05-20 19:17:55 +000041 TString typeString(const TType &type);
shannon.woods@transgaming.comfb256be2013-01-25 21:49:25 +000042 TString textureString(const TType &type);
Nicolas Capenscb127d32013-07-15 17:26:18 -040043 TString samplerString(const TType &type);
shannon.woods%transgaming.com@gtempaccount.com1886fd42013-04-13 03:41:45 +000044 TString interpolationString(TQualifier qualifier);
Jamie Madill98493dd2013-07-08 14:39:03 -040045 TString structureString(const TStructure &structure, bool useHLSLRowMajorPacking, bool useStd140Packing);
46 TString structureTypeName(const TStructure &structure, bool useHLSLRowMajorPacking, bool useStd140Packing);
daniel@transgaming.comb5875982010-04-15 20:44:53 +000047 static TString qualifierString(TQualifier qualifier);
daniel@transgaming.comb5875982010-04-15 20:44:53 +000048 static TString arrayString(const TType &type);
49 static TString initializer(const TType &type);
daniel@transgaming.comc72c6412011-09-20 16:09:17 +000050 static TString decorate(const TString &string); // Prepends an underscore to avoid naming clashes
apatrick@chromium.org65756022012-01-17 21:45:38 +000051 static TString decorateUniform(const TString &string, const TType &type);
Jamie Madill98493dd2013-07-08 14:39:03 -040052 static TString decorateField(const TString &string, const TStructure &structure);
daniel@transgaming.comb5875982010-04-15 20:44:53 +000053
daniel@transgaming.com950f9932010-04-13 03:26:14 +000054 protected:
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000055 void header();
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000056
daniel@transgaming.com950f9932010-04-13 03:26:14 +000057 // Visit AST nodes and output their code to the body stream
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000058 void visitSymbol(TIntermSymbol*);
59 void visitConstantUnion(TIntermConstantUnion*);
60 bool visitBinary(Visit visit, TIntermBinary*);
61 bool visitUnary(Visit visit, TIntermUnary*);
62 bool visitSelection(Visit visit, TIntermSelection*);
63 bool visitAggregate(Visit visit, TIntermAggregate*);
64 bool visitLoop(Visit visit, TIntermLoop*);
65 bool visitBranch(Visit visit, TIntermBranch*);
66
daniel@transgaming.com44fffee2012-04-28 00:34:20 +000067 void traverseStatements(TIntermNode *node);
daniel@transgaming.comb5875982010-04-15 20:44:53 +000068 bool isSingleStatement(TIntermNode *node);
daniel@transgaming.com4a35ef22010-04-08 03:51:06 +000069 bool handleExcessiveLoop(TIntermLoop *node);
daniel@transgaming.com67de6d62010-04-29 03:35:30 +000070 void outputTriplet(Visit visit, const TString &preString, const TString &inString, const TString &postString);
apatrick@chromium.org0f4cefe2011-01-26 19:30:57 +000071 void outputLineDirective(int line);
daniel@transgaming.com005c7392010-04-15 20:45:27 +000072 TString argumentString(const TIntermSymbol *symbol);
daniel@transgaming.com0b6b8342010-04-26 15:33:45 +000073 int vectorSize(const TType &type) const;
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000074
daniel@transgaming.com67de6d62010-04-29 03:35:30 +000075 void addConstructor(const TType &type, const TString &name, const TIntermSequence *parameters);
daniel@transgaming.coma54da4e2010-05-07 13:03:28 +000076 const ConstantUnion *writeConstantUnion(const TType &type, const ConstantUnion *constUnion);
daniel@transgaming.com63691862010-04-29 03:32:42 +000077
daniel@transgaming.coma2a95e72010-05-20 19:17:55 +000078 TString scopeString(unsigned int depthLimit);
79 TString scopedStruct(const TString &typeName);
80 TString structLookup(const TString &typeName);
81
daniel@transgaming.com950f9932010-04-13 03:26:14 +000082 TParseContext &mContext;
shannon.woods@transgaming.comb73964e2013-01-25 21:49:14 +000083 const ShShaderOutput mOutputType;
daniel@transgaming.comf8f8f362012-04-28 00:35:00 +000084 UnfoldShortCircuit *mUnfoldShortCircuit;
daniel@transgaming.comf9ef1072010-04-22 13:35:16 +000085 bool mInsideFunction;
daniel@transgaming.com950f9932010-04-13 03:26:14 +000086
87 // Output streams
88 TInfoSinkBase mHeader;
89 TInfoSinkBase mBody;
90 TInfoSinkBase mFooter;
daniel@transgaming.comd91cfe72010-04-13 03:26:17 +000091
daniel@transgaming.com8803b852012-12-20 21:11:47 +000092 typedef std::map<TString, TIntermSymbol*> ReferencedSymbols;
93 ReferencedSymbols mReferencedUniforms;
shannonwoods@chromium.org4a643ae2013-05-30 00:12:27 +000094 ReferencedSymbols mReferencedInterfaceBlocks;
daniel@transgaming.com8803b852012-12-20 21:11:47 +000095 ReferencedSymbols mReferencedAttributes;
96 ReferencedSymbols mReferencedVaryings;
Jamie Madill46131a32013-06-20 11:55:50 -040097 ReferencedSymbols mReferencedOutputVariables;
daniel@transgaming.com86f7c9d2010-04-20 18:52:06 +000098
Nicolas Capense0ba27a2013-06-24 16:10:52 -040099 struct TextureFunction
100 {
Nicolas Capens75fb4752013-07-10 15:14:47 -0400101 enum Method
Nicolas Capense0ba27a2013-06-24 16:10:52 -0400102 {
Nicolas Capens75fb4752013-07-10 15:14:47 -0400103 IMPLICIT, // Mipmap LOD determined implicitly (standard lookup)
Nicolas Capense0ba27a2013-06-24 16:10:52 -0400104 BIAS,
105 LOD,
Nicolas Capens75fb4752013-07-10 15:14:47 -0400106 LOD0,
107 SIZE // textureSize()
Nicolas Capense0ba27a2013-06-24 16:10:52 -0400108 };
109
110 TBasicType sampler;
111 int coords;
112 bool proj;
Nicolas Capensb1f45b72013-12-19 17:37:19 -0500113 bool offset;
Nicolas Capens75fb4752013-07-10 15:14:47 -0400114 Method method;
Nicolas Capense0ba27a2013-06-24 16:10:52 -0400115
116 TString name() const;
117
118 bool operator<(const TextureFunction &rhs) const;
119 };
120
121 typedef std::set<TextureFunction> TextureFunctionSet;
122
daniel@transgaming.comd91cfe72010-04-13 03:26:17 +0000123 // Parameters determining what goes in the header output
Nicolas Capense0ba27a2013-06-24 16:10:52 -0400124 TextureFunctionSet mUsesTexture;
shannon.woods%transgaming.com@gtempaccount.comaa8b5cf2013-04-13 03:31:55 +0000125 bool mUsesFragColor;
126 bool mUsesFragData;
daniel@transgaming.comd7c98102010-05-14 17:30:48 +0000127 bool mUsesDepthRange;
daniel@transgaming.com4af7acc2010-05-14 17:30:53 +0000128 bool mUsesFragCoord;
129 bool mUsesPointCoord;
130 bool mUsesFrontFacing;
131 bool mUsesPointSize;
Jamie Madill2aeb26a2013-07-08 14:02:55 -0400132 bool mUsesFragDepth;
daniel@transgaming.comd7c98102010-05-14 17:30:48 +0000133 bool mUsesXor;
134 bool mUsesMod1;
daniel@transgaming.com4229f592011-11-24 22:34:04 +0000135 bool mUsesMod2v;
136 bool mUsesMod2f;
137 bool mUsesMod3v;
138 bool mUsesMod3f;
139 bool mUsesMod4v;
140 bool mUsesMod4f;
daniel@transgaming.com0bbb0312010-04-26 15:33:39 +0000141 bool mUsesFaceforward1;
142 bool mUsesFaceforward2;
143 bool mUsesFaceforward3;
144 bool mUsesFaceforward4;
daniel@transgaming.com35342dc2012-02-28 02:01:22 +0000145 bool mUsesAtan2_1;
146 bool mUsesAtan2_2;
147 bool mUsesAtan2_3;
148 bool mUsesAtan2_4;
Jamie Madill3c9eeb92013-11-04 11:09:26 -0500149 bool mUsesDiscardRewriting;
daniel@transgaming.com005c7392010-04-15 20:45:27 +0000150
shannon.woods%transgaming.com@gtempaccount.comaa8b5cf2013-04-13 03:31:55 +0000151 int mNumRenderTargets;
152
daniel@transgaming.coma2a95e72010-05-20 19:17:55 +0000153 typedef std::set<TString> Constructors;
154 Constructors mConstructors;
daniel@transgaming.com63691862010-04-29 03:32:42 +0000155
daniel@transgaming.coma2a95e72010-05-20 19:17:55 +0000156 typedef std::set<TString> StructNames;
157 StructNames mStructNames;
daniel@transgaming.com63691862010-04-29 03:32:42 +0000158
daniel@transgaming.coma2a95e72010-05-20 19:17:55 +0000159 typedef std::list<TString> StructDeclarations;
160 StructDeclarations mStructDeclarations;
daniel@transgaming.com63691862010-04-29 03:32:42 +0000161
daniel@transgaming.coma2a95e72010-05-20 19:17:55 +0000162 typedef std::vector<int> ScopeBracket;
163 ScopeBracket mScopeBracket;
164 unsigned int mScopeDepth;
daniel@transgaming.com7a7003c2010-04-29 03:35:33 +0000165
daniel@transgaming.comb6ef8f12010-11-15 16:41:14 +0000166 int mUniqueIndex; // For creating unique names
daniel@transgaming.com89431aa2012-05-31 01:20:29 +0000167
168 bool mContainsLoopDiscontinuity;
169 bool mOutputLod0Function;
daniel@transgaming.come11100c2012-05-31 01:20:32 +0000170 bool mInsideDiscontinuousLoop;
daniel@transgaming.come9b3f602012-07-11 20:37:31 +0000171
172 TIntermSymbol *mExcessiveLoopIndex;
daniel@transgaming.com652468c2012-12-20 21:11:57 +0000173
174 int mUniformRegister;
shannonwoods@chromium.org4a643ae2013-05-30 00:12:27 +0000175 int mInterfaceBlockRegister;
daniel@transgaming.com652468c2012-12-20 21:11:57 +0000176 int mSamplerRegister;
Jamie Madill574d9dd2013-06-20 11:55:56 -0400177 int mPaddingCounter;
daniel@transgaming.com652468c2012-12-20 21:11:57 +0000178
179 TString registerString(TIntermSymbol *operand);
180 int samplerRegister(TIntermSymbol *sampler);
181 int uniformRegister(TIntermSymbol *uniform);
Jamie Madill9d2ffb12013-08-30 13:21:04 -0400182 void declareInterfaceBlockField(const TType &type, const TString &name, std::vector<InterfaceBlockField>& output);
Jamie Madillc2141fb2013-08-30 13:21:08 -0400183 Uniform declareUniformToList(const TType &type, const TString &name, int registerIndex, std::vector<Uniform>& output);
daniel@transgaming.comf4d9fef2012-12-20 21:12:13 +0000184 void declareUniform(const TType &type, const TString &name, int index);
Jamie Madill94599662013-08-30 13:21:10 -0400185 void declareVaryingToList(const TType &type, TQualifier baseTypeQualifier, const TString &name, std::vector<Varying>& fieldsOut);
shannonwoods@chromium.org4430b0d2013-05-30 00:12:34 +0000186
Jamie Madillc2141fb2013-08-30 13:21:08 -0400187 // Returns the uniform's register index
188 int declareUniformAndAssignRegister(const TType &type, const TString &name);
189
Jamie Madill98493dd2013-07-08 14:39:03 -0400190 TString interfaceBlockFieldString(const TInterfaceBlock &interfaceBlock, const TField &field);
shannonwoods@chromium.orge429ab72013-05-30 00:12:52 +0000191 TString decoratePrivate(const TString &privateText);
Jamie Madill98493dd2013-07-08 14:39:03 -0400192 TString interfaceBlockStructNameString(const TInterfaceBlock &interfaceBlockType);
193 TString interfaceBlockInstanceString(const TInterfaceBlock& interfaceBlock, unsigned int arrayIndex);
194 TString interfaceBlockFieldTypeString(const TField &field, TLayoutBlockStorage blockStorage);
195 TString interfaceBlockFieldString(const TInterfaceBlock &interfaceBlock, TLayoutBlockStorage blockStorage);
196 TString interfaceBlockStructString(const TInterfaceBlock &interfaceBlock);
197 TString interfaceBlockString(const TInterfaceBlock &interfaceBlock, unsigned int registerIndex, unsigned int arrayIndex);
Jamie Madill574d9dd2013-06-20 11:55:56 -0400198 TString std140PrePaddingString(const TType &type, int *elementIndex);
Jamie Madille4075c92013-06-21 09:15:32 -0400199 TString std140PostPaddingString(const TType &type, bool useHLSLRowMajorPacking);
Jamie Madill98493dd2013-07-08 14:39:03 -0400200 TString structInitializerString(int indent, const TStructure &structure, const TString &rhsStructName);
shannon.woods%transgaming.com@gtempaccount.com6f273e32013-04-13 03:41:15 +0000201
daniel@transgaming.comf4d9fef2012-12-20 21:12:13 +0000202 static GLenum glVariableType(const TType &type);
shannon.woods@transgaming.comfe3c0ef2013-02-28 23:17:22 +0000203 static GLenum glVariablePrecision(const TType &type);
shannon.woods%transgaming.com@gtempaccount.com6f273e32013-04-13 03:41:15 +0000204 static bool isVaryingIn(TQualifier qualifier);
205 static bool isVaryingOut(TQualifier qualifier);
206 static bool isVarying(TQualifier qualifier);
daniel@transgaming.comf4d9fef2012-12-20 21:12:13 +0000207
Jamie Madill9d2ffb12013-08-30 13:21:04 -0400208 std::vector<Uniform> mActiveUniforms;
shannonwoods@chromium.org4a643ae2013-05-30 00:12:27 +0000209 ActiveInterfaceBlocks mActiveInterfaceBlocks;
Jamie Madill9d2ffb12013-08-30 13:21:04 -0400210 std::vector<Attribute> mActiveOutputVariables;
211 std::vector<Attribute> mActiveAttributes;
Jamie Madill47fdd132013-08-30 13:21:04 -0400212 std::vector<Varying> mActiveVaryings;
Jamie Madille4075c92013-06-21 09:15:32 -0400213 std::map<TString, int> mStd140StructElementIndexes;
Jamie Madill570e04d2013-06-21 09:15:33 -0400214 std::map<TIntermTyped*, TString> mFlaggedStructMappedNames;
215 std::map<TIntermTyped*, TString> mFlaggedStructOriginalNames;
216
217 void makeFlaggedStructMaps(const std::vector<TIntermTyped *> &flaggedStructs);
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +0000218};
219}
220
221#endif // COMPILER_OUTPUTHLSL_H_