From 003726447eb1884769ae77ea5039e2a1e5e567f7 Mon Sep 17 00:00:00 2001
From: Liam Stevenson <liam.m.stevenson@gmail.com>
Date: Mon, 9 Dec 2024 12:37:46 -0500
Subject: [PATCH] Add params to ignore (#121)

---
 src/kernel/mconfig.ml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/kernel/mconfig.ml b/src/kernel/mconfig.ml
index 7cf4d5ae1..68361721d 100644
--- a/src/kernel/mconfig.ml
+++ b/src/kernel/mconfig.ml
@@ -614,7 +614,14 @@ let ocaml_ignored_flags =
     "-dvectorize";
     "-dump-into-csv";
     "-cfg-selection";
-    "-no-cfg-selection"
+    "-no-cfg-selection";
+    "-no-mach-ir";
+    "-flambda2-reaper";
+    "-no-flambda2-reaper";
+    "-dsimplify";
+    "-dreaper";
+    "-instantiate";
+    "-dflambda-heavy-invariants"
   ]
 
 let ocaml_ignored_parametrized_flags =
@@ -682,7 +689,8 @@ let ocaml_ignored_parametrized_flags =
     "-cfg-stack-checks-threshold";
     "-zero-alloc-checker-details-cutoff";
     "-zero-alloc-checker-join";
-    "-dgranularity"
+    "-dgranularity";
+    "-flambda2-expert-cont-lifting-budget"
   ]
 
 let ocaml_warnings_spec ~error =