Put SlotTable.h inclusion back at front of list to be coding standards
compliant. Thanks, Chris.

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

Change the install-includes target to completely ignore the llvm/Internal
directory. Headers located there are not public to LLVM but are shared
between LLVM modules.

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

Make the constructor explicit so we can't implicitly convert bool to
SlotTable.

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

Make some improvements suggested by Chris.

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

Adding the initial implementation of the SlotTable class. This class is
the Abstract Data Type that holds slot number values and associates them
with Type* and Value*. The SlotTable is simply the holder of the slot
numbers and provides a controlled interface for building the table. It does
not enforce any particular idiom or functionality for manipulating the slot
numbers.

This is part of bug_122. The SlotCalculator and SlotMachine classes will
follow.

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

Remove this file as well as it is no longer needed nor it compiles

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

Document a couple functions.

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

Make use of the doc_author and doc_code styles.  <tt>'ify llvm names.  Minor
other edits

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

Changed to use SymbolTable's new iteration interfaces.

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

Changed to use SymbolTable's new lookup interface.

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

Removed unused, useless header file.

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

Added a bit on slot numbers.

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

Made it illegal to pass a Type* through one of the Value* interfaces. The
SymbolTable will now assert if this is done. This didn't find any incorrect
usage of SymbolTable but will prevent future mistakes until Type != Value.

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

Convert to SymbolTable's new iteration interface.

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

Convert to SymbolTable's new iteration interface. Remove tabs.

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

Completely rewrote the class. SymbolTable now separates Type* from Value* in preparation\
for making Type not derive from Value. There are now separate interfaces \
for looking up, finding, and inserting Types and Values. There are also \
three separate iterator interfaces, one for type planes, one for the types \
(type type plane), and one for values within a type plane. See the \
documentation in the Header file.

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

Convert to SymbolTable's new lookup and iteration interfaces.

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

Remove unused header file.

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

Make this pass simply invoke SymbolTable::strip().

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

Remove use of Type::TypeTy from an assert. It will go away soon.

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

Get rid of a wart: useless getFILE function is now a cast macro.

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

Give Type its own dump() method in preparation for Type != Value.

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

Completely rewrote the class. SymbolTable now separates Type* from Value* in preparation\
for making Type not derive from Value. There are now separate interfaces \
for looking up, finding, and inserting Types and Values. There are also \
three separate iterator interfaces, one for type planes, one for the types \
(type type plane), and one for values within a type plane. See the \
documentation in the Header file.

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

Convert dump() method to call Type::dump() instead of Value::dump().

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

Fix a small typo.

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

Recognize memalign and friends, and handle them specially.

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

Implement InstCombine:shift.ll:test16, which turns (X >> C1) & C2 != C3
into (X & (C2 << C1)) != (C3 << C1), where the shift may be either left or
right and the compare may be any one.

This triggers 1546 times in 176.gcc alone, as it is a common pattern that
occurs for bitfield accesses.

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

New testcase

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

Implement some helpers

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

Add some helpers

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

Implement instcombine/cast.ll:test16:
Canonicalize cast X to bool into a setne instruction

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

Add a new test16 and fix some other tests that were not properly written

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

Make doc_code shrink-to-fit.  This only works in mozilla, but it doesn't
hurt legibility on IE

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

Moved MachineBasicBlock deconstructor to cpp file and removed it from LeakDetector to fix memory leak bug.

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

Fix a bug in my previous checkin

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

Added MachineFunction parent* to MachineBasicBlock. Customized ilist template
to set the parent when a MachineBasicBlock is added to a MachineFunction.

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

Lots of minor typo fixes, some minor inaccuracies fixed, and some new material.

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

new feature

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

Fix a couple of busted li's

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

Add a todo to make it clear that the section is not done

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

Personally, I think that documentation is as important as code.  Increase
the visibility of dox changes

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

Fix a div problem that was causing some wierd indentation.  Get more div'y

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

Add some notes

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

Add a link to the GC doc

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

Eliminate an explicit use of the LLVM basic block, using getParent instead,
which simplifies the code

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

Changed clone to be const.
Changed copy constructor to set parent, prev, and next pointers to null.

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

Eliminate warnings

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

Testcases for andersen's alias analysis.

I think this is all of the stuff I had pending in my tree..

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

Spelling people's names right is kinda important

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

Build the garbage collectors

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

Initial checkin of GC implementation support files

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

Create a new style for tables that have no width (.doc_table_nw) so the
table doesn't stretch across the whole page. Change for BytecodeFormat.html

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

Check in an EARLY START on a simple copying collector

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

Add a simple testcase for garbage collection support

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

Add support for accurate garbage collection to the LLVM code generators

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

Add some notes to myself, no functional changes

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

minor wording change

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

Fix cases where we missed inlining some more obvious candidates because the
caller was in an SCC.

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

Simplify the interface and remove an unneeded #include

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

Fairly substantial changes to update the alias analysis we are querying as
we make the transformation.  This allows us to use interprocedural alias
analyses successfully.

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

Adjust to the changes in the AliasSetTracker interface

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

Add support for replacement of formal arguments with simpler expressions.

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

Implement the -lowergc pass which is used by code generators (like the CBE)
that do not have builtin support for garbage collection.

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

Recognize and verify the new GC intrinsics.

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

Add the new GC intrinsics

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

Add a new prototype

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

Changes to work with the changes to the AliasAnalysis interface.  The -no-aa
class is now in the BasicAliasAnalysis.cpp file

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

Move the -no-aa AA implementation into this file since both of these
alias analysis implementations are special: they do not autoforward to a
chained implementation of alias analysis

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

Updates to work with the new auto-forwarding AA interface changes

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

Fix a really nasty bug with the -disable-ds-field-sensitivity option

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

Update to match the autochaining interface that the AA interface uses

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

Implement the interfaces to update value numbering information.  Add an
assert.

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

Several *major* changes to the AA interfaces:

1. Provide interfaces so that clients can update alias analyses to reflect
   the changes made by the transformations.
2. Change how alias analysis implementations work overall.  In particular,
   now clients will automatically forward to chained AA implementations: they
   don't have to remember to do it themselves.

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

Add interfaces to update value numbering results

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

Rename a method

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

Make use of the new doc_author class.  "Seperate content from presentation" they said.

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

Lots of minor cleanups and clarifications

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

Remove implemented stuff

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

Describe the new garbage collector intrinsics

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

Lots of minor fixes and formatting improvements

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

Update the coding standards, removign the bit about avoiding exceptions and
rtti (they shouldn't be used in the main compiler, but that's because
optimizations aren't allowed to fail!)

Remove the big section about iterators, because people who do not know what
they are doing shouldn't be writing them.  :)

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

Substantially expand and update the alias analysis documentation, including
adding blurbs about all of the implementations we have

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

Various changes to make the docs look nicer.  Add a new doc_author class.

The one thing that someone (misha?) should look at is fixing doc_code so that it sizes to fit the code instead of going to the right margin all of the way.  Fixing it at a particular number of pixels was just wrong. :)

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

Add a new document describing the LLVM accurate garbage collection support.

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

Add a simple implementation of Andersen's interprocedural pointer analysis

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

Fixed up my changes to add support for cloning Machine Instructions.

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

Remove virtual destructor from InstVisitor. This class should never be
used through a base pointer/reference so inproper destruction should
never be an issue. Removing this last virtual function also saves 4
bytes off each InstVisitor instance.

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

Fix a couple misplaced div tags

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

Revert back to the previous version, as it doesn't work with mozilla, and people REALLY CAN just click the link. :)

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

Adding support to clone MachineInstr

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

Added a "Miscellaneous Improvements" section to cover things like the
Bytecode File Format documentation, getting all documents in HTML 4.01
(Strict) compliance, and any other minor improvement that shoud be noted.

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

Make the file HTML 4.01 (Strict) clean.

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

Additional content describing variable bit rate encoding, correcting the
definition of the signature block and module block, and adding definitions
of the global type pool and symbol table. More still to come.

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

Put back the inlined bug list. Use the OBJECT tag to make it HTML-4.01
(Strict)-compliant.

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

Remember the set of leaders.  Also compute on demand and cache the equiv
class for each leader.   Finally, rename Elem2ECLeaderMap to Elem2LeaderMap
(most of the changed lines are only due to the latter).

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

Add getCaller() method.

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

Inline both direct and indirect callees in the CBU phase because
a direct callee may have indirect callees and so may have changed.

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

Complete rewrite of the code that merges DS graphs for equivalence classes
of functions called at a common call site.  The rewrite inlines the
resulting graphs bottom-up on the SCCs of the CBU call graph.  It also
simplifies the merging of equivalence classes by exploiting the fact that
functions in non-trivial SCCs are already merged.

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

Fix size/offset assertion to allow negative offsets and folded nodes.

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

Fix a typo in a comment.

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