[PATCH] D105374: [SimplifyCFG] simplifyUnreachable(): erase instructions iff they are guaranteed to transfer execution to unreachable

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/lib/Transforms/Utils/SimplifyCFG.cpp:4685
+    // involves a bit of subtle reasoning. If this inst is an EH,
+    // all the predecessors of this block will be the unwind edges of Invokes,
+    // and we can therefore guarantee this block will be erased.
----------------
Invoke or catchswitch.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D105374/new/

https://reviews.llvm.org/D105374