Hash :
daeac238
        
        Author :
  
        
        Date :
2021-05-08T22:09:38
        
      
Translator: Ensure structs and blocks are uniquely defined A new AST validation is added to ensure that the same TStructure or TInterfaceBlock is not redundantly defined. This helps with SPIR-V generation by allowing the id to be used as key in a hash map that looks up the corresponding SPIR-V type id. A bug is fixed where the Vulkan driver uniform declaration created two identical declarations for ANGLEDepthRangeParams. A number of other bugs are also fixed in this change, where if a variable declaration is eliminated (for example due to constant folding, or inactive interface variable removal) and it contained a struct specifier, the struct declaration was also removed. OutputGLSLBase had a hack where structs were declared on first encounter, which was incorrect as the scope of the declaration could change. Those bugs are fixed and this hack is removed. Bug: angleproject:2733 Bug: angleproject:4889 Bug: angleproject:5936 Change-Id: I8e13748c0bf552ae8b052249282769a1f0775603 Reviewed-on: https://chromium-review.googlesource.com/c/angle/angle/+/2881942 Reviewed-by: Charlie Lao <cclao@google.com> Reviewed-by: Jamie Madill <jmadill@chromium.org> Commit-Queue: Shahbaz Youssefi <syoussefi@chromium.org>
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101
//
// Copyright 2020 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.
//
#include "compiler/translator/tree_ops/ForcePrecisionQualifier.h"
#include "angle_gl.h"
#include "common/debug.h"
#include "compiler/translator/Compiler.h"
#include "compiler/translator/tree_util/IntermTraverse.h"
#include "compiler/translator/util.h"
namespace sh
{
namespace
{
class TPrecisionTraverser : public TIntermTraverser
{
  public:
    TPrecisionTraverser(TSymbolTable *symbolTable);
  protected:
    bool visitDeclaration(Visit visit, TIntermDeclaration *node) override;
    void overwriteVariablePrecision(TType *type) const;
};
TPrecisionTraverser::TPrecisionTraverser(TSymbolTable *symbolTable)
    : TIntermTraverser(true, true, true, symbolTable)
{}
void TPrecisionTraverser::overwriteVariablePrecision(TType *type) const
{
    if (type->getPrecision() == EbpHigh)
    {
        type->setPrecision(EbpMedium);
    }
}
bool TPrecisionTraverser::visitDeclaration(Visit visit, TIntermDeclaration *node)
{
    // Variable declaration.
    if (visit == PreVisit)
    {
        const TIntermSequence &sequence = *(node->getSequence());
        TIntermTyped *variable          = sequence.front()->getAsTyped();
        const TType &type               = variable->getType();
        TQualifier qualifier            = variable->getQualifier();
        // Don't modify uniform since it might be shared between vertex and fragment shader
        if (qualifier == EvqUniform)
        {
            return true;
        }
        // Visit the struct.
        if (type.isStructSpecifier())
        {
            const TStructure *structure = type.getStruct();
            const TFieldList &fields    = structure->fields();
            for (size_t i = 0; i < fields.size(); ++i)
            {
                const TField *field    = fields[i];
                const TType *fieldType = field->type();
                overwriteVariablePrecision((TType *)fieldType);
            }
        }
        else if (type.getBasicType() == EbtInterfaceBlock)
        {
            const TInterfaceBlock *interfaceBlock = type.getInterfaceBlock();
            const TFieldList &fields              = interfaceBlock->fields();
            for (const TField *field : fields)
            {
                const TType *fieldType = field->type();
                overwriteVariablePrecision((TType *)fieldType);
            }
        }
        else
        {
            overwriteVariablePrecision((TType *)&type);
        }
    }
    return true;
}
}  // namespace
bool ForceShaderPrecisionToMediump(TIntermNode *root, TSymbolTable *symbolTable, GLenum shaderType)
{
    if (shaderType != GL_FRAGMENT_SHADER)
    {
        return true;
    }
    TPrecisionTraverser traverser(symbolTable);
    root->traverse(&traverser);
    return true;
}
}  // namespace sh