admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Clift: factor common ptml pass options out

Browse Source
This commit is contained in:
Ivan Krysak
2026-04-15 08:44:29 +00:00
parent 681df85f5d
commit c5130ce689
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
include/revng/CliftTransforms/Passes.td
+7 -4
View File
@@ -75,14 +75,17 @@ def CliftVerifyC : Clift_Pass<"verify-c", "mlir::ModuleOp"> {
let constructor = "mlir::clift::createVerifyCPass()";
}
def CliftEmitC : Clift_Pass<"emit-c", "mlir::ModuleOp"> {
let summary = "Emit C code (optionally with PTML tags) from the Clift code.";
let constructor = "mlir::clift::createEmitCPass()";
// A class gathering up options common for all the PTML emitters.
class Clift_EmitPTMLPass<string arg, string operation> : Clift_Pass<arg, operation> {
let options = [
Option<"EmitTags", "ptml", "bool", /*default=*/"false", "Emit PTML tags">,
Option<"Output", "output", "std::string", /*default*/"\"-\"", "C output path">
];
}
def CliftEmitC : Clift_EmitPTMLPass<"emit-c", "mlir::ModuleOp"> {
let summary = "Emit C code (optionally with PTML tags) from the Clift code.";
let constructor = "mlir::clift::createEmitCPass()";
}
#endif // MLIR_CLIFT_PASSES