Merge pull request #65079 from meg-gupta/disableinputverify

Add a new flag to disable verification on input SIL

Author: meg-gupta

lib/SIL/Parser/ParseSIL.cpp

@@ -48,6 +48,11 @@ static llvm::cl::opt<bool>
 ParseSerializedSIL("parse-serialized-sil",
                    llvm::cl::desc("Parse the output of a serialized module"));
 
+static llvm::cl::opt<bool>
+    DisableInputVerify("sil-disable-input-verify",
+                       llvm::cl::desc("Disable verification of input SIL"),
+                       llvm::cl::init(false));
+
 //===----------------------------------------------------------------------===//
 // SILParserState implementation
 //===----------------------------------------------------------------------===//
@@ -7037,7 +7042,7 @@ bool SILParserState::parseDeclSIL(Parser &P) {
     return true;
 
   // If SIL parsing succeeded, verify the generated SIL.
-  if (!P.Diags.hadAnyError())
+  if (!P.Diags.hadAnyError() && !DisableInputVerify)
     FunctionState.F->verify();
 
   return false;

test/SILOptimizer/ossa_lifetime_completion.sil

@@ -1,4 +1,4 @@
-// RUN: %target-sil-opt -enable-ossa-complete-lifetimes -unit-test-runner -sil-verify-none %s -o /dev/null 2>&1 | %FileCheck %s
+// RUN: %target-sil-opt -enable-ossa-complete-lifetimes -unit-test-runner -sil-disable-input-verify %s -o /dev/null 2>&1 | %FileCheck %s
 
 sil_stage raw