Minor change, no functionality diff

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

Add a bunch of new tests

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

Fix bug: (x << 100) wasn't folded to 0, but (x >> 100) was (when x is unsigned)

Implement new shift optimizations for shifting the result of a shift.

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

Implement:  (A|B)^B == A & (~B)

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

Add test for: (A|B)^B == A & (~B)

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

Modernize testcase

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

The word 'independent' has no 'a'.

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

Make sure that intermediate code is verifier clean to avoid wierd problems.

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

Fix bug: SimplifyCFG/2003-03-07-DominateProblem.ll

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

New testcase

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

Clean up cruft

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

Extend struct and array constants to support isNullValue

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

Remove #include
Extend getNullValue to work with struct and array types

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

Update testcases to use long to index gep

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

Infrastructure for more compact bytecode files and REAL support for versioning

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

s/Method/Function in variable and method names

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

Continue simplifying error handling, s/method/function

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

Cleanup error handling constructs

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

Pull common code out

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

Generalize interface a bit

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

Remove unneccesary forward decl

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

Add new getIncomingValueForBlock method
Relax a bit about constness

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

Use the std namespace explicitly

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

Add a link to source of inspiration

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

New testcase for pow builtin recognition

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

Add another testcase that may eventually be handled...

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

Implement %test7 in InstCombine/getelementptr.ll

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

Add testcase for new instcombine xform

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

Implement CFGSimplify/PhiBlockMerge*.ll

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

Add new testcase

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

Simplify some of the PHI node interfaces

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

Implement testcase CFGSimplify/EqualPHIEdgeBlockMerge.ll

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

New testcase for feature simplifycfg should handle

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

Add testcase for new feature for simplifycfg pass

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

Initial checkin of AliasAnalysis doc

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

Fix bug: BasicAA/2003-03-04-GEPCrash.ll

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

New testcase

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

Convert LICM over to use AliasSetTracker.  Besides being nicer, this automatically
allows LICM to use access sizes to help alias analysis be more precise.

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

Fix bug: Assembler/2003-03-03-DuplicateConstant.ll

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

ADd two new 'add' methods

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

Add a few new 'add' methods.  Move the iterator around

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

Make the testcase more interesting, test that two different array elements don't alias

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

New testcase

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

Add new testcase for forward reference of struct type

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

Eliminate tons of bogus warnings

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

Change the mem2reg interface to accept a TargetData argument

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

Don't apply type information to load instructions if it will cause collapsing

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

Don't apply type information to loads

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

Fix a problem with negative indexes

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

* Don't run tests if compilation failed
* Don't summarize tests if testing failed

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

Fix broken links

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

Allow tests to run for 5 minutes before timing out.

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

Fix bug: LICM/2003-02-28-PromoteDifferentType.ll

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

Fix testcase

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

Add a test for a feature that I hope will be implemented someday

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

New testcase

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

Add dump method for Loops

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

Add dump method for loops

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

Fix bug I introduced yesterday :(

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

* Reduce the number of useless bytecode files produced by bugpoint.
  - This also speeds it up as the bytecode writer isn't terribly fast.
* Add a new cleanup pass after everything else to run -funcresolve -globaldce

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

Fix bug: LICM/2003-02-27-PreheaderExitNodeUpdate.ll

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

Add graph traits specializations for loop nesting information...

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

New test

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

Fix bug: 2003-02-27-PreheaderExitNodeUpdate.ll by updating exit node info

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

Add new Loop::hasExitBlock helper method

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

Simplify a bit by using a new member function

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

Change behavior of changeExitBlock function to replace all instances of exit block

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

New testcase

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

Add a new assertion to check that stuff is happening right
Ironically the exit block modification code wasn't updating the exit block
information itself.  Fix this.

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

Fix bug: 2003-02-27-StoreSinkPHIs.ll

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

New testcase

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

Fix bug: LICM/2003-02-27-PreheaderProblem.ll
There may be a single outside predecessor and
still need a new loop-preheader if the predecessor has multiple
successors.

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

  * Don't forget to update Loop information!
  * Remove bogus assertion: there may be a single outside predecessor and
    still need a new loop-preheader if the predecessor has multiple
    successors.  See bug: LICM/2003-02-27-PreheaderProblem.ll

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

Testcase for Preheaders problem

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

Replace assertion with a handler.

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

 * Significant changes to the preheader insertion pass:
   - Now we perform loop exit-block splitting to ensure exit blocks are
     always dominated by the loop header.
   - We now preserve dominance frontier information
   - This fixes bug: LICM/2003-02-26-LoopExitNotDominated.ll

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

Make the interface to update a little more efficient

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

  - LoopInfo now calculates and tracks loop exit blocks

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

  * LoopInfo now keeps track of exit blocks from the loop
  * New LoopInfo::isLoopHeader method
  * Remove some #if 0 code

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

New testcase crashing LICM

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

Make the aliassettracker much more precise by actually tracking size
information for various accesses.  What a concept.

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

Fix test

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

Fix bug: BasicAA/2003-02-26-AccessSizeTest.ll

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

New testcase for size tracking brokenness

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

Fix several bugs in basic-aa

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

Rename -no-* to -disable-*

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

Add new -no-aa implementation

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

Move BasicAA pass out to it's own header file

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

BasicAA doesn't need a public header

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

Adjust to implement new AA interface

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

Adjust to new AA interface

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

Convert to work with new AliasAnalysis interface by conservatively assuming all pointers are arbitrarily large accesses

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

Calculate and pass load sizes to the alias analysis infrastructure

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

Adjust to new AA interface
Add tracking for Mod/Ref info

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

  - Checkin of the alias analysis work:
    * Takes into account the size of the memory reference to determine aliasing.
    * Expose mod/ref information in a more consistent way
    * BasicAA can now disambiguate A[i][1] and A[j][2] for conservative request
      sizes

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

Tweak to work with new AA implementation

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

Checkin of new alias analysis interface:
  * Takes into account the size of the memory reference to determine aliasing.
  * Expose mod/ref information in a more consistent way

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

Allow ImmutablePass's to require other immutable passes and to be initialized

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

* Un "protect" the getAnalysis<> functions
* Add a new initializePass() method to ImmutablePass

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

Remove implemented projects

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