HomePhabricator

[DSE] Lift post-dominance for objs not accessible in caller.

Authored by fhahn on Apr 15 2020, 2:42 AM.

Description

[DSE] Lift post-dominance for objs not accessible in caller.

We can eliminate MemoryDefs of objects not accessible after the function
returns (e.g. alloca), if there are no reads between the MemoryDef and
any function exits. We can stop traversing paths that completely
overwrite the memory location of the MemoryDef.

This patch was split off D73763.

Reviewers: dmgreen, bryant, asbirlea, Tyker, efriedma, george.burgess.iv

Reviewed By: asbirlea, george.burgess.iv

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

Details

Committed
fhahnApr 15 2020, 3:37 AM
Reviewer
asbirlea
Differential Revision
D77736: [DSE] Lift post-dominance for objs not accessible in caller.
Parents
rGdd8153b75759: [ARM][MVE] Tail predicate VML[A|S]LDAV
Branches
Unknown
Tags
Unknown