Checkin initial support for automatic memory leak detection routines

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3617 91177308-0d34-0410-b5e6-96231b3b80d8

* Add capability to recognize alias properties of the following common cases:
  - 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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3616 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase that tests for array pointer analysis type stuff

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3615 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug in testcase now that load-vn is not built into gcse

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3614 91177308-0d34-0410-b5e6-96231b3b80d8

Fix broken test

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3613 91177308-0d34-0410-b5e6-96231b3b80d8

Test commit

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3612 91177308-0d34-0410-b5e6-96231b3b80d8

*** empty log message ***

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3611 91177308-0d34-0410-b5e6-96231b3b80d8

Fixed typos and added &lt/&gt/&amp tags where appropriate

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3610 91177308-0d34-0410-b5e6-96231b3b80d8

* Fix a couple more <>&'s
* Correct an extremely minor technical point about a deprecated interface.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3609 91177308-0d34-0410-b5e6-96231b3b80d8

Minor fixes html type fixes: & -> &amp;  > -> &gt; etc.
Hopefully permission thing works this time.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3608 91177308-0d34-0410-b5e6-96231b3b80d8

Minor fix, test that web autoupdate works for people non-chris

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3607 91177308-0d34-0410-b5e6-96231b3b80d8

Added subsections to 'Basic Inspection and Traversal Routines':

* 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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3606 91177308-0d34-0410-b5e6-96231b3b80d8

Move code out of header files into .cpp files to make future changes easier

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3605 91177308-0d34-0410-b5e6-96231b3b80d8

* Clean up some comments
* 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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3604 91177308-0d34-0410-b5e6-96231b3b80d8

Fix script due to new www/ top level directory

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3603 91177308-0d34-0410-b5e6-96231b3b80d8

Remove obsolete script

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3602 91177308-0d34-0410-b5e6-96231b3b80d8

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3601 91177308-0d34-0410-b5e6-96231b3b80d8

* Remove extraneous #includes
* Add extra argument to Function ctor to allow automatic insertion into module

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3600 91177308-0d34-0410-b5e6-96231b3b80d8

Initial checkin of Correlated Expression Elimination Pass

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3599 91177308-0d34-0410-b5e6-96231b3b80d8

* No longer need to run die after instcombine
* Run new correlated expressions pass
* Simplify the CFG (removing dead blocks, merging blocks, eliminating branches
  on constant booleans, etc) after correlated exprs pass.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3598 91177308-0d34-0410-b5e6-96231b3b80d8

Include stub for correlated expression elimination pass

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3597 91177308-0d34-0410-b5e6-96231b3b80d8

Add skeleton to the section contents so that Joel knows what to fill in

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3596 91177308-0d34-0410-b5e6-96231b3b80d8

Add new section

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3595 91177308-0d34-0410-b5e6-96231b3b80d8

Trivial change to test CVS checkout scripts

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3594 91177308-0d34-0410-b5e6-96231b3b80d8

Commit Vikram's changes for 426 class

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3593 91177308-0d34-0410-b5e6-96231b3b80d8

Add information about the GlobalVariable and Module classes

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3592 91177308-0d34-0410-b5e6-96231b3b80d8

Fix file header to be accurate, instead of something I just copied and pasted.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3591 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug with critical edge splitting code where it wouldn't update PHI nodes
in the old destination block to indicate that the value flows from the new
edge splitting block, not from the original multi-successor block.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3590 91177308-0d34-0410-b5e6-96231b3b80d8

Initial checkin of the first part of the Programmer's Manual
There is still much to be done, but it's a good start.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3589 91177308-0d34-0410-b5e6-96231b3b80d8

Check in the implementation of critical edge detection and splitting

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3588 91177308-0d34-0410-b5e6-96231b3b80d8

- Rename BreakCriticalEdge to the slightly more standard SplitCriticalEdge

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3587 91177308-0d34-0410-b5e6-96231b3b80d8

* Doxygenize API
* Add new functions for identifying and breaking critical edges

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3586 91177308-0d34-0410-b5e6-96231b3b80d8

- Doxygenize comments
- 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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3585 91177308-0d34-0410-b5e6-96231b3b80d8

Make getAnalysisToUpdate<AnalysisType>() public so that transformation APIs
can update analysis information.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3584 91177308-0d34-0410-b5e6-96231b3b80d8

* Remove notes at the top of the file
* Add information about how to debug a dynamically loaded pass.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3583 91177308-0d34-0410-b5e6-96231b3b80d8

Add new function MachineInstrInfo::CreateZeroExtensionInstructions.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3582 91177308-0d34-0410-b5e6-96231b3b80d8

Add new function UltraSparcInstrInfo::CreateZeroExtensionInstructions.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3581 91177308-0d34-0410-b5e6-96231b3b80d8

Bug fixes in casting between floats and ints smaller than 64 bits.
Add UltraSparcInstrInfo::CreateZeroExtensionInstructions to help with that.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3580 91177308-0d34-0410-b5e6-96231b3b80d8

-- Use size of pointer element type instead of pointer type in array offsets!
-- A few bug fixes in casting between floats and ints.
-- Use SRL reg, 0 instead of AND reg, 0xffffffff to clear high 32 bits.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3579 91177308-0d34-0410-b5e6-96231b3b80d8

-- Bug fix: use byte offsets not typed offsets in output assembly!
-- Add support for ConstantExpr constants (only cast and add operators so far)
-- Avoid generating label Bbss.bss, which sometimes came out twice.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3578 91177308-0d34-0410-b5e6-96231b3b80d8

Minor bug fix.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3577 91177308-0d34-0410-b5e6-96231b3b80d8

Implement setcc for booleans.  Fixes bug:
test/Regression/Transforms/ConstProp/2002-09-03-SetCC-Bools.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3576 91177308-0d34-0410-b5e6-96231b3b80d8

Make sure that setcc is implemented for bools.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3575 91177308-0d34-0410-b5e6-96231b3b80d8

  - Renamed Type::isIntegral() to Type::isInteger()
  - Added new method Type::isIntegral() that is the same as isInteger, but
    also accepts bool.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3574 91177308-0d34-0410-b5e6-96231b3b80d8

- Renamed Type::isIntegral() to Type::isInteger()
  - Added new method Type::isIntegral() that is the same as isInteger, but
    also accepts bool.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3573 91177308-0d34-0410-b5e6-96231b3b80d8

  - Renamed Type::isIntegral() to Type::isInteger()
  - Added new method Type::isIntegral() that is the same as isInteger, but
    also accepts bool.
SCVS: ----------------------------------------------------------------------

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3572 91177308-0d34-0410-b5e6-96231b3b80d8

Implement operator== and != for ranges

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3571 91177308-0d34-0410-b5e6-96231b3b80d8

Add distinction between integer and integral types.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3570 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bugs

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3569 91177308-0d34-0410-b5e6-96231b3b80d8

Add constant prop & DIE to InstCombine, so it cleans up after itself

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3568 91177308-0d34-0410-b5e6-96231b3b80d8

Remove duplicate #include

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3567 91177308-0d34-0410-b5e6-96231b3b80d8

Add printing support to ConstantRange class

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3566 91177308-0d34-0410-b5e6-96231b3b80d8

Add printing support to ConstantRange class

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3565 91177308-0d34-0410-b5e6-96231b3b80d8

Initial implementation of ConstantRange support

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3564 91177308-0d34-0410-b5e6-96231b3b80d8

Initial implementation of ConstantRange support

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3563 91177308-0d34-0410-b5e6-96231b3b80d8

  - Exposed SetCondInst::getInverseCondition & ::getSwappedCondition better

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3562 91177308-0d34-0410-b5e6-96231b3b80d8

  - Exposed SetCondInst::getInverseCondition & ::getSwappedCondition better
  - Doxygenized iOperators.h

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3561 91177308-0d34-0410-b5e6-96231b3b80d8

 - Converted CWriter to be an LLVM pass.
 - Convert dis to use a PassManager to do it's work.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3560 91177308-0d34-0410-b5e6-96231b3b80d8

Get FindUsedTypes pass

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3559 91177308-0d34-0410-b5e6-96231b3b80d8

 - Fix bug: test/Regression/CBackend/2002-08-20-RecursiveTypes.ll
 - Converted CWriter to be an LLVM pass.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3558 91177308-0d34-0410-b5e6-96231b3b80d8

Convert cwriter to be a pass.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3557 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3556 91177308-0d34-0410-b5e6-96231b3b80d8

 - Implement SCCP of getelementptr instructions
 - Implement SCCP of globals into ConstantExprs hopefully opening new
   opportunities for more SCCP.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3555 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3554 91177308-0d34-0410-b5e6-96231b3b80d8

- Reformat comments
  - 'gccas' puts verifier in logical place in pass procession to avoid
    recomputing dominator information unneccesarily.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3553 91177308-0d34-0410-b5e6-96231b3b80d8

- 'analyze' and 'as' now explicitly verify input because AsmParser doesn't.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3552 91177308-0d34-0410-b5e6-96231b3b80d8

  - 'analyze' and 'as' now explicitly verify input because AsmParser doesn't.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3551 91177308-0d34-0410-b5e6-96231b3b80d8

  - Eliminate the last traces of the 'analysis' namespace

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3550 91177308-0d34-0410-b5e6-96231b3b80d8

Really minor cleanups

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3549 91177308-0d34-0410-b5e6-96231b3b80d8

AsmParser now depends on clients to verify that input is well formed

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3548 91177308-0d34-0410-b5e6-96231b3b80d8

Update comments

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3547 91177308-0d34-0410-b5e6-96231b3b80d8

Fix comments.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3546 91177308-0d34-0410-b5e6-96231b3b80d8

Merged into ValueNumbering.cpp

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3545 91177308-0d34-0410-b5e6-96231b3b80d8

Minor cleanups so I can remove BasicValueNumbering.h

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3544 91177308-0d34-0410-b5e6-96231b3b80d8

Add "written by" note

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3543 91177308-0d34-0410-b5e6-96231b3b80d8

Initial implementation of basic value numbering
This file will probably go away at some point

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3542 91177308-0d34-0410-b5e6-96231b3b80d8

initial implementation of ValueNumbering interface.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3541 91177308-0d34-0410-b5e6-96231b3b80d8

Initial implementation of value numbering for load instructions

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3540 91177308-0d34-0410-b5e6-96231b3b80d8

Initial version of LoadValueNumbering interface

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3539 91177308-0d34-0410-b5e6-96231b3b80d8

Initial version of ValueNumbering interface

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3538 91177308-0d34-0410-b5e6-96231b3b80d8

Link to analysis.o not analysis.a

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3537 91177308-0d34-0410-b5e6-96231b3b80d8

  - GCCAS now uses load value #ing for GCSE

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3536 91177308-0d34-0410-b5e6-96231b3b80d8

  - Use Pass::AnalysisImpls instead of findAnalysisGroupMemeber
  - -debug-pass=Details now prints implementation class names for analysis
    groups
  - Rework how AnalysisGroups are resolved to be simpler and better.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3535 91177308-0d34-0410-b5e6-96231b3b80d8

  - PassManager prints analysis sets nicer
  - Use Pass::AnalysisImpls instead of findAnalysisGroupMemeber

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3534 91177308-0d34-0410-b5e6-96231b3b80d8

  - GCSE now no longer counts instructions not removed (due to no common
    dominator as being removed)
  - GCSE now uses new Value #'ing interface, instead of dealing with AA itself
  - GCSE worklist implementation much simpler, class cleaned up.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3533 91177308-0d34-0410-b5e6-96231b3b80d8

  - PassInfo class keeps track of AnalysisGroups implemented by the Pass.
  - Doxygenize comments

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3532 91177308-0d34-0410-b5e6-96231b3b80d8

  - Pass now has AnalysisImpls class to implement getAnalysis() so that it is
    correct even when called back by another passes run method.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3531 91177308-0d34-0410-b5e6-96231b3b80d8

Make sure to run these tests with load value #'ing

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3530 91177308-0d34-0410-b5e6-96231b3b80d8

Eliminate hardcoded paths using LLVMGCCDIR variable.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3529 91177308-0d34-0410-b5e6-96231b3b80d8

Add LLVMGCCDIR variable to eliminate hardcoded paths from test/Makefile.tests.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3528 91177308-0d34-0410-b5e6-96231b3b80d8

Simplified significantly by pulling out local configuration options
into Makefile.config.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3527 91177308-0d34-0410-b5e6-96231b3b80d8

Local configuration options for a particular installation of LLVM.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3526 91177308-0d34-0410-b5e6-96231b3b80d8

New datastructure analysis correctly uses TargetData

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3525 91177308-0d34-0410-b5e6-96231b3b80d8

Remove unneeded #include

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3524 91177308-0d34-0410-b5e6-96231b3b80d8

Fix comments

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3523 91177308-0d34-0410-b5e6-96231b3b80d8

Make the getAnalyss<> members const.  Using them does NOT modify the Pass object.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3522 91177308-0d34-0410-b5e6-96231b3b80d8

Factor out /shared/... path to simplify changing it.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3521 91177308-0d34-0410-b5e6-96231b3b80d8

Comment out broken link

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3520 91177308-0d34-0410-b5e6-96231b3b80d8

moved this file from lib/Reoptimizer/Mapping

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3519 91177308-0d34-0410-b5e6-96231b3b80d8

Makefile for new sub directory

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3518 91177308-0d34-0410-b5e6-96231b3b80d8