* Cleanups of instcombine
   - Reenable gep (gep x) -> x
   - Make instcombine do dead instruction elimination where it's really
     easy.  Now visitors don't have to ensure they aren't not processing
     dead instructions.

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

These tests should not run -dce pass to cleanup instcombine.
If instcombine is making dead instructions, ALL that should be used is -die

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

Add another testcase that isn't failing because of another bug in instcombine

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

Change test to really test the cases we can hit

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

New testcase

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

Don't build Debug/ versions when ENABLE_OPTIMIZED is on.

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

Fix bug: test/Regression/Transforms/GCSE/2002-05-21-NoSharedDominator.ll

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

Implement dominator checking in the verifier, so that we check that all
defintiions dominate their uses

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

Fix bug: test/Regression/Other/2002-08-02-DomSetProblem.ll

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

Add a note about where to put miscompilation tests.

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

Split dominance calculation and post dominance calculation stuff
Dominance calculation goes to VMCore library to be used by Verifier.

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

New testcase for dominator problem

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

The verify pass is implicit

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

New test

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

Tweak makefile after moving

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

Verify is implicit for opt

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

Fix makefile to work.

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

Fix broken testcase

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

Make testcase legal LLVM

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

Remove unneccesary #inlcude

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

Enhance -time-passes to be more detailed and useful

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

Bug fix: incorrect SAVE instruction when using register for stack size.

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

Feature test for stack size bigger than immed. field of SAVE instruction.
Also tests code generation for code with mixed indices.

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

Reorder tool building sequence to more closely match the reality of what
is being worked on the most.

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

Fix bug: test/Regression/Assembler/2002-07-31-SlashInString.llx

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

NEw testcase

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

Implement the other half of a feature advertised by OperandConvertableToType.

This fixes bug: test/Regression/Transforms/LevelRaise/2002-07-31-AssertionFailure.ll

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

Cleanup Makefile a bit

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

Just improved comments and assertions.

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

Trim down testcase a bit

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

New testcase for level-raise crash inspired by SPEC

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

Add a missing case: converting float/double to unsigned integer types.

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

Changes to be GCC3.1 friendly

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

Changes to be GCC3.1 friendly

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

*** empty log message ***

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

Changes to be GCC 3.1 friendly

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

We need iostream in PassManagerT.h to use cerr

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

Fix testcase

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

New testcase

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

Testcase that was triggering an incorrect assertion failure

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

Verify pass has been run for a long time now

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

Add new  -only-print-main-ds option that causes mains ds graph to be
printed, but no others.

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

Change command line option message on -q to make it more accurate

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

Fix bug that was causing problems for lli

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

Remove obsolete, confusing, method

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

This testcase is independant of varargsness
Simplify.

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

Add GlobalDSGraph -- a common graph that holds externally visible nodes.

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

Print globals graph after either the BU or the TD pass.

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

This file implements the top-down propagation pass for data structure graphs.

Also, we now use a separate globals graph to hold externally visible nodes.
This changes both the bottom-up and top-down propagation so that
globals and other external objects do not have to appear in every
function, but only in functions in which they are referenced or
they can be used to access something else that is referenced.

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

Use a separate globals graph to hold externally visible nodes.
This changes both the bottom-up and top-down propagation so that
globals and other external objects do not have to appear in every
function, but only in functions in which they are referenced or
they can be used to access something else that is referenced.

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

Add GlobalDSGraph -- a common graph that holds externally visible nodes.

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

Print the tool name when an error comes from so that I can tell which
tool of a pipeline is having issues.

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

Print the tool name when an error comes from so that I can tell which
tool of a pipeline is having issues.

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

Print the tool name when an error comes from so that I can tell which
tool of a pipeline is having issues.

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

Implement new -debug-pass=Arguments option that causes PassManager to
print out the command line options for the optimizations it is running.

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

Add hooks to get information out of concrete pass manager implementations

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

* Indent class into anonymous namespace, filling up the diff with garbage
* Internalize global variables with initializers
* Add new stat to track global variable internalization
* Only count functions that were not internal before in internalized function
  count

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

Remove extraneous #includes

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

Cleanup ConstantExpr handling:
 * Correctly delete TypeHandles in AsmParser.  In addition to not leaking
   memory, this prevents a bug that could have occurred when a type got
   resolved that the constexpr was using
 * Check for errors in the AsmParser instead of hitting assertion failures
   deep in the code
 * Simplify the interface to the ConstantExpr class, removing unneccesary
   parameters to the ::get* methods.
 * Rename the 'getelementptr' version of ConstantExpr::get to
   ConstantExpr::getGetElementPtr

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

Cleanup ConstantExpr handling:
 * Correctly delete TypeHandles in AsmParser.  In addition to not leaking
   memory, this prevents a bug that could have occurred when a type got
   resolved that the constexpr was using
 * Check for errors in the AsmParser instead of hitting assertion failures
   deep in the code
 * Simplify the interface to the ConstantExpr class, removing unneccesary
   parameters to the ::get* methods.
 * Rename the 'getelementptr' version of ConstantExpr::get to
   ConstantExpr::getGetElementPtr

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

Remove invokation of cleangcc pass which has been renamed, and is unneccesary anyway

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

Remove FIXME's that aren't really needed after all.

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

Declare that these passes only depend on the CFG of the function

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

* Implement stuff so that code can declare that they only depend on the CFG of
  a function, not on anything else.  This speeds up GCCAS a lot.

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

* Move some code from Pass.cpp to PassManagerT.h
* Implement stuff so that code can declare that they only depend on the CFG of
  a function, not on anything else.  This speeds up GCCAS a lot.

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

Implement constant propogation of logical (and, or, xor) expressions.
Fixes testcase: test/Regression/Transforms/ConstProp/logicaltest.ll

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

Implement constant propogation of logical (and, or, xor) expressions.
Fixes testcase: test/Regression/Transforms/ConstProp/logicaltest.ll

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

Test that logical operators are correctly constant propogated!

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

Add test of newly checked in Union support!

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

Simplify testcase a bit

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

New testcase found when working on union support *sigh*

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

New testcase distilled from trying to compile burg with LLVM

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

* Move InstructionSelection Pass here instead of living in Sparc.cpp.  It
  is platform independant afterall.
* Object orientize the functions, cleanup code a bit.  Instead of static
  global functions, the helpers for instruction selection are now part of
  the InstructionSelection Pass class.

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

* Move InstructionSelection pass to lib/CodeGen/InstrSelection so it is
  shared by backends.

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

Expose instruction selection as a pass instead of a global function

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

Add rough support for LLC passes

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

Remove unused vector

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

Fix bug with last patch which would occur when a call returned void and we
attempted to assign it a name.

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

Pass renamed

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

* Make sure the resolved function call instructions get the name from the
  old call instruction
* Implement conversion of return values for calls.  This fixes bug:
   test/Regression/Transforms/FunctionResolve/retmismatch3.ll

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

Oops, fix testcase

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

NEw testcase to handle "yet another" return type mismatch possibility

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

* Fix bug: test/Regression/Transforms/ADCE/2002-07-17-AssertionFailure.ll
  which was caused by us not running the "drop references of dead
  instructions" code when there were no basic blocks that were dead.

  We still don't want to do some of the stuff we do if there are dead
  basic blocks, but we DO want to drop references of dead instructions,
  so we factor the common code out to a new method.

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

Trim down testcase, a lot.

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

Reduce testcase more

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

Add code to ensure that no PHI nodes are left laying around with their
arguments dropped.  This fixes bug:
   test/Regression/Transforms/ADCE/2002-07-17-PHIAssertion.ll

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

Use a module analysis

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

Reduce the size of the testcase

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

Implement a new RemoveSuccessor function

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

Implement a new RemoveSuccessor function

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

Fix bug: test/Regression/Transforms/ADCE/2002-07-29-Segfault.ll

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

Allow folding of basic blocks that have PHI nodes in them, fixing "bug":
  test/Regression/Transforms/SimplifyCFG/2002-06-24-PHINode.ll

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

Seperate analysis wrapper stuff to AnalysisWrappers.cpp

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

Hrm, testcase was checking the wrong pass.  :(

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

* Eliminate the Provided set.  All Passes now finally just automatically
  provide themselves.

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

* Eliminate the Provided set.  All Passes now finally just automatically
  provide themselves.

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

* PassInfo is allowed to be missing now (ie, not all passes need be registered)
* getPassName uses PassInfo if it's available
* PassInfo is now cached in the pass so that it is only looked up once, maximum

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

* Fix comment descriptions
* Remove defaulted argument to ctor that is never used anyway
* Prevent copying and assignment

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

* Fix assertion failure caused by command line argument getting removed after
  the map was freed.
* Cleanup code a bit

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

New testcase

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