diff options
author | Chris Lattner <sabre@nondot.org> | 2003-04-22 22:00:15 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2003-04-22 22:00:15 +0000 |
commit | 63a6e7748540715f73c2ed9f81e537f35f352d60 (patch) | |
tree | 61e1b918dc95df2c4b48d90aa5b800f4be66e581 /test/Analysis/BasicAA/2003-04-22-GEPProblem.ll | |
parent | 0286835685cfd718af98ad6e1e61998eeb60942f (diff) | |
download | llvm-63a6e7748540715f73c2ed9f81e537f35f352d60.tar.gz llvm-63a6e7748540715f73c2ed9f81e537f35f352d60.tar.bz2 llvm-63a6e7748540715f73c2ed9f81e537f35f352d60.tar.xz |
New testcase
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5857 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/BasicAA/2003-04-22-GEPProblem.ll')
-rw-r--r-- | test/Analysis/BasicAA/2003-04-22-GEPProblem.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll b/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll new file mode 100644 index 0000000000..27ec9ea694 --- /dev/null +++ b/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll @@ -0,0 +1,15 @@ +; RUN: as < %s | opt -load-vn -gcse -instcombine | dis | grep sub + +; BasicAA was incorrectly concluding that P1 and P2 didn't conflict! + +int %test(int *%Ptr, long %V) { + %P2 = getelementptr int* %Ptr, long 1 + %P1 = getelementptr int* %Ptr, long %V + %X = load int* %P1 + store int 5, int* %P2 + + %Y = load int* %P1 + + %Z = sub int %X, %Y + ret int %Z +} |