Hook up analysis pass to slang driver, add --disable-analysis flag

MikePopoloski · Feb 5, 2025 · 7d5151a · 7d5151a
1 parent a1c9fd9
commit 7d5151a
Showing 1 changed file with 17 additions and 6 deletions.
diff --git a/tools/driver/slang_main.cpp b/tools/driver/slang_main.cpp
@@ -75,12 +75,16 @@ int driverMain(int argc, TArgs argv) {
         std::optional<bool> onlyPreprocess;
         std::optional<bool> onlyParse;
         std::optional<bool> onlyMacros;
+        std::optional<bool> disableAnalysis;
         driver.cmdLine.add("-E,--preprocess", onlyPreprocess,
                            "Only run the preprocessor (and print preprocessed files to stdout)");
         driver.cmdLine.add("--macros-only", onlyMacros, "Print a list of found macros and exit");
         driver.cmdLine.add(
             "--parse-only", onlyParse,
             "Stop after parsing input files, don't perform elaboration or type checking");
+        driver.cmdLine.add("--disable-analysis", disableAnalysis,
+                           "Disables post-elaboration analysis"
+                           "passes, which prevents some diagnostics from being issued");
 
         std::optional<bool> includeComments;
         std::optional<bool> includeDirectives;
@@ -168,17 +172,24 @@ int driverMain(int argc, TArgs argv) {
                     ok = driver.parseAllSources();
                 }
 
+                std::unique_ptr<Compilation> compilation;
                 {
                     TimeTraceScope timeScope("elaboration"sv, ""sv);
-                    auto compilation = driver.createCompilation();
+                    compilation = driver.createCompilation();
                     driver.reportCompilation(*compilation, quiet == true);
+                }
+
+                if (!disableAnalysis.value_or(true)) {
+                    TimeTraceScope timeScope("semanticAnalysis"sv, ""sv);
+                    driver.runAnalysis(*compilation);
+                }
 
-                    ok &= driver.reportDiagnostics(quiet == true);
+                ok &= driver.reportDiagnostics(quiet == true);
 
-                    if (astJsonFile) {
-                        printJson(*compilation, *astJsonFile, astJsonScopes,
-                                  includeSourceInfo == true, serializeDetailedTypes == true);
-                    }
+                if (astJsonFile) {
+                    TimeTraceScope timeScope("serialization"sv, ""sv);
+                    printJson(*compilation, *astJsonFile, astJsonScopes, includeSourceInfo == true,
+                              serializeDetailedTypes == true);
                 }
             }
         }