llvm-svn: 85661

llvm-svn: 85660

LoopUnrollPass.cpp, for consistency with other passes which are
similarly split.

llvm-svn: 85659

to unfold loop-invariant loads.

llvm-svn: 85657

llvm-svn: 85655

llvm-svn: 85641

PHI operands by the predecessor order, sort them by the order used by the
first PHI in the block. This is still suffucient to expose duplicates.

llvm-svn: 85634

This helps expose duplicate PHIs, which will make it easier for them
to be eliminated.

llvm-svn: 85623

llvm-svn: 85609

llvm-svn: 85498

crash on any clang tests.

llvm-svn: 85465

llvm-svn: 85390

llvm-svn: 85389

purposes for GVN/DSE.

llvm-svn: 85383

Checks on Demand algorithm which looks at arbitrary branches instead of loop
iterations. This is GSoC work by Andre Tavares with only editorial changes
applied!

llvm-svn: 85382

llvm-svn: 85327

llvm-svn: 85286

llvm-svn: 85197

do anything than return "I don't know" at the moment.

llvm-svn: 85189

llvm-svn: 85185

llvm-svn: 85181

llvm-svn: 85179

Remove LowerAllocations pass.
Update some more passes to treate free calls just like they were treating FreeInst.

llvm-svn: 85176

the loop exiting block dominates the latch block; if ScalarEvolution
can prove that the trip-count is finite, that's sufficient.

llvm-svn: 85165

can safely use the NSW bit on the Add.

llvm-svn: 85164

llvm-svn: 85161

GEPs (more than one non-zero index) into simple GEPs (at most one
non-zero index).  In some simple experiments using this it's not
uncommon to see 3% overall code size wins, because it exposes
redundancies that can be eliminated, however it's tricky to use
because instcombine aggressively undoes the work that this pass does.

llvm-svn: 85144

llvm-svn: 85120

All of the 'demorgan' related xforms need to use 
dyn_castNotVal, not m_Not.

llvm-svn: 85119

strides for now, because it doesn't handle them correctly. This fixes a
miscompile of SingleSource/Benchmarks/Misc-C++/ray.

This problem was usually hidden because indvars transforms such induction
variables into negations of canonical induction variables.

llvm-svn: 85118

llvm-svn: 85090

   not (or (icmp, icmp)) -> and(icmp, icmp)

llvm-svn: 85085

CmpInst::isSigned.

llvm-svn: 85037

used elsewhere - an exit block is a block outside the loop branched to
from within the loop. An exiting block is a block inside the loop that
branches out.

llvm-svn: 85019

llvm-svn: 85016

Update all analysis passes and transforms to treat free calls just like FreeInst.
Remove RaiseAllocations and all its tests since FreeInst no longer needs to be raised.

llvm-svn: 84987

Remove AllocationInst.  Since MallocInst went away, AllocaInst is the only subclass of AllocationInst, so it no longer is necessary.

llvm-svn: 84969

exact backedge taken count, when checking for infinite loops. This allows
it to delete loops with multiple exit conditions.

llvm-svn: 84952

 

llvm-svn: 84841

to libanalysis.  Instcombine shrinking... does this even 
make sense???

llvm-svn: 84840