HomePhabricator

[CFLAA] Teach CFLAnders to distinguish reads from writes.

Description

[CFLAA] Teach CFLAnders to distinguish reads from writes.

This patch adds more specific edges to CFLAndersAliasAnalysis. The goal
of these edges is to give us more information about *how* two values
that MayAlias alias. With this, we can now tell cases like

a = b; // ergo, a may alias b

apart from

a = c;
b = c;

// so, a may alias b, but only because they were both assigned to c.

...And others.

Patch by Jia Chen.

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

Details

Committed
gbivJul 19 2016, 1:38 PM
Differential Revision
D22429: [CFLAA] Teach CFLAndersAliasAnalysis to discern reads from writes
Parents
rL276022: Attempt to bring peace to -Werror buildbots.
Branches
Unknown
Tags
Unknown