diff options
author | Chris Lattner <sabre@nondot.org> | 2003-02-26 21:39:52 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2003-02-26 21:39:52 +0000 |
commit | 2271fddb6da21528edd015fbde8a3da3b7c5df02 (patch) | |
tree | 1212fe206a1c188c3fe0ea8d3cdb8b573392045a /test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll | |
parent | a36635aba78d46d0e80dd296c3b0aff56ca94d5e (diff) | |
download | llvm-2271fddb6da21528edd015fbde8a3da3b7c5df02.tar.gz llvm-2271fddb6da21528edd015fbde8a3da3b7c5df02.tar.bz2 llvm-2271fddb6da21528edd015fbde8a3da3b7c5df02.tar.xz |
New testcase for size tracking brokenness
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5644 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll')
-rw-r--r-- | test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll b/test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll new file mode 100644 index 0000000000..f1458ce905 --- /dev/null +++ b/test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll @@ -0,0 +1,18 @@ +; This testcase makes sure that size is taken to account when alias analysis +; is performed. It is not legal to delete the second load instruction because +; the value computed by the first load instruction is changed by the store. + +; RUN: as < %s | opt -load-vn -gcse -instcombine | dis | grep DONOTREMOVE + +int %test() { + %A = alloca int + store int 0, int* %A + %X = load int* %A + %B = cast int* %A to sbyte* + %C = getelementptr sbyte* %B, long 1 + store sbyte 1, sbyte* %C ; Aliases %A + %Y.DONOTREMOVE = load int* %A + %Z = sub int %X, %Y.DONOTREMOVE + ret int %Z +} + |