//
// 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.
//
// CheckEarlyFragmentTestOptimization is an AST traverser to check if early fragment
// test as an optimization is feasible.
//

#include "compiler/translator/tree_ops/vulkan/EarlyFragmentTestsOptimization.h"

#include "compiler/translator/InfoSink.h"
#include "compiler/translator/Symbol.h"
#include "compiler/translator/tree_util/IntermNode_util.h"
#include "compiler/translator/tree_util/IntermTraverse.h"

namespace sh
{

namespace
{

// Traverser that check conditions that would prevent early fragment tests optmization.
class CheckEFTOptimizationTraverser : public TIntermTraverser
{
  public:
    CheckEFTOptimizationTraverser();

    void visitSymbol(TIntermSymbol *node) override;
    bool visitBranch(Visit visit, TIntermBranch *node) override;

    bool isFragDepthUsed() { return mFragDepthUsed; }
    bool isDiscardOpUsed() { return mDiscardOpUsed; }

  protected:
    bool mFragDepthUsed;
    bool mDiscardOpUsed;
};

CheckEFTOptimizationTraverser::CheckEFTOptimizationTraverser()
    : TIntermTraverser(true, false, false), mFragDepthUsed(false), mDiscardOpUsed(false)
{}

void CheckEFTOptimizationTraverser::visitSymbol(TIntermSymbol *node)
{
    // Check the qualifier from the variable, not from the symbol node. The node may have a
    // different qualifier if it's the result of a folded ternary node.
    TQualifier qualifier = node->variable().getType().getQualifier();

    if (qualifier == EvqFragDepth)
    {
        mFragDepthUsed = true;
    }
}

bool CheckEFTOptimizationTraverser::visitBranch(Visit visit, TIntermBranch *node)
{
    if (node->getFlowOp() == EOpKill)
    {
        mDiscardOpUsed = true;
    }
    return true;
}

}  // namespace

bool CheckEarlyFragmentTestsFeasible(TCompiler *compiler, TIntermNode *root)
{
    CheckEFTOptimizationTraverser traverser;
    root->traverse(&traverser);

    if (traverser.isFragDepthUsed() || traverser.isDiscardOpUsed())
    {
        return false;
    }
    return true;
}

}  // namespace sh