is empirically faster by a noticable margin, even though duplicates can
  happen.

llvm-svn: 2511

* Convert to worklist instead of iterative algorithm

llvm-svn: 2510

llvm-svn: 2504

* Convert main constant propogation pass to be worklist driven instead of
  iterative.
* -constprop pass no longer "constant propogates" terminator instructions
   - CFG is now preserved!

llvm-svn: 2502

llvm-svn: 2501

* Remove dead PHI case (which could not work due to getNumOperands rather than
  getNumIncomingValues.  This really belongs in InstCombine, anyway so we'll
  move it there.

llvm-svn: 2497

llvm-svn: 2494

llvm-svn: 2493

llvm-svn: 2490

llvm-svn: 2484

void "test3"(bool %T) {
        br bool %T, label %BB1, label %BB1
BB1:
        ret void
}

llvm-svn: 2472

llvm-svn: 2471

Now use #if 0 instead of #ifdef 0

llvm-svn: 2448

llvm-svn: 2447

    test/Regression/Transforms/SCCP/2002-05-02-EdgeFailure.ll
* SCCP now preserves the CFG:  It leaves conditional branches the way they
  are in the program, not simplifying them.  A seperate pass should eliminate
  the potentially dead basic blocks and edges in the CFG.

llvm-svn: 2446

* Change worklist to a set so that duplicates cannot happen
* Add support for the invoke instruction
* Avoid marking store and free instructions as overdefined, since they
  cannot produce a value anyway.
* Inline the OperandChangedState implementation
* Add isEdgeFeasible in preparation to fix a bug.  Right now it behaves
  exactly as before.
* Remove obsolete comment about constant pools

llvm-svn: 2445

* Do not skip the instruction immediately after a folded instruction.  This
  was causing the testcase failure:
	test/Regression/Transforms/SCCP/2002-05-02-MissSecondInst.ll

llvm-svn: 2443

* Allow elimination of getelementptr X, uint 0 (which is a noop)

llvm-svn: 2428

llvm-svn: 2417

an anonymous namespace where they belong.

llvm-svn: 2415

llvm-svn: 2414

pass built on top of interval analysis

llvm-svn: 2411

This only requires Type.h anyway

llvm-svn: 2405

llvm-svn: 2397

llvm-svn: 2396

to make debugging output a lot nicer.

llvm-svn: 2395

llvm-svn: 2392

llvm-svn: 2391

Tighten up the AnalysisUsage of lots of passes, primarily to correctly indicate whether or not they invalidate the CFGA

llvm-svn: 2386

llvm-svn: 2378

to the global namespace

llvm-svn: 2370

llvm-svn: 2338

  - Rename runOnMethod to runOnFunction
* Transform getAnalysisUsageInfo into getAnalysisUsage
  - Method is now const
  - It now takes one AnalysisUsage object to fill in instead of 3 vectors
    to fill in
  - Pass's now specify which other passes they _preserve_ not which ones
    they modify (be conservative!)
  - A pass can specify that it preserves all analyses (because it never
    modifies the underlying program)
* s/Method/Function/g in other random places as well

llvm-svn: 2333

IDX is out of range instead of returning null.

llvm-svn: 2332

llvm-svn: 2323

We now use an InstVisitor to delegate to different cases that we are
interested in handling.  We also fix the FIXME's by adding users to the
worklist when appropriate.

llvm-svn: 2292

llvm-svn: 2286

llvm-svn: 2284

llvm-svn: 2283

llvm-svn: 2251