diff options
| author | Silviu Baranga <silviu.baranga@arm.com> | 2017-09-12 07:48:22 +0000 |
|---|---|---|
| committer | Silviu Baranga <silviu.baranga@arm.com> | 2017-09-12 07:48:22 +0000 |
| commit | ac920f7716ef410e77af39824f26464b6ec855ef (patch) | |
| tree | 55d3957e011848b4aa2d46ee71a26a2866330282 /llvm/lib/IR/AutoUpgrade.cpp | |
| parent | 23e7733230c59570a62f15beaafacb0fb680958d (diff) | |
| download | llvm-ac920f7716ef410e77af39824f26464b6ec855ef.zip llvm-ac920f7716ef410e77af39824f26464b6ec855ef.tar.gz llvm-ac920f7716ef410e77af39824f26464b6ec855ef.tar.bz2 | |
[LAA] Allow more run-time alias checks by coercing pointer expressions to AddRecExprs
Summary:
LAA can only emit run-time alias checks for pointers with affine AddRec
SCEV expressions. However, non-AddRecExprs can be now be converted to
affine AddRecExprs using SCEV predicates.
This change tries to add the minimal set of SCEV predicates in order
to enable run-time alias checking.
Reviewers: anemet, mzolotukhin, mkuper, sanjoy, hfinkel
Reviewed By: hfinkel
Subscribers: mssimpso, Ayal, dorit, roman.shirokiy, mzolotukhin, llvm-commits
Differential Revision: https://reviews.llvm.org/D17080
llvm-svn: 313012
Diffstat (limited to 'llvm/lib/IR/AutoUpgrade.cpp')
0 files changed, 0 insertions, 0 deletions