[llvm-commits] [patch] Handle unreachable code in dominators

[Rafael Espíndola]

The attached patch changes our implementation of dominators to handle
unreachable code. With this patch an unreachable basic block is
dominated by any other BB. I extended the definition of dominance for
uses in a similar way.

The patch includes a unit test that also serves as documentation for
what  we want dominators to do.

I have updated existing code for correctness when it depended on the
old behavior, but I have not yet looked for cases we can now simplify.

Cheers,
Rafael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: dominators.patch
Type: text/x-patch
Size: 10378 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20120324/a3978bea/attachment.bin>