RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity
27,322 Commits 4 Branches 5 Tags 704 MiB
8cac48e619
Commit Graph

15710 Commits

Author SHA1 Message Date
Reid Spencer
6833ffe8b8 For PR950: 
Make necessary changes to support DIV -> [SUF]Div. This changes llvm to
have three division instructions: signed, unsigned, floating point. The
bytecode and assembler are bacwards compatible, however.

llvm-svn: 31195
 2006-10-26 06:15:43 +00:00
Nick Lewycky
e7580b4a17 Fix 2006-10-25-AddSetCC. A relational operator (like setlt) can never 
produce an EQ property.

llvm-svn: 31193
 2006-10-26 02:35:18 +00:00
Reid Spencer
917bba3135 Make the makefile tell us when Intrinsics.gen is being updated. 
llvm-svn: 31191
 2006-10-26 01:42:23 +00:00
Nick Lewycky
be9829c45f Resurrect r1.25. 
Fix and comment the "or", "and" and "xor" transformations.

llvm-svn: 31189
 2006-10-25 23:48:24 +00:00
Chris Lattner
2258020df2 simplify code 
llvm-svn: 31188
 2006-10-25 22:21:37 +00:00
Evan Cheng
1abe8bd233 During vector shuffle lowering, we sometimes commute a vector shuffle to try 
to match MOVL (movss, movsd, etc.). Don't forget to commute it back and try
unpck* and shufp* if that doesn't pan out.

llvm-svn: 31186
 2006-10-25 21:49:50 +00:00
Evan Cheng
034305a2e8 X86ISD::PEXTRW 3rd operand type is always target pointer type. 
llvm-svn: 31185
 2006-10-25 21:35:05 +00:00
Chris Lattner
f4a5fcbb3a hide symbols properly 
llvm-svn: 31184
 2006-10-25 21:14:31 +00:00
Evan Cheng
01529405c9 Remove -disable-x86-shuffle-opti 
llvm-svn: 31183
 2006-10-25 20:48:19 +00:00
Chris Lattner
df59442a74 turn off tail merging for now 
llvm-svn: 31180
 2006-10-25 18:08:50 +00:00
Chris Lattner
5bb7f41bca be more aggressive about matching identical instructions. 
llvm-svn: 31179
 2006-10-25 18:08:14 +00:00
Devang Patel
0691019e12 Move getPreferredAlignmentLog from AsmPrinter to TargetData 
llvm-svn: 31171
 2006-10-24 20:32:14 +00:00
Rafael Espindola
a962656c07 expand ISD::VACOPY 
llvm-svn: 31170
 2006-10-24 20:15:21 +00:00
John Criswell
b62dc05d41 Removed extraneous semi-colon; this was prevening the grammar file from 
bison'ing correctly.

llvm-svn: 31169
 2006-10-24 19:09:48 +00:00
Chris Lattner
a797dd393f visitSwitchCase knows how to insert conditional branches well. Change 
visitBr to just call visitSwitchCase, eliminating duplicate logic.

llvm-svn: 31167
 2006-10-24 18:07:37 +00:00
Chris Lattner
79a1ca0a61 Generalize CaseBlock a bit more: 
Rename LHSBB/RHSBB to TrueBB/FalseBB.  Allow the RHS value to be null,
in which case the LHS is treated as a bool.

llvm-svn: 31166
 2006-10-24 17:57:59 +00:00
Chris Lattner
790275342a Fix CodeGen/IA64/ret-0.ll, which has apparently been broken since some of the 
isel changes happened months ago.

llvm-svn: 31164
 2006-10-24 17:09:43 +00:00
Rafael Espindola
2259fab5cf fix warning about missing newline at end of file 
llvm-svn: 31162
 2006-10-24 17:07:11 +00:00
Chris Lattner
fc8e70297e generalize 'CaseBlock'. It really allows any comparison to be inserted. 
llvm-svn: 31161
 2006-10-24 17:03:35 +00:00
Chris Lattner
71dc932fcb implement uncond branch insertion, mark branches with isBranch. 
llvm-svn: 31160
 2006-10-24 16:47:57 +00:00
Chris Lattner
34b009bf45 implement uncond branch insertion for the branch folding pass 
llvm-svn: 31159
 2006-10-24 16:44:55 +00:00
Chris Lattner
27b79c117a implement uncond branch insertion so alpha works work branchfolding. 
llvm-svn: 31158
 2006-10-24 16:41:36 +00:00
Chris Lattner
f899cf0dc5 implement uncond branch insertion for sparc to fix regressions from last night 
due to branchfolding

llvm-svn: 31157
 2006-10-24 16:39:19 +00:00
Chris Lattner
efee605648 new bad case 
llvm-svn: 31156
 2006-10-24 16:12:47 +00:00
Jim Laskey
55d57252c3 Don't do dead block elimination in fast mode. 
llvm-svn: 31155
 2006-10-24 16:11:49 +00:00
Jim Laskey
47b2dcf17f LinearScanner hotspot. 
llvm-svn: 31153
 2006-10-24 14:35:25 +00:00
Jim Laskey
605cf8cc6a Tighter data structure for deleted debug labels. 
llvm-svn: 31152
 2006-10-24 11:50:43 +00:00
Chris Lattner
0cf64c9469 Fix Transforms/ScalarRepl/2006-10-23-PointerUnionCrash.ll 
llvm-svn: 31151
 2006-10-24 06:26:32 +00:00
Chris Lattner
533b205309 move single basic blocks that are neither fallen into nor fall out of into 
a place more useful.  In particular, if we can put them in a place where code
will be able to fall into it, do so.  Otherwise, put it in a place it can fall
through into a successor.  Otherwise, if preventing a fallthrough, move to the
end of the function, out of the way.

This deletes several hundred unconditional branches from spass.

llvm-svn: 31149
 2006-10-24 01:12:32 +00:00
Chris Lattner
e38c95d2a3 Add intrinsics for the rest of the DCB* instructions. 
llvm-svn: 31148
 2006-10-24 01:08:42 +00:00
Chris Lattner
d13449ed3e Revert back to r1.21, which was the last revision of predsimplify that 
passes llvm-gcc bootstrap.

llvm-svn: 31146
 2006-10-24 00:36:21 +00:00
Chris Lattner
131eb21cc7 add moveBefore/moveAfter helper methods 
llvm-svn: 31145
 2006-10-24 00:02:26 +00:00
Chris Lattner
0c3fabc9a4 Enable tail merging by default. 
llvm-svn: 31140
 2006-10-23 22:10:12 +00:00
Rafael Espindola
70f01d5cc0 implement STRB and STRH 
llvm-svn: 31138
 2006-10-23 20:34:27 +00:00
Rafael Espindola
357f151d9d expand ISD::MEMSET 
llvm-svn: 31137
 2006-10-23 20:08:22 +00:00
Andrew Lenharth
67fc2c366f Make these hack flags hidden, like other dsa hack flags 
llvm-svn: 31136
 2006-10-23 19:55:24 +00:00
Andrew Lenharth
20f5c4f47d Revert the aggressive inlining for now, it doesn't handle external correctly 
llvm-svn: 31135
 2006-10-23 19:53:37 +00:00
Chris Lattner
91e628645b Handle fallout from the recent branch-on-undef changes. This fixes 
Prolangs-C/agrep and SCCP/2006-10-23-IPSCCP-Crash.ll

llvm-svn: 31132
 2006-10-23 18:57:02 +00:00
Chris Lattner
06236f7928 Minor tweak. Instead of generating: 
movl 32(%esp), %eax
        cmpl $1, %eax
        je LBB1_1       #bb
LBB1_4: #entry
        cmpl $2, %eax
        je LBB1_2       #bb2
        jmp LBB1_3      #UnifiedReturnBlock
LBB1_1: #bb

notice that we would miss the fall through and emit this instead:

        movl 32(%esp), %eax
        cmpl $2, %eax
        je LBB1_2       #bb2
LBB1_4: #entry
        cmpl $1, %eax
        jne LBB1_3      #UnifiedReturnBlock
LBB1_1: #bb

llvm-svn: 31130
 2006-10-23 18:38:22 +00:00
Jim Laskey
f6a28d7161 More complete solution to deleting blocks and debug info. 
llvm-svn: 31129
 2006-10-23 14:56:37 +00:00
Jim Laskey
0eeabf8ff5 [SU]int update - inactive code may get activated someday 
llvm-svn: 31128
 2006-10-23 14:39:22 +00:00
Nick Lewycky
6830bee9b4 Remove the Backwards operation. Resolving now works at the time when a 
property is added by running through the list of uses of the value and
adding resolved properties to the property set.

llvm-svn: 31126
 2006-10-23 01:56:02 +00:00
Chris Lattner
d91d082100 Fix phi node updating for switches lowered to linear sequences of branches. 
llvm-svn: 31125
 2006-10-22 23:00:53 +00:00
Chris Lattner
f592f04e3f disable this code for now, it's not yet safely updating phi nodes 
llvm-svn: 31124
 2006-10-22 22:47:10 +00:00
Nick Lewycky
25e815f0a2 Fix similar missing optimization opportunity in XOR. 
llvm-svn: 31123
 2006-10-22 22:22:58 +00:00
Chris Lattner
3826e15c8d this part implemented. 
llvm-svn: 31122
 2006-10-22 21:40:12 +00:00
Nick Lewycky
5eec4941d1 Whoops! Add missing NULL check. 
llvm-svn: 31121
 2006-10-22 21:38:24 +00:00
Anton Korobeynikov
da7897a6c8 Do section switching right way for Mingw\Cygwin and Linux. 
This will allow (after llvm-gcc linkage fix) more dummy tests using
libstdc++ to pass on mingw :)

llvm-svn: 31120
 2006-10-22 21:37:13 +00:00
Chris Lattner
a07b38f113 Implement PR964 and Regression/CodeGen/Generic/SwitchLowering.ll 
llvm-svn: 31119
 2006-10-22 21:36:53 +00:00
Nick Lewycky
b81c926e06 Handle "if ((x|y) != 0)" for ints like we do for bools. Fixes missed 
optimization opportunity pointed out by Chris Lattner.

llvm-svn: 31118
 2006-10-22 21:36:41 +00:00
Nick Lewycky
c680dabd94 AllocaInst can't return a null pointer. Fixes missed optimization 
opportunity pointed out by Andrew Lewycky.

llvm-svn: 31115
 2006-10-22 19:53:27 +00:00
Chris Lattner
51e762d4cb Add a workaround for PR962, disabling the more aggressive form of this 
transformation.  This speeds up a C++ app 2.25x.

llvm-svn: 31113
 2006-10-22 18:42:26 +00:00
Reid Spencer
65b4f5b2dd Don't generate a prototype for _setjmp. At least on Linux, this function 
has a different prototype than the one #included from <setjmp.h>. This
patch fixes siod and a number of other test cases on Linux that were
failing the CBE because of this _setjmp issue.

llvm-svn: 31112
 2006-10-22 09:58:21 +00:00
Reid Spencer
9ca9ec40f1 Regenerate. 
llvm-svn: 31111
 2006-10-22 07:03:43 +00:00
Reid Spencer
9caeb2165b Remove unneeded CHECK_FOR_ERROR invocations. 
llvm-svn: 31110
 2006-10-22 07:03:09 +00:00
Chris Lattner
25fd3d8b99 regenerate 
llvm-svn: 31109
 2006-10-22 06:08:13 +00:00
Chris Lattner
0bf0490e0c change keyword to datalayout 
llvm-svn: 31108
 2006-10-22 06:07:41 +00:00
Chris Lattner
9e59066602 Change keyword to datalayout 
llvm-svn: 31107
 2006-10-22 06:06:56 +00:00
Chris Lattner
50b3810d9a 3 Changes: 
1. Better document what is going on here.
2. Only hack on one branch per iteration, making the results less conservative.
3. Handle the problematic case by marking edges executable instead of by
   playing with value lattice states.  This is far less pessimistic, and fixes
   SCCP/ipsccp-gvar.ll.

llvm-svn: 31106
 2006-10-22 05:59:17 +00:00
Chris Lattner
9e7d74961b don't break infinite loops 
llvm-svn: 31102
 2006-10-21 06:11:43 +00:00
Chris Lattner
a9adb1e558 Implement support for branch reversal, fix a bug in branch analysis. 
This provides stuff like:

        cmpw cr0, r15, r29
        mr r14, r15
-       bge cr0, LBB3_111       ;bb656
-       b LBB3_90       ;bb501
+       blt cr0, LBB3_90        ;bb501
 LBB3_111:      ;bb656
        lwz r18, 68(r1)

which is particularly good for dispatch group formation.

llvm-svn: 31101
 2006-10-21 06:03:11 +00:00
Chris Lattner
210d322b1f 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
016325f336 Implement support for branch condition reversal. 
llvm-svn: 31099
 2006-10-21 05:52:40 +00:00
Chris Lattner
cf7f500cfd 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
20bb8bfd45 Simplify code, no functionality change 
llvm-svn: 31097
 2006-10-21 05:42:09 +00:00
Chris Lattner
d3e583b2e1 implement support for inserting a cond branch 
llvm-svn: 31096
 2006-10-21 05:36:13 +00:00
Chris Lattner
b638d287f4 allow insertion of a conditional branch with fall-through 
llvm-svn: 31095
 2006-10-21 05:34:23 +00:00
Chris Lattner
d4cb8dc857 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
596c126372 update assert message 
llvm-svn: 31093
 2006-10-21 04:42:29 +00:00
Chris Lattner
52a4558cf2 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
cf4137d0b9 implement MachineOperand::isIdenticalTo 
llvm-svn: 31088
 2006-10-20 22:39:59 +00:00
Chris Lattner
ef1a8ce64a llvm-extract should remove module-level asm 
llvm-svn: 31086
 2006-10-20 21:35:41 +00:00
Chris Lattner
3fb2b87f17 bugfix 
llvm-svn: 31074
 2006-10-20 20:44:34 +00:00
Chris Lattner
6ea0134893 Fix an ugly problem in SCCP. This fixes Benchmarks/Misc-C++/mandel-text.cpp 
llvm-svn: 31073
 2006-10-20 20:19:08 +00:00
Chris Lattner
38ed7d9e49 Fix miscompilation of MallocBench/espresso which code review pointed out 
but apparently didn't make it into the final patch.

llvm-svn: 31070
 2006-10-20 18:20:21 +00:00
Chris Lattner
2f54afc364 Make flag and chain edges visually distinguishable from value edges in DOT 
output.

llvm-svn: 31067
 2006-10-20 18:06:09 +00:00
Chris Lattner
62a0f00312 Implement branch analysis/xform hooks required by the branch folding pass. 
llvm-svn: 31065
 2006-10-20 17:42:20 +00:00
Reid Spencer
d414793dbc 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
Devang Patel
b030b91f4a While creating mask, use 1ULL instead of 1. 
llvm-svn: 31062
 2006-10-20 01:16:56 +00:00
Chris Lattner
d9aa90ded4 Fix SimplifyCFG/2006-10-19-UncondDiv.ll by disabling a bad xform. 
llvm-svn: 31061
 2006-10-20 00:42:07 +00:00
Chris Lattner
5b4ca99562 add a method to determine whether evaluation of a constant can trap. 
llvm-svn: 31059
 2006-10-20 00:27:06 +00:00
Bill Wendling
edce5ede57 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
Devang Patel
880a9d823f It is OK to remove extra cast if operation is EQ/NE even though source 
and destination sign may not match but other conditions are met.

llvm-svn: 31056
 2006-10-19 20:59:13 +00:00
Devang Patel
88406a6e1e Typo Typo. 
llvm-svn: 31055
 2006-10-19 19:21:36 +00:00
Devang Patel
277990c79f Typo. 
llvm-svn: 31054
 2006-10-19 19:05:38 +00:00
Devang Patel
d9ade71cc7 Fix bug in PR454 resolution. Added new test case. 
This fixes llvmAsmParser.cpp miscompile by llvm on PowerPC Darwin.

llvm-svn: 31053
 2006-10-19 18:54:08 +00:00
Rafael Espindola
c08546401b use Pat to implement extloadi8 and extloadi16 
llvm-svn: 31052
 2006-10-19 17:05:03 +00:00
Rafael Espindola
35e92188e0 implement undef 
llvm-svn: 31049
 2006-10-19 13:45:00 +00:00
Rafael Espindola
f7a41f3ddd print common symbols 
llvm-svn: 31048
 2006-10-19 13:30:40 +00:00
Rafael Espindola
722266845b implement extloadi8 and extloadi16 
llvm-svn: 31047
 2006-10-19 12:45:04 +00:00
Rafael Espindola
17544c1c1d expand SIGN_EXTEND_INREG 
llvm-svn: 31046
 2006-10-19 12:06:50 +00:00
Rafael Espindola
6cc20c7950 expand brind so that we don't have to implement jump tables right now 
llvm-svn: 31045
 2006-10-19 10:56:43 +00:00
Reid Spencer
765ea73e59 Beef up the output from DiffFilesWithTolerance by setting the error code 
to describe the difference being reported. This assists with understanding
differences an llvm-test and should help with bugpoint too.

llvm-svn: 31044
 2006-10-18 20:23:52 +00:00
Jim Laskey
c06a0bc853 Add option for controlling inclusion of global AA. 
llvm-svn: 31040
 2006-10-18 19:08:31 +00:00
Chris Lattner
a86fff7583 fit in 80 cols 
llvm-svn: 31039
 2006-10-18 18:26:48 +00:00
Chris Lattner
fa22dc8afe add a note 
llvm-svn: 31038
 2006-10-18 17:04:09 +00:00
Rafael Espindola
1220d18e11 add blx 
llvm-svn: 31037
 2006-10-18 16:21:43 +00:00
Rafael Espindola
73e8f41749 add isTerminatortto b and bcond 
llvm-svn: 31036
 2006-10-18 16:20:57 +00:00
Jim Laskey
288c230cbd Use global info for alias analysis. 
llvm-svn: 31035
 2006-10-18 12:29:57 +00:00
Rafael Espindola
80c7461ada implement CallingConv::Fast as CallingConv::C 
llvm-svn: 31034
 2006-10-18 12:03:07 +00:00
Anton Korobeynikov
d1436ae792 Fixed mingw\cygwin linkonce linkage once again. 
Added workaround for linker bug with linkonce sections.
Changed sections prefix to allow linker merge them
(PE loader doesn't like too much long-named sections :) )
All of this unbreaks libstdc++ on mingw32 allowing (small)
programs to be compiled, linked and run.

llvm-svn: 31033
 2006-10-18 09:12:29 +00:00
Owen Anderson
de03eb21c2 Add support for the new "target data" information in .ll files. This provides 
a better encoding of the targets data layout, rather than trying to guess it
from the endianness and pointersize like before.

Update the generated files.

llvm-svn: 31031
 2006-10-18 02:21:48 +00:00
Owen Anderson
12374f766b Add support for the new "target data" information in .ll files. This provides 
a better encoding of the targets data layout, rather than trying to guess it
from the endianness and pointersize like before.

llvm-svn: 31030
 2006-10-18 02:21:12 +00:00
Chris Lattner
0f686ec438 set the ppc64 stack pointer right, dynamic alloca now works for ppc64 
llvm-svn: 31028
 2006-10-18 01:20:43 +00:00
Chris Lattner
6c403f7102 Expand alloca for ppc64 
llvm-svn: 31027
 2006-10-18 01:18:48 +00:00
Chris Lattner
cd00328fad 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
22e311fe77 add a method to remove a line # record. 
llvm-svn: 31025
 2006-10-17 23:16:42 +00:00
Chris Lattner
7353b07275 expose DWARF_LABEL opcode# so the branch folder can update debug info properly. 
llvm-svn: 31024
 2006-10-17 22:41:45 +00:00
Chris Lattner
dd39b9d358 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
8708a62f93 Trivial patch to speed up legalizing common i64 constants. 
llvm-svn: 31020
 2006-10-17 21:47:13 +00:00
Chris Lattner
bfbb76e103 Fix CodeGen/PowerPC/2006-10-17-brcc-miscompile.ll 
llvm-svn: 31019
 2006-10-17 21:24:15 +00:00
Evan Cheng
3be6b15cd9 Fix printer for StoreSDNode. 
llvm-svn: 31017
 2006-10-17 21:18:26 +00:00
Evan Cheng
2113bdf34d Reflect MemOpAddrMode change; added a helper to create pre-indexed load. 
llvm-svn: 31016
 2006-10-17 21:14:32 +00:00
Rafael Espindola
58233f9db2 expand ISD::SDIV, ISD::UDIV, ISD::SREM and ISD::UREM 
llvm-svn: 31014
 2006-10-17 21:05:33 +00:00
Rafael Espindola
4e8824608e add the FPUnaryOp and DFPUnaryOp classes 
llvm-svn: 31013
 2006-10-17 20:45:22 +00:00
Rafael Espindola
fe0a9a6fe2 add FABSS and FABSD 
llvm-svn: 31012
 2006-10-17 20:33:13 +00:00
Anton Korobeynikov
c86485a397 Adding linkonce linkage codegeneration support for mingw32\cygwin 
targets.

llvm-svn: 31011
 2006-10-17 20:29:49 +00:00
Jim Laskey
7f16ca4872 Make it simplier to dump DAGs while in DAGCombiner. Remove a nasty optimization. 
llvm-svn: 31009
 2006-10-17 19:33:52 +00:00
Rafael Espindola
64f93033bc remove extra [] in stores 
llvm-svn: 31008
 2006-10-17 18:29:14 +00:00
Chris Lattner
ef7c2e1dc8 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
Chris Lattner
bf15d2f503 add support for inserting an uncond branch 
llvm-svn: 31003
 2006-10-17 18:06:55 +00:00
Rafael Espindola
47970f96ac initial implementation of addressing mode 5 
llvm-svn: 31002
 2006-10-17 18:04:53 +00:00
Jim Laskey
37679253ae Clean up interface to getGlobalLinkName. 
llvm-svn: 31001
 2006-10-17 17:17:24 +00:00
Chris Lattner
8464c7e3e1 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
d9bec725a2 Make sure operand does have size and element type operands. 
llvm-svn: 30999
 2006-10-17 17:06:35 +00:00
Rafael Espindola
d5a6eaec14 add the immediate to the Offset in eliminateFrameIndex 
llvm-svn: 30998
 2006-10-17 14:34:02 +00:00
Jim Laskey
620df3ea5f Basic support for getGlobalLinkName. 
llvm-svn: 30997
 2006-10-17 13:41:07 +00:00
Rafael Espindola
31f59f5b94 add FSTD and FSTS 
llvm-svn: 30996
 2006-10-17 13:36:07 +00:00
Rafael Espindola
01400015fc add FCPYS and FCPYD 
llvm-svn: 30995
 2006-10-17 13:13:23 +00:00
Jim Laskey
d266d999cb Use S_debug for dwarf info. 
llvm-svn: 30994
 2006-10-17 11:30:57 +00:00
Evan Cheng
bf3e5a1d7a Proper fix. 
llvm-svn: 30993
 2006-10-17 00:24:49 +00:00
Evan Cheng
36ab7976a0 One more try. 
llvm-svn: 30992
 2006-10-16 23:44:08 +00:00
Reid Spencer
c6aa794a41 Undo Chris' last patch, it caused a regression. 
llvm-svn: 30991
 2006-10-16 23:08:08 +00:00
Evan Cheng
1cf362ec18 Unbreak x86-64 build. 
llvm-svn: 30990
 2006-10-16 22:53:28 +00:00
Evan Cheng
2d9318cff1 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
Rafael Espindola
a156538e34 add fdivs e fdivd 
llvm-svn: 30988
 2006-10-16 21:50:04 +00:00
Rafael Espindola
4f61431679 expand ISD::SHL_PARTS, ISD::SRA_PARTS and ISD::SRL_PARTS 
llvm-svn: 30987
 2006-10-16 21:10:32 +00:00
Evan Cheng
04bec886a9 Added a X86CompilationCallback variant which saves XMM argument registers for targets with SSE. 
llvm-svn: 30986
 2006-10-16 21:01:55 +00:00
Evan Cheng
b4d8323e54 Proper fix for rdar://problem/4770604 Thanks to Stuart Hastings! 
llvm-svn: 30985
 2006-10-16 21:00:37 +00:00
Jim Laskey
06f4428abc Pass AliasAnalysis thru to DAGCombiner. 
llvm-svn: 30984
 2006-10-16 20:52:31 +00:00
Jim Laskey
5fe261bc52 Global name regression. 
llvm-svn: 30982
 2006-10-16 19:38:41 +00:00
Rafael Espindola
25fbeb5ec2 define the DFPBinOp class 
llvm-svn: 30981
 2006-10-16 18:39:22 +00:00
Rafael Espindola
57dc40a3a8 add the FPBinOp class 
llvm-svn: 30980
 2006-10-16 18:32:36 +00:00
Rafael Espindola
8a40de94f2 define the Addr1BinOp class 
llvm-svn: 30979
 2006-10-16 18:18:14 +00:00
Rafael Espindola
6554b1014d define the IntBinOp class and use it to implement the multiply instructions 
llvm-svn: 30978
 2006-10-16 17:57:20 +00:00
Rafael Espindola
71ae8c3d4a fix assembly syntax 
llvm-svn: 30977
 2006-10-16 17:38:12 +00:00
Rafael Espindola
d255bfb09b implement LDRB, LDRSB, LDRH and LDRSH 
llvm-svn: 30976
 2006-10-16 17:17:22 +00:00
Rafael Espindola
93359fa883 implement smull and umull 
llvm-svn: 30975
 2006-10-16 16:33:29 +00:00
Evan Cheng
ca5eaf4020 Avoid getting into an infinite loop when -disable-x86-shuffle-opti is specified. 
llvm-svn: 30974
 2006-10-16 06:36:00 +00:00
Evan Cheng
c73547a71d SelectScalarSSELoad should call CanBeFoldedBy as well. 
llvm-svn: 30973
 2006-10-16 06:34:55 +00:00
Chris Lattner
9ecd9bcde4 regenerate 
llvm-svn: 30971
 2006-10-15 23:27:25 +00:00
Chris Lattner
2ac6ca0f82 Produce a useful error message for Regression/Verifier/2006-10-15-AddrLabel.ll 
llvm-svn: 30970
 2006-10-15 23:26:46 +00:00
Chris Lattner
5a4d067b26 label* is not a valid type, add an assertion. 
llvm-svn: 30968
 2006-10-15 23:21:12 +00:00
Chris Lattner
fd983f91e7 fix a buggy check that accidentally disabled this xform 
llvm-svn: 30967
 2006-10-15 22:42:15 +00:00
Anton Korobeynikov
61d88967b9 Align stack size to DWORD boundary 
llvm-svn: 30964
 2006-10-14 20:53:35 +00:00
Rafael Espindola
c426cede28 expand ISD::BRCOND 
llvm-svn: 30963
 2006-10-14 17:59:54 +00:00
Rafael Espindola
38c602f658 fix some fp condition codes 
use non trapping comparison instructions

llvm-svn: 30962
 2006-10-14 13:42:53 +00:00
Jim Laskey
1070dfefba Tidy up after truncstore changes. 
llvm-svn: 30961
 2006-10-14 12:14:27 +00:00
Evan Cheng
bfd74c6d9c Debug tweak. 
llvm-svn: 30959
 2006-10-14 08:34:06 +00:00
Evan Cheng
6c8de88f88 Corrected load folding check. We need to start from the root of the sub-dag 
being matched and ensure there isn't a non-direct path to the load (i.e. a
path that goes out of the sub-dag.)

llvm-svn: 30958
 2006-10-14 08:33:25 +00:00
Chris Lattner
08aa96b824 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
a515f322f3 fold setcc of a setcc. 
llvm-svn: 30953
 2006-10-14 01:02:29 +00:00
Chris Lattner
25ad62d132 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
c4be6ee8b8 disable this pass for now, it's causing issues 
llvm-svn: 30951
 2006-10-14 00:30:06 +00:00
Chris Lattner
1c35d27fc4 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
bf50140aac Reduce the workload by not adding chain users to work list. 
llvm-svn: 30948
 2006-10-13 23:32:28 +00:00
Chris Lattner
9b1878a28c 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
Chris Lattner
b90d66b7da implement branch inspection/modification methods. 
llvm-svn: 30946
 2006-10-13 21:21:17 +00:00
Evan Cheng
fe5bb5dbe6 Merge ISD::TRUNCSTORE to ISD::STORE. Switch to using StoreSDNode. 
llvm-svn: 30945
 2006-10-13 21:14:26 +00:00
Chris Lattner
87d16e0ed9 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
ae19ea4b2a disable some objectionable code, maybe we can bring this pass to life 
llvm-svn: 30939
 2006-10-13 20:43:10 +00:00
Chris Lattner
bea7a9de50 remove some dead code 
llvm-svn: 30938
 2006-10-13 20:40:42 +00:00
Chris Lattner
b22754853b add note 
llvm-svn: 30937
 2006-10-13 20:20:58 +00:00
Chris Lattner
14f18d4896 set isBarrier correctly 
llvm-svn: 30936
 2006-10-13 19:10:34 +00:00
Chris Lattner
a3f4e611a4 Correctly handle instruction separators. 
llvm-svn: 30935
 2006-10-13 17:56:02 +00:00
Chris Lattner
63ec35db20 Expose method and ivars for measuring inline asm length properly. 
llvm-svn: 30934
 2006-10-13 17:50:07 +00:00
Andrew Lenharth
254a2fbcd0 Move some warnings to debug mode. 
llvm-svn: 30933
 2006-10-13 17:38:22 +00:00
Rafael Espindola
1f85e7a2a1 add FNEGS and FNEGD 
llvm-svn: 30932
 2006-10-13 17:37:35 +00:00
Chris Lattner
5cd4ac0a79 Fix another dtor issue. The function local statics in this function were 
being destroyed at inconvenient times.  Switch to using non-local ManagedStatic
objects, which actually also speeds up ConstRules::get.

llvm-svn: 30931
 2006-10-13 17:22:21 +00:00
Rafael Espindola
042e61af25 add SBCS and SUBS 
llvm-svn: 30930
 2006-10-13 17:19:20 +00:00
Rafael Espindola
24d7976d1d implement calls to functions that return long 
llvm-svn: 30929
 2006-10-13 16:47:22 +00:00
Rafael Espindola
bd50a4d757 implement unordered floating point compares 
llvm-svn: 30928
 2006-10-13 13:14:59 +00:00
Jim Laskey
a053c74b99 Workaround for templates 
llvm-svn: 30927
 2006-10-13 13:02:19 +00:00
Jim Laskey
20feec042a Clean up dump. 
llvm-svn: 30926
 2006-10-13 13:01:34 +00:00
Chris Lattner
9476464f86 avoid a ctor/dtor issue with the ProgramName global. 
llvm-svn: 30925
 2006-10-13 00:06:24 +00:00
Chris Lattner
f48558b3b6 shrink anon-ns and mark stuff static. No functionality changes 
llvm-svn: 30922
 2006-10-12 22:09:17 +00:00
Chris Lattner
9777da8fb7 add a note 
llvm-svn: 30921
 2006-10-12 22:01:26 +00:00
Chris Lattner
70444d5663 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
61afb767eb 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
e38ce54cc9 add a minor dag combine noticed when looking at PR945 
llvm-svn: 30915
 2006-10-12 20:23:19 +00:00
Evan Cheng
76d365ac84 Doh. This wasn't causing problems by luck. 
llvm-svn: 30914
 2006-10-12 19:13:59 +00:00
Evan Cheng
d07e2f081a Some X86ISD::CMP were created with wrong ValueType's. 
llvm-svn: 30913
 2006-10-12 19:12:56 +00:00
Chris Lattner
08684eac36 Fix massive resource leaks in the bytecode reader. Reading a bytecode file 
with ParseBytecodeFile used to leak both a ModuleProvider (and related
bytecode parser stuff attached to it) AND a file descriptor, which was
never closed.  This prevented gccld/llvm-ld/llvm-link from linking together
apps with more that ~252 .bc files on darwin.

llvm-svn: 30912
 2006-10-12 18:32:30 +00:00
Chris Lattner
b7ff3d59f7 mark call adjustments as modifying the SP 
llvm-svn: 30911
 2006-10-12 18:00:26 +00:00
Chris Lattner
80790cad34 adjcallstack up/down clobbers the sp 
llvm-svn: 30910
 2006-10-12 18:00:14 +00:00
Chris Lattner
e7ea164744 adjcallstackup/down clobbers the stack pointer 
llvm-svn: 30909
 2006-10-12 17:57:58 +00:00
Chris Lattner
e4e8893807 mark adjcallstack up/down as clobbering and using the SP 
llvm-svn: 30908
 2006-10-12 17:56:34 +00:00
Chris Lattner
b25677f5ca Move the Imp tblgen class from the X86 backend to common code. 
llvm-svn: 30907
 2006-10-12 17:49:27 +00:00
Chris Lattner
4d707afe22 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
Chris Lattner
a678c5bac1 Mark ADJCALLSTACKUP/DOWN as clobbering ESP so that virtregmap will notice 
that it can't assume ESP is unmodified across the instrs.

llvm-svn: 30905
 2006-10-12 17:42:56 +00:00