* 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

* Minor cleanup that was missed in last patch

llvm-svn: 2373

Bugfixes will come in the next revision so that the diff is obvious.

llvm-svn: 2372

to the global namespace

llvm-svn: 2370

llvm-svn: 2363

llvm-svn: 2362

llvm-svn: 2338

const BasicBlocks

llvm-svn: 2337

llvm-svn: 2336

  - 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

* Add support for pool allocating array allocations of varying size

llvm-svn: 2329

llvm-svn: 2323

llvm-svn: 2307

llvm-svn: 2298

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