This is an archive of the discontinued LLVM Phabricator instance.

[CFLAA] On-Demand variant of Context Free Language Alias Analysis
Needs ReviewPublic

Authored by david2050 on Aug 25 2016, 8:09 AM.

Details

Summary

This patch adds another flavor of Alias Analysis which
is a variant of the earlier CFLAliasAnalysis.

This analysis is still experimental and is contributed
as an alternative to the two existing similar passes.

Analysis is off by default but enabled by

-mllvm -use-cfl-aa=on-demand -mllvm -use-cfl-aa-in-codegen=on-demand

A summary of approach and experimentation is here:

https://www.facebook.com/notes/david-callahan/llvm-cfl-alias-analysis/10150648030284971

Diff Detail

Event Timeline

david2050 updated this revision to Diff 69247.Aug 25 2016, 8:09 AM
david2050 retitled this revision from to [CFLAA] On-Demand variant of Context Free Language Alias Analysis.
david2050 updated this object.
david2050 added a reviewer: george.burgess.iv.
david2050 added a subscriber: llvm-commits.
david2050 updated this object.Aug 25 2016, 10:16 AM
david2050 edited edge metadata.
david2050 updated this revision to Diff 69444.Aug 26 2016, 4:00 PM

Cleanup comments and small refactorings

davide added a subscriber: davide.Dec 18 2016, 1:03 AM
lib/Analysis/AliasAnalysis.cpp