RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-12-28 22:43:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
40,829 Commits 4 Branches 5 Tags 634 MiB
14510f8fee
Commit Graph

4413 Commits

Author SHA1 Message Date
Owen Anderson
14510f8fee Put a heuristic in place to prevent GVN from falling into bad cases with massively complicated CFGs. 
This speeds up a particular testcase from 12+ hours to 5 seconds with little perceptible loss of quality.

llvm-svn: 55391
 2008-08-26 22:07:42 +00:00
Devang Patel
211c05f7a3 If IV is used in a int-to-float cast inside the loop then try to eliminate the cast operation. 
llvm-svn: 55374
 2008-08-26 17:57:54 +00:00
Chris Lattner
9f10b57760 improve encapsulation of the BBExecutable set. 
llvm-svn: 55271
 2008-08-23 23:39:31 +00:00
Chris Lattner
15f29cad83 Switch an assortment of maps, sets and vectors to more efficient versions, 
patch contributed by m-s!

llvm-svn: 55270
 2008-08-23 23:36:38 +00:00
Chris Lattner
fe3155fc62 Switch the asmprinter (.ll) and all the stuff it requires over to 
use raw_ostream instead of std::ostream.  Among other goodness,
this speeds up llvm-dis of kc++ with a release build from 0.85s
to 0.49s (88% faster).

Other interesting changes:
 1) This makes Value::print be non-virtual.
 2) AP[S]Int and ConstantRange can no longer print to ostream directly, 
    use raw_ostream instead.
 3) This fixes a bug in raw_os_ostream where it didn't flush itself 
    when destroyed.
 4) This adds a new SDNode::print method, instead of only allowing "dump".


A lot of APIs have both std::ostream and raw_ostream versions, it would
be useful to go through and systematically anihilate the std::ostream 
versions.

This passes dejagnu, but there may be minor fallout, plz let me know if
so and I'll fix it.

llvm-svn: 55263
 2008-08-23 22:23:09 +00:00
Chris Lattner
2f629c4b80 Add a new trivial -inst-namer pass which makes it possible to diff the 
before/after effects of a pass, crazy!

llvm-svn: 55230
 2008-08-23 06:07:02 +00:00
Chris Lattner
72ee6ebb0a Fix PR2423 by checking all indices for out of range access, not only 
indices that start with an array subscript.  x->field[10000] is just 
as bad as (*X)[14][10000].

llvm-svn: 55226
 2008-08-23 05:21:06 +00:00
Chris Lattner
fd64cbf22d consolidate DenseMapInfo implementations, and add one for std::pair. 
Patch contributed by m-s.

llvm-svn: 55167
 2008-08-22 05:08:25 +00:00
Nick Lewycky
7b87c4d8a4 Revert r54876 r54877 r54906 and r54907. Evan found that these caused a 20% 
slowdown in bzip2.

llvm-svn: 55113
 2008-08-21 05:56:10 +00:00
Evan Cheng
0a35c35153 Silence a compiler warning. 
llvm-svn: 55087
 2008-08-20 23:36:48 +00:00
Mon P Wang
e5aefd3967 Fixed shuffle optimizations to handle non power of 2 vectors 
llvm-svn: 55035
 2008-08-20 02:23:25 +00:00
Chris Lattner
b5e0d71a07 don't use the result of WriteAsOperand 
llvm-svn: 54979
 2008-08-19 04:45:19 +00:00
Nick Lewycky
371935de4a Make this comment clearer. Instead of using an ambiguous ~ (not) on an icmp 
predicate, swap the order of the operands.

llvm-svn: 54907
 2008-08-17 20:02:02 +00:00
Nick Lewycky
30a0ad8900 Consider the case where xor by -1 and xor by 128 have been combined already to 
produce an xor by 127.

llvm-svn: 54906
 2008-08-17 19:58:24 +00:00
Gordon Henriksen
2cc861a6c1 Rename some GC classes so that their roll will hopefully be clearer. 
In particular, Collector was confusing to implementors. Several
thought that this compile-time class was the place to implement
their runtime GC heap. Of course, it doesn't even exist at runtime.
Specifically, the renames are:

  Collector               -> GCStrategy
  CollectorMetadata       -> GCFunctionInfo
  CollectorModuleMetadata -> GCModuleInfo
  CollectorRegistry       -> GCRegistry
  Function::getCollector  -> getGC (setGC, hasGC, clearGC)

Several accessors and nested types have also been renamed to be
consistent. These changes should be obvious.

llvm-svn: 54899
 2008-08-17 18:44:35 +00:00
Evan Cheng
a3c27d36bc Revert 54821. It's miscompiling 252.eon and 447.dealII 
llvm-svn: 54878
 2008-08-17 08:07:31 +00:00
Nick Lewycky
d797456fb4 I found a better place for this optz'n. 
llvm-svn: 54877
 2008-08-17 07:54:14 +00:00
Nick Lewycky
205be593b8 Xor'ing both sides of icmp by sign-bit is equivalent to swapping signedness of 
the predicate.

Also, make this optz'n apply in more cases where it's safe to do so.

llvm-svn: 54876
 2008-08-17 07:34:14 +00:00
Chris Lattner
c0610874cc Rework the routines that convert AP[S]Int into a string. Now, instead of 
returning an std::string by value, it fills in a SmallString/SmallVector
passed in.  This significantly reduces string thrashing in some cases.

More specifically, this:
 - Adds an operator<< and a print method for APInt that allows you to 
   directly send them to an ostream.
 - Reimplements APInt::toString to be much simpler and more efficient
   algorithmically in addition to not thrashing strings quite as much.

This speeds up llvm-dis on kc++ by 7%, and may also slightly speed up the
asmprinter.  This also fixes a bug I introduced into the asmwriter in a
previous patch w.r.t. alias printing.

llvm-svn: 54873
 2008-08-17 07:19:36 +00:00
Owen Anderson
13498aa150 Remove GCSE, ValueNumbering, and LoadValueNumbering. These have been deprecated for almost a year; it's finally time for them to go away. 
llvm-svn: 54822
 2008-08-15 21:31:02 +00:00
Devang Patel
a8e9ee0529 Reapply 54786. Add overflow and number of mantissa bits checks. 
llvm-svn: 54821
 2008-08-15 21:21:34 +00:00
Evan Cheng
b2e1459e48 Revert 54786. It's not checking for overflows, etc. 
llvm-svn: 54813
 2008-08-15 08:12:11 +00:00
Chris Lattner
28a74aa6ca use smallvector instead of vector for a couple worklists. This speeds up instcombine 
by ~10% on some testcases.

llvm-svn: 54811
 2008-08-15 04:03:01 +00:00
Bill Wendling
bebfe7b7fc Temporarily revert r54792. It's causing an ICE during bootstrapping. 
llvm-svn: 54804
 2008-08-14 23:05:24 +00:00
Devang Patel
8aa62f7dfa Use DenseMap. Patch by Pratik Solanki. 
llvm-svn: 54792
 2008-08-14 21:31:10 +00:00
Devang Patel
67f9b08a91 If IV is used in a int-to-float cast inside the loop then try to eliminate the cast opeation. 
llvm-svn: 54786
 2008-08-14 20:58:31 +00:00
Dan Gohman
027326ba3e Use empty() instead of begin() == end(). 
llvm-svn: 54780
 2008-08-14 18:13:49 +00:00
Matthijs Kooijman
3bbc2deb9c Replace two for loops with while(!X->use_empty()) loops. This prevents 
invalidating the iterator by deleting the current use. This fixes a segfault on
64 bit linux reported in PR2675.

Also remove an unneeded if.

llvm-svn: 54778
 2008-08-14 15:03:05 +00:00
Dan Gohman
db5b503d60 Fix a bogus srem rule - a negative value srem'd by a power-of-2 
can have a non-negative result; for example, -16%16 is 0. Also,
clarify the related comments. This fixes PR2670.

llvm-svn: 54767
 2008-08-13 23:12:35 +00:00
Dan Gohman
374d9328b7 Fix SCCP's handling of struct value loads and stores. SCCP doesn't 
track individual leaf values in such cases, so it needs to treat
struct values as normal values in this case.

llvm-svn: 54760
 2008-08-13 21:22:48 +00:00
Devang Patel
bb9cb77326 Rename. s/FindIVForUser/FindIVUserForCond/g 
llvm-svn: 54754
 2008-08-13 20:31:11 +00:00
Devang Patel
a82e51a430 Check sign to detect overflow before changing compare stride. 
llvm-svn: 54710
 2008-08-13 02:05:14 +00:00
Bill Wendling
d910182ca9 Remove tabs. 
llvm-svn: 54707
 2008-08-12 23:15:44 +00:00
Chris Lattner
ae09ade343 Implement support for simplifying vector comparisons by 0.0 and 1.0 like we 
do for scalars.  Patch contributed by Nicolas Capens

This also generalizes the previous xforms to work on long double, now that 
isExactlyValue works for long double.

llvm-svn: 54653
 2008-08-11 22:06:05 +00:00
Eric Christopher
dcd4752642 Have IRBuilder take a template argument on whether or not to preserve 
names. This can save a lot of allocations if you aren't going to be
looking at the output.

llvm-svn: 54546
 2008-08-08 19:39:37 +00:00
Matthijs Kooijman
d62ee008d1 Let SRETPromotion properly preserve the function name instead of (implicitly) 
postfixing it with a number.

llvm-svn: 54468
 2008-08-07 16:01:23 +00:00
Matthijs Kooijman
287cca11b3 Fix SRETPromotion, it was generating functions without returns statements since 
r53941 (but this was not noticed due to the lack of a basic test for
SRETPromotion). 

llvm-svn: 54467
 2008-08-07 15:58:09 +00:00
Matthijs Kooijman
9ff5c484cf Add some debug output to SRETPromotion. 
llvm-svn: 54464
 2008-08-07 15:14:04 +00:00
Dan Gohman
4ad77e1ca2 Fix a shufflevector instcombine that was emitting invalid masks indices 
when it meant to be emitting undef indices.

llvm-svn: 54417
 2008-08-06 18:17:32 +00:00
Evan Cheng
c5cc2cb4aa Fix PR2355: bug in ChangeCompareStride. When the loop termination compare is the only use of its iv stride, the stride can be eliminated by moving it to another stride. If the scale is negative, swap the predicate instead of using a inverse predicate. 
llvm-svn: 54415
 2008-08-06 18:04:43 +00:00
Chris Lattner
55b99a6739 optimize a common idiom generated by clang for bitfield access, PR2638. 
llvm-svn: 54408
 2008-08-06 07:35:52 +00:00
Chris Lattner
cae04940bd Zap sitofp/fptoui pairs. In all cases when the sign difference 
matters, the result is undefined anyway.

llvm-svn: 54396
 2008-08-06 05:13:06 +00:00
Nick Lewycky
0bf3c812d2 Reinstate this optimization, but without the miscompile. Thanks to Bill for 
tracking down that this was breaking llvm-gcc bootstrap on Linux.

llvm-svn: 54394
 2008-08-06 04:54:03 +00:00
Dan Gohman
8377e7019f Pass the computed iteration count value to RewriteLoopExitValues 
instead of having it call getIterationCount again.

llvm-svn: 54380
 2008-08-05 22:34:21 +00:00
Bill Wendling
3882f060ef Revert r53282. This was causing a miscompile on Linux. Also, the transformation 
looks bogus. Please see PR2629 for details on why this is breaking things.

llvm-svn: 54372
 2008-08-05 21:23:45 +00:00
Dan Gohman
1238bf634b Trim #includes. 
llvm-svn: 54350
 2008-08-05 15:32:23 +00:00
Duncan Sands
573c01d5da Fix comment typos. 
llvm-svn: 54266
 2008-08-01 12:23:49 +00:00
Nate Begeman
9a71580e21 Add vector shifts to the IR, patch by Eli Friedman. 
CodeGen & Clang work coming next.

llvm-svn: 54161
 2008-07-29 15:49:41 +00:00
Matthijs Kooijman
7199907f50 Add -unroll-allow-partial command line option that enabled the loop unroller to 
partially unroll a loop when fully unrolling would not fit under the threshold.

Patch by Mikael Lepistö.

llvm-svn: 54160
 2008-07-29 13:21:23 +00:00
Matthijs Kooijman
77948dbbc2 Restructure ArgumentPromotion a bit. Instead of just having a single boolean 
that says "unconditional loads from this argument are safe", we now keep track
of the safety per set of indices from which loads happen. This prevents
ArgPromotion from promoting loads that aren't really valid. As an added effect,
this will now disregard the the type of the indices passed to a GEP, so
"load GEP %A, i32 1" and "load GEP %A, i64 1" will result in a single argument,
not two.

This fixes PR2598, for which a testcase has been added as well.

llvm-svn: 54159
 2008-07-29 10:00:13 +00:00