Hash :
d193d51b
Author :
Date :
2024-06-17T22:46:08
Replace issue ids post migration to new issue tracker This change replaces anglebug.com/NNNN links. Bug: None Change-Id: I8ac3aec8d2a8a844b3d7b99fc0a6b2be8da31761 Reviewed-on: https://chromium-review.googlesource.com/c/angle/angle/+/5637912 Reviewed-by: Geoff Lang <geofflang@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
//
// Copyright 2022 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/hlsl/AggregateAssignArraysInSSBOs.h"
#include "compiler/translator/StaticType.h"
#include "compiler/translator/Symbol.h"
#include "compiler/translator/tree_util/IntermNode_util.h"
#include "compiler/translator/tree_util/IntermTraverse.h"
#include "compiler/translator/util.h"
namespace sh
{
namespace
{
class AggregateAssignArraysInSSBOsTraverser : public TIntermTraverser
{
public:
AggregateAssignArraysInSSBOsTraverser(TSymbolTable *symbolTable)
: TIntermTraverser(true, false, false, symbolTable)
{}
protected:
bool visitBinary(Visit visit, TIntermBinary *node) override
{
// Replace all aggregate assignments to arrays in SSBOs with element-by-element assignments.
// TODO(anglebug.com/42265833): this implementation only works for the simple case
// (assignment statement), not more complex cases such as assignment-as-expression or
// functions with side effects in the RHS.
if (node->getOp() != EOpAssign)
{
return true;
}
else if (!node->getLeft()->getType().isArray())
{
return true;
}
else if (!IsInShaderStorageBlock(node->getLeft()))
{
return true;
}
const TType *mediumpIndexType = StaticType::Get<EbtInt, EbpMedium, EvqTemporary, 1, 1>();
auto *indexVariable = CreateTempVariable(mSymbolTable, mediumpIndexType);
auto *indexInit =
CreateTempInitDeclarationNode(indexVariable, CreateZeroNode(indexVariable->getType()));
auto *arraySizeNode = CreateIndexNode(node->getOutermostArraySize());
auto *indexSymbolNode = CreateTempSymbolNode(indexVariable);
auto *cond = new TIntermBinary(EOpLessThan, indexSymbolNode->deepCopy(), arraySizeNode);
auto *indexIncrement =
new TIntermUnary(EOpPreIncrement, indexSymbolNode->deepCopy(), nullptr);
auto *forLoopBody = new TIntermBlock();
auto *indexedLeft =
new TIntermBinary(EOpIndexDirect, node->getLeft(), indexSymbolNode->deepCopy());
auto *indexedRight =
new TIntermBinary(EOpIndexDirect, node->getRight(), indexSymbolNode->deepCopy());
auto *assign = new TIntermBinary(TOperator::EOpAssign, indexedLeft, indexedRight);
forLoopBody->appendStatement(assign);
auto *forLoop = new TIntermLoop(ELoopFor, indexInit, cond, indexIncrement, forLoopBody);
queueReplacement(forLoop, OriginalNode::IS_DROPPED);
return false;
}
};
} // namespace
bool AggregateAssignArraysInSSBOs(TCompiler *compiler,
TIntermBlock *root,
TSymbolTable *symbolTable)
{
AggregateAssignArraysInSSBOsTraverser traverser(symbolTable);
root->traverse(&traverser);
return traverser.updateTree(compiler, root);
}
} // namespace sh