[PATCH] D46282: [AA] cfl-anders-aa with field sensitivity

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 created this revision.
xbolva00 added a reviewer: chandlerc.
Herald added a subscriber: llvm-commits.

There was some unfinished work started for offset tracking in CFLGraph by theauthor of implementation of Andersen algorithm. This work was completed and support for field sensitivity was added to Andersen's core.

The performance results seem promising.

SPEC2006 int_base score was increased by 1.1 % (I  compared clang 6.0 with clang 6.0 with this patch). The avergae compile time was increased by +- 1 % according my measures with small and medium C/C++ projects (I did not tested it on the large projects with milions of lines of code)


Repository:
  rL LLVM

https://reviews.llvm.org/D46282

Files:
  lib/Analysis/AliasAnalysisSummary.h
  lib/Analysis/CFLAndersAliasAnalysis.cpp
  lib/Analysis/CFLGraph.h
  test/Analysis/CFLAliasAnalysis/Andersen/field.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D46282.144611.patch
Type: text/x-patch
Size: 22389 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180430/576227ff/attachment-0001.bin>