HomePhabricator

[MemorySSA] LCSSA preserves MemorySSA.

Authored by asbirlea on Apr 23 2019, 1:59 PM.

Description

[MemorySSA] LCSSA preserves MemorySSA.

Summary:
Enabling MemorySSA in the old pass manager leads to MemorySSA being run
twice due to the fact that LCSSA and LoopSimplify do not preserve
MemorySSA. This is the first step to address that: target LCSSA.

LCSSA does not make any changes that invalidate MemorySSA, so it
preserves it by design. It must preserve AA as well, for this to hold.

After this patch, MemorySSA is still run twice in the old pass manager.
Step two follows: target LoopSimplify.

Subscribers: mehdi_amini, jlebar, Prazek, llvm-commits, george.burgess.iv, chandlerc

Tags: #llvm

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

llvm-svn: 359032

Details

Committed
asbirleaApr 23 2019, 1:59 PM
Differential Revision
D60832: [MemorySSA] LCSSA preserves MemorySSA.
Parents
rG26518466ef8c: [X86] Autogenerate complete checks. NFC
Branches
Unknown
Tags
Unknown