llvm-svn: 90408

Patch by Howard Hinnant!

llvm-svn: 90365

per Chris' comments.  Adjust testcases to match.

llvm-svn: 90304

llvm-svn: 90299

llvm-svn: 90298

llvm-svn: 90297

precisely, which prevents us from infinitely peeling the loop.

llvm-svn: 90211

llvm-svn: 90097

llvm-svn: 90089

fix bugs exposed by the tests.  Testcases from Alastair Lynn!

llvm-svn: 90056

llvm-svn: 90046

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

where G[1] isn't live into the loop.

llvm-svn: 90041

inserted instructions.  No functionality change until someone starts using it.

llvm-svn: 90039

to inform GVN about the newly inserted values.  This fixes 
PR5631.

llvm-svn: 90022

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

llvm-svn: 90019

llvm-svn: 90011

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

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

translation done by memdep, and reenable gep translation 
again.

llvm-svn: 89992

SimplifyGEPInst method in InstructionSimplify.h.  No functionality change.

llvm-svn: 89980

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: 89844

llvm-svn: 89758

adjacent uses of a dead basic block from the same user. This fixes PR5596.

llvm-svn: 89658

llvm-svn: 89645

llvm-svn: 89644

fixes part of PR5438.

llvm-svn: 89639

object size intrinsic and verify return type is correct. Collect various
code in one place.

llvm-svn: 89523

blockaddress users. This fixes PR5569.

llvm-svn: 89483

llvm-svn: 89482

llvm-svn: 89479

tests/Transforms/InstCombine/shufflemask-undef.ll.  If
anyone cares, the use of 2*e here (and the equivalent
all over the place in instcombine) seems wrong, though
harmless: it should really be twice the length of the
input vector.  I think shufflevector used to require
that the mask have the same length as the input, but I
don't think that's true any more.  I don't care enough
about vectors to do anything about this...

llvm-svn: 89456

they are lowered to instruction sequences more complex than a simple
load, such that CodeGen cannot rematerialize them, a reload from a
spill slot is likely to be cheaper than the complex sequence.

llvm-svn: 89374

llvm-svn: 89145

llvm-svn: 89123

llvm-svn: 89116

llvm-svn: 89110

Fix an expensive-checks error.

The Mask and LHSMask may not be of the same size, so don't do the
transformation if they're different.

llvm-svn: 88972