HomePhabricator

[MemorySSA] Add additional verification for phis.

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

Details

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