Hash :
958dce52
Author :
Date :
2021-09-09T14:36:37
Move IntermRebuild.h/cpp to tree_util Bug: angleproject:5505 Change-Id: I7b68057fff0a0eb0d86c1aed01599fa9dbb7db3b Reviewed-on: https://chromium-review.googlesource.com/c/angle/angle/+/3152167 Commit-Queue: Gregg Tavares <gman@chromium.org> Reviewed-by: Kenneth Russell <kbr@chromium.org> Reviewed-by: 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 102 103 104 105 106 107 108 109 110 111 112 113
//
// 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/TranslatorMetalDirect/RewriteGlobalQualifierDecls.h"
#include "compiler/translator/tree_util/IntermRebuild.h"
using namespace sh;
namespace
{
class FindDeclaredGlobals : public TIntermRebuild
{
public:
std::unordered_set<const TVariable *> mDeclaredGlobals;
FindDeclaredGlobals(TCompiler &compiler) : TIntermRebuild(compiler, true, false) {}
PreResult visitDeclarationPre(TIntermDeclaration &declNode) override
{
TIntermNode *declaratorNode = declNode.getChildNode(0);
TIntermSymbol *symbolNode = nullptr;
if (TIntermBinary *initNode = declaratorNode->getAsBinaryNode())
{
symbolNode = initNode->getLeft()->getAsSymbolNode();
}
else
{
symbolNode = declaratorNode->getAsSymbolNode();
}
ASSERT(symbolNode);
const TVariable &var = symbolNode->variable();
mDeclaredGlobals.insert(&var);
return {declNode, VisitBits::Neither};
}
PreResult visitFunctionDefinitionPre(TIntermFunctionDefinition &node) override
{
return {node, VisitBits::Neither};
}
};
class Rewriter : public TIntermRebuild
{
const std::unordered_set<const TVariable *> &mDeclaredGlobals;
Invariants &mOutInvariants;
public:
Rewriter(TCompiler &compiler,
const std::unordered_set<const TVariable *> &declaredGlobals,
Invariants &outInvariants)
: TIntermRebuild(compiler, true, false),
mDeclaredGlobals(declaredGlobals),
mOutInvariants(outInvariants)
{}
PreResult visitGlobalQualifierDeclarationPre(
TIntermGlobalQualifierDeclaration &gqDeclNode) override
{
TIntermSymbol &symbolNode = *gqDeclNode.getSymbol();
const TVariable &var = symbolNode.variable();
if (gqDeclNode.isInvariant())
{
mOutInvariants.insert(var);
}
if (mDeclaredGlobals.find(&var) == mDeclaredGlobals.end())
{
return *new TIntermDeclaration{&symbolNode};
}
return nullptr;
}
PreResult visitDeclarationPre(TIntermDeclaration &node) override
{
return {node, VisitBits::Neither};
}
PreResult visitFunctionDefinitionPre(TIntermFunctionDefinition &node) override
{
return {node, VisitBits::Neither};
}
};
} // anonymous namespace
bool sh::RewriteGlobalQualifierDecls(TCompiler &compiler,
TIntermBlock &root,
Invariants &outInvariants)
{
FindDeclaredGlobals fdg(compiler);
if (!fdg.rebuildRoot(root))
{
UNREACHABLE();
return false;
}
Rewriter rewriter(compiler, fdg.mDeclaredGlobals, outInvariants);
if (!rewriter.rebuildRoot(root))
{
return false;
}
return true;
}