subject to memory leak checking.

llvm-svn: 3623

llvm-svn: 3622

every pass.

llvm-svn: 3621

warnings.  If they accidentally leak LLVM Value's.

llvm-svn: 3620

llvm-svn: 3619

Checkin initial support for automatic memory leak detection routines

llvm-svn: 3618

llvm-svn: 3617

  - A[c1] cannot alias A[c2] where constants c1 != c2
  - A[i] cannot alias B[j] if A & B are provably different arrays

This should help out array based codes.  For example, from bzip2 from spec,
3 additional loads can be GCSE'd, and _21_ additional loads can be LICMd due
to this change.

In a test example from the Spec GAP benchmark (vecffe.c), this change allows
_52_ additional loads to be GCSE'd and _224_ additional LICM'd loads.

Not bad for such a simple change.  Other testcases show no change at all
because they just don't use arrays.  Not too suprising there.

llvm-svn: 3616

llvm-svn: 3615

llvm-svn: 3614

llvm-svn: 3613

llvm-svn: 3612

llvm-svn: 3611

llvm-svn: 3610

* Correct an extremely minor technical point about a deprecated interface.

llvm-svn: 3609

Hopefully permission thing works this time.

llvm-svn: 3608

llvm-svn: 3607

* Iterating over the BasicBlocks in a Function
* Iterating over the Instructions in a BasicBlock
* Turning an iterator into a class pointer
* Finding call sites: a more complex example

llvm-svn: 3606

llvm-svn: 3605

* Move code out of header file to .cpp files, to make future changes easier
* Add arguments to classes so that they can be automatically inserted into their
  parent structure upon creation.

llvm-svn: 3604

llvm-svn: 3603

llvm-svn: 3602

* Fix broken comments (copy and pasto)
* Remove irrelevant comment
* Add extra argument to function that causes it to get inserted into a module
  automatically.

llvm-svn: 3601

* Add extra argument to Function ctor to allow automatic insertion into module

llvm-svn: 3600

llvm-svn: 3599

* Run new correlated expressions pass
* Simplify the CFG (removing dead blocks, merging blocks, eliminating branches
  on constant booleans, etc) after correlated exprs pass.

llvm-svn: 3598

llvm-svn: 3597

llvm-svn: 3596

llvm-svn: 3595

llvm-svn: 3594

llvm-svn: 3593

llvm-svn: 3592

llvm-svn: 3591

in the old destination block to indicate that the value flows from the new
edge splitting block, not from the original multi-successor block.

llvm-svn: 3590

There is still much to be done, but it's a good start.

llvm-svn: 3589

llvm-svn: 3588

llvm-svn: 3587

* Add new functions for identifying and breaking critical edges

llvm-svn: 3586

- Add new method to dominatorset: properlyDominates
- Add synonmys for operator[] to classes so that pointers to dominator
  information can be used more easily.
- Add API's to update dominator information

llvm-svn: 3585

can update analysis information.

llvm-svn: 3584