From 90a66daffb2e2634334e0055314460e45cb7fa2e Mon Sep 17 00:00:00 2001
From: Francesco Bertolaccini <francesco.bertolaccini@trailofbits.com>
Date: Thu, 20 Jul 2023 11:37:42 +0200
Subject: [PATCH] hl: Do not print special `MethodOp` attributes.

---
 lib/vast/Dialect/HighLevel/HighLevelOps.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/lib/vast/Dialect/HighLevel/HighLevelOps.cpp b/lib/vast/Dialect/HighLevel/HighLevelOps.cpp
index fef7edc273..a3857e1634 100644
--- a/lib/vast/Dialect/HighLevel/HighLevelOps.cpp
+++ b/lib/vast/Dialect/HighLevel/HighLevelOps.cpp
@@ -135,7 +135,14 @@ namespace vast::hl
         );
 
         mlir::function_interface_impl::printFunctionAttributes(
-            printer, op, {"linkage", op.getFunctionTypeAttrName() }
+            printer, op, {
+                "linkage",
+                op.getFunctionTypeAttrName(),
+                "is_virtual",
+                "is_const",
+                "is_volatile",
+                "ref"
+            }
         );
 
         if (!body.empty()) {