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

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

xbolva00 added a comment.

- Basic implementation uses GEP field offsets only.
- Unknown offsets are handled specially, MayAlias. (Special value for UnknowOffset was introduced in previous patches here)
- (More features in AA) yes, this might be true, but field sensitive analysis is quite powerful and,
- (testing story) I used SPEC2006 benchmark. I compared 6.0 release vs 6.0 release with this patch, https://reviews.llvm.org/owners/package/3/.


Repository:
  rL LLVM

https://reviews.llvm.org/D46282