daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 1 | // |
zmo@google.com | b9f64aa | 2012-01-20 00:35:15 +0000 | [diff] [blame] | 2 | // Copyright (c) 2002-2012 The ANGLE Project Authors. All rights reserved. |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 3 | // 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 _SHHANDLE_INCLUDED_ |
| 8 | #define _SHHANDLE_INCLUDED_ |
| 9 | |
| 10 | // |
| 11 | // Machine independent part of the compiler private objects |
| 12 | // sent as ShHandle to the driver. |
| 13 | // |
| 14 | // This should not be included by driver code. |
| 15 | // |
| 16 | |
alokp@chromium.org | ea0e1af | 2010-03-22 19:33:14 +0000 | [diff] [blame] | 17 | #include "GLSLANG/ShaderLang.h" |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 18 | |
zmo@google.com | 32e9731 | 2011-08-24 01:03:11 +0000 | [diff] [blame] | 19 | #include "compiler/BuiltInFunctionEmulator.h" |
alokp@chromium.org | ad771eb | 2010-09-07 17:36:23 +0000 | [diff] [blame] | 20 | #include "compiler/ExtensionBehavior.h" |
daniel@transgaming.com | c23f461 | 2012-11-28 19:42:57 +0000 | [diff] [blame] | 21 | #include "compiler/HashNames.h" |
daniel@transgaming.com | bbf56f7 | 2010-04-20 18:52:13 +0000 | [diff] [blame] | 22 | #include "compiler/InfoSink.h" |
alokp@chromium.org | e4249f0 | 2010-07-26 18:13:52 +0000 | [diff] [blame] | 23 | #include "compiler/SymbolTable.h" |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 24 | #include "compiler/VariableInfo.h" |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 25 | |
zmo@google.com | b9f64aa | 2012-01-20 00:35:15 +0000 | [diff] [blame] | 26 | class LongNameMap; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 27 | class TCompiler; |
maxvujovic@gmail.com | 66ebd01 | 2012-05-30 22:18:11 +0000 | [diff] [blame] | 28 | class TDependencyGraph; |
daniel@transgaming.com | 043da13 | 2012-12-20 21:12:22 +0000 | [diff] [blame^] | 29 | class TranslatorHLSL; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 30 | |
| 31 | // |
maxvujovic@gmail.com | 430f5e0 | 2012-06-08 17:47:59 +0000 | [diff] [blame] | 32 | // Helper function to identify specs that are based on the WebGL spec, |
| 33 | // like the CSS Shaders spec. |
| 34 | // |
| 35 | bool isWebGLBasedSpec(ShShaderSpec spec); |
| 36 | |
| 37 | // |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 38 | // The base class used to back handles returned to the driver. |
| 39 | // |
| 40 | class TShHandleBase { |
| 41 | public: |
alokp@chromium.org | bafcbaa | 2010-11-23 19:07:43 +0000 | [diff] [blame] | 42 | TShHandleBase(); |
| 43 | virtual ~TShHandleBase(); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 44 | virtual TCompiler* getAsCompiler() { return 0; } |
daniel@transgaming.com | 043da13 | 2012-12-20 21:12:22 +0000 | [diff] [blame^] | 45 | virtual TranslatorHLSL* getAsTranslatorHLSL() { return 0; } |
alokp@chromium.org | bafcbaa | 2010-11-23 19:07:43 +0000 | [diff] [blame] | 46 | |
| 47 | protected: |
| 48 | // Memory allocator. Allocates and tracks memory required by the compiler. |
| 49 | // Deallocates all memory when compiler is destructed. |
| 50 | TPoolAllocator allocator; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 51 | }; |
| 52 | |
| 53 | // |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 54 | // The base class for the machine dependent compiler to derive from |
| 55 | // for managing object code from the compile. |
| 56 | // |
| 57 | class TCompiler : public TShHandleBase { |
| 58 | public: |
alokp@chromium.org | 4888ceb | 2010-10-01 21:13:12 +0000 | [diff] [blame] | 59 | TCompiler(ShShaderType type, ShShaderSpec spec); |
| 60 | virtual ~TCompiler(); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 61 | virtual TCompiler* getAsCompiler() { return this; } |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 62 | |
alokp@chromium.org | 4888ceb | 2010-10-01 21:13:12 +0000 | [diff] [blame] | 63 | bool Init(const ShBuiltInResources& resources); |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 64 | bool compile(const char* const shaderStrings[], |
| 65 | const int numStrings, |
| 66 | int compileOptions); |
| 67 | |
| 68 | // Get results of the last compilation. |
| 69 | TInfoSink& getInfoSink() { return infoSink; } |
| 70 | const TVariableInfoList& getAttribs() const { return attribs; } |
| 71 | const TVariableInfoList& getUniforms() const { return uniforms; } |
zmo@google.com | fd747b8 | 2011-04-23 01:30:07 +0000 | [diff] [blame] | 72 | int getMappedNameMaxLength() const; |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 73 | |
daniel@transgaming.com | c23f461 | 2012-11-28 19:42:57 +0000 | [diff] [blame] | 74 | ShHashFunction64 getHashFunction() const { return hashFunction; } |
daniel@transgaming.com | 0aa3b5a | 2012-11-28 19:43:24 +0000 | [diff] [blame] | 75 | NameMap& getNameMap() { return nameMap; } |
| 76 | TSymbolTable& getSymbolTable() { return symbolTable; } |
daniel@transgaming.com | c23f461 | 2012-11-28 19:42:57 +0000 | [diff] [blame] | 77 | |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 78 | protected: |
alokp@chromium.org | 9ecf395 | 2010-10-13 19:28:25 +0000 | [diff] [blame] | 79 | ShShaderType getShaderType() const { return shaderType; } |
| 80 | ShShaderSpec getShaderSpec() const { return shaderSpec; } |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 81 | // Initialize symbol-table with built-in symbols. |
alokp@chromium.org | 4888ceb | 2010-10-01 21:13:12 +0000 | [diff] [blame] | 82 | bool InitBuiltInSymbolTable(const ShBuiltInResources& resources); |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 83 | // Clears the results from the previous compilation. |
| 84 | void clearResults(); |
zmo@google.com | b1762df | 2011-07-30 02:04:23 +0000 | [diff] [blame] | 85 | // Return true if function recursion is detected. |
| 86 | bool detectRecursion(TIntermNode* root); |
maxvujovic@gmail.com | 430f5e0 | 2012-06-08 17:47:59 +0000 | [diff] [blame] | 87 | // Rewrites a shader's intermediate tree according to the CSS Shaders spec. |
| 88 | void rewriteCSSShader(TIntermNode* root); |
alokp@chromium.org | b59a778 | 2010-11-24 18:38:33 +0000 | [diff] [blame] | 89 | // Returns true if the given shader does not exceed the minimum |
| 90 | // functionality mandated in GLSL 1.0 spec Appendix A. |
| 91 | bool validateLimitations(TIntermNode* root); |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 92 | // Collect info for all attribs and uniforms. |
| 93 | void collectAttribsUniforms(TIntermNode* root); |
zmo@google.com | fd747b8 | 2011-04-23 01:30:07 +0000 | [diff] [blame] | 94 | // Map long variable names into shorter ones. |
| 95 | void mapLongVariableNames(TIntermNode* root); |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 96 | // Translate to object code. |
| 97 | virtual void translate(TIntermNode* root) = 0; |
gman@chromium.org | 8d80479 | 2012-10-17 21:33:48 +0000 | [diff] [blame] | 98 | // Returns true if, after applying the packing rules in the GLSL 1.017 spec |
| 99 | // Appendix A, section 7, the shader does not use too many uniforms. |
| 100 | bool enforcePackingRestrictions(); |
maxvujovic@gmail.com | 66ebd01 | 2012-05-30 22:18:11 +0000 | [diff] [blame] | 101 | // Returns true if the shader passes the restrictions that aim to prevent timing attacks. |
maxvujovic@gmail.com | 77222c9 | 2012-06-04 21:06:05 +0000 | [diff] [blame] | 102 | bool enforceTimingRestrictions(TIntermNode* root, bool outputGraph); |
| 103 | // Returns true if the shader does not use samplers. |
| 104 | bool enforceVertexShaderTimingRestrictions(TIntermNode* root); |
| 105 | // Returns true if the shader does not use sampler dependent values to affect control |
| 106 | // flow or in operations whose time can depend on the input values. |
| 107 | bool enforceFragmentShaderTimingRestrictions(const TDependencyGraph& graph); |
zmo@google.com | 5601ea0 | 2011-06-10 18:23:25 +0000 | [diff] [blame] | 108 | // Get built-in extensions with default behavior. |
| 109 | const TExtensionBehavior& getExtensionBehavior() const; |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 110 | |
zmo@google.com | 32e9731 | 2011-08-24 01:03:11 +0000 | [diff] [blame] | 111 | const BuiltInFunctionEmulator& getBuiltInFunctionEmulator() const; |
| 112 | |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 113 | private: |
alokp@chromium.org | 4888ceb | 2010-10-01 21:13:12 +0000 | [diff] [blame] | 114 | ShShaderType shaderType; |
| 115 | ShShaderSpec shaderSpec; |
alokp@chromium.org | e4249f0 | 2010-07-26 18:13:52 +0000 | [diff] [blame] | 116 | |
gman@chromium.org | 8d80479 | 2012-10-17 21:33:48 +0000 | [diff] [blame] | 117 | int maxUniformVectors; |
| 118 | |
alokp@chromium.org | e4249f0 | 2010-07-26 18:13:52 +0000 | [diff] [blame] | 119 | // Built-in symbol table for the given language, spec, and resources. |
| 120 | // It is preserved from compile-to-compile. |
| 121 | TSymbolTable symbolTable; |
alokp@chromium.org | ad771eb | 2010-09-07 17:36:23 +0000 | [diff] [blame] | 122 | // Built-in extensions with default behavior. |
| 123 | TExtensionBehavior extensionBehavior; |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 124 | |
zmo@google.com | 32e9731 | 2011-08-24 01:03:11 +0000 | [diff] [blame] | 125 | BuiltInFunctionEmulator builtInFunctionEmulator; |
| 126 | |
alokp@chromium.org | 07620a5 | 2010-09-23 17:53:56 +0000 | [diff] [blame] | 127 | // Results of compilation. |
| 128 | TInfoSink infoSink; // Output sink. |
| 129 | TVariableInfoList attribs; // Active attributes in the compiled shader. |
| 130 | TVariableInfoList uniforms; // Active uniforms in the compiled shader. |
zmo@google.com | 24c08c4 | 2011-05-27 17:40:48 +0000 | [diff] [blame] | 131 | |
zmo@google.com | b9f64aa | 2012-01-20 00:35:15 +0000 | [diff] [blame] | 132 | // Cached copy of the ref-counted singleton. |
| 133 | LongNameMap* longNameMap; |
daniel@transgaming.com | c23f461 | 2012-11-28 19:42:57 +0000 | [diff] [blame] | 134 | |
| 135 | // name hashing. |
| 136 | ShHashFunction64 hashFunction; |
| 137 | NameMap nameMap; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 138 | }; |
| 139 | |
| 140 | // |
| 141 | // This is the interface between the machine independent code |
| 142 | // and the machine dependent code. |
| 143 | // |
| 144 | // The machine dependent code should derive from the classes |
| 145 | // above. Then Construct*() and Delete*() will create and |
| 146 | // destroy the machine dependent objects, which contain the |
| 147 | // above machine independent information. |
| 148 | // |
zmo@google.com | 5601ea0 | 2011-06-10 18:23:25 +0000 | [diff] [blame] | 149 | TCompiler* ConstructCompiler( |
| 150 | ShShaderType type, ShShaderSpec spec, ShShaderOutput output); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 151 | void DeleteCompiler(TCompiler*); |
| 152 | |
daniel@transgaming.com | 5cb728c | 2011-05-17 18:34:24 +0000 | [diff] [blame] | 153 | #endif // _SHHANDLE_INCLUDED_ |