llvm-svn: 21354

llvm-svn: 21320

This pass forward branches through conditions when it can show that the
conditions is either always true or false for a predecessor.  This currently
only handles the most simple cases of this, but is successful at threading
across 2489 branches and 65 switch instructions in 176.gcc, which isn't bad.

llvm-svn: 21306

llvm-svn: 21253

llvm-svn: 21152

(X-Y)-X --> -Y
A + (B - A) --> B
(B - A) + A --> B

llvm-svn: 21138

This occurs several dozen times in specint2k, particularly in crafty and gcc
apparently.

llvm-svn: 21136

llvm-svn: 21134

pointer analysis.

llvm-svn: 20916

createPromoteMemoryToRegisterPass() to be consistent with other pass
creation functions.

llvm-svn: 20885

This prevents crashes on some programs when using -ds-aa -licm.

llvm-svn: 20831

a pointer value out of a loop causing it to be duplicated.

llvm-svn: 20828

llvm-svn: 20788

Bill Wendling!!

llvm-svn: 20649

llvm-svn: 20603

using Function::arg_{iterator|begin|end}.  Likewise Module::g* -> Module::global_*.

This patch is contributed by Gabor Greif, thanks!

llvm-svn: 20597

llvm-svn: 20506

hopefully not breaking too many other things.

llvm-svn: 20505

llvm-svn: 20501

llvm-svn: 20497

llvm-svn: 20494

a nested loop.  This fixes Transforms/LoopUnroll/2005-03-06-BadLoopInfoUpdate.ll
and PR532

llvm-svn: 20493

llvm-svn: 20479

llvm-svn: 20467

llvm-svn: 20466

llvm-svn: 20463

sparc, and testcase Regression/Transforms/InstCombine/2005-03-04-ShiftOverflow.ll

llvm-svn: 20445

power of two.  This emphatically includes the zeroeth power of two.

llvm-svn: 20429

to a "sizeof" expression.

llvm-svn: 20414

  * Loop invariant code does not dominate the loop header, but rather
    the end of the loop preheader.

  * The base for a reduced GEP isn't a constant unless all of its
    operands (preceding the induction variable) are constant.

  * Allow induction variable elimination for the simple case after all.

Also made changes recommended by Chris for properly deleting
instructions.

llvm-svn: 20383

for reasons explained in the comments, I also deactivated this code as it needs
more thought.

llvm-svn: 20367

llvm-svn: 20360

llvm-svn: 20358

llvm-svn: 20352

llvm-svn: 20343

llvm-svn: 20334

This does a simple form of "jump threading", which eliminates CFG edges that
are provably dead.  This triggers 90 times in the external tests, and
eliminating CFG edges is always always a good thing! :)

llvm-svn: 20300

llvm-svn: 20289

llvm-svn: 20276

and handle incomplete control dependences correctly.  This fixes:

Regression/Transforms/ADCE/dead-phi-edge.ll
  -> a missed optimization

Regression/Transforms/ADCE/dead-phi-edge.ll
  -> a compiler crash distilled from QT4

llvm-svn: 20227