RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 19:52:54 +01:00
Code Issues Projects Releases Wiki Activity
63,676 Commits 4 Branches 5 Tags 704 MiB
20fe555d22
Commit Graph

63676 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jim Grosbach
a4d3174cba Add a local stack object block allocation pass. This is still an 
experimental pass that allocates locals relative to one another before
register allocation and then assigns them to actual stack slots as a block
later in PEI. This will eventually allow targets with limited index offset
range to allocate additional base registers (not just FP and SP) to
more efficiently reference locals, as well as handle situations where
locals cannot be referenced via SP or FP at all (dynamic stack realignment
together with variable sized objects, for example). It's currently
incomplete and almost certainly buggy. Work in progress.

Disabled by default and gated via the -enable-local-stack-alloc command
line option.

rdar://8277890

llvm-svn: 111059
 2010-08-14 00:15:52 +00:00
Dan Gohman
422c164d8d Add a lint check for an indirectbr destination which has not 
had its address taken.

llvm-svn: 111058
 2010-08-13 23:56:28 +00:00
Bob Wilson
92bf5a7425 Add a Thumb2 t2RSBrr instruction for disassembly only. 
This fixes another part of PR7792.

llvm-svn: 111057
 2010-08-13 23:24:25 +00:00
Jakob Stoklund Olesen
44b77ea344 Clean up the Spiller.h interface. 
The earliestStart argument is entirely specific to linear scan allocation, and
can be easily calculated by RegAllocLinearScan.

Replace std::vector with SmallVector.

llvm-svn: 111055
 2010-08-13 22:56:53 +00:00
Bob Wilson
ca672ee828 Temporarily disable tail calls on ARM to work around some linker problems. 
llvm-svn: 111050
 2010-08-13 22:43:33 +00:00
Bob Wilson
0883c6aae3 Move the Thumb2 SSAT and USAT optional shift operator out of the 
instruction opcode.  This fixes part of PR7792.

llvm-svn: 111047
 2010-08-13 21:48:10 +00:00
Dan Gohman
076597a026 Various optimizations. Don't compare two loops' depths 
when they are the same loop. Don't compare two instructions'
loop depths when they are in the same block.

llvm-svn: 111045
 2010-08-13 21:24:58 +00:00
Jakob Stoklund Olesen
70604cb116 Implement splitting inside a single block. 
When a live range is contained a single block, we can split it around
instruction clusters. The current approach is very primitive, splitting before
and after the largest gap between uses.

llvm-svn: 111043
 2010-08-13 21:18:48 +00:00
Dan Gohman
3e7c2a2040 Fix LSR's ExtractImmediate and ExtractSymbol to avoid calling 
ScalarEvolution::getAddExpr, which can be pretty expensive, when nothing
has changed, which is pretty common.

llvm-svn: 111042
 2010-08-13 21:17:19 +00:00
Bruno Cardoso Lopes
1eaa601d84 Add comments to some pattern fragments in x86 
llvm-svn: 111041
 2010-08-13 20:39:01 +00:00
Jim Grosbach
b1e8749e37 tidy up comments 
llvm-svn: 111040
 2010-08-13 20:32:35 +00:00
Dan Gohman
ecb279a1c2 When testing whether one loop contains another, test this directly 
rather than testing whether the loop contains the other's header.

llvm-svn: 111039
 2010-08-13 20:23:25 +00:00
Dan Gohman
02de74d4dc Add a const. 
llvm-svn: 111038
 2010-08-13 20:17:27 +00:00
Dan Gohman
3650d2058f When creating a symmetric SCEV with a constant operand, put 
the constant operand on the left, as that's where ScalarEvolution
will end up canonicalizing to.

llvm-svn: 111037
 2010-08-13 20:17:14 +00:00
Dan Gohman
de171ff360 An add recurrence is loop-invariant in any loop inside of its 
associated loop. This avoids potentially expensive traversals
of the add recurrence's operands.

llvm-svn: 111034
 2010-08-13 20:11:39 +00:00
Jim Grosbach
e76c0d6dee tidy up 80 column and whitespace 
llvm-svn: 111033
 2010-08-13 20:08:59 +00:00
Mikhail Glushenkov
be7bdc80c3 Revert r111007. 
Apparently, this is now fixed in Clang.

llvm-svn: 111032
 2010-08-13 20:08:53 +00:00
Dan Gohman
c58d128eb8 Implement hasComputableLoopEvolution for Add, Mul, and Trunc operators, 
since they can support trivial implementations. This avoids potentially
expensive traversals of the operands.

llvm-svn: 111031
 2010-08-13 20:03:15 +00:00
Bob Wilson
c044a43293 Refactor the code for disassembling Thumb2 saturate instructions along the 
same lines as the change I made for ARM saturate instructions.

llvm-svn: 111029
 2010-08-13 19:04:21 +00:00
Dale Johannesen
3f9c148d0e Revert 110491. While not wrong, it was based on a 
misanalysis and is undesirable.

llvm-svn: 111028
 2010-08-13 18:43:45 +00:00
Bruno Cardoso Lopes
8b07859f3a Fix comment to reflect code, and remove an unused argument 
llvm-svn: 111022
 2010-08-13 17:50:47 +00:00
Bruno Cardoso Lopes
de5f3f5cb6 Improve comment to make explicit why not to touch this could before JIT goes MC 
llvm-svn: 111021
 2010-08-13 17:44:10 +00:00
Jim Grosbach
4f58c74300 tidy up whitespace a bit 
llvm-svn: 111019
 2010-08-13 16:55:08 +00:00
Mikhail Glushenkov
003526ceac One more XFAIL. 
llvm-svn: 111010
 2010-08-13 07:03:56 +00:00
Mikhail Glushenkov
0728ed703a More XFAILs. 
llvm-svn: 111008
 2010-08-13 07:01:55 +00:00
Mikhail Glushenkov
1abeb58cbf Add a workaround for building with Clang. 
llvm-svn: 111007
 2010-08-13 06:02:45 +00:00
Mikhail Glushenkov
104be4cd20 Add an XFAIL. 
llvm-svn: 111004
 2010-08-13 04:15:45 +00:00
Eric Christopher
63c83f19a0 Revert last patch and r110954 as I meant to. 
llvm-svn: 111001
 2010-08-13 02:37:50 +00:00
Eric Christopher
e9a4223bc8 Revert r110954 for now, pseudo instructions can't make it through to the JIT. 
llvm-svn: 111000
 2010-08-13 02:30:00 +00:00
Mikhail Glushenkov
74fa906ef0 Remove -fexceptions from llvmc tests. 
llvm-svn: 110999
 2010-08-13 02:29:35 +00:00
Mikhail Glushenkov
d4d9dbc382 llvmc: fix two tests, remove XFAILs. 
Tested on Linux and Darwin; please add platform-specific XFAILs/mail me a bug
report if this still fails.

llvm-svn: 110998
 2010-08-13 02:29:24 +00:00
Jakob Stoklund Olesen
d802c303fd Let LiveInterval::addRange extend existing ranges, it will verify that value 
numbers match. The old check could accidentally leave holes in openli.

Also let useIntv add all ranges for the phi-def value inserted by
enterIntvAtEnd. This works as long at the value mapping is established in
enterIntvAtEnd.

llvm-svn: 110995
 2010-08-13 01:05:26 +00:00
Jakob Stoklund Olesen
7bac4bf66d Remember to actually update SplitAnalysis statistics now that we have a fancy 
function to do it.

llvm-svn: 110994
 2010-08-13 01:05:23 +00:00
Benjamin Kramer
1725ef6c89 Use getAllOnesValue, saves a copy and looks better. 
llvm-svn: 110991
 2010-08-13 00:29:44 +00:00
Nate Begeman
e57074fc48 Reapply this transformation now that it is passing the external test which it previously failed. 
llvm-svn: 110987
 2010-08-13 00:17:53 +00:00
Nate Begeman
833a7cd504 Move some code from Verifier into SVI::isValidOperands. This allows us to catch bad shufflevector operations when they are created, rather than waiting for someone to notice later on. 
llvm-svn: 110986
 2010-08-13 00:16:46 +00:00
Dan Gohman
88b65340ea Trim #includes. 
llvm-svn: 110983
 2010-08-12 23:56:03 +00:00
Dan Gohman
6fd1662d06 Tidy up whitespace. 
llvm-svn: 110982
 2010-08-12 23:50:08 +00:00
Dan Gohman
f6ffbfbbd1 Use .empty() instead of .size(). 
llvm-svn: 110981
 2010-08-12 23:46:28 +00:00
Jakob Stoklund Olesen
2dc2440b42 Handle an empty dupli. 
This can happen if the original interval has been broken into two disconnected
parts. Ideally, we should be able to detect when the graph is disconnected and
create separate intervals, but that code is not implemented yet.

Example:

Two basic blocks are both branching to a loop header. Our interval is defined in
both basic blocks, and live into the loop along both edges.

We decide to split the interval around the loop. The interval is split into an
inside part and an outside part. The outside part now has two disconnected
segments, one in each basic block.

If we later decide to split the outside interval into single blocks, we get one
interval per basic block and an empty dupli for the remainder.

llvm-svn: 110976
 2010-08-12 23:02:57 +00:00
Jakob Stoklund Olesen
f8957964f7 Update the SplitAnalysis statistics as uses are moved from curli to the new 
split intervals. THis means the analysis can be used for multiple splits as long
as curli doesn't shrink.

llvm-svn: 110975
 2010-08-12 23:02:55 +00:00
Chris Lattner
fd40059e71 fix PR7876: If ipsccp decides that a function's address is taken 
before it rewrites the code, we need to use that in the post-rewrite pass.

llvm-svn: 110962
 2010-08-12 22:25:23 +00:00
Bruno Cardoso Lopes
350d186d69 Some small clean-up: use of pseudo instructions 
llvm-svn: 110954
 2010-08-12 20:55:18 +00:00
Johnny Chen
78345b1dfe Cleaned up the for-disassembly-only entries in the arm instruction table so that 
the memory barrier variants (other than 'SY' full system domain read and write)
are treated as one instruction with option operand.

llvm-svn: 110951
 2010-08-12 20:46:17 +00:00
Jakob Stoklund Olesen
1337aa8e38 Also recompute HasPHIKill flags in LiveInterval::RenumberValues. 
If a phi-def value were removed from the interval, the phi-kill flags are no
longer valid.

llvm-svn: 110949
 2010-08-12 20:38:03 +00:00
Evan Cheng
362df591b6 Make sure ARM constant island pass does not break up an IT block. If the split point is in the middle of an IT block, it should move it up to just above the IT instruction. rdar://8302637 
llvm-svn: 110947
 2010-08-12 20:30:05 +00:00
Bruno Cardoso Lopes
7cb26cb8be - Teach SSEDomainFix to switch between different levels of AVX instructions. Here we guess that AVX will have domain issues, so just implement them for consistency and in the future we remove if it's unnecessary. 
- Make foldMemoryOperandImpl aware of 256-bit zero vectors folding and support the 128-bit counterparts of AVX too.
- Make sure MOV[AU]PS instructions are only selected when SSE1 is enabled, and duplicate the patterns to match AVX.
- Add a testcase for a simple 128-bit zero vector creation.

llvm-svn: 110946
 2010-08-12 20:20:53 +00:00
Jakob Stoklund Olesen
cbb21e8c0e Remove trailing whitespace. 
llvm-svn: 110944
 2010-08-12 20:01:23 +00:00
Jakob Stoklund Olesen
d3e41f910a Clean up debug output. 
llvm-svn: 110940
 2010-08-12 18:50:55 +00:00
Bruno Cardoso Lopes
99b5298854 Define AVX 128-bit pattern versions of SET0PS/PD. 
llvm-svn: 110937
 2010-08-12 18:20:59 +00:00