Write most of the isa, cast, dyn_cast section.  It's not done yet though.

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

Do not allow adds of pointer types, or many other operations on pointer types.

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

Disallow creation of pointer typed shift instructions

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

* Write the prose for the Basic Inspection and Traversal Routines section
* Fix some minor problems with < and &
* Add links to later parts of the document for classes

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

*** empty log message ***

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

- Made distinction between object->iterator and iterator->object
conversion more clear.

- Added content to "Iterating over Instructions in a Function"
section.

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

Silly bug fix: Machine code vector could be empty for a no-op cast instruction,
e.g., cast double to double.

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

Clean up the isa section stub.  It should not be listed twice

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

Stub out another couple sections that it looks like 426's MP1 will really
need.

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

Fix minor typo

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

Testcase no longer applicable since shifts of pointers are no longer allowed

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

Eliminate multiply of pointer type

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

Factor silly code duplication out

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

Fix Bug: test/Regression/Transforms/InstCombine/2002-09-08-PointerShiftBug.ll

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

New testcase for a bug identified by Vikram

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

Make sure the leakdetector is told about temporary Phi nodes also, so it doesn't
erroneously report them as leaks

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

Inform the memory leak detector that TmpInstruction objects should not be
subject to memory leak checking.

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

Move TmpInstruction ctor to InstrSelection.cpp file

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

Enable "garbage detection" of LLVM objects.  Check for leaks after running
every pass.

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

Enable "garbage detection" of LLVM objects.  Now users should be obnoxious
warnings.  If they accidentally leak LLVM Value's.

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

Minor simplification

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

Checkin initial support for automatic memory leak detection routines

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

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