mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
22 lines
702 B
C++
22 lines
702 B
C++
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/mlir/Dialect/Clift/IR/CliftOpTraits.h"
|
|
#include "revng/mlir/Dialect/Clift/IR/CliftOps.h"
|
|
|
|
using namespace mlir;
|
|
using namespace mlir::clift;
|
|
|
|
namespace traits_impl = OpTrait::clift::impl;
|
|
|
|
LogicalResult traits_impl::verifyNoFallthroughTrait(Operation *const Op) {
|
|
if (Block *const B = Op->getBlock()) {
|
|
Operation *const NextOp = B->getOperations().getNextNode(*Op);
|
|
if (NextOp != nullptr and not mlir::isa<AssignLabelOp>(NextOp))
|
|
return Op->emitOpError() << "Operation may not be followed by a non-label"
|
|
"operation";
|
|
}
|
|
return mlir::success();
|
|
}
|