mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
47 lines
1.4 KiB
C++
47 lines
1.4 KiB
C++
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/Clift/Clift.h"
|
|
#include "revng/Clift/CliftOpInterfaces.h"
|
|
|
|
// Prevent reordering:
|
|
#include "revng/Clift/CliftOpInterfacesBasic.cpp.inc"
|
|
// Prevent reordering:
|
|
#include "revng/Clift/CliftOpInterfacesLabel.cpp.inc"
|
|
// Prevent reordering:
|
|
#include "revng/Clift/CliftOpInterfacesJump.cpp.inc"
|
|
// Prevent reordering:
|
|
#include "revng/Clift/CliftOpInterfacesControlFlow.cpp.inc"
|
|
// Prevent reordering:
|
|
#include "revng/Clift/CliftOpInterfacesExpr.cpp.inc"
|
|
|
|
using namespace clift;
|
|
|
|
LabelAssignmentOpInterface
|
|
clift::impl::getLabelAssignmentOp(mlir::Value Label) {
|
|
return Label.getDefiningOp<MakeLabelOp>().getAssignment();
|
|
}
|
|
|
|
bool clift::isLvalueExpression(mlir::Value Value) {
|
|
if (auto Argument = mlir::dyn_cast<mlir::BlockArgument>(Value)) {
|
|
mlir::Block *B = Argument.getOwner();
|
|
if (B == nullptr)
|
|
return false;
|
|
|
|
mlir::Operation *Op = B->getParentOp();
|
|
if (Op == nullptr)
|
|
return false;
|
|
|
|
// Function block arguments represent parameters. All statement block
|
|
// arguments refer to local variables, and all local variables are l-values.
|
|
return mlir::isa<FunctionOp, StatementOpInterface>(Op);
|
|
}
|
|
|
|
mlir::Operation *Op = Value.getDefiningOp();
|
|
if (auto E = mlir::dyn_cast<ExpressionOpInterface>(Op))
|
|
return E.isLvalueExpression();
|
|
|
|
return mlir::isa<LocalVariableOp>(Op);
|
|
}
|