RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-23 21:13:02 +02:00
Code Issues Projects Releases Wiki Activity
55,103 Commits 4 Branches 5 Tags 704 MiB
bc37151dea
Commit Graph

1452 Commits

Author SHA1 Message Date
Bob Wilson
03b6955c7f Reapply 91459 with a simple fix for the problem that broke the x86_64-darwin 
bootstrap.  This also replaces the WeakVH references that Chris objected to
with normal Value references.

llvm-svn: 91711
 2009-12-18 20:14:40 +00:00
Eli Friedman
c8ab298dbd Optimize icmp of null and select of two constants even if the select has 
multiple uses.  (The construct in question was found in gcc.)

llvm-svn: 91675
 2009-12-18 08:22:35 +00:00
Eli Friedman
9543d05079 Allow instcombine to combine "sext(a) >u const" to "a >u trunc(const)". 
llvm-svn: 91631
 2009-12-17 22:42:29 +00:00
Eli Friedman
8afea2d095 Make the ptrtoint comparison simplification work if one side is a global. 
llvm-svn: 91624
 2009-12-17 21:27:47 +00:00
Eli Friedman
ff5c248066 Slightly generalize transformation of memmove(a,a,n) so that it also applies 
to memcpy. (Such a memcpy is technically illegal, but in practice is safe
and is generated by struct self-assignment in C code.)

llvm-svn: 91621
 2009-12-17 21:07:31 +00:00
Bob Wilson
9d4b46c0e6 Re-revert 91459. It's breaking the x86_64 darwin bootstrap. 
llvm-svn: 91607
 2009-12-17 18:34:24 +00:00
Eli Friedman
5c7e38b936 Aggressively flip compare constant expressions where appropriate; constant 
folding in particular expects null to be on the RHS.

llvm-svn: 91587
 2009-12-17 06:07:04 +00:00
Daniel Dunbar
c4abbc0ab6 Reapply r91459, it was only unmasking the bug, and since TOT is still broken having it reverted does no good. 
llvm-svn: 91559
 2009-12-16 20:09:53 +00:00
Daniel Dunbar
929f303477 Revert "Reapply 91184 with fixes and an addition to the testcase to cover the 
problem", this broke llvm-gcc bootstrap for release builds on
x86_64-apple-darwin10.

This reverts commit db22309800b224a9f5f51baf76071d7a93ce59c9.

llvm-svn: 91534
 2009-12-16 10:56:17 +00:00
Chris Lattner
2d5fc1649a reapply my strstr optimization. I have reproduced the x86-64 bootstrap 
miscompile (i386.o miscompares) but it happens both with and without
this patch.

llvm-svn: 91532
 2009-12-16 09:32:05 +00:00
Chris Lattner
8751050a34 revert my strstr optimization, I'm told it breaks x86-64 bootstrap. 
Will reapply with a fix when I get a chance.

llvm-svn: 91486
 2009-12-16 00:46:02 +00:00
Bob Wilson
8505aa648d Reapply 91184 with fixes and an addition to the testcase to cover the problem 
found last time.  Instead of trying to modify the IR while iterating over it,
I've change it to keep a list of WeakVH references to dead instructions, and
then delete those instructions later.  I also added some special case code to
detect and handle the situation when both operands of a memcpy intrinsic are
referencing the same alloca.

llvm-svn: 91459
 2009-12-15 22:00:51 +00:00
Chris Lattner
fa960751b1 optimize strstr, PR5783 
llvm-svn: 91438
 2009-12-15 19:14:40 +00:00
Eric Christopher
abf9df5e6d Add radar fixed in comment. 
llvm-svn: 91312
 2009-12-14 19:07:25 +00:00
Shantonu Sen
9782dd21e0 Remove empty file completely 
llvm-svn: 91277
 2009-12-14 14:15:15 +00:00
Chris Lattner
6603d21f13 revert r91184, because it causes a crash on a .bc file I just 
sent to Bob.

llvm-svn: 91268
 2009-12-14 05:11:02 +00:00
Benjamin Kramer
6cd9b2ba74 Fix some CHECK lines which were ignored by accident. 
llvm-svn: 91214
 2009-12-12 09:25:50 +00:00
Bob Wilson
8486cae4ce Revise scalar replacement to be more flexible about handle bitcasts and GEPs. 
While scanning through the uses of an alloca, keep track of the current offset
relative to the start of the alloca, and check memory references to see if
the offset & size correspond to a component within the alloca.  This has the
nice benefit of unifying much of the code from isSafeUseOfAllocation,
isSafeElementUse, and isSafeUseOfBitCastedAllocation.  The code to rewrite
the uses of a promoted alloca, after it is determined to be safe, is
reorganized in the same way.

Also, when rewriting GEP instructions, mark them as "in-bounds" since all the
indices are known to be safe.

llvm-svn: 91184
 2009-12-11 23:47:40 +00:00
Dan Gohman
c22d542754 Make getUniqueExitBlocks's precondition assert more precise, to 
avoid spurious failures. This fixes PR5758.

llvm-svn: 91147
 2009-12-11 20:05:23 +00:00
Eric Christopher
02ce8cd8a6 Add a test for the fix in revision 91009. 
llvm-svn: 91062
 2009-12-10 21:11:40 +00:00
Chris Lattner
ffedf37584 Fix PR5744, a case where we were getting the pointer size instead of the 
value size.  This only manifested when memdep inprecisely returns clobber,
which is do to a caching issue in the PR5744 testcase.  We can 'efficiently
emulate' this by using '-no-aa'

llvm-svn: 91004
 2009-12-10 00:11:45 +00:00
Chris Lattner
bf3d03b576 fix hte last remaining known (by me) phi translation bug. When we reanalyze 
clobbers to forward pieces of large stores to small loads, we need to consider
the properly phi translated pointer in the store block.

llvm-svn: 90978
 2009-12-09 18:21:46 +00:00
Chris Lattner
2f9b661ab8 Add a minor optimization: if we haven't changed the operands of an 
add, there is no need to scan the world to find the same add again.
This invalidates the previous testcase, which wasn't wonderful anyway,
because it needed a run of instcombine to permute the use-lists in 
just the right way to before GVN was run (so it was really fragile).
Not a big loss.

llvm-svn: 90973
 2009-12-09 17:27:45 +00:00
Chris Lattner
e05f9a128c fix PR5733, a case where we'd replace an add with a lexically identical 
binary operator that wasn't an add.  In this case, a xor.  Whoops.

llvm-svn: 90971
 2009-12-09 17:18:49 +00:00
Chris Lattner
8361f3cfc9 merge crash-2.ll into crash.ll 
llvm-svn: 90969
 2009-12-09 17:17:26 +00:00
Chris Lattner
1f1da3a5a6 the code in GVN that tries to forward large loads to small 
stores is not phi translating, thus it miscompiles really
crazy testcases.  This is from inspection, I haven't seen
this in the wild.

llvm-svn: 90930
 2009-12-09 02:43:05 +00:00
Chris Lattner
dda5ca59e2 Switch GVN and memdep to use PHITransAddr, which correctly handles 
phi translation of complex expressions like &A[i+1].  This has the
following benefits:

1. The phi translation logic is all contained in its own class with
   a strong interface and verification that it is self consistent.

2. The logic is more correct than before.  Previously, if intermediate
   expressions got PHI translated, we'd miss the update and scan for
   the wrong pointers in predecessor blocks.  @phi_trans2 is a testcase
   for this.

3. We have a lot less code in memdep.

We can handle phi translation across blocks of things like @phi_trans3,
which is pretty insane :).

This patch should fix the miscompiles of 255.vortex, and I tested it 
with a bootstrap of llvm-gcc, llvm-test and dejagnu of course.

llvm-svn: 90926
 2009-12-09 01:59:31 +00:00
Duncan Sands
897f9579d6 Teach GlobalOpt to delete aliases with internal linkage (after 
forwarding any uses).  GlobalDCE can also do this, but is only
run at -O3.

llvm-svn: 90850
 2009-12-08 10:10:20 +00:00
Chris Lattner
7066a138ff fix PR5698 
llvm-svn: 90708
 2009-12-06 17:17:23 +00:00
Chris Lattner
ea3007ddb8 constant fold loads from memcpy's from global constants. This is important 
because clang lowers nontrivial automatic struct/array inits to memcpy from
a global array.

llvm-svn: 90698
 2009-12-06 05:29:56 +00:00
Chris Lattner
8885e71303 add support for forwarding mem intrinsic values to non-local loads. 
llvm-svn: 90697
 2009-12-06 04:54:31 +00:00
Chris Lattner
5eba6ee969 Handle forwarding local memsets to loads. For example, we optimize this: 
short x(short *A) {
  memset(A, 1, sizeof(*A)*100);
  return A[42];
}

to 'return 257' instead of doing the load.  

llvm-svn: 90695
 2009-12-06 01:57:02 +00:00
Chris Lattner
f9ff4c0fc4 merge two tests. 
llvm-svn: 90691
 2009-12-06 01:47:24 +00:00
Nick Lewycky
10693e2bb0 Generalize this optimization to work on equality comparisons between any two 
integers that are constant except for a single bit (the same n-th bit in each).

llvm-svn: 90646
 2009-12-05 05:00:00 +00:00
Chris Lattner
107fc93d48 Fix PR5551 by not ignoring the top level constantexpr when 
folding a load from constant.

llvm-svn: 90545
 2009-12-04 06:29:29 +00:00
Chris Lattner
0876163071 Small and carefully crafted testcase showing a miscompilation by GVN 
that I'm working on.  This is manifesting as a miscompile of 255.vortex
on some targets.  No check lines yet because it fails.

llvm-svn: 90520
 2009-12-04 02:12:12 +00:00
Owen Anderson
251cb28a25 Fix this crasher, and add a FIXME for a missed optimization. 
llvm-svn: 90408
 2009-12-03 03:43:29 +00:00
Chris Lattner
3bf9321d67 add a failing testcase. 
llvm-svn: 90380
 2009-12-03 01:46:18 +00:00
Chris Lattner
851aea6ce2 fix PR5673 by being more careful about pointers to functions. 
llvm-svn: 90369
 2009-12-03 01:05:45 +00:00
Owen Anderson
f47cde694f Cleanup/remove some parts of the lifetime region handling code in memdep and GVN, 
per Chris' comments.  Adjust testcases to match.

llvm-svn: 90304
 2009-12-02 07:35:19 +00:00
Chris Lattner
2d3554c3d9 merge sext-2 into sext.ll 
llvm-svn: 90293
 2009-12-02 05:34:35 +00:00
Chris Lattner
3781027d07 rename test 
llvm-svn: 90292
 2009-12-02 05:32:33 +00:00
Chris Lattner
2c2a69cd14 filecheckize 
llvm-svn: 90291
 2009-12-02 05:32:16 +00:00
Mon P Wang
91ac05d480 Fixed an assertion failure for tracking sext of a vector of integers 
llvm-svn: 90290
 2009-12-02 04:59:58 +00:00
Chris Lattner
ec294dac55 minimize this a bit more. 
llvm-svn: 90216
 2009-12-01 07:30:01 +00:00
Chris Lattner
7323159b21 merge 2009-11-29-ReverseMap.ll into crash.ll 
llvm-svn: 90212
 2009-12-01 06:22:10 +00:00
Chris Lattner
7c0c90df97 fix PR5640 by tracking whether a block is the header of a loop more 
precisely, which prevents us from infinitely peeling the loop.

llvm-svn: 90211
 2009-12-01 06:04:43 +00:00
Nick Lewycky
51b973c964 Add a testcase for the current llvm-gcc build failure. 
llvm-svn: 90112
 2009-11-30 07:02:18 +00:00
Nick Lewycky
116b145b02 Teach ConstantFolding to do a better job when folding gep(bitcast). 
This permits the devirtualization of llvm.org/PR3100#c9 when compiled by clang.

llvm-svn: 90099
 2009-11-29 21:40:55 +00:00
Chris Lattner
cd6fed25d5 add testcases for the foo_with_overflow op xforms added recently and 
fix bugs exposed by the tests.  Testcases from Alastair Lynn!

llvm-svn: 90056
 2009-11-29 02:57:29 +00:00