Add an option to completely disable SIL verification.

This is useful to disable SIL verification in an assert build of the compiler.
This commit is contained in:
Erik Eckstein
2020-04-10 13:00:44 +02:00
parent d73686a5b5
commit 6da902ef8b
4 changed files with 28 additions and 21 deletions

View File

@@ -73,6 +73,9 @@ public:
/// Controls whether or not paranoid verification checks are run.
bool VerifyAll = false;
/// If true, no SIL verification is done at all.
bool VerifyNone = false;
/// Are we debugging sil serialization.
bool DebugSerialization = false;

View File

@@ -550,6 +550,9 @@ def sil_merge_partial_modules : Flag<["-"], "sil-merge-partial-modules">,
def sil_verify_all : Flag<["-"], "sil-verify-all">,
HelpText<"Verify SIL after each transform">;
def sil_verify_none : Flag<["-"], "sil-verify-none">,
HelpText<"Completely disable SIL verification">;
def verify_all_substitution_maps : Flag<["-"], "verify-all-substitution-maps">,
HelpText<"Verify all SubstitutionMaps on construction">;