llvm-svn: 2513

  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

it here.

llvm-svn: 2431

llvm-svn: 2430

llvm-svn: 2429

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

llvm-svn: 2428

Fixed bug: test/Regression/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll

llvm-svn: 2423

llvm-svn: 2420

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

   malloc(100-i);

llvm-svn: 2409

This only requires Type.h anyway

llvm-svn: 2405

llvm-svn: 2400

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

class.

llvm-svn: 2375

PromoteInstance.  Make them local variables that are passed around as
appropriate.  Especially in the case of CurrentValue, this makes the
code simpler.

llvm-svn: 2374