RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-11 06:06:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
45,610 Commits 4 Branches 5 Tags
Commit Graph

27762 Commits

Author SHA1 Message Date
Chris Lattner
437755672d hopefully fix an apparent build error on windows. 
llvm-svn: 68175
 2009-04-01 02:03:38 +00:00
Chris Lattner
1f4b1f7866 fix a serious regression I introduced in my previous patch. 
llvm-svn: 68173
 2009-04-01 01:43:03 +00:00
Owen Anderson
d7c837bb4b Enhance GVN to propagate simple conditionals. This fixes PR3921. 
llvm-svn: 68172
 2009-04-01 01:20:45 +00:00
Misha Brukman
ea884c9e5e * Fixed spelling of `invertible' 
* Simplified if statement

llvm-svn: 68163
 2009-04-01 00:15:46 +00:00
Chris Lattner
000abfca03 reimplement BitcodeReaderValueList in terms of WeakVH instead of making 
it be an LLVM IR User object.

llvm-svn: 68156
 2009-03-31 22:55:09 +00:00
Chris Lattner
87466e0995 Make the key of ValueRankMap an AssertingVH, so that we die violently 
if it dangles.

llvm-svn: 68150
 2009-03-31 22:13:29 +00:00
Chris Lattner
939313c44a Add two new classes: WeakVH and AssertingVH. These are both "ValueHandles", 
which are effectively smart pointers to Value*'s.  They are both very light
weight and simple, and react to values being destroyed or being RAUW'd.

WeakVN does a best effort to follow a value around, including through RAUW 
operations and will get nulled out of the value is destroyed.  This is useful
for the eventual "metadata that references a value" work, because it is a
reference to a value that does not show up on its use_* list.

AssertingVH is a pointer that compiles down to a dumb raw pointer when 
assertions are disabled.  When enabled, it emits an assertion if the 
pointed-to value is destroyed while it is still being referenced.  This
is very useful for Maps and other things, and should have caught the recent
bugs in CallGraph and Reassociate, for example.

llvm-svn: 68149
 2009-03-31 22:11:05 +00:00
Evan Cheng
c419350132 Throttle back "fold select into operand" transformation. InstCombine should not generate selects of two constants unless they are selects of 0 and 1. 
e.g.
define i32 @t1(i32 %c, i32 %x) nounwind {
       %t1 = icmp eq i32 %c, 0
       %t2 = lshr i32 %x, 18
       %t3 = select i1 %t1, i32 %t2, i32 %x
       ret i32 %t3
}

was turned into

define i32 @t2(i32 %c, i32 %x) nounwind {
       %t1 = icmp eq i32 %c, 0
       %t2 = select i1 %t1, i32 18, i32 0
       %t3 = lshr i32 %x, %t2
       ret i32 %t3
}

For most targets, that means materializing two constants and then a select. e.g. On x86-64

movl    %esi, %eax
shrl    $18, %eax
testl   %edi, %edi
cmovne  %esi, %eax
ret

=>

xorl    %eax, %eax
testl   %edi, %edi
movl    $18, %ecx
cmovne  %eax, %ecx
movl    %esi, %eax
shrl    %cl, %eax
ret

Also, the optimizer and codegen can reason about shl / and / add, etc. by a constant. This optimization will hinder optimizations using ComputeMaskedBits.

llvm-svn: 68142
 2009-03-31 20:42:45 +00:00
Evan Cheng
0674a512bf Fully general expansion of integer shift of any size. 
llvm-svn: 68134
 2009-03-31 19:39:24 +00:00
Evan Cheng
44fdb5d570 i128 shift libcalls are not available on x86. 
llvm-svn: 68133
 2009-03-31 19:38:51 +00:00
Dan Gohman
86e4d0130c Reapply 68073, with fixes. EH Landing-pad basic blocks are not 
entered via fall-through. Don't miss fallthroughs from blocks
terminated by conditional branches. Also, move
isOnlyReachableByFallthrough out of line.

llvm-svn: 68129
 2009-03-31 18:39:13 +00:00
Devang Patel
7fa69ef109 Update call graph after inlining invoke. 
Patch by Jay Foad.

llvm-svn: 68120
 2009-03-31 17:36:12 +00:00
Daniel Dunbar
aec3d9857f Add llvm::sys::getHostTriple and remove 
llvm::sys::getOS{Name,Version}.

Right now the implementation just derives from LLVM_HOSTTRIPLE (which
is wrong, but it doesn't look like we have a define for the target
triple). Ideally this routine would actually be able to compute the
triple for targets we care about.

llvm-svn: 68118
 2009-03-31 17:30:15 +00:00
Dan Gohman
5f64e10d8d Minor top-level comment fix. 
llvm-svn: 68113
 2009-03-31 16:51:18 +00:00
Rafael Espindola
3d866ac20c remove unused arguments. 
llvm-svn: 68109
 2009-03-31 16:16:57 +00:00
Bill Wendling
28fad6fcc1 Really temporarily revert r68073. 
llvm-svn: 68100
 2009-03-31 08:42:40 +00:00
Bill Wendling
1c40c8c242 Oy! When reverting r68073, I added in experimental code. Sorry... 
llvm-svn: 68099
 2009-03-31 08:41:31 +00:00
Owen Anderson
59cff6919d Remove the "fast" cases for spill and restore point determination, as these were subtlely wrong in obscure cases. Patch the testcase 
to account for this change.

llvm-svn: 68093
 2009-03-31 08:27:09 +00:00
Bill Wendling
4706abded2 Revert r68073. It's causing a failure in the Apple-style builds. 
llvm-svn: 68092
 2009-03-31 08:26:26 +00:00
Dan Gohman
cba99ee717 Fix live-out reg logic to not insert over-aggressive AssertZExt 
instructions. This fixes lua.

llvm-svn: 68083
 2009-03-31 01:38:29 +00:00
Evan Cheng
5c02e62620 X86 address mode isel tweak. If the base of the address is also used by a CopyToReg (i.e. it's likely live-out), do not fold the sub-expressions into the addressing mode to avoid computing the address twice. The CopyToReg use will be isel'ed to a LEA, re-use it for address instead. 
This is not yet enabled.

llvm-svn: 68082
 2009-03-31 01:13:53 +00:00
Dan Gohman
29694088d3 Except in asm-verbose mode, avoid printing labels for blocks that are 
only reachable via fall-through edges. This dramatically reduces the
number of labels printed, and thus also the number of labels the
assembler must parse and remember.

llvm-svn: 68073
 2009-03-30 22:55:17 +00:00
Devang Patel
ec65625744 Loop Index Split can eliminate a loop if it can determin if loop body is executed only once. There was a bug in determining IV based value of the iteration for which the loop body is executed. Fix it. 
llvm-svn: 68071
 2009-03-30 22:24:10 +00:00
Evan Cheng
3e30bcbd69 When optimzing a mul by immediate into two, the resulting mul's should get a x86 specific node to avoid dag combiner from hacking on them further. 
llvm-svn: 68066
 2009-03-30 21:36:47 +00:00
Evan Cheng
d7824e208a Turn a 2-address instruction into a 3-address one when it's profitable even if the two-address operand is killed. 
e.g.
%reg1024<def> = MOV r1
%reg1025<def> = ADD %reg1024, %reg1026
r0            = MOV %reg1025

If it's not possible / profitable to commute ADD, then turning ADD into a LEA saves a copy.

llvm-svn: 68065
 2009-03-30 21:34:07 +00:00
Bill Wendling
76042faa52 Balance out quote in debug output. 
llvm-svn: 68059
 2009-03-30 20:32:22 +00:00
Bill Wendling
3b2cea6ef5 Fix grammar-o in comment. 
llvm-svn: 68057
 2009-03-30 20:30:02 +00:00
Dan Gohman
abcfb30fc2 Constify arguments in isSuccessor and isLayoutSuccessor. 
llvm-svn: 68054
 2009-03-30 20:06:29 +00:00
Bob Wilson
d59a64d436 Fix comment to match function name. 
llvm-svn: 68050
 2009-03-30 18:49:37 +00:00
Devang Patel
94dbbb5768 getEntryFor() may invalidate DenseMap iterator. 
Walking an invalidated iterator is not a good idea.

llvm-svn: 68047
 2009-03-30 18:34:47 +00:00
Anton Korobeynikov
880f98920c Fix thinko: put stuff with both global and local relocations into data.rel{.ro}, not .local 
llvm-svn: 68036
 2009-03-30 17:37:43 +00:00
Anton Korobeynikov
d03a7a7e8c Fix infinite looping 
llvm-svn: 68034
 2009-03-30 15:28:21 +00:00
Anton Korobeynikov
b026804e7c Properly propagate Kind. 
llvm-svn: 68033
 2009-03-30 15:28:00 +00:00
Anton Korobeynikov
0404baca28 Do not propagate ELF-specific stuff (data.rel) into other targets. This simplifies code and also ensures correctness. 
llvm-svn: 68032
 2009-03-30 15:27:43 +00:00
Anton Korobeynikov
2ea565a37b Add data.rel stuff 
llvm-svn: 68031
 2009-03-30 15:27:03 +00:00
Anton Korobeynikov
424bf7a0b5 IA64 is as weird as Alpha wrt r/o relocs :) 
llvm-svn: 68007
 2009-03-29 17:14:35 +00:00
Anton Korobeynikov
55097e65d6 Alpha always requires global relocations to be r/w regardless of PIC. 
llvm-svn: 68006
 2009-03-29 17:14:14 +00:00
Anton Korobeynikov
ec131d94ff Honour relocation behaviour stuff for ro objects 
llvm-svn: 68005
 2009-03-29 17:13:49 +00:00
Anton Korobeynikov
9b5ffaf6ca Extend the relocation tracker handler, so we can filter on different 'kinds' of relocations required. 
llvm-svn: 68004
 2009-03-29 17:13:18 +00:00
Duncan Sands
602234cdf3 Fix PR3899: add support for extracting floats from vectors 
when using -soft-float.
Based on a patch by Jakob Stoklund Olesen.

llvm-svn: 67996
 2009-03-29 13:51:06 +00:00
Chris Lattner
feee87e253 now that you can put a PointerIntPair in a SmallPtrSet, remove some 
hackish workarounds from memdep

llvm-svn: 67971
 2009-03-29 00:24:04 +00:00
Chris Lattner
9b435e06e4 add a note 
llvm-svn: 67953
 2009-03-28 19:26:55 +00:00
Rafael Espindola
34f59009d1 Use array_lengthof 
llvm-svn: 67950
 2009-03-28 19:02:18 +00:00
Rafael Espindola
37522e768a Have only one definition of X86AddrNumOperands. 
llvm-svn: 67949
 2009-03-28 18:55:31 +00:00
Rafael Espindola
884992a7e9 Make code a bit less brittle by no hardcoding the number 
of operands in an address in so many places.

llvm-svn: 67945
 2009-03-28 17:03:24 +00:00
Arnold Schwaighofer
76188bc8a1 Make check in CheckTailCallReturnConstraints for ignorable instructions between 
a CALL and a RET node more generic. Add a test for tail calls with a void
return.

llvm-svn: 67943
 2009-03-28 12:36:29 +00:00
Arnold Schwaighofer
636127325b Enable tail call optimization for functions that return a struct (bug 3664) and for functions that return types that need extending (e.g i1). 
llvm-svn: 67934
 2009-03-28 08:33:27 +00:00
Evan Cheng
a15fdaa292 Optimize some 64-bit multiplication by constants into two lea's or one lea + shl since imulq is slow (latency 5). e.g. 
x * 40
=>
shlq    $3, %rdi
leaq    (%rdi,%rdi,4), %rax

This has the added benefit of allowing more multiply to be folded into addressing mode. e.g.
a * 24 + b
=>
leaq    (%rdi,%rdi,2), %rax
leaq    (%rsi,%rax,8), %rax

llvm-svn: 67917
 2009-03-28 05:57:29 +00:00
Chris Lattner
601a4d8c70 move a large method out of line. 
llvm-svn: 67892
 2009-03-28 02:08:47 +00:00
Dan Gohman
b360b0390a Fix what surely must be a copy+pasto. 
llvm-svn: 67881
 2009-03-27 23:55:04 +00:00