llvm/test/Analysis/BasicAA, branch release_27http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis/BasicAA?h=release_272010-01-05T17:55:26ZDelete useless trailing semicolons.2010-01-05T17:55:26ZDan Gohmangohman@apple.com2010-01-05T17:55:26Zurn:sha1:aceba31b7a04fd28680209b2677915378877bc13
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92740 91177308-0d34-0410-b5e6-96231b3b80d8
gvn is optimizing this better now.2009-12-06T04:16:05ZChris Lattnersabre@nondot.org2009-12-06T04:16:05Zurn:sha1:0fce29b9d1b85416492a205dd81fe3b3e95b9650
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90696 91177308-0d34-0410-b5e6-96231b3b80d8
@test9 is a testcase for r89958. Before 89958, we misanalyzed the2009-11-26T19:25:46ZChris Lattnersabre@nondot.org2009-11-26T19:25:46Zurn:sha1:3c47f2de906ce5c83d090f05a16edc06c3ee87ab
first expression as P+4+4*i which we considered to possibly alias
P+4*j. Now we correctly analyze the former one as P+1+4*i.
@test10 is a sanity test that verfies that we know that P+4+4*i != P+4*i.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89960 91177308-0d34-0410-b5e6-96231b3b80d8
Implement PR1143 (at -m64) by making basicaa look through extensions. We2009-11-26T18:53:33ZChris Lattnersabre@nondot.org2009-11-26T18:53:33Zurn:sha1:1ce0eaa25fc6ecead5f9bba3c17b8af612d830ef
previously already handled it at -m32 because there were no i32->i64
extensions for addressing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89959 91177308-0d34-0410-b5e6-96231b3b80d8
teach GetLinearExpression to be a bit more aggressive.2009-11-26T17:00:01ZChris Lattnersabre@nondot.org2009-11-26T17:00:01Zurn:sha1:fa3966881f7f0317803b09161602c9c7eeb2d3a3
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89955 91177308-0d34-0410-b5e6-96231b3b80d8
Teach basicaa that x|c == x+c when the c bits of x are clear. This2009-11-26T16:26:43ZChris Lattnersabre@nondot.org2009-11-26T16:26:43Zurn:sha1:5d5261c819fa2a203dc8d09c7bb71e041a12cd69
allows us to compile the example in readme.txt into:
LBB1_1: ## %bb
movl 4(%rdx,%rax), %ecx
movl %ecx, %esi
imull (%rdx,%rax), %esi
imull %esi, %ecx
movl %esi, 8(%rdx,%rax)
imull %ecx, %esi
movl %ecx, 12(%rdx,%rax)
movl %esi, 16(%rdx,%rax)
imull %ecx, %esi
movl %esi, 20(%rdx,%rax)
addq $16, %rax
cmpq $4000, %rax
jne LBB1_1
instead of:
LBB1_1:
movl (%rdx,%rax), %ecx
imull 4(%rdx,%rax), %ecx
movl %ecx, 8(%rdx,%rax)
imull 4(%rdx,%rax), %ecx
movl %ecx, 12(%rdx,%rax)
imull 8(%rdx,%rax), %ecx
movl %ecx, 16(%rdx,%rax)
imull 12(%rdx,%rax), %ecx
movl %ecx, 20(%rdx,%rax)
addq $16, %rax
cmpq $4000, %rax
jne LBB1_1
GCC (4.2) doesn't seem to be able to eliminate the loads in this
testcase either, it generates:
L2:
movl (%rdx), %eax
imull 4(%rdx), %eax
movl %eax, 8(%rdx)
imull 4(%rdx), %eax
movl %eax, 12(%rdx)
imull 8(%rdx), %eax
movl %eax, 16(%rdx)
imull 12(%rdx), %eax
movl %eax, 20(%rdx)
addl $4, %ecx
addq $16, %rdx
cmpl $1002, %ecx
jne L2
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89952 91177308-0d34-0410-b5e6-96231b3b80d8
teach basicaa that A[i] != A[i+1].2009-11-26T16:18:10ZChris Lattnersabre@nondot.org2009-11-26T16:18:10Zurn:sha1:f6ac4d9dadaa62959e04a0281e3bc5f4270fc260
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89951 91177308-0d34-0410-b5e6-96231b3b80d8
rename test2009-11-26T16:08:41ZChris Lattnersabre@nondot.org2009-11-26T16:08:41Zurn:sha1:61d24624005f3cb7973819217e9141febce37c61
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89950 91177308-0d34-0410-b5e6-96231b3b80d8
Change the other half of aliasGEP (which handles GEP differencing) to use DecomposeGEPExpression. This dramatically simplifies and shrinks the code by eliminating the horrible CheckGEPInstructions method, fixes a miscompilation (@test3) and makes the code more aggressive. In particular, we now handle the @test4 case, which is reduced from the SmallPtrSet constructor. Missing this caused us to emit a variable length memset instead of a fixed size one.2009-11-26T02:17:34ZChris Lattnersabre@nondot.org2009-11-26T02:17:34Zurn:sha1:d84eb911a9f9c5b16fb6a737289a98651b94ce7f
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89922 91177308-0d34-0410-b5e6-96231b3b80d8
add a new random feature test2009-11-26T02:16:28ZChris Lattnersabre@nondot.org2009-11-26T02:16:28Zurn:sha1:4b7d0d97279c3144bd36160721fc4a8b4ff198f5
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89921 91177308-0d34-0410-b5e6-96231b3b80d8