feat: Add strip_eh pass

grain-lang · Oct 30, 2023 · 13883e3 · 13883e3
1 parent 4dc98c5
commit 13883e3
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 0 deletions.
diff --git a/src/passes.ml b/src/passes.ml
@@ -387,6 +387,9 @@ let strip_dwarf = "strip-dwarf"
 (** strip the wasm producers section *)
 let strip_producers = "strip-producers"
 
+(** strip EH instructions *)
+let strip_eh = "strip-eh"
+
 (** strip the wasm target features section *)
 let strip_target_features = "strip-target-features"
 

diff --git a/src/passes.mli b/src/passes.mli
@@ -384,6 +384,9 @@ val strip_dwarf : t
 val strip_producers : t
 (** strip the wasm producers section *)
 
+val strip_eh : t
+(** strip EH instructions *)
+
 val strip_target_features : t
 (** strip the wasm target features section *)
 

diff --git a/test/test.ml b/test/test.ml
@@ -248,6 +248,7 @@ let _ =
       Passes.monomorphize;
       Passes.signext_lowering;
       Passes.discard_global_effects;
+      Passes.strip_eh;
     ]
 
 let _ =