Main - Support running full check before optimisation

1 files changed, 6 insertions, 1 deletions

diff --git a/src/main.cpp b/src/main.cpp
index 71b0f9ce..cb506ffb 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -444,6 +444,12 @@ int main(int argc, char *argv[])
         CompilePhaseV("MIR Cleanup", [&]() {
             MIR_CleanupCrate(*hir_crate);
             });
+        if( getenv("MRUSTC_FULL_VALIDATE_PREOPT") )
+        {
+            CompilePhaseV("MIR Validate Full", [&]() {
+                MIR_CheckCrate_Full(*hir_crate);
+                });
+        }
 
         // Optimise the MIR
         CompilePhaseV("MIR Optimise", [&]() {
@@ -459,7 +465,6 @@ int main(int argc, char *argv[])
             });
         // - Exhaustive MIR validation (follows every code path and checks variable validity)
         // > DEBUGGING ONLY
-        // > DISBALED: Excessive memory usage on complex functions
         CompilePhaseV("MIR Validate Full", [&]() {
             if( getenv("MRUSTC_FULL_VALIDATE") )
                 MIR_CheckCrate_Full(*hir_crate);