Fix major bugs in dominator set & tree information updating

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

Simplify code a bit, add an assertion

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

Fixed errors in ReplaceInstWithValue/ReplaceInstWithInst examples.

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

Convert DIRS to PARALLEL_DIRS.  They can be built independently.

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

Regression test for llc bug that was folding two getelementptrs illegally.

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

Added a couple of helper methods for live range construction.

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

Live ranges for Return value and return address of a Call are now
created here, simply by handling all implicit operands (which should
have been done anyway).

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

Fixed method getReturnValue(): it should return NULL if the
callee does not return a value.

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

Fixed incorrect assertion: spill code for function ptr should be
handled like normal operands, not like other call arguments.

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

Return address register should be marked as "result" for the JMPL instruction
since it is defined by the instruction.

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

Live ranges for Return value and return address of a Call are no longer
created here.  Instead they are created in LiveRangeInfo.cpp.  This
simplifies the code here quite a bit.

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

Simplified code that handles call args and rets, so it no longer
needs the RegClass list to be passed in.

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

Simplify Call translation slightly.

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

Regression test for live range bug for call arguments.

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

Overhaul integer conversions to match C++ ISO standard.
Don't allow direct FP-to-uint conversion (must be eliminated by preselection).
Address arithmetic for arrays is now entirely 64-bit so no sign-ext needed.

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

Modify operand order for Create{Sign,Zero}ExtensionInstructions.

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

Bug fix: some redundant copies were not being deleted after detection :-|.

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

Sign-extend integer constants from original type size to 64 bits!

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

Decompose FP-to-UInt casts into FP-to-ULong-toUInt.

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

Simple test for constant expressions constructed from global addresses.

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

Overhauled completely.

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

First try at implementing the AliasSetTracker class. I'm sure it will need
revision as I start to use it though.

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

* Run preheaders pass tests
* Linearize list of directories so I don't have to keep dealing with
  wrapping problems.

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

Checkin the simple features tests for the preheader insertion pass.

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

 - Further cleanups of LICM pass, remove extra work from previous implementation
 - Do not clone instructions then insert clone outside of loop.  Just move them.

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

Improve comments, doxygenize more

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

Don't hardcode path to dot in the doxygen config file.  Let doxygen search the PATH

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

Don't hardcode path to doxygen

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

Clean up LICM significantly now that it is guaranteed to have loop preheaders

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

Change pass name to something sane

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

Loop invariant code motion now depends on the LoopPreheader pass.  Dead code
has not yet been removed.

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

- Cleanup break-crit-edges pass by making SplitCriticalEdge a member method.
- break-crit-edges pass does not invalidate loop-preheader pass.

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

Checkin new loop-preheader insertion pass.

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

Checkin new loop-preheader insertion pass.

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

Fix printing of loop information

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

  - Fix bug in LoopInfo causing ParentLoop to be garbage

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

 - Add methods to ImmediateDominators & DominatorTree to allow updates
 - Make DominatorTree::Node not inherit from std::vector

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

  - Add methods to ImmediateDominators & DominatorTree to allow updates
  - Make DominatorTree::Node not inherit from std::vector

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

Add a new "DominatorSet::addDominator" method to allow updates

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

  - Add new methods to LoopInfo: getLoopPreheader, addBasicBlockToLoop.
    These allow extra information to be easily gathered, and loopinfo to be
    updated.

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

  - Add new methods to LoopInfo: getLoopPreheader, addBasicBlockToLoop.
    These allow extra information to be easily gathered, and loopinfo to be
    updated.

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

  - Add new ctor to BasicBlock to allow insertion before any BB, not just at
    the end of the function.

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

  - Add new ctor to BasicBlock to allow insertion before any BB, not just at
    the end of the function.

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

Converted SimpleStructMutation to take TargetData as a required pass.

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

Converted SimpleStructMutation to take TargetData as a required pass.

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

Change LowerAllocations pass to 'require' TargetData instead of it being
passed in.

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

Change LowerAllocations pass to 'require' TargetData instead of it being
passed in.

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

Convert TargetData to be an ImmutablePass

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

Convert TargetData to be an ImmutablePass

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

Add documentation for ImmutablePass's

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

ImmutablePass's don't need a runOnFunction, nor do they need to explicitly say
that they preserve all xforms

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

Convert BasicVN to be an ImmutablePass

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

* Fix ugly bug in previous checkin where I reused the name 'i' one too many times
* Print out immutable passes in the -debug-pass=Structure report.

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

Convert BasicAA to be an immutable pass instead of a FunctionPass

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

Add support for ImmutablePasses, which are not run, and cannot be
invalidated.

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

Strings now handled correctly.

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

Checkin stub for Misha to implement

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

Make sure to print message when linking a debug .o file

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

  - Fix bug: Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll

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

Eliminate extraneous #include

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

A lot of this stuff has been done.  Remove the done items

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

New feature test for something we have done for a long time

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

Fix bug: SimplifyCFG/2002-09-24-PHIAssertion.ll

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

New testcase that causes SimplifyCFG to assert out.

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

- Do not expose Critical Edge breaking mechanics outside the BCE pass, thus
  removing it from Transforms/Local.h and from Transforms/Utils/*

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

 - Do not expose Critical Edge breaking mechanics outside the BCE pass, thus
   removing it from Transforms/Local.h and from Transforms/Utils/*

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

  - Do not expose Critical Edge breaking mechanics outside the BCE pass, thus
    removing it from Transforms/Local.h and from Transforms/Utils/*

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

 Correlated Exprs pass now requires BCE pass instead of doing it manually

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

  - Expose passinfo from BreakCriticalEdges pass so that it may be "Required"
    by other passes.  Make BCE pass be in anonymous namespace now.

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

Expose passinfo from BreakCriticalEdges pass so that it may be "Required" by
other passes

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

Make sure to close the file before deleting it

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

Minor cleanups

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

Add new BreakCriticalEdges pass

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

Add new BreakCriticalEdges pass

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

There are no implicit gep forms of load and store anymore

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

Make users of FindUsedTypes not have problems with linkage.  This fixes
Cwriter.

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

Make users of FindUsedTypes not have problems with linkage.  This fixes
cwriter.

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

Convert to using long indexes instead of uint

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

Optimize away cases like:
        %cast109 = cast uint %cast212 to short          ; <short> [#uses=1]
        %cast214 = cast short %cast109 to uint          ; <uint> [#uses=1]
        %cast215 = cast uint %cast214 to short          ; <short> [#uses=1]

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

Add some more testcases for things to get optimized away

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

Fix: ConstantMerge/2002-09-23-CPR-Update.ll

Basically, this bug boiled down to calling replaceUsesOfWith on a constant,
which changed it's shape in an illegal way.  This pass now goes through all
of the trouble neccesary to do the replacement on constants.

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

New testcase distilled from SPEC vortex benchmark

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

Run constantmerge tests too

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

Parenthesis are now added to casts of type array.

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

* Fix bug: CorrelatedExprs/2002-09-23-PHIUpdateBug.ll
* Make sure "Changed" is updated correctly

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

Fix testcase to accurately expose bug

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

New testcase distilled from SPEC MCF benchmark

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

Insert resolved constants into the global map so they are reused correctly.
This bug was exposed linking the SPEC benchmark suite.

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

Group #includes better

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

Allow LLC to be executed on Linux; only the LLC output should not be executed.

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

C tests are run via Makefile.singlesrc so don't run them twice.

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

Put intermediate source files in a subdirectory here instead of with
object files.  Also,

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

Disable reassociation pass in LLC until it is fixed.

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

'whoami' doesn't exist on solaris

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

Update url

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

Add information about the DEBUG() macro and the Statistic template

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

* Remove the -stopraise option, which is no longer needed now that we have
  the -debug-pass=Arguments option
* Run instcombining BEFORE mem2reg so that getelementptr X, long 0's are
  cleaned up.  This is also important because scalar replacement of aggr.
  will want instcombine to run before it goes as well.

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

Don't insert a PHI node to merge "returns" from an inlined function if there
is only a single return from the function!

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

* Minor fixes to support C files.
* Build burg as a utility now, change its location
* Clean up other rules

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

Clean up dead rules

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