From d63853004bdb363ba2751af79048b0b0a4cb0afc Mon Sep 17 00:00:00 2001
From: Michele Scuttari <michele.scuttari@outlook.com>
Date: Tue, 15 Oct 2024 19:03:11 +0200
Subject: [PATCH] Add options to control the SCC solving by substitution pass

---
 clang/include/clang/Driver/Options.td | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/clang/include/clang/Driver/Options.td b/clang/include/clang/Driver/Options.td
index 26dce5459e893df..e331a9ec07bb2a7 100644
--- a/clang/include/clang/Driver/Options.td
+++ b/clang/include/clang/Driver/Options.td
@@ -8755,6 +8755,20 @@ defm variables_to_parameters_promotion : BoolOption<"", "variables-to-parameters
     BothFlags<[], [MC1Option], " variables to parameters when depending only on constants or parameters">>,
     Group<MarcoCodegen_Group>;
 
+def scc_substitution_max_iterations : Joined<["-"], "scc-substitution-max-iter=">,
+    MarcoCodegenOpts<"SCC Solving by substitution">,
+    Visibility<[MC1Option]>,
+    Group<MarcoCodegen_Group>,
+    MarshallingInfoInt<LangOpts<"ConstexprCallDepth">, "100">,
+    HelpText<"Set the maximum number of iterations allowed for each SCC when solving SCCs by substitution">;
+
+def scc_substitution_max_equations : Joined<["-"], "scc-substitution-max-eqs=">,
+    MarcoCodegenOpts<"SCC Solving by substitution">,
+    Visibility<[MC1Option]>,
+    Group<MarcoCodegen_Group>,
+    MarshallingInfoInt<LangOpts<"ConstexprCallDepth">, "5">,
+    HelpText<"Set the maximum number of equations allowed for an SCC to be considered for solving by substitution">;
+
 defm cse : BoolOption<"", "cse",
     MarcoCodegenOpts<"CSE">,
     DefaultFalse,