llvm-svn: 3476

%PN = phi PN, PN, PN into 0 (because the phi must not be reachable)

llvm-svn: 3470

llvm-svn: 3463

llvm-svn: 3461

llvm-svn: 3432

llvm-svn: 3422

llvm-svn: 3421

llvm-svn: 3420

llvm-svn: 3419

llvm-svn: 3417

llvm-svn: 3412

llvm-svn: 3406

llvm-svn: 3397

    cases like: test/Regression/Transforms/GlobalDCE/2002-08-17-WorkListTest.ll

llvm-svn: 3381

llvm-svn: 3368

llvm-svn: 3347

uint %test4(int %A, int %B) {
        %COND = setlt int %A, %B                ; <bool> [#uses=1]
        %result = cast bool %COND to uint               ; <uint> [#uses=1]
        ret uint %result
}
into a single cast instruction.

llvm-svn: 3339

This _trivial_ change causes GCSE and LICM to be much more effective at
hoisting loads.  Before it would not be able to eliminate 'load X' if there
was just a dominating 'load X, 0' because the expressions were not identical.

llvm-svn: 3337

llvm-svn: 3336

have to support the cast instruction, so the function is renamed to getCast.

llvm-svn: 3328

llvm-svn: 3327

llvm-svn: 3323

llvm-svn: 3322

llvm-svn: 3318

    - Fixed testcases to not use them either.

llvm-svn: 3315

llvm-svn: 3313

llvm-svn: 3300

* Move isMaxValue, isMinValue, isAllOnesValue to Constants.h

llvm-svn: 3290

   * New ReplaceInstUsesWith function to factor out tons of common code
     This needs to be used more in the future still, but it's a good start
   * New InsertNewInstBefore to allow multi-instruction replacements
   * Change getMaxValue functions to isAllOnesValue function, which doesn't
     have to CREATE/lookup a new constant.  Also the name is accurate
   * Add new isMaxValue, isMinValue, isMaxValueMinusOne, isMinValuePlusOne
     functions:  This should be moved to Constant* classes eventually
   * Implement xor X, ALLONES -> not X
   * Fold ALL setcc's of booleans away
   * Handle various SetCC's for integers against values at the end of their
     ranges, possibly off by one.  This implements the setcc-strength-reduce.ll
     testcase.

llvm-svn: 3286

llvm-svn: 3266

- Cleaned up the interface to AnalysisUsage to take analysis class names
   instead of ::ID's.
 - Pass::getAnalysis<> now no longer takes an optional argument

llvm-svn: 3265

   instead of ::ID's.
 - Pass::getAnalysis<> now no longer takes an optional argument

llvm-svn: 3264

llvm-svn: 3262

Don't decompose if there are 2 indices with 0 as first index.
Compute Changed flag correctly in runOnBasicBlock().

llvm-svn: 3233

Implement feature: Cast's can now be converted to bitwise AND expressions.

llvm-svn: 3225

   - Reenable gep (gep x) -> x
   - Make instcombine do dead instruction elimination where it's really
     easy.  Now visitors don't have to ensure they aren't not processing
     dead instructions.

llvm-svn: 3222

llvm-svn: 3215

llvm-svn: 3200

This fixes bug: test/Regression/Transforms/LevelRaise/2002-07-31-AssertionFailure.ll

llvm-svn: 3193

* Internalize global variables with initializers
* Add new stat to track global variable internalization
* Only count functions that were not internal before in internalized function
  count

llvm-svn: 3163