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

Load and Store now no longer derive from MemAccessInst.  Indexing a load or
store is not possible anymore.

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

doxygenize comments

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

doxygenize comments in header

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

Make doxygen not exclude doxygenized comments from the source code listings

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

Add capability of using pointer analysis to LICM

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

Add new testcases for instcombine

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

Remove long obsolete comments

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

Add doxygen comments to AliasAnalysis class

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

Fix bug: test/Regression/Assembler/2002-08-22-DominanceProblem.ll

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

Fix bug: test/Regression/Assembler/2002-08-22-DominanceProblem.ll

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

New testcase

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

Add a testcase that checks to make sure LICM uses basicaa correctly.
Add another gcse testcase.

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

Instcombine PHI's of the form  %PN = phi PN, X into X  and
%PN = phi PN, PN, PN into 0 (because the phi must not be reachable)

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

Add readme file describing directory

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

Add documentation for AnalysisGroup functionality

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

Add missing #include

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

Check-in new alias analysis infrastructure

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

Checkin new alias analysis infrastructure

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

Convert GCSE pass to use new alias analysis infrastructure

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

Initial testcases for basicaa alias analysis

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