fixes PR5630 and sets the stage for the next phase of goodness (testcase
pending).

llvm-svn: 90019

llvm-svn: 90016

for pointing this out.

llvm-svn: 90015

llvm-svn: 90014

translation of add with immediate.  This allows us
to optimize this function:

void test(int N, double* G) {
  long j;
  G[1] = 1;
    for (j = 1; j < N - 1; j++)
        G[j+1] = G[j] + G[j+1];
}

to only do one load every iteration of the loop.

llvm-svn: 90013

add two simple test cases we now optimize (to one load in the loop each) and one we don't (corresponding to the fixme I added yesterday).

llvm-svn: 90012

llvm-svn: 90011

llvm-svn: 90009

the FIXME I added yesterday to be implemented.

llvm-svn: 90008

array indexes.  The "complex" case of SRoA still handles them, and correctly.

This fixes a weirdness where we'd correctly avoid transforming A[0][42] if
the 42 was too large, but we'd only do it if it was one gep, not two separate
ones.

llvm-svn: 90007

llvm-svn: 90006

the problem only shows for msp430 and pic16 which is why it specifies
them using -march.  But it is wrong to put such tests in CodeGen/Generic,
since not everyone builds these targets.  Put a copy of the test in each
of the target test directories.

llvm-svn: 90005

llvm-svn: 90004

llvm-svn: 90003

llvm-svn: 90002

llvm-svn: 90001

fixes a crash analyzing consumer-lame, which had an "%X = add %X, 1"
in unreachable code.

llvm-svn: 90000

where it is not available.  It's unclear how to get this inserted 
computation into GVN's scalar availability sets, Owen, help? :)

llvm-svn: 89997

llvm-svn: 89996

llvm-svn: 89995

llvm-svn: 89994

llvm-svn: 89993

translation done by memdep, and reenable gep translation 
again.

llvm-svn: 89992

llvm-svn: 89991

llvm-svn: 89990

llvm-svn: 89985

llvm-svn: 89982

This allows us to compile the example from PR5313 into:

LBB1_2:                                                     ## %bb
	incl	%ecx
	movb	%al, (%rsi)
	movslq	%ecx, %rax
	movb	(%rdi,%rax), %al
	testb	%al, %al
	jne	LBB1_2

instead of:

LBB1_2:                                                     ## %bb
	movslq	%eax, %rcx
	incl	%eax
	movb	(%rdi,%rcx), %cl
	movb	%cl, (%rsi)
	movslq	%eax, %rcx
	cmpb	$0, (%rdi,%rcx)
	jne	LBB1_2

llvm-svn: 89981

SimplifyGEPInst method in InstructionSimplify.h.  No functionality change.

llvm-svn: 89980

come.

llvm-svn: 89979

the example in GCC PR16799 to:

LBB1_2:                                                     ## %bb1
	movl	%eax, %eax
	subq	%rax, %rdi
	movq	%rdi, (%rcx)
	movl	(%rdi), %eax
	testl	%eax, %eax
	je	LBB1_2

instead of:

LBB1_2:                                                     ## %bb1
	movl	(%rdi), %ecx
	subq	%rcx, %rdi
	movq	%rdi, (%rax)
	cmpl	$0, (%rdi)
	je	LBB1_2

llvm-svn: 89978

llvm-svn: 89977

llvm-svn: 89976

llvm-svn: 89975

llvm-svn: 89974

remove in LLVM 3.0

llvm-svn: 89973

llvm-svn: 89972

generates store to undef and some generates store to null as the idiom
for undefined behavior.  Since simplifycfg zaps both, don't remove the
undefined behavior in instcombine.

llvm-svn: 89971

by Alastair Lynn.

llvm-svn: 89970

llvm-svn: 89968