feat(dialect): added some types for check_sig

woxjro · Oct 6, 2024 · 7f59951 · 7f59951
1 parent eb7e132
commit 7f59951
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/mlir/dialect/irdl/michelson.irdl.mlir b/mlir/dialect/irdl/michelson.irdl.mlir
@@ -5,8 +5,16 @@ module {
     ///////////////////////////////
     irdl.type @address {}
 
+    irdl.type @bool {}
+
     irdl.type @bytes {}
 
+    irdl.type @key {}
+
+    irdl.type @signature {}
+
+    irdl.type @string {}
+
     irdl.type @mutez {}
 
     irdl.type @int {}
@@ -113,6 +121,16 @@ module {
       irdl.results(%res)
     }
 
+    irdl.operation @check_signature {
+      %key = irdl.any
+      %signature = irdl.any
+      %bytes = irdl.any
+      %res = irdl.any
+
+      irdl.operands(%key, %signature, %bytes)
+      irdl.results(%res)
+    }
+
     irdl.operation @sha256 {
       %byt = irdl.any
       %res = irdl.any