oota-llvm.git
20 years agoAdd doxygenified comments to functions.
Misha Brukman [Wed, 21 Apr 2004 18:36:43 +0000 (18:36 +0000)]
Add doxygenified comments to functions.

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

20 years agoI'm allergic to the word `stuff'.
Misha Brukman [Wed, 21 Apr 2004 18:27:56 +0000 (18:27 +0000)]
I'm allergic to the word `stuff'.

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

20 years agoMake SparcV9RegInfo::getRegType() return the right answer for registers
Brian Gaeke [Wed, 21 Apr 2004 17:53:58 +0000 (17:53 +0000)]
Make SparcV9RegInfo::getRegType() return the right answer for registers
of IntCC, FloatCC, and Special types.

Make SparcV9RegInfo::getRegClassIDOfRegType() return the right answer
if you ask for the class corresponding to SpecialRegType.

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

20 years agoInclude cerrno (gcc-3.4 fix)
Alkis Evlogimenos [Wed, 21 Apr 2004 16:11:40 +0000 (16:11 +0000)]
Include cerrno (gcc-3.4 fix)

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

20 years agoDeclare iterator as public since it is defined as such (gcc-3.4 fix)
Alkis Evlogimenos [Wed, 21 Apr 2004 16:10:40 +0000 (16:10 +0000)]
Declare iterator as public since it is defined as such (gcc-3.4 fix)

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

20 years agoFix typeo
Chris Lattner [Wed, 21 Apr 2004 14:23:18 +0000 (14:23 +0000)]
Fix typeo

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

20 years agoREALLY fix PR324: don't delete linkonce functions until after the SCC traversal
Chris Lattner [Tue, 20 Apr 2004 22:06:53 +0000 (22:06 +0000)]
REALLY fix PR324: don't delete linkonce functions until after the SCC traversal
is done, which avoids invalidating iterators in the SCC traversal routines

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

20 years agoPass the callgraph not the module
Chris Lattner [Tue, 20 Apr 2004 21:52:26 +0000 (21:52 +0000)]
Pass the callgraph not the module

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

20 years agoAllow getting the module from a call graph
Chris Lattner [Tue, 20 Apr 2004 21:52:12 +0000 (21:52 +0000)]
Allow getting the module from a call graph

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

20 years agoChange it to take a callgraph, from which we can get a module
Chris Lattner [Tue, 20 Apr 2004 21:52:07 +0000 (21:52 +0000)]
Change it to take a callgraph, from which we can get a module

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

20 years agoAdd the ability for SCC passes to initialize and finalize themselves
Chris Lattner [Tue, 20 Apr 2004 21:30:06 +0000 (21:30 +0000)]
Add the ability for SCC passes to initialize and finalize themselves

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

20 years agoFix PR325
Chris Lattner [Tue, 20 Apr 2004 20:26:03 +0000 (20:26 +0000)]
Fix PR325

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

20 years agoFix PR324 and testcase: Inline/2004-04-20-InlineLinkOnce.llx
Chris Lattner [Tue, 20 Apr 2004 20:20:59 +0000 (20:20 +0000)]
Fix PR324 and testcase: Inline/2004-04-20-InlineLinkOnce.llx

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

20 years agoNew testcase, distilled from PR324
Chris Lattner [Tue, 20 Apr 2004 20:15:01 +0000 (20:15 +0000)]
New testcase, distilled from PR324

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

20 years agoMake it legal to ask for the type of a specialreg
Brian Gaeke [Tue, 20 Apr 2004 20:12:57 +0000 (20:12 +0000)]
Make it legal to ask for the type of a specialreg

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

20 years agoAdd some PRs which were fixed, but not previously mentioned in the rel. notes.
Brian Gaeke [Tue, 20 Apr 2004 18:18:46 +0000 (18:18 +0000)]
Add some PRs which were fixed, but not previously mentioned in the rel. notes.

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

20 years agoAdd support for the select instruction
Chris Lattner [Tue, 20 Apr 2004 16:43:21 +0000 (16:43 +0000)]
Add support for the select instruction

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

20 years agoMake it legal to request a load or store of %fsr.
Brian Gaeke [Mon, 19 Apr 2004 19:12:12 +0000 (19:12 +0000)]
Make it legal to request a load or store of %fsr.

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

20 years agoFix typo.
Brian Gaeke [Mon, 19 Apr 2004 19:09:24 +0000 (19:09 +0000)]
Fix typo.

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

20 years agoRegularize include guards and remove some excess whitespace.
Brian Gaeke [Mon, 19 Apr 2004 18:53:44 +0000 (18:53 +0000)]
Regularize include guards and remove some excess whitespace.

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

20 years agoTighten up SparcV9FloatCCRegClass::getRegName()'s assertion - if you ask it for
Brian Gaeke [Mon, 19 Apr 2004 18:53:43 +0000 (18:53 +0000)]
Tighten up SparcV9FloatCCRegClass::getRegName()'s assertion - if you ask it for
the name of %fsr (as the comment in SparcV9RegClassInfo.h used to suggest)
you would walk off the end of the FloatCCRegName array.

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

20 years agoRegularize include guards, remove some excess whitespace and fix some comments.
Brian Gaeke [Mon, 19 Apr 2004 18:53:42 +0000 (18:53 +0000)]
Regularize include guards, remove some excess whitespace and fix some comments.
Remove the extra %fsr register from SparcV9FloatCCRegClass.

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

20 years agoInitial checkin of a simple loop unswitching pass. It still needs work,
Chris Lattner [Mon, 19 Apr 2004 18:07:02 +0000 (18:07 +0000)]
Initial checkin of a simple loop unswitching pass.  It still needs work,
but it's a start, and seems to do it's basic job.

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

20 years agoNew testcase
Chris Lattner [Mon, 19 Apr 2004 18:06:34 +0000 (18:06 +0000)]
New testcase

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

20 years agoAdd accessor for a Loop Unswitching pass
Chris Lattner [Mon, 19 Apr 2004 06:28:37 +0000 (06:28 +0000)]
Add accessor for a Loop Unswitching pass

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

20 years agoEliminate a poorly conceived method
Chris Lattner [Mon, 19 Apr 2004 06:26:46 +0000 (06:26 +0000)]
Eliminate a poorly conceived method

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

20 years agoIt's not just a printer, it's actually an analysis too
Chris Lattner [Mon, 19 Apr 2004 03:42:32 +0000 (03:42 +0000)]
It's not just a printer, it's actually an analysis too

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

20 years agoAs per Chris, greatly simplify handling of external functions by using the
Misha Brukman [Mon, 19 Apr 2004 03:36:47 +0000 (03:36 +0000)]
As per Chris, greatly simplify handling of external functions by using the
wrapper idea uniformly: we can use Value::replaceAllUsesWith() instead of
special-casing by class of user.

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

20 years ago* Remove note about "UNSUPPORTED: " feature that just became supported
Misha Brukman [Mon, 19 Apr 2004 03:28:39 +0000 (03:28 +0000)]
* Remove note about "UNSUPPORTED: " feature that just became supported
* Fix usage of <p> tag and some grammar

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

20 years ago* Reorder #includes
Misha Brukman [Mon, 19 Apr 2004 03:12:35 +0000 (03:12 +0000)]
* Reorder #includes
* Wrap a long line

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

20 years agoDisplay sample bugpoint output with the `code' stylesheet class.
Misha Brukman [Mon, 19 Apr 2004 03:07:29 +0000 (03:07 +0000)]
Display sample bugpoint output with the `code' stylesheet class.

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

20 years ago* Improve file header comment
Chris Lattner [Mon, 19 Apr 2004 03:03:19 +0000 (03:03 +0000)]
* Improve file header comment
* Remove #include
* Add some methods to update loop/loopinfo
* Stop explicitly holding the loop depth in the Loop class.  Instead, just
  dynamically calculate it.  This makes it easier to update LoopInfo as a
  result of transformations.

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

20 years agoRemove code to update loop depths
Chris Lattner [Mon, 19 Apr 2004 03:02:09 +0000 (03:02 +0000)]
Remove code to update loop depths

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

20 years agoAdd #include
Chris Lattner [Mon, 19 Apr 2004 03:01:23 +0000 (03:01 +0000)]
Add #include

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

20 years agoAdd notes about PRs 38 and 290 being fixed.
Misha Brukman [Mon, 19 Apr 2004 03:01:01 +0000 (03:01 +0000)]
Add notes about PRs 38 and 290 being fixed.

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

20 years agoWrap (some) lines to 80 cols.
Misha Brukman [Mon, 19 Apr 2004 02:56:49 +0000 (02:56 +0000)]
Wrap (some) lines to 80 cols.

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

20 years agoFinally implement rewriting global initializers which use external functions
Misha Brukman [Mon, 19 Apr 2004 01:12:01 +0000 (01:12 +0000)]
Finally implement rewriting global initializers which use external functions
by creating an internal wrapper function with same signature as the external
function, and use it instead of the "real" function.

The wrapper then calls the external function using the same JIT function
resolution API that has been used before for rewriting instructions, since the
wrapper has an explicit call instruction which we can rewrite.

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

20 years agoProvide an interface that is more convenient for iterating over the blocks
Chris Lattner [Sun, 18 Apr 2004 23:37:03 +0000 (23:37 +0000)]
Provide an interface that is more convenient for iterating over the blocks
in a loop.

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

20 years agoMove isLoopInvariant to the Loop class
Chris Lattner [Sun, 18 Apr 2004 22:46:08 +0000 (22:46 +0000)]
Move isLoopInvariant to the Loop class

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

20 years agoAdd new method
Chris Lattner [Sun, 18 Apr 2004 22:45:27 +0000 (22:45 +0000)]
Add new method

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

20 years agoAdd new method.
Chris Lattner [Sun, 18 Apr 2004 22:45:16 +0000 (22:45 +0000)]
Add new method.

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

20 years agoCorrect rewriting of exit blocks after my last patch
Chris Lattner [Sun, 18 Apr 2004 22:27:10 +0000 (22:27 +0000)]
Correct rewriting of exit blocks after my last patch

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

20 years agoFix computation of exit blocks
Chris Lattner [Sun, 18 Apr 2004 22:21:41 +0000 (22:21 +0000)]
Fix computation of exit blocks

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

20 years agoLoop exit sets are no longer explicitly held, they are dynamically computed on demand.
Chris Lattner [Sun, 18 Apr 2004 22:15:13 +0000 (22:15 +0000)]
Loop exit sets are no longer explicitly held, they are dynamically computed on demand.

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

20 years agoChange the ExitBlocks list from being explicitly contained in the Loop
Chris Lattner [Sun, 18 Apr 2004 22:14:10 +0000 (22:14 +0000)]
Change the ExitBlocks list from being explicitly contained in the Loop
structure to being dynamically computed on demand.  This makes updating
loop information MUCH easier.

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

20 years agoSpiff is no longer in our tree
Chris Lattner [Sun, 18 Apr 2004 18:26:38 +0000 (18:26 +0000)]
Spiff is no longer in our tree

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

20 years agoReduce the unrolling limit
Chris Lattner [Sun, 18 Apr 2004 18:06:14 +0000 (18:06 +0000)]
Reduce the unrolling limit

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

20 years agoIf the preheader of the loop was the entry block of the function, make sure
Chris Lattner [Sun, 18 Apr 2004 17:38:42 +0000 (17:38 +0000)]
If the preheader of the loop was the entry block of the function, make sure
that the exit block of the loop becomes the new entry block of the function.

This was causing a verifier assertion on 252.eon.

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

20 years agoBe much more careful about how we update instructions outside of the loop
Chris Lattner [Sun, 18 Apr 2004 17:32:39 +0000 (17:32 +0000)]
Be much more careful about how we update instructions outside of the loop
using instructions inside of the loop.  This should fix the MishaTest failure
from last night.

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

20 years agoAnother testcase
Chris Lattner [Sun, 18 Apr 2004 06:55:57 +0000 (06:55 +0000)]
Another testcase

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

20 years agoImplement method
Chris Lattner [Sun, 18 Apr 2004 06:54:48 +0000 (06:54 +0000)]
Implement method

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

20 years agoAdd a new method
Chris Lattner [Sun, 18 Apr 2004 06:54:34 +0000 (06:54 +0000)]
Add a new method

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

20 years agoAfter unrolling our single basic block loop, fold it into the preheader and exit
Chris Lattner [Sun, 18 Apr 2004 06:27:43 +0000 (06:27 +0000)]
After unrolling our single basic block loop, fold it into the preheader and exit
block.  The primary motivation for doing this is that we can now unroll nested loops.

This makes a pretty big difference in some cases.  For example, in 183.equake,
we are now beating the native compiler with the CBE, and we are a lot closer
with LLC.

I'm now going to play around a bit with the unroll factor and see what effect
it really has.

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

20 years agoFix a bug: this does not preserve the CFG!
Chris Lattner [Sun, 18 Apr 2004 05:38:37 +0000 (05:38 +0000)]
Fix a bug: this does not preserve the CFG!

While we're at it, add support for updating loop information correctly.

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

20 years agoAdd a new method, add a check missing that caused a segfault if a loop didn't
Chris Lattner [Sun, 18 Apr 2004 05:38:05 +0000 (05:38 +0000)]
Add a new method, add a check missing that caused a segfault if a loop didn't
have a canonical indvar

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

20 years agoAllow clients to delete loops, add a new method
Chris Lattner [Sun, 18 Apr 2004 05:37:42 +0000 (05:37 +0000)]
Allow clients to delete loops, add a new method

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

20 years agoMove loop optimization passes up, add loop unroller
Chris Lattner [Sun, 18 Apr 2004 05:21:01 +0000 (05:21 +0000)]
Move loop optimization passes up, add loop unroller

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

20 years agoAdd prototype
Chris Lattner [Sun, 18 Apr 2004 05:20:32 +0000 (05:20 +0000)]
Add prototype

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

20 years agoInitial checkin of a simple loop unroller. This pass is extremely basic and
Chris Lattner [Sun, 18 Apr 2004 05:20:17 +0000 (05:20 +0000)]
Initial checkin of a simple loop unroller.  This pass is extremely basic and
limited.  Even in it's extremely simple state (it can only *fully* unroll single
basic block loops that execute a constant number of times), it already helps improve
performance a LOT on some benchmarks, particularly with the native code generators.

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

20 years agoMake the tail duplication threshold accessible from the command line instead of hardcoded
Chris Lattner [Sun, 18 Apr 2004 00:52:43 +0000 (00:52 +0000)]
Make the tail duplication threshold accessible from the command line instead of hardcoded

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

20 years agoFix a memory leak. We leaked the vector holding the entries in switch tables.
Chris Lattner [Sat, 17 Apr 2004 23:49:15 +0000 (23:49 +0000)]
Fix a memory leak.  We leaked the vector holding the entries in switch tables.

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

20 years agoNew testcase
Chris Lattner [Sat, 17 Apr 2004 23:00:51 +0000 (23:00 +0000)]
New testcase

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

20 years agoAdd the ability to compute exit values for complex loop using unanalyzable
Chris Lattner [Sat, 17 Apr 2004 22:58:41 +0000 (22:58 +0000)]
Add the ability to compute exit values for complex loop using unanalyzable
operations.  This allows us to compile this testcase:

int main() {
        int h = 1;
         do h = 3 * h + 1; while (h <= 256);
        printf("%d\n", h);
        return 0;
}

into this:

int %main() {
entry:
        call void %__main( )
        %tmp.6 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([4 x sbyte]*  %.str_1, long 0, long 0), int 364 )        ; <int> [#uses=0]
        ret int 0
}

This testcase was taken directly from 256.bzip2, believe it or not.

This code is not as general as I would like.  Next up is to refactor it
a bit to handle more cases.

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

20 years agoIf the loop executes a constant number of times, try a bit harder to replace
Chris Lattner [Sat, 17 Apr 2004 18:44:09 +0000 (18:44 +0000)]
If the loop executes a constant number of times, try a bit harder to replace
exit values.

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

20 years agoAdd the ability to compute trip counts that are only controlled by constants
Chris Lattner [Sat, 17 Apr 2004 18:36:24 +0000 (18:36 +0000)]
Add the ability to compute trip counts that are only controlled by constants
even if the loop is using expressions that we can't compute as a closed-form.
This allows us to calculate that this function always returns 55:

int test() {
  double X;
  int Count = 0;
  for (X = 100; X > 1; X = sqrt(X), ++Count)
    /*empty*/;
  return Count;
}

And allows us to compute trip counts for loops like:

        int h = 1;
         do h = 3 * h + 1; while (h <= 256);

(which occurs in bzip2), and for this function, which occurs after inlining
and other optimizations:

int popcount()
{
   int x = 666;
  int result = 0;
  while (x != 0) {
    result = result + (x & 0x1);
    x = x >> 1;
  }
  return result;
}

We still cannot compute the exit values of result or h in the two loops above,
which means we cannot delete the loop, but we are getting closer.  Being able to
compute a constant trip count for these two loops will allow us to unroll them
completely though.

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

20 years agoFix a HUGE pessimization on X86. The indvars pass was taking this
Chris Lattner [Sat, 17 Apr 2004 18:16:10 +0000 (18:16 +0000)]
Fix a HUGE pessimization on X86.  The indvars pass was taking this
(familiar) function:

int _strlen(const char *str) {
    int len = 0;
    while (*str++) len++;
    return len;
}

And transforming it to use a ulong induction variable, because the type of
the pointer index was left as a constant long.  This is obviously very bad.

The fix is to shrink long constants in getelementptr instructions to intptr_t,
making the indvars pass insert a uint induction variable, which is much more
efficient.

Here's the before code for this function:

int %_strlen(sbyte* %str) {
entry:
        %tmp.13 = load sbyte* %str              ; <sbyte> [#uses=1]
        %tmp.24 = seteq sbyte %tmp.13, 0                ; <bool> [#uses=1]
        br bool %tmp.24, label %loopexit, label %no_exit

no_exit:                ; preds = %entry, %no_exit
***     %indvar = phi uint [ %indvar.next, %no_exit ], [ 0, %entry ]            ; <uint> [#uses=2]
***     %indvar = phi ulong [ %indvar.next, %no_exit ], [ 0, %entry ]           ; <ulong> [#uses=2]
        %indvar1 = cast ulong %indvar to uint           ; <uint> [#uses=1]
        %inc.02.sum = add uint %indvar1, 1              ; <uint> [#uses=1]
        %inc.0.0 = getelementptr sbyte* %str, uint %inc.02.sum          ; <sbyte*> [#uses=1]
        %tmp.1 = load sbyte* %inc.0.0           ; <sbyte> [#uses=1]
        %tmp.2 = seteq sbyte %tmp.1, 0          ; <bool> [#uses=1]
        %indvar.next = add ulong %indvar, 1             ; <ulong> [#uses=1]
        %indvar.next = add uint %indvar, 1              ; <uint> [#uses=1]
        br bool %tmp.2, label %loopexit.loopexit, label %no_exit

loopexit.loopexit:              ; preds = %no_exit
        %indvar = cast uint %indvar to int              ; <int> [#uses=1]
        %inc.1 = add int %indvar, 1             ; <int> [#uses=1]
        ret int %inc.1

loopexit:               ; preds = %entry
        ret int 0
}

Here's the after code:

int %_strlen(sbyte* %str) {
entry:
        %inc.02 = getelementptr sbyte* %str, uint 1             ; <sbyte*> [#uses=1]
        %tmp.13 = load sbyte* %str              ; <sbyte> [#uses=1]
        %tmp.24 = seteq sbyte %tmp.13, 0                ; <bool> [#uses=1]
        br bool %tmp.24, label %loopexit, label %no_exit

no_exit:                ; preds = %entry, %no_exit
***     %indvar = phi uint [ %indvar.next, %no_exit ], [ 0, %entry ]            ; <uint> [#uses=3]
        %indvar = cast uint %indvar to int              ; <int> [#uses=1]
        %inc.0.0 = getelementptr sbyte* %inc.02, uint %indvar           ; <sbyte*> [#uses=1]
        %inc.1 = add int %indvar, 1             ; <int> [#uses=1]
        %tmp.1 = load sbyte* %inc.0.0           ; <sbyte> [#uses=1]
        %tmp.2 = seteq sbyte %tmp.1, 0          ; <bool> [#uses=1]
        %indvar.next = add uint %indvar, 1              ; <uint> [#uses=1]
        br bool %tmp.2, label %loopexit, label %no_exit

loopexit:               ; preds = %entry, %no_exit
        %len.0.1 = phi int [ 0, %entry ], [ %inc.1, %no_exit ]          ; <int> [#uses=1]
        ret int %len.0.1
}

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

20 years agoEven if there are not any induction variables in the loop, if we can compute
Chris Lattner [Sat, 17 Apr 2004 18:08:33 +0000 (18:08 +0000)]
Even if there are not any induction variables in the loop, if we can compute
the trip count for the loop, insert one so that we can canonicalize the exit
condition.

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

20 years agoAdd support for evaluation of exp/log/log10/pow
Chris Lattner [Fri, 16 Apr 2004 22:35:33 +0000 (22:35 +0000)]
Add support for evaluation of exp/log/log10/pow

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

20 years agoFix some really nasty dominance bugs that were exposed by my patch to
Chris Lattner [Fri, 16 Apr 2004 18:08:07 +0000 (18:08 +0000)]
Fix some really nasty dominance bugs that were exposed by my patch to
make the verifier more strict.  This fixes building zlib

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

20 years agoFix retriving parent Function.
Misha Brukman [Fri, 16 Apr 2004 17:37:12 +0000 (17:37 +0000)]
Fix retriving parent Function.

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

20 years agoFit comment into 80 cols.
Misha Brukman [Fri, 16 Apr 2004 17:13:52 +0000 (17:13 +0000)]
Fit comment into 80 cols.

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

20 years agoRegenerated using autoconf-2.57.
Brian Gaeke [Fri, 16 Apr 2004 17:13:44 +0000 (17:13 +0000)]
Regenerated using autoconf-2.57.

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

20 years agoRefactor external benchmark checking stuff into one hairy
Brian Gaeke [Fri, 16 Apr 2004 17:13:33 +0000 (17:13 +0000)]
Refactor external benchmark checking stuff into one hairy
macro-to-bind-them-all, called EXTERNAL_BENCHMARK().

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

20 years agoAdd idea about a disassembler.
Misha Brukman [Fri, 16 Apr 2004 16:55:30 +0000 (16:55 +0000)]
Add idea about a disassembler.

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

20 years agoSwitch to including <iostream> for compatibility with gcc-3.0.x (Debian).
Brian Gaeke [Fri, 16 Apr 2004 16:28:33 +0000 (16:28 +0000)]
Switch to including <iostream> for compatibility with gcc-3.0.x (Debian).

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

20 years ago* Fix capitalization of PICk
Misha Brukman [Fri, 16 Apr 2004 16:20:07 +0000 (16:20 +0000)]
* Fix capitalization of PICk
* Wrap long lines to 80 cols

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

20 years agoInclude <cmath> for compatibility with gcc 3.0.x (the system compiler on
Brian Gaeke [Fri, 16 Apr 2004 15:57:32 +0000 (15:57 +0000)]
Include <cmath> for compatibility with gcc 3.0.x (the system compiler on
Debian.)

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

20 years agoInclude <string> for compatibility with gcc 3.0.x (the system compiler on
Brian Gaeke [Fri, 16 Apr 2004 15:57:14 +0000 (15:57 +0000)]
Include <string> for compatibility with gcc 3.0.x (the system compiler on
Debian.)

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

20 years agoAs a part of the bootstrapping process, the top-level tools-only target
Brian Gaeke [Fri, 16 Apr 2004 15:57:02 +0000 (15:57 +0000)]
As a part of the bootstrapping process, the top-level tools-only target
should not build projects.

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

20 years agoAssert if deleting BasicBlock before removing it from Function.
Misha Brukman [Fri, 16 Apr 2004 15:47:21 +0000 (15:47 +0000)]
Assert if deleting BasicBlock before removing it from Function.

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

20 years agoAssert if Instruction is being deleted before being removed from BasicBlock.
Misha Brukman [Fri, 16 Apr 2004 15:46:43 +0000 (15:46 +0000)]
Assert if Instruction is being deleted before being removed from BasicBlock.

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

20 years agoRemove libraries that have no reason to be here, and keep breaking the nightly tester...
Chris Lattner [Fri, 16 Apr 2004 14:12:36 +0000 (14:12 +0000)]
Remove libraries that have no reason to be here, and keep breaking the nightly tester because their makefiles do not have the right dependencies!!

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

20 years agoFix some of the strange CBE-only failures that happened last night.
Chris Lattner [Fri, 16 Apr 2004 06:03:17 +0000 (06:03 +0000)]
Fix some of the strange CBE-only failures that happened last night.

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

20 years agoMake sure to check for a very bad class of errors: an instruction
Chris Lattner [Fri, 16 Apr 2004 05:51:47 +0000 (05:51 +0000)]
Make sure to check for a very bad class of errors: an instruction
that does not dominate all of its users, but is in the same basic block as
its users.  This class of error is what caused the mysterious CBE only
failures last night.

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

20 years agoBugpoint was not correctly capturing stderr! This caused it to "find" bugs
Chris Lattner [Fri, 16 Apr 2004 05:35:58 +0000 (05:35 +0000)]
Bugpoint was not correctly capturing stderr!  This caused it to "find" bugs
that didn't exist, missing the ones that do :(

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

20 years agoFix Inline/2004-04-15-InlineDeletesCall.ll
Chris Lattner [Fri, 16 Apr 2004 05:17:59 +0000 (05:17 +0000)]
Fix Inline/2004-04-15-InlineDeletesCall.ll

Basically we were using SimplifyCFG as a huge sledgehammer for a simple
optimization.  Because simplifycfg does so many things, we can't use it
for this purpose.

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

20 years agoAdd note about easier way to debug tests in the llvm tree.
Misha Brukman [Thu, 15 Apr 2004 21:01:21 +0000 (21:01 +0000)]
Add note about easier way to debug tests in the llvm tree.

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

20 years agoAdd note about passing arguments to program being debugged.
Misha Brukman [Thu, 15 Apr 2004 20:49:32 +0000 (20:49 +0000)]
Add note about passing arguments to program being debugged.

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

20 years agoNew testcase that Brian provided which crashes the inliner
Chris Lattner [Thu, 15 Apr 2004 20:45:45 +0000 (20:45 +0000)]
New testcase that Brian provided which crashes the inliner

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

20 years agoFix a bug in the previous checkin: if the exit block is not the same as
Chris Lattner [Thu, 15 Apr 2004 20:26:22 +0000 (20:26 +0000)]
Fix a bug in the previous checkin: if the exit block is not the same as
the back-edge block, we must check the preincremented value.

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

20 years agoGive SparcV9CodeEmitter a head-of-file comment and a PassName.
Brian Gaeke [Thu, 15 Apr 2004 20:23:13 +0000 (20:23 +0000)]
Give SparcV9CodeEmitter a head-of-file comment and a PassName.

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

20 years agoIf we're going to use tabs, use them consistently. Maybe doxygen will find the
Misha Brukman [Thu, 15 Apr 2004 15:38:48 +0000 (15:38 +0000)]
If we're going to use tabs, use them consistently. Maybe doxygen will find the
@parameter line documentation that way, too.

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

20 years agoRemoved obsolete doxygen options (they were blank anyway).
Misha Brukman [Thu, 15 Apr 2004 15:33:49 +0000 (15:33 +0000)]
Removed obsolete doxygen options (they were blank anyway).

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

20 years agoThe "best" of both worlds: readable C++ comments and valid HTML For doxygen.
Misha Brukman [Thu, 15 Apr 2004 15:30:15 +0000 (15:30 +0000)]
The "best" of both worlds: readable C++ comments and valid HTML For doxygen.

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

20 years agoDon't use invalid HTML in doxygen comments.
Misha Brukman [Thu, 15 Apr 2004 15:24:55 +0000 (15:24 +0000)]
Don't use invalid HTML in doxygen comments.

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

20 years agoDon't use invalid HTML in a doxygen comment.
Misha Brukman [Thu, 15 Apr 2004 15:23:45 +0000 (15:23 +0000)]
Don't use invalid HTML in a doxygen comment.

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

20 years agoChange the canonical induction variable that we insert.
Chris Lattner [Thu, 15 Apr 2004 15:21:43 +0000 (15:21 +0000)]
Change the canonical induction variable that we insert.
Instead of producing code like this:

Loop:
  X = phi 0, X2
  ...

  X2 = X + 1
  if (X != N-1) goto Loop

We now generate code that looks like this:

Loop:
  X = phi 0, X2
  ...

  X2 = X + 1
  if (X2 != N) goto Loop

This has two big advantages:
  1. The trip count of the loop is now explicit in the code, allowing
     the direct implementation of Loop::getTripCount()
  2. This reduces register pressure in the loop, and allows X and X2 to be
     put into the same register.

As a consequence of the second point, the code we generate for loops went
from:

.LBB2:  # no_exit.1
...
        mov %EDI, %ESI
        inc %EDI
        cmp %ESI, 2
        mov %ESI, %EDI
        jne .LBB2 # PC rel: no_exit.1

To:

.LBB2:  # no_exit.1
...
        inc %ESI
        cmp %ESI, 3
        jne .LBB2 # PC rel: no_exit.1

... which has two fewer moves, and uses one less register.

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

20 years agoadd some helpful methods. Rearrange #includes to proper order
Chris Lattner [Thu, 15 Apr 2004 15:16:02 +0000 (15:16 +0000)]
add some helpful methods.  Rearrange #includes to proper order

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

20 years agoAdd some helpful methods
Chris Lattner [Thu, 15 Apr 2004 15:15:40 +0000 (15:15 +0000)]
Add some helpful methods

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

20 years agoFactor a bunch of classes out into a public header
Chris Lattner [Thu, 15 Apr 2004 15:07:24 +0000 (15:07 +0000)]
Factor a bunch of classes out into a public header

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