[PATCH] D69865: [IR] PR27065: Part2. Fix BasicBlock::removePredecessor to not break SSA form.

Wed Nov 6 14:59:31 PST 2019

dendibakh added a comment.

In D69865#1736280 <https://reviews.llvm.org/D69865#1736280>, @jdoerfert wrote:

> Unreachable code is generally allowed to be in non-SSA form.

Is it documented somewhere? 
I think it adds certain limitations to the usage of some LLVM functionality. For example, if someone decide to link in detached blocks (after removePredecessor) again, (s)he will be surprised to find broken SSA code in there. It limits room for hacking certainly.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D69865