diff options
| -rw-r--r-- | src/main.cpp | 7 |
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); |