diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 00:47:55 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 00:47:55 +0000 |
commit | 26a029d407be480d791972afb5975cf62c9360a6 (patch) | |
tree | f435a8308119effd964b339f76abb83a57c29483 /gfx/angle/checkout/src/compiler/translator/ValidateAST.h | |
parent | Initial commit. (diff) | |
download | firefox-26a029d407be480d791972afb5975cf62c9360a6.tar.xz firefox-26a029d407be480d791972afb5975cf62c9360a6.zip |
Adding upstream version 124.0.1.upstream/124.0.1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'gfx/angle/checkout/src/compiler/translator/ValidateAST.h')
-rw-r--r-- | gfx/angle/checkout/src/compiler/translator/ValidateAST.h | 108 |
1 files changed, 108 insertions, 0 deletions
diff --git a/gfx/angle/checkout/src/compiler/translator/ValidateAST.h b/gfx/angle/checkout/src/compiler/translator/ValidateAST.h new file mode 100644 index 0000000000..2fa73db9fb --- /dev/null +++ b/gfx/angle/checkout/src/compiler/translator/ValidateAST.h @@ -0,0 +1,108 @@ +// +// Copyright 2019 The ANGLE Project Authors. All rights reserved. +// Use of this source code is governed by a BSD-style license that can be +// found in the LICENSE file. +// + +#ifndef COMPILER_TRANSLATOR_VALIDATEAST_H_ +#define COMPILER_TRANSLATOR_VALIDATEAST_H_ + +#include "compiler/translator/BaseTypes.h" +#include "compiler/translator/Common.h" + +namespace sh +{ +class TDiagnostics; +class TIntermNode; + +// The following options (stored in Compiler) tell the validator what to validate. Some validations +// are conditional to certain passes. +struct ValidateASTOptions +{ + // TODO: add support for the flags marked with TODO. http://anglebug.com/2733 + + // Check that every node always has only one parent, + bool validateSingleParent = true; + // Check that all symbols reference TVariables that have been declared. For built-ins, this + // makes sure that the same GLSL built-in uses the same TVariable consistently. + bool validateVariableReferences = true; + // Whether validateVariableReferences should also include specialization constants. Their + // declaration is output after their usage is discovered, so this is disabled until then. + bool validateSpecConstReferences = false; + // Check that TIntermUnary and TIntermAggregate nodes with a built-in op reference a function + // with said op. + bool validateBuiltInOps = true; + // Check that all EOpCallFunctionInAST have their corresponding function definitions in the AST, + // with matching symbol ids. There should also be at least a prototype declaration before the + // function is called. + bool validateFunctionCall = true; + // Check that EOpCallInternalRawFunction is not used. This OP is deprecated and needs to be + // removed. http://anglebug.com/6059 + bool validateNoRawFunctionCalls = true; + // Check that there are no null nodes where they are not allowed, for example as children of + // TIntermDeclaration or TIntermBlock. + bool validateNullNodes = true; + // Check that symbols that reference variables have consistent qualifiers and symbol ids with + // the variable declaration. The following needs to be validated: + // + // Implemented: + // + // - Function parameters having one of EvqParam* qualifiers. + // - No const qualifier on opaque function parameters. + // - gl_ClipDistance, gl_CullDistance and gl_LastFragData are correctly qualified even when + // redeclared in the shader. + // + // TODO: + // + // - Function-local variables must have the EvqTemporary qualifier. + // - Symbol references and declarations have identical qualifiers. + bool validateQualifiers = true; + // Check that every symbol has its precision specified. That includes variables, block members, + // function parameters and return values. + bool validatePrecision = true; + // Check that variable declarations that can't have initializers don't have initializers + // (varyings, uniforms for example). + bool validateInitializers = true; // TODO + // Check that there is only one TFunction with each function name referenced in the nodes (no + // two TFunctions with the same name, taking internal/non-internal namespaces into account). + bool validateUniqueFunctions = true; // TODO + // Check that references to structs are matched with the corresponding struct declaration. + bool validateStructUsage = true; + // Check that expression nodes have the correct type considering their operand(s). The + // following validation is possible: + // + // Implemented: + // + // - Binary node that indexes T[] should have type T + // - Binary nodes with EOpIndexDirect* should have a constant as the right node + // - Switch nodes should have an integer type in the selector + // + // TODO: + // + // - Function calls (including built-ins) have the same return type in the node and function. + // - Unary and binary operators have the correct type based on operands + // - Swizzle result has same type as the operand except for vector size + // - Ternary operator has the same type as the operands + // - Case expressions have the same type as the switch selector + bool validateExpressionTypes = true; + // If SeparateDeclarations has been run, check for the absence of multi declarations as well. + bool validateMultiDeclarations = false; + // If PruneNoOps has been run, check that no statements are ever added after branches in the + // same block. Those statements would be dead code. + bool validateNoStatementsAfterBranch = false; + // Check that swizzle is not applied to swizzle. Swizzles of swizzles are folded in + // TIntermSwizzle::fold. + bool validateNoSwizzleOfSwizzle = true; + + // Once set, disallows any further transformations on the tree. Used before AST post-processing + // which requires that the tree remains unmodified. + bool validateNoMoreTransformations = false; +}; + +// Check for errors and output error messages on the context. +// Returns true if there are no errors. +bool ValidateAST(TIntermNode *root, TDiagnostics *diagnostics, const ValidateASTOptions &options); + +} // namespace sh + +#endif // COMPILER_TRANSLATOR_VALIDATESWITCH_H_ |