llvm-svn: 3550

llvm-svn: 3549

    dominator as being removed)
  - GCSE now uses new Value #'ing interface, instead of dealing with AA itself
  - GCSE worklist implementation much simpler, class cleaned up.

llvm-svn: 3533

llvm-svn: 3495

Eliminated the MemAccessInst class, folding contents into GEP class.

llvm-svn: 3488

llvm-svn: 3487

to handle indexing anymore

llvm-svn: 3485

llvm-svn: 3483

llvm-svn: 3478

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