mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
27 lines
689 B
C++
27 lines
689 B
C++
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/Clift/CliftOpHelpers.h"
|
|
|
|
using namespace clift;
|
|
|
|
template<auto TestOperand>
|
|
static bool testValueUsage(mlir::Value Value) {
|
|
for (mlir::OpOperand &Use : Value.getUses()) {
|
|
auto Expression = mlir::cast<ExpressionOpInterface>(Use.getOwner());
|
|
if (not(Expression.*TestOperand)(Use))
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
bool clift::isDiscarded(mlir::Value Value) {
|
|
return testValueUsage<&ExpressionOpInterface::isDiscardedOperand>(Value);
|
|
}
|
|
|
|
bool clift::isBooleanTested(mlir::Value Value) {
|
|
return testValueUsage<&ExpressionOpInterface::isBooleanTestedOperand>(Value);
|
|
}
|