Allow NonLocalAccessBlockAnalysis verification to be conservative.

It's fine to allow some optimization of access markers without
invalidating this simple analysis.

Author: atrick

include/swift/SILOptimizer/Analysis/NonLocalAccessBlockAnalysis.h

@@ -88,7 +88,10 @@ class NonLocalAccessBlockAnalysis
       virtual void verify(NonLocalAccessBlocks *accessBlocks) const override {
         NonLocalAccessBlocks checkAccessBlocks(accessBlocks->function);
         checkAccessBlocks.compute();
-        assert(checkAccessBlocks.accessBlocks == accessBlocks->accessBlocks);
+        assert(llvm::all_of(checkAccessBlocks.accessBlocks,
+                            [&](SILBasicBlock *bb) {
+                              return accessBlocks->accessBlocks.count(bb);
+                            }));
       })
 };