11 Commits

Author	SHA1	Message	Date
Chandler Carruth	d200829a4f	Convert the uses of '|&' to use '2>&1 |' instead, which works on old ... versions of Bash. In addition, I can back out the change to the lit built-in shell test runner to support this. This should fix the majority of fallout on Darwin, but I suspect there will be a few straggling issues. llvm-svn: 159544	2012-07-02 18:37:59 +00:00
Eli Friedman	6e9cab83b0	Fix the logic in BasicAliasAnalysis::aliasGEP for comparing GEP's with variable differences so that it actually does something sane. Fixes PR10881. ... llvm-svn: 139276	2011-09-08 02:23:31 +00:00
Dan Gohman	6aff5b94ff	Make BasicAliasAnalysis a normal AliasAnalysis implementation which ... does normal initialization and normal chaining. Change the default AliasAnalysis implementation to NoAlias. Update StandardCompileOpts.h and friends to explicitly request BasicAliasAnalysis. Update tests to explicitly request -basicaa. llvm-svn: 116720	2010-10-18 18:04:47 +00:00
Chris Lattner	7663b66c31	refix PR1143 by making basicaa analyze zexts of indices aggresively, ... which I broke with a recent patch. llvm-svn: 111452	2010-08-18 23:09:49 +00:00
Chris Lattner	b4602679d7	fix a buggy test ... llvm-svn: 111354	2010-08-18 04:55:12 +00:00
Chris Lattner	911e5047d0	@test9 is a testcase for r89958. Before 89958, we misanalyzed the ... 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. llvm-svn: 89960	2009-11-26 19:25:46 +00:00
Chris Lattner	ce573daf09	Implement PR1143 (at -m64) by making basicaa look through extensions. We ... previously already handled it at -m32 because there were no i32->i64 extensions for addressing. llvm-svn: 89959	2009-11-26 18:53:33 +00:00
Chris Lattner	d86a693b70	teach GetLinearExpression to be a bit more aggressive. ... llvm-svn: 89955	2009-11-26 17:00:01 +00:00
Chris Lattner	9c88c96b3f	Teach basicaa that x|c == x+c when the c bits of x are clear. This ... 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 llvm-svn: 89952	2009-11-26 16:26:43 +00:00
Chris Lattner	677b93d4c8	teach basicaa that A[i] != A[i+1]. ... llvm-svn: 89951	2009-11-26 16:18:10 +00:00
Chris Lattner	82257f0385	rename test ... llvm-svn: 89950	2009-11-26 16:08:41 +00:00