- 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

Added Mapping subdir

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

Implement ConstantPointerRef support, & ConstantExpr support for Cast, GEP & Add.

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

added Reoptimizer in Makefile DIRS

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

Added mapping lib in llc makefile

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

Added getFunctionInfo and MappingInfoForFunction pass, and fixed the earlier error in compiling

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

Fix bug: test/Regression/CBackend/2002-08-26-IndirectCallTest.ll

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

New testcase

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

Add support for turning an array of characters into a string.

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

Changed so it gets linked properly

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

Convert comments to Doxygen style

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

Fix the way parens are printed around "*ptrName" so that
no parens are printed around  *, **, ... alone, except if
it is a pointer type for which no name should be printed,
as in the result of a cast.

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

Added function GetMemInstArgs and made FoldGetElemChain private.

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

Added support for type inquiry in subclasses of InstTreeNode.

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

Use newly-added type inspection support in InstTreeNode subclasses.

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

Moved code here to extract memory instruction indices and to check
whether FoldGetElemNodes should be called.  This is machine-independent
but was in the Sparc directory.  This is in a new function: GetMemInstArgs.

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

LoadIdx non-terminal no longer needed.

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

Sign-extend values used to index arrays (and Simplify
SetOperandsForMemInstr significantly).  Load and Store
no longer have any indices.  Eliminate spurious sign-extension
on a cast to float/double.

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

Fix sign-extension: it needs to happen *after* multiplying by type size.

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

Sign-extend array index expressions to work correctly on non-32 bit machines.

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

  - instcombine demorgan's law: and (not A), (not B) == not (or A, B)

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

Test that demorgan's law is instcombined successfully

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

Implement classof for SetCondInst so that instcombine doesn't break on dyn_cast<SetCondInst>

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

Changed default value of 3rd parameter in function definition

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

Added #include <alloca.h>

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

Simplify previous hack slightly.

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

Force sign-extension for uint array indexes from 32-bit to 64-bits
since uint is not normally sign-extended when casting to uint64_t.

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

Eliminated the MemAccessInst class, folding contents into GEP class.

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

Eliminated the MemAccessInst class, folding contents into GEP class.

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

Load & Store Inst now no longer derive from MemAccessInst

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

Load & StoreInst no longer derive from MemAccessInst, so we don't have
to handle indexing anymore

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

Load & StoreInst no longer derive from MemAccessInst, so we don't have
to handle indexing anymore

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

*** empty log message ***

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