SILGen - verify incomplete OSSA lifetimes

Use DeadEndBlocks to ignore missing end-borrows and destroys.

Allow SILGen to be as sloppy as it wants with OSSA cleanups.

Author: atrick

lib/SILGen/SILGen.cpp

@@ -91,7 +91,7 @@ SILGenModule::~SILGenModule() {
       f.setLinkage(SILLinkage::PublicExternal);
   }
 
-  M.verify();
+  M.verifyIncompleteOSSA();
 }
 
 static SILDeclRef
@@ -1223,7 +1223,7 @@ void SILGenModule::postEmitFunction(SILDeclRef constant,
   assert(!F->isExternalDeclaration() && "did not emit any function body?!");
   LLVM_DEBUG(llvm::dbgs() << "lowered sil:\n";
              F->print(llvm::dbgs()));
-  F->verify();
+  F->verifyIncompleteOSSA();
 
   emitDifferentiabilityWitnessesForFunction(constant, F);
 }
@@ -1673,7 +1673,7 @@ SILFunction *SILGenModule::emitLazyGlobalInitializer(StringRef funcName,
   auto dc = binding->getDeclContext();
   SILGenFunction(*this, *f, dc).emitLazyGlobalInitializer(binding, pbdEntry);
   emitLazyConformancesForFunction(f);
-  f->verify();
+  f->verifyIncompleteOSSA();
 
   return f;
 }
@@ -2170,7 +2170,7 @@ class SourceFileScope {
 
       LLVM_DEBUG(llvm::dbgs() << "lowered toplevel sil:\n";
                  toplevel->print(llvm::dbgs()));
-      toplevel->verify();
+      toplevel->verifyIncompleteOSSA();
       sgm.emitLazyConformancesForFunction(toplevel);
     }
   }

lib/SILGen/SILGenBridging.cpp

@@ -947,7 +947,7 @@ static void buildBlockToFuncThunkBody(SILGenFunction &SGF,
   SGF.B.createReturn(loc, r);
 
   // Finally, verify the thunk for SIL invariants.
-  SGF.F.verify();
+  SGF.F.verifyIncompleteOSSA();
 }
 
 /// Bridge a native function to a block with a thunk.