llvm-svn: 2507

on the CFG of a function

llvm-svn: 2506

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

Move code out of header file

llvm-svn: 2498

* 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: 2496

llvm-svn: 2494

llvm-svn: 2493

llvm-svn: 2490

llvm-svn: 2487

llvm-svn: 2486

don't use isPointerType()

llvm-svn: 2485

llvm-svn: 2484

llvm-svn: 2473

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

llvm-svn: 2472

llvm-svn: 2471

llvm-svn: 2470

llvm-svn: 2469

llvm-svn: 2467

Fix implementation of Not

llvm-svn: 2464

by using the ~ operator instead of !

llvm-svn: 2458

llvm-svn: 2455

llvm-svn: 2451

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

llvm-svn: 2437

  introduced in the 1.66 revision of this file.
* Convert a hard coded constant to a symbolic value.

llvm-svn: 2436

llvm-svn: 2434

definitions must still occur before function bodies, but the wierd keyword is
no longer neccesary.

llvm-svn: 2433

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