[PATCH] D25706: [ScopInfo] Generate runtime alias check for non-affine memory references.

[Eli Friedman via llvm-commits]

efriedma created this revision.
efriedma added a reviewer: jdoerfert.
efriedma added subscribers: llvm-commits, pollydev.
efriedma set the repository for this revision to rL LLVM.

It doesn't matter whether a memory access is affine; the range just has to be bounded.

The testcase isn't ideal; I haven't managed to come up with a test that actually generates an unbounded variable.


Repository:
  rL LLVM

https://reviews.llvm.org/D25706

Files:
  lib/Analysis/ScopInfo.cpp
  test/ScopInfo/aliasing_with_non_affine_access.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25706.74922.patch
Type: text/x-patch
Size: 6057 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161017/1c56ba3a/attachment.bin>