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

Fix a typo in the head-of-file comment.
Rewrite the comments about the different versions of BuildMI, to
better emphasize their differences.

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

Some additional data added to the bytecode specification.

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

Added an initial template/overview for documentation of the LLVM Bytecode
file format. This format is being extracted from the source code and the
small recesses of Chris' brain.

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

Removed the 64-bit fix from the "to do" list since the bug is fixed.

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

Pass the Makefile flags to recursive makes in {PARALLEL,OPTIONAL}_DIRS targets.

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

It's not clear to me whether the old version was correct C++ code, but in
any case it's not portable.

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

Starting an identifier with an _ is not legal C/C++ code.

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

Bug fixed

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

Fix for PR340: Verifier misses malformed switch instruction

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

Testcase for PR340: Verifier misses malformed switch instruction

This testcase was reduced by John, thanks!

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

Pass given flags on to recursive sub-makes.

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

Change DEPRECATED macro to ATTR_DEPRECATED as this conflicts with some
java constants.

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

Fix to make the CBE always emit comparisons inline.  Hopefully this will
fix the really bad code we're getting on PPC.

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

Fix a bug in outputting branches to constant PCs. Since the PC is supplied as
a full 64-bit address, it must be adjusted to fit in the branch instruction's
immediate field. (This is only used in the reoptimizer, for now.)

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

Minor simplification: eliminate a dyn_cast.
Fix a typo in a debug message.

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

Add hint about syntax-highlighting non-standardly-named LLVM Makefiles.

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

Declare function defined in namespace llvm as gcc-3.4 doesn't accept a definition in a namespace of a non-declared function.

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

Add CloneTraceInto(), which is based on (and has mostly the same
effects as) CloneFunctionInto().

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

Move RemapInstruction() to ValueMapper, so that it can be shared with
CloneTrace, and because it is primarily an operation on ValueMaps.  It
is now a global (non-static) function which can be pulled in using
ValueMapper.h.

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