projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2696d5) | patch
[MemorySSA] Verify Phi incoming blocks are block predecessors.
authorAlina Sbirlea <asbirlea@google.com>
Wed, 20 Jun 2018 21:06:13 +0000 (21:06 +0000)
committerAlina Sbirlea <asbirlea@google.com>
Wed, 20 Jun 2018 21:06:13 +0000 (21:06 +0000)
commit201d02c75c8ad92a295309833569bf49f4cf8511
tree7c9de0f4f504fb560cad14c56baf4c1d0eefcf4btree | snapshot
parentc2696d577b25fdb9cf5ca791527d038f97fa92abcommit | diff
[MemorySSA] Verify Phi incoming blocks are block predecessors.

Summary: Make the MemorySSA verify also check that all Phi incoming blocks are block predecessors.

Reviewers: george.burgess.iv

Subscribers: sanjoy, jlebar, Prazek, llvm-commits

Differential Revision: https://reviews.llvm.org/D48333

llvm-svn: 335174
llvm/lib/Analysis/MemorySSA.cpp diff | blob | history
Domain: System / Toolchain;