mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
31 lines
852 B
TableGen
31 lines
852 B
TableGen
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#ifndef MLIR_CLIFT_OP_INTERFACES_LABEL
|
|
#define MLIR_CLIFT_OP_INTERFACES_LABEL
|
|
|
|
include "revng/Clift/CliftOpInterfacesBasic.td"
|
|
|
|
def Clift_LabelAssignmentOpInterface
|
|
: Clift_OpInterface<"LabelAssignmentOpInterface",
|
|
[Clift_StatementOpInterface]> {
|
|
|
|
let methods = [
|
|
InterfaceMethod<
|
|
/*desc=*/"Returns the number of jump labels assigned by this operation.",
|
|
"unsigned", "getAssignedLabelCount", (ins),
|
|
/*methodBody=*/[{}],
|
|
/*defaultImplementation=*/ [{}]
|
|
>,
|
|
InterfaceMethod<
|
|
/*desc=*/"Returns the specified jump label assigned by this operation.",
|
|
"mlir::Value", "getAssignedLabel", (ins "unsigned":$Index),
|
|
/*methodBody=*/[{}],
|
|
/*defaultImplementation=*/ [{}]
|
|
>,
|
|
];
|
|
}
|
|
|
|
#endif
|