shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
27,079 Commits 1,713 Branches 298 Tags
Commit Graph

2932 Commits

Author SHA1 Message Date
Chris Lattner
6d6fc26257 Implement PR964 and Regression/CodeGen/Generic/SwitchLowering.ll 
llvm-svn: 31119
 2006-10-22 21:36:53 +00:00
Chris Lattner
9f5a129543 don't break infinite loops 
llvm-svn: 31102
 2006-10-21 06:11:43 +00:00
Chris Lattner
28f17f45be Use branch reversal to do stuff like this: 
call L_strcmp$stub
        testl %eax, %eax
-       jne LBB26_208   #cond_true6020
-       jmp LBB26_227   #bb7119
+       je LBB26_227    #bb7119
 LBB26_208:     #cond_true6020
        movl $l31_str14, 4(%esp)

        testl %eax, %eax
-       jne LBB26_704   #cond_true13042
-       jmp LBB26_713   #bb13151
+       je LBB26_713    #bb13151
 LBB26_704:     #cond_true13042
        movl $_str52, 4(%esp)

        cmpl 76(%ecx), %eax
-       jge LBB26_1628  #cond_false63.i.i
-       jmp LBB26_1769  #_Z8makeGridP13mrSurfaceListidiidd.exit.i
+       jl LBB26_1769   #_Z8makeGridP13mrSurfaceListidiidd.exit.i
 LBB26_1628:    #cond_false63.i.i
        movl $0, 48964(%esp)

llvm-svn: 31100
 2006-10-21 05:54:00 +00:00
Chris Lattner
3ca52185af Transform code like: 
jle FOO
  jmp BAR
BAR:

into:

  jle FOO
BAR:

... whoa!

llvm-svn: 31098
 2006-10-21 05:43:30 +00:00
Chris Lattner
4fe01c42ca Three changes: 
1. Remove a bunch of ifdef'd code.
2. When a block just contains an uncond branch, change all blocks branching
   to it to jump to the destination instead.
3. If branch analysis tells us some edges in the machinecfg are not actually
   possible, remove them.

#2 triggers a suprisingly large number of times.

llvm-svn: 31094
 2006-10-21 05:08:28 +00:00
Chris Lattner
60c9d4dc76 Add an experimental cross-jumping implementation. 
This is currently disabled by default and limited in several ways, but does
have a positive effect.

llvm-svn: 31090
 2006-10-21 00:47:49 +00:00
Chris Lattner
33f5af09e4 implement MachineOperand::isIdenticalTo 
llvm-svn: 31088
 2006-10-20 22:39:59 +00:00
Chris Lattner
c5ab6ce613 Make flag and chain edges visually distinguishable from value edges in DOT 
output.

llvm-svn: 31067
 2006-10-20 18:06:09 +00:00
Reid Spencer
e0fc4dfc22 For PR950: 
This patch implements the first increment for the Signless Types feature.
All changes pertain to removing the ConstantSInt and ConstantUInt classes
in favor of just using ConstantInt.

llvm-svn: 31063
 2006-10-20 07:07:24 +00:00
Bill Wendling
be96e1cd09 Partially in response to PR926: insert the newly created machine basic 
blocks into the basic block list when lowering the switch inst. into a
binary tree of if-then statements. This allows the "visitSwitchCase" func
to allow for fall-through behavior.

llvm-svn: 31057
 2006-10-19 21:46:38 +00:00
Jim Laskey
55e4dcad36 Add option for controlling inclusion of global AA. 
llvm-svn: 31040
 2006-10-18 19:08:31 +00:00
Jim Laskey
a15b0ebb5e Use global info for alias analysis. 
llvm-svn: 31035
 2006-10-18 12:29:57 +00:00
Chris Lattner
73da320e50 Teach the branch folder to update debug info if it removes blocks with line 
# notes in it.

llvm-svn: 31026
 2006-10-17 23:17:27 +00:00
Chris Lattner
34136d0cc1 add a method to remove a line # record. 
llvm-svn: 31025
 2006-10-17 23:16:42 +00:00
Chris Lattner
145f6b3ec8 Do not leak all of the SourceLineInfo objects. Do not bother mallocing each 
one separately.

llvm-svn: 31022
 2006-10-17 22:06:46 +00:00
Chris Lattner
78fd0f83ff Trivial patch to speed up legalizing common i64 constants. 
llvm-svn: 31020
 2006-10-17 21:47:13 +00:00
Chris Lattner
327b88b102 Fix CodeGen/PowerPC/2006-10-17-brcc-miscompile.ll 
llvm-svn: 31019
 2006-10-17 21:24:15 +00:00
Evan Cheng
2f4ddce75c Fix printer for StoreSDNode. 
llvm-svn: 31017
 2006-10-17 21:18:26 +00:00
Evan Cheng
1839d76f69 Reflect MemOpAddrMode change; added a helper to create pre-indexed load. 
llvm-svn: 31016
 2006-10-17 21:14:32 +00:00
Jim Laskey
e7d2c24a7d Make it simplier to dump DAGs while in DAGCombiner. Remove a nasty optimization. 
llvm-svn: 31009
 2006-10-17 19:33:52 +00:00
Chris Lattner
bca3e297fe Enable deleting branches to successor blocks. With the previous patches, 
branch folding can now compile stuff like this:

void foo(int W, int X, int Y, int Z) {
  if (W & 1) {
    for (; X;--X) bar();
  } else if (W & 2) {
    for (; Y;--Y) bar();
  } else if (W & 4) {
    for (; Z;--Z) bar();
  } else if (W & 8) {
    for (; W;--W) bar();
  }

  if (W) {
    bar();
  }
}

contrived testcase where loops exits all end up merging together.  To have
the loop merges be:

...
        cmplw cr0, r30, r27
        bne cr0, LBB1_14        ;bb38
LBB1_16:        ;cond_next48.loopexit
        mr r27, r29
LBB1_20:        ;cond_next48
        cmplwi cr0, r27, 0
        beq cr0, LBB1_22        ;UnifiedReturnBlock
...

instead of:


...
        cmplw cr0, r30, r27
        bne cr0, LBB1_14        ;bb38
LBB1_16:        ;cond_next48.loopexit
        mr r27, r29
        b LBB1_20       ;cond_next48
LBB1_17:        ;cond_next48.loopexit1
        b LBB1_20       ;cond_next48
LBB1_18:        ;cond_next48.loopexit2
        b LBB1_20       ;cond_next48
LBB1_19:        ;cond_next48.loopexit3
LBB1_20:        ;cond_next48
        cmplwi cr0, r27, 0
        beq cr0, LBB1_22        ;UnifiedReturnBlock
...


This is CodeGen/PowerPC/branch-opt.ll

llvm-svn: 31006
 2006-10-17 18:16:40 +00:00
Jim Laskey
d24b913a61 Clean up interface to getGlobalLinkName. 
llvm-svn: 31001
 2006-10-17 17:17:24 +00:00
Chris Lattner
56c9d2597e Reenable this pass, fixing the bugs in it. 
It now correctly deletes unreachable blocks and blocks that are empty.

llvm-svn: 31000
 2006-10-17 17:13:52 +00:00
Evan Cheng
1e3a39cd08 Make sure operand does have size and element type operands. 
llvm-svn: 30999
 2006-10-17 17:06:35 +00:00
Jim Laskey
7126254a0e Basic support for getGlobalLinkName. 
llvm-svn: 30997
 2006-10-17 13:41:07 +00:00
Evan Cheng
f3ae00a64a Be careful when looking through a vbit_convert. Optimizing this: 
(vector_shuffle
  (vbitconvert (vbuildvector (copyfromreg v4f32), 1, v4f32), 4, f32),
  (undef, undef, undef, undef), (0, 0, 0, 0), 4, f32)
to the
  vbitconvert
is a very bad idea.

llvm-svn: 30989
 2006-10-16 22:49:37 +00:00
Jim Laskey
dcb2b83886 Pass AliasAnalysis thru to DAGCombiner. 
llvm-svn: 30984
 2006-10-16 20:52:31 +00:00
Jim Laskey
9db3a08864 Global name regression. 
llvm-svn: 30982
 2006-10-16 19:38:41 +00:00
Jim Laskey
3bf4f3bd60 Tidy up after truncstore changes. 
llvm-svn: 30961
 2006-10-14 12:14:27 +00:00
Evan Cheng
47fbeda5ce Debug tweak. 
llvm-svn: 30959
 2006-10-14 08:34:06 +00:00
Chris Lattner
6a1b2de8c4 Make sure that the node returned by SimplifySetCC is added to the worklist 
so that it can be deleted if unused.

llvm-svn: 30955
 2006-10-14 03:52:46 +00:00
Chris Lattner
0626bd2fbc fold setcc of a setcc. 
llvm-svn: 30953
 2006-10-14 01:02:29 +00:00
Chris Lattner
bd9acad805 When SimplifySetCC was moved to the DAGCombiner, it was never removed from 
SelectionDAG and it has since bitrotted.  Remove the copy from SelectionDAG.
Next, remove the constant folding piece of DAGCombiner::SimplifySetCC into
a new FoldSetCC method which can be used by getNode() and SimplifySetCC.

This fixes obscure bugs.

llvm-svn: 30952
 2006-10-14 00:41:01 +00:00
Chris Lattner
47db29a405 disable this pass for now, it's causing issues 
llvm-svn: 30951
 2006-10-14 00:30:06 +00:00
Chris Lattner
3218e0eed5 falling off the end of a function is ok with an unreachable instruction. 
llvm-svn: 30950
 2006-10-14 00:21:48 +00:00
Jim Laskey
dcf983ce41 Reduce the workload by not adding chain users to work list. 
llvm-svn: 30948
 2006-10-13 23:32:28 +00:00
Chris Lattner
45ffb1eb70 Fix a bug where we incorrectly turned '(X & 0) == 0' into '(X & 0) >> -1', 
which is undefined.  "0" isn't a power of 2.

llvm-svn: 30947
 2006-10-13 22:46:18 +00:00
Evan Cheng
ab51cf2e78 Merge ISD::TRUNCSTORE to ISD::STORE. Switch to using StoreSDNode. 
llvm-svn: 30945
 2006-10-13 21:14:26 +00:00
Chris Lattner
55ad08a59b add the branch folding pass as a late cleanup pass for all targets. For now 
it just deletes empty MBB's.  Soon it will do more :)

llvm-svn: 30941
 2006-10-13 20:45:56 +00:00
Chris Lattner
3e8e57c771 disable some objectionable code, maybe we can bring this pass to life 
llvm-svn: 30939
 2006-10-13 20:43:10 +00:00
Jim Laskey
ccee9baebe Workaround for templates 
llvm-svn: 30927
 2006-10-13 13:02:19 +00:00
Jim Laskey
13d3373e72 Clean up dump. 
llvm-svn: 30926
 2006-10-13 13:01:34 +00:00
Chris Lattner
d0620d2773 Lower X%C into X/C+stuff. This allows the 'division by a constant' logic to 
apply to rems as well as divs.  This fixes PR945 and speeds up ReedSolomon
from 14.57s to 10.90s (which is now faster than gcc).

It compiles CodeGen/X86/rem.ll into:

_test1:
        subl $4, %esp
        movl %esi, (%esp)
        movl $2155905153, %ecx
        movl 8(%esp), %esi
        movl %esi, %eax
        imull %ecx
        addl %esi, %edx
        movl %edx, %eax
        shrl $31, %eax
        sarl $7, %edx
        addl %eax, %edx
        imull $255, %edx, %eax
        subl %eax, %esi
        movl %esi, %eax
        movl (%esp), %esi
        addl $4, %esp
        ret
_test2:
        movl 4(%esp), %eax
        movl %eax, %ecx
        sarl $31, %ecx
        shrl $24, %ecx
        addl %eax, %ecx
        andl $4294967040, %ecx
        subl %ecx, %eax
        ret
_test3:
        subl $4, %esp
        movl %esi, (%esp)
        movl $2155905153, %ecx
        movl 8(%esp), %esi
        movl %esi, %eax
        mull %ecx
        shrl $7, %edx
        imull $255, %edx, %eax
        subl %eax, %esi
        movl %esi, %eax
        movl (%esp), %esi
        addl $4, %esp
        ret

instead of div/idiv instructions.

llvm-svn: 30920
 2006-10-12 20:58:32 +00:00
Evan Cheng
a731cb674a Add RemoveDeadNode to remove a dead node and its (potentially) dead operands. 
llvm-svn: 30916
 2006-10-12 20:34:05 +00:00
Chris Lattner
2e33fb453b add a minor dag combine noticed when looking at PR945 
llvm-svn: 30915
 2006-10-12 20:23:19 +00:00
Chris Lattner
c040e53372 restore my previous patch, now that the X86 backend bug has been fixed: 
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20061009/038518.html

llvm-svn: 30906
 2006-10-12 17:45:38 +00:00
Jim Laskey
df2ccc395e D'oh - need to use the rigth kind of store. 
llvm-svn: 30903
 2006-10-12 15:22:24 +00:00
Evan Cheng
c935741b1d Backing out Chris' last commit. It's breaking llvm-gcc bootstrapping. 
It's turning:
        movl -24(%ebp), %esp
        subl $16, %esp
        movl -24(%ebp), %ecx
into
        movl -24(%ebp), %esp
        subl $16, %esp
        movl %esp, (%esp)

llvm-svn: 30902
 2006-10-12 08:00:47 +00:00
Chris Lattner
86a012ab61 If we see a load from a stack slot into a physreg, consider it as providing 
the stack slot.  This fixes PR943.

llvm-svn: 30898
 2006-10-12 02:34:07 +00:00
Jim Laskey
a13b9c7aa4 Alias analysis of TRUNCSTORE. 
llvm-svn: 30889
 2006-10-11 18:55:16 +00:00