[PATCH] D47441: SafepointIRVerifier should ignore dead blocks and dead edges

[Artur Pilipenko via Phabricator via llvm-commits]

apilipenko added a comment.

Can you describe what is the difference you observe in the verifier behavior with and without simplifications before? There will always be cases when some simplifications before the verifier change the CFG. You won't be able to handle everything in this analysis.



================
Comment at: lib/IR/CFGDeadness.cpp:115-116
+  for (const BasicBlock *BB : RPOT)
+    for (auto &BI : *BB)
+      processInstruction(&BI);
+}
----------------
You only look at branches in processInstruction, right? You don't need to iterate all instructions then, just check the terminator of the BB.  


https://reviews.llvm.org/D47441