RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-20 19:42:54 +02:00
Code Issues Projects Releases Wiki Activity
10,659 Commits 4 Branches 5 Tags 704 MiB
969f90db77
Commit Graph

5541 Commits

Author SHA1 Message Date
Alkis Evlogimenos
6998610eda When folding memory operands in machine instructions be careful to 
leave register operands with the same use/def flags as the original
instruction.

llvm-svn: 11709
 2004-02-22 06:54:26 +00:00
Chris Lattner
63b79422f3 Fix a soon-to-be-missing #include 
llvm-svn: 11707
 2004-02-22 06:26:17 +00:00
Chris Lattner
727748b382 Get all instruction definitions 
llvm-svn: 11706
 2004-02-22 06:25:38 +00:00
Chris Lattner
3392d316e9 Wow this is out of date. When we have _real_ code generator documentation, 
this should be folded into it.

llvm-svn: 11705
 2004-02-22 05:53:54 +00:00
Alkis Evlogimenos
ba33a0ab9b Print basic block boundaries in machine instruction debug output. 
llvm-svn: 11704
 2004-02-22 05:46:04 +00:00
Chris Lattner
69bb1545d1 Implement Transforms/InstCombine/cast.ll:test13, a case which occurs in a 
hot 164.gzip loop.

llvm-svn: 11702
 2004-02-22 05:25:17 +00:00
Chris Lattner
cf8afa52b8 The two address pass cannot handle two addr instructions where one incoming 
value is a physreg and one is a virtreg.  For this reason, disable copy folding
entirely for physregs.  Also, use the new isMoveInstr target hook which gives us
folding of FP moves as well.

llvm-svn: 11700
 2004-02-22 04:44:58 +00:00
Alkis Evlogimenos
32d12d31ae Abstract merging of ranges away from number of slots per instruction. 
Also make it less aggressive as the current implementation breaks in
some cases.

llvm-svn: 11696
 2004-02-22 04:05:13 +00:00
Chris Lattner
573441bfbd Use isNull instead of getNode() to test for existence of a node, this is cheaper. 
FIX MAJOR BUG, whereby we didn't merge null edges correctly. Correcting this
fixes poolallocation on 175.vpr, and possibly others.

llvm-svn: 11695
 2004-02-22 00:53:54 +00:00
Chris Lattner
7bff00313e Fix an iterator invalidation problem which was causing some nodes to not be 
correctly merged over!

llvm-svn: 11693
 2004-02-21 22:28:26 +00:00
Chris Lattner
458704f675 Use handy method 
llvm-svn: 11692
 2004-02-21 22:27:31 +00:00
Misha Brukman
642275dc4e `cat' is usually in /bin, not /usr/bin, at least on our systems. 
llvm-svn: 11690
 2004-02-21 21:51:41 +00:00
Chris Lattner
7448a9867b When printing a stack trace, demangle it if possible. Since we are potentially 
in a signal handler, allocating memory or doing other unsafe things is bad,
which means we should do it in a different process.

llvm-svn: 11689
 2004-02-21 21:06:19 +00:00
Alkis Evlogimenos
e39c21cc93 Make 'fold' statistic's description the same in both allocators. 
llvm-svn: 11687
 2004-02-21 18:07:33 +00:00
Chris Lattner
dacc6a7448 Instead of cloning the globals for main into the globals graph at the end of 
BU propagation, clone the globals into the GG of EACH FUNCTION that finishes
processing!  The GlobalsGraph *must* include all globals and effects from
all functions in the program.  Fixing this makes pool allocation work better
on 175.vpr, but it still ultimately crashes.

llvm-svn: 11686
 2004-02-21 00:30:28 +00:00
Chris Lattner
0f9200e5a5 There is no need to merge the globals graph into the function graphs at the 
end of the BU and CBU passes.  The globals will be marked incomplete, so it
doesn't matter if they are missing some info, and merging isn't guaranteed
to bring everything in anyway!

llvm-svn: 11684
 2004-02-20 23:52:15 +00:00
Chris Lattner
31f8fa66cb Add two missing returns, which caused us to be very pessimistic about the 
printf and scanf families!

llvm-svn: 11683
 2004-02-20 23:27:09 +00:00
Alkis Evlogimenos
43431e117e Some more statistics improvements. 
llvm-svn: 11676
 2004-02-20 20:53:26 +00:00
Alkis Evlogimenos
6d57ed784f Disambiguate statistic descriptions. 
llvm-svn: 11675
 2004-02-20 20:46:49 +00:00
Alkis Evlogimenos
70f547d06e Rename statistic and add another one. 
llvm-svn: 11674
 2004-02-20 20:43:08 +00:00
Chris Lattner
4653c4cb50 Add support for some string functions, the scanf family, and sprintf 
llvm-svn: 11673
 2004-02-20 20:27:11 +00:00
Alkis Evlogimenos
168e4bf455 Fix crash in debug output. 
llvm-svn: 11659
 2004-02-20 06:41:12 +00:00
Brian Gaeke
688940d763 Use backtrace() and include execinfo.h, if they were detected by autoconf. 
llvm-svn: 11658
 2004-02-20 06:40:59 +00:00
Alkis Evlogimenos
16744f2860 Fix instruction numbering in debug output. 
llvm-svn: 11655
 2004-02-20 06:29:51 +00:00
Alkis Evlogimenos
f32239a5c6 Too many changes in one commit: 
1. LiveIntervals now implement a 4 slot per instruction model. Load,
   Use, Def and a Store slot. This is required in order to correctly
   represent caller saved register clobbering on function calls,
   register reuse in the same instruction (def resues last use) and
   also spill code added later by the allocator. The previous
   representation (2 slots per instruction) was insufficient and as a
   result was causing subtle bugs.

2. Fixes in spill code generation. This was the major cause of
   failures in the test suite.

3. Linear scan now has core support for folding memory operands. This
   is untested and not enabled (the live interval update function does
   not attempt to fold loads/stores in instructions).

4. Lots of improvements in the debugging output of both live intervals
   and linear scan. Give it a try... it is beautiful :-)

In summary the above fixes all the issues with the recent reserved
register elimination changes and get the allocator very close to the
next big step: folding memory operands.

llvm-svn: 11654
 2004-02-20 06:15:40 +00:00
Chris Lattner
b24f30de8d It is totally unacceptable to print out (literally) millions of zeros when 
compiling 129.compress... so don't!

llvm-svn: 11649
 2004-02-20 05:49:22 +00:00
Chris Lattner
0d3df27b4c Disable the stack trace thing until we can get an autoconf test for it. This 
call breaks on sparcs

llvm-svn: 11635
 2004-02-19 21:21:23 +00:00
Chris Lattner
6deffd7154 Implement new function 
llvm-svn: 11631
 2004-02-19 20:03:14 +00:00
Alkis Evlogimenos
eed4727191 Fix RA::verifyAssignment() 
llvm-svn: 11629
 2004-02-19 19:24:17 +00:00
Chris Lattner
c37073f249 Fix problem fusing spill code into instructions: we didn't update the live 
variable information to take into account the change of instruction
address.

llvm-svn: 11628
 2004-02-19 18:34:02 +00:00
Chris Lattner
266206caed Fix an iterator invalidation problem. :( 
llvm-svn: 11627
 2004-02-19 18:32:29 +00:00
Chris Lattner
6b0030105e Add method to update livevar when an instruction moves 
llvm-svn: 11625
 2004-02-19 18:28:02 +00:00
Chris Lattner
8a9be6b652 Fix a __LONG__ term annoyance of mine: symbolic registers weren't being printed 
by operator<< on MachineInstr's, and looking up what register "24" is all of the
time was greatly annoying.

llvm-svn: 11623
 2004-02-19 16:17:08 +00:00
Chris Lattner
436ab13009 Add a MachineBasicBlock::getParent() method 
llvm-svn: 11622
 2004-02-19 16:13:54 +00:00
Alkis Evlogimenos
59c646da40 Make ToolExecutionError inherit std::exception and implement its 
interface: getMessage() is gone, use what() instead.

llvm-svn: 11621
 2004-02-19 07:39:26 +00:00
Alkis Evlogimenos
fbaf7b3944 Print stacktrace in STDERR before dying on a fatal signal. Currently 
the symbols are not demangled.

llvm-svn: 11620
 2004-02-19 07:36:35 +00:00
Alkis Evlogimenos
68f40cbfd3 Rename reloads/spills to loads/stores. 
llvm-svn: 11619
 2004-02-19 06:19:09 +00:00
Chris Lattner
2a293313ca Add support for just running the code generator 
llvm-svn: 11611
 2004-02-18 23:24:41 +00:00
Alkis Evlogimenos
310f641c9c Implement assignment correctness verification. 
llvm-svn: 11609
 2004-02-18 23:15:23 +00:00
Chris Lattner
5a22f3a7d1 indent correctly 
llvm-svn: 11601
 2004-02-18 20:58:00 +00:00
Chris Lattner
eddc6ab2e7 Don't yell. BUGPOINT should yell, not the tool runner :) 
llvm-svn: 11600
 2004-02-18 20:57:38 +00:00
Chris Lattner
a52c617fd7 If there is an error running a tool, include the error message (e.g. assertion failure) in the exception 
llvm-svn: 11597
 2004-02-18 20:38:00 +00:00
Chris Lattner
72ce97cc95 When an error occurs executing a tool, we now throw an exception instead 
of calling exit(1).

llvm-svn: 11593
 2004-02-18 20:21:57 +00:00
Chris Lattner
e672426e5d Eliminate operator[] is deprecated warnings 
llvm-svn: 11578
 2004-02-18 16:43:51 +00:00
Chris Lattner
8acab89631 Fix deprecated operator[] warnings 
llvm-svn: 11577
 2004-02-18 16:38:18 +00:00
Alkis Evlogimenos
7ec1bad952 Fix argument size for MOVSX and MOVZX instructions. 
llvm-svn: 11576
 2004-02-18 16:20:40 +00:00
Alkis Evlogimenos
c394f7803b Be more agressive when joining ranges. 
llvm-svn: 11575
 2004-02-18 04:38:37 +00:00
Alkis Evlogimenos
5c90efed55 Fix overly conservative spill interval computation. 
llvm-svn: 11574
 2004-02-18 03:35:38 +00:00
Alkis Evlogimenos
7290ef1f5c Beautify debug output. 
llvm-svn: 11573
 2004-02-18 00:35:06 +00:00
Chris Lattner
4fa2e7a67f Fix PR245: Linking weak and strong global variables is dependent on link order 
llvm-svn: 11565
 2004-02-17 21:56:04 +00:00
Chris Lattner
d9e1a49650 When we complete the bottom-up pass, make sure to merge the globals in 'main' into 
the globals graph.

llvm-svn: 11562
 2004-02-17 19:06:47 +00:00
Chris Lattner
f58d2dd6cf Add support for GlobalAddress's for alkis 
llvm-svn: 11560
 2004-02-17 18:23:55 +00:00
Alkis Evlogimenos
c6f0651e5c These store to memory too. 
llvm-svn: 11558
 2004-02-17 17:53:48 +00:00
Chris Lattner
ea22a3de13 Remove the -disable-kill option. The register allocator is buggy with it, 
and it was only for debugging in the first place.

llvm-svn: 11557
 2004-02-17 17:49:10 +00:00
Chris Lattner
88271db3bc These store to memory, not read from it. 
llvm-svn: 11556
 2004-02-17 17:46:50 +00:00
Alkis Evlogimenos
0528c59353 Instructiosn with 1 memory operand have 4 operands in our 
representation.. duh!

llvm-svn: 11554
 2004-02-17 15:58:13 +00:00
Alkis Evlogimenos
b1a61b72f2 Align case statements. 
llvm-svn: 11552
 2004-02-17 15:50:41 +00:00
Alkis Evlogimenos
b815fd46ec Add TEST and XCHG memory operand support. 
llvm-svn: 11550
 2004-02-17 15:48:42 +00:00
Alkis Evlogimenos
32a5b0fd6c Add OR and XOR memory operand support. 
llvm-svn: 11549
 2004-02-17 15:33:14 +00:00
Alkis Evlogimenos
1e4b3b3c9b Peephole optimize SUBmi{16,32} into SUBmi{16,32}b when immediate is 8 
bits wide.

llvm-svn: 11548
 2004-02-17 15:14:29 +00:00
Alkis Evlogimenos
4f22bb4d4b ADDmi{16,32} should be in the next case statement. 
llvm-svn: 11547
 2004-02-17 15:10:11 +00:00
Alkis Evlogimenos
135c4faa55 Add memory operand folding support for MUL, DIV, IDIV, NEG, NOT, 
MOVSX, and MOVZX.

llvm-svn: 11546
 2004-02-17 09:14:23 +00:00
Alkis Evlogimenos
e7bbd1c2fb Add memory operand folding for CMP{rm,mr,mi}{8,16,32}, INCm{8,16,32} 
and DECm{8,16,32} instructions.

llvm-svn: 11545
 2004-02-17 08:49:20 +00:00
Alkis Evlogimenos
d7e3cc8d65 Add CMP{rm,mr,mi}{8,16,32}, INCm{8,16,32} and DECm{8,16,32} instructions. 
llvm-svn: 11544
 2004-02-17 08:49:00 +00:00
Alkis Evlogimenos
638db7b5aa Add SUB{rm,mr,mi}{8,16,32} instructions. 
llvm-svn: 11543
 2004-02-17 08:17:40 +00:00
Chris Lattner
a4e0020e54 Add support to the local allocator for fusing spill code into the instructions 
that need them.  This is very useful on CISCy targets like the X86 because it
reduces the total spill pressure, and makes better use of it's (large)
instruction set.  Though the X86 backend doesn't know how to rewrite many
instructions yet, this already makes a substantial difference on 176.gcc for
example:

Before:
Time:
   8.0099 ( 31.2%)   0.0100 ( 12.5%)   8.0199 ( 31.2%)   7.7186 ( 30.0%)  Local Register Allocator

Code quality:
734559 asm-printer           - Number of machine instrs printed
111395 ra-local              - Number of registers reloaded
 79902 ra-local              - Number of registers spilled
231554 x86-peephole          - Number of peephole optimization performed

After:
Time:
   7.8700 ( 30.6%)   0.0099 ( 19.9%)   7.8800 ( 30.6%)   7.7892 ( 30.2%)  Local Register Allocator
Code quality:
733083 asm-printer           - Number of machine instrs printed
  2379 ra-local              - Number of reloads fused into instructions
109046 ra-local              - Number of registers reloaded
 79881 ra-local              - Number of registers spilled
230658 x86-peephole          - Number of peephole optimization performed

So by fusing 2300 instructions, we reduced the  static number of instructions
by 1500, and reduces the number of peepholes (and thus the work) by about 900.
This also clearly reduces the number of reload/spill instructions that are
emitted.

llvm-svn: 11542
 2004-02-17 08:09:40 +00:00
Alkis Evlogimenos
5aa39e1583 Add support for folding memory operands for ADC, SBB and SUB instructions. 
llvm-svn: 11541
 2004-02-17 08:08:51 +00:00
Alkis Evlogimenos
28691e063b Add support for ADC{rm.mr}32 and SBB{rm,mr}32. 
llvm-svn: 11540
 2004-02-17 08:06:31 +00:00
Chris Lattner
eb1428d581 Add a (hidden) option to print instructions that fail to fuse. It's looking 
like compares and test's would be the next huge win...

llvm-svn: 11539
 2004-02-17 08:03:47 +00:00
Alkis Evlogimenos
19248dd757 Add support for folding memory operands in MOVri{8,16,32} instructions. 
llvm-svn: 11538
 2004-02-17 07:47:20 +00:00
Chris Lattner
c4ea4d12bf Expand the repertoire of the forms we can print and encode. 
llvm-svn: 11537
 2004-02-17 07:40:44 +00:00
Chris Lattner
029dec8f3e Disable this peephole for now. We can't keep track of the fact that the immediate is 8 bits, 
but the memory reference is full sized.

llvm-svn: 11536
 2004-02-17 07:36:32 +00:00
Chris Lattner
f93308ec17 Fix a bug in my previous refactoring change... arg! 
llvm-svn: 11535
 2004-02-17 07:02:17 +00:00
Chris Lattner
62f67310f1 The C backend is no longer in llvm-dis, it's in llc 
llvm-svn: 11533
 2004-02-17 06:40:06 +00:00
Chris Lattner
a9493ad718 Add an option to disable spill fusing in the X86 backend 
llvm-svn: 11531
 2004-02-17 06:30:34 +00:00
Chris Lattner
d4b2f4ef32 Fix the mneumonics for the mov instructions to have the source and destination 
order in the correct sense!! Arg!

llvm-svn: 11530
 2004-02-17 06:28:19 +00:00
Chris Lattner
5757579731 Fix the last crimes against nature that used the 'ir' ordering to use the 
'ri' ordering instead... no it's not possible to store a register into an
immediate!

llvm-svn: 11529
 2004-02-17 06:24:02 +00:00
Chris Lattner
4682990fa5 GRRR. Move instructions have swapped the order of the r/m operands. 
llvm-svn: 11528
 2004-02-17 06:20:20 +00:00
Chris Lattner
16666f8bd2 Rename MOVi[mr] instructions to MOV[rm]i 
llvm-svn: 11527
 2004-02-17 06:16:44 +00:00
Chris Lattner
1db99b1949 Whoops, got my cases swapped. 
llvm-svn: 11526
 2004-02-17 06:02:15 +00:00
Chris Lattner
e227ae6b88 Change to match the newer, simpler, interface 
llvm-svn: 11525
 2004-02-17 05:54:57 +00:00
Chris Lattner
b82bb37952 Add support for folding memory operands into AND and IMUL's 
llvm-svn: 11523
 2004-02-17 05:46:06 +00:00
Chris Lattner
48e19d8b8e Scrunchify code, by adding helpers. No functionality changes. 
llvm-svn: 11522
 2004-02-17 05:35:13 +00:00
Chris Lattner
9751eb8ab9 Add mem forms of AND instructions 
llvm-svn: 11521
 2004-02-17 05:25:50 +00:00
Alkis Evlogimenos
c4ec9111bb Add API to check and fold memory operands into instructions. 
llvm-svn: 11519
 2004-02-17 04:33:18 +00:00
Chris Lattner
3c514e8a54 Rename the IMULri* instructions to IMULrri, as they are actually three address 
instructions.  Add forms of these instructions that read from memory

llvm-svn: 11518
 2004-02-17 04:26:43 +00:00
Chris Lattner
bb0cfb0429 Once we have a way to fold spill code reloads into instructions, we have a way to use it. :) 
llvm-svn: 11517
 2004-02-17 04:08:37 +00:00
Alkis Evlogimenos
c6ea9a6b65 Fix spilled interval update. It was too conservative. 
llvm-svn: 11516
 2004-02-17 04:04:20 +00:00
Chris Lattner
7b3342d814 Refactor code a bit. No functionality changes, though the comment hints at things to come. 
llvm-svn: 11515
 2004-02-17 03:57:19 +00:00
Chris Lattner
28ab65caf2 Adjust to recent changes 
llvm-svn: 11514
 2004-02-17 03:03:47 +00:00
Alkis Evlogimenos
501e24b28a Add peephole optimizations for ADD [MEM], IMM8 instructions. 
llvm-svn: 11511
 2004-02-16 23:50:18 +00:00
Alkis Evlogimenos
657876c656 Add two more variants of add. Update comments. 
llvm-svn: 11510
 2004-02-16 23:48:42 +00:00
Chris Lattner
2c0736be99 Only spit out warning for functions that take pointers, not for sin and the like 
Add more special case handling for stdio functions.  I feel dirty, how about you?

llvm-svn: 11506
 2004-02-16 22:57:19 +00:00
Chris Lattner
11c0e5b684 Move the folding of gep null, 0, 0, 0 to a place where it can be shared and 
enjoyed by all, fixing a fixme.  Add an assert

llvm-svn: 11505
 2004-02-16 20:46:13 +00:00
Chris Lattner
513e4c7bd9 memset and bcopy and now unified by the llvm.memset intrinsic 
llvm-svn: 11503
 2004-02-16 18:37:40 +00:00
Chris Lattner
d8cc48da34 Add some ADD instructions that take memory operands for Alkis 
llvm-svn: 11502
 2004-02-16 18:19:31 +00:00
Alkis Evlogimenos
790b000aa7 Add LeakDetection to MachineInstr. 
Move out of line member functions of MachineBasicBlock to
MachineBasicBlock.cpp.

llvm-svn: 11497
 2004-02-16 07:17:43 +00:00
Chris Lattner
f51bbb7eec Implement test/Regression/Transforms/SimplifyCFG/UncondBranchToReturn.ll, 
see the testcase for the reasoning.

llvm-svn: 11496
 2004-02-16 06:35:48 +00:00
Chris Lattner
9affa63dc6 Fold PHI nodes of constants which are only used by a single cast. This implements 
phi.ll:test4

llvm-svn: 11494
 2004-02-16 05:07:08 +00:00
Chris Lattner
011b98cec4 Teach LLVM to unravel the "swap idiom". This implements: 
Regression/Transforms/InstCombine/xor.ll:test20

llvm-svn: 11492
 2004-02-16 03:54:20 +00:00