HomePhabricator

[MemorySSA] Add additional verification for phis.

Authored by asbirlea on Jul 31 2019, 10:41 AM.

Description

[MemorySSA] Add additional verification for phis.

Summary:
Verify that the incoming defs into phis are the last defs from the
respective incoming blocks.
When moving blocks, insertDef must RenameUses. Adding this verification
makes GVNHoist tests fail that uncovered this issue.

Reviewers: george.burgess.iv

Subscribers: jlebar, Prazek, llvm-commits

Tags: #llvm

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

llvm-svn: 367451

Details

Committed
asbirleaJul 31 2019, 10:41 AM
Differential Revision
D63147: [MemorySSA] Add additional verification for phis.
Parents
rGb206c3e3e4de: gn build: Add build files for compiler-rt/lib/profile
Branches
Unknown
Tags
Unknown