RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-17 00:57:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
53,286 Commits 4 Branches 5 Tags
Commit Graph

8342 Commits

Author SHA1 Message Date
Dan Gohman
795e3db7ce Code that checks WillNotOverflowSignedAdd before creating an Add 
can safely use the NSW bit on the Add.

llvm-svn: 85164
 2009-10-26 22:14:22 +00:00
Dan Gohman
c8468855a7 Teach BasicAA how to analyze Select instructions, and make it more 
aggressive on PHI instructions.

llvm-svn: 85158
 2009-10-26 21:55:43 +00:00
David Goodwin
f6199e95b0 Break anti-dependence breaking out into its own class. 
llvm-svn: 85127
 2009-10-26 16:59:04 +00:00
Chris Lattner
7f9ddaf7e3 reapply r85085 with a bugfix to avoid infinite looping. 
All of the 'demorgan' related xforms need to use 
dyn_castNotVal, not m_Not.

llvm-svn: 85119
 2009-10-26 15:40:07 +00:00
Dan Gohman
3d0c010ee4 Make LSR's OptimizeShadowIV ignore induction variables with negative 
strides for now, because it doesn't handle them correctly. This fixes a
miscompile of SingleSource/Benchmarks/Misc-C++/ray.

This problem was usually hidden because indvars transforms such induction
variables into negations of canonical induction variables.

llvm-svn: 85118
 2009-10-26 15:32:57 +00:00
Evan Cheng
4443642def - Revert some changes from 85044, 85045, and 85047 that broke x86_64 tests and 
bootstrapping. It's not safe to leave identity subreg_to_reg and insert_subreg
  around.
- Relax register scavenging to allow use of partially "not-live" registers. It's
  common for targets to operate on registers where the top bits are undef. e.g.
  s0 =
  d0 = insert_subreg d0<undef>, s0, 1
  ...
     = d0
  When the insert_subreg is eliminated by the coalescer, the scavenger used to
  complain. The previous fix was to keep to insert_subreg around. But that's
  brittle and it's overly conservative when we want to use the scavenger to 
  allocate registers. It's actually legal and desirable for other instructions
  to use the "undef" part of d0. e.g.
  s0 =
  d0 = insert_subreg d0<undef>, s0, 1
  ...
  s1 =
     = s1
     = d0
  We probably need add a "partial-undef" marker on machine operand so the
  machine verifier would not complain.

llvm-svn: 85091
 2009-10-26 04:56:07 +00:00
Evan Cheng
7dad155ec7 Revert 85085. It causes infinite looping during llvm-gcc build. 
llvm-svn: 85090
 2009-10-26 03:51:32 +00:00
Edward O'Callaghan
43d45b084e Fix gmake check for AuroraUX triple. 
llvm-svn: 85088
 2009-10-26 02:37:56 +00:00
Chris Lattner
192549ef70 Implement PR3266 & PR5276, folding: 
not (or (icmp, icmp)) -> and(icmp, icmp)

llvm-svn: 85085
 2009-10-26 01:06:31 +00:00
Chris Lattner
c88c01adb6 convert or.ll to filecheck and merge or2 into it. 
llvm-svn: 85083
 2009-10-25 23:47:55 +00:00
Chris Lattner
e3508acbef fix PR5295 where the .ll parser didn't reject a function after a global 
or global after a function with conflicting names.  Update some testcases
that were accidentally depending on this behavior.

llvm-svn: 85081
 2009-10-25 23:22:50 +00:00
Evan Cheng
a308ae55a5 Add a couple of ARM cross-rc coalescing tests. 
llvm-svn: 85051
 2009-10-25 08:01:41 +00:00
Evan Cheng
1c169777ca Update tests. 
llvm-svn: 85050
 2009-10-25 07:53:48 +00:00
Mikhail Glushenkov
98921da4dd Add a test for OptionPreprocessor. 
llvm-svn: 85029
 2009-10-25 01:43:50 +00:00
Dan Gohman
06621f065a Update these tests to match what Loop::print now prints. 
llvm-svn: 85021
 2009-10-24 23:52:07 +00:00
Dan Gohman
6e2d1c608b Make these tests more interesting by using 
-verify-dom-info and -verify-loop-info, which enable additional
(expensive) consistency checks.

llvm-svn: 85017
 2009-10-24 23:23:04 +00:00
Daniel Dunbar
d98eb10494 Teach macho-dump to dump UUIDs. 
llvm-svn: 85012
 2009-10-24 20:32:36 +00:00
Chris Lattner
9a1f5c9f90 fix PR5287, a serious regression from my previous patches. Thanks to 
Duncan for the nice tiny testcase.

llvm-svn: 84992
 2009-10-24 05:22:15 +00:00
Victor Hernandez
e8998896f5 Auto-upgrade free instructions to calls to the builtin free function. 
Update all analysis passes and transforms to treat free calls just like FreeInst.
Remove RaiseAllocations and all its tests since FreeInst no longer needs to be raised.

llvm-svn: 84987
 2009-10-24 04:23:03 +00:00
Dan Gohman
b15fee5666 APInt-ify the gep scaling code, so that it correctly handles the case where 
the scale overflows pointer-sized arithmetic. This fixes PR5281.

llvm-svn: 84954
 2009-10-23 17:57:43 +00:00
Dan Gohman
ad2555c9a3 Make LoopDeletion check the maximum backedge taken count, rather than the 
exact backedge taken count, when checking for infinite loops. This allows
it to delete loops with multiple exit conditions.

llvm-svn: 84952
 2009-10-23 17:10:01 +00:00
Chris Lattner
4874f5bce5 teach libanalysis to simplify vector loads with bitcast sources. This 
implements something out of Target/README.txt producing:

_foo:                                                       ## @foo
	movl	4(%esp), %eax
	movapd	LCPI1_0, %xmm0
	movapd	%xmm0, (%eax)
	ret	$4

instead of:

_foo:                                                       ## @foo
	movl	4(%esp), %eax
	movapd	_b, %xmm0
	mulpd	LCPI1_0, %xmm0
	addpd	_a, %xmm0
	movapd	%xmm0, (%eax)
	ret	$4

llvm-svn: 84942
 2009-10-23 06:57:37 +00:00
Chris Lattner
2ee1f0f0b5 enhance FoldReinterpretLoadFromConstPtr to handle loads of up to 32 
bytes (i256).

llvm-svn: 84941
 2009-10-23 06:50:36 +00:00
Chris Lattner
b1d2706a4c teach libanalysis to fold int and fp loads from almost arbitrary 
non-type-safe constant initializers.  This sort of thing happens
quite a bit for 4-byte loads out of string constants, unions, 
bitfields, and an interesting endianness check from sqlite, which
is something like this:

const int sqlite3one = 1;
# define SQLITE_BIGENDIAN    (*(char *)(&sqlite3one)==0)
# define SQLITE_LITTLEENDIAN (*(char *)(&sqlite3one)==1)
# define SQLITE_UTF16NATIVE (SQLITE_BIGENDIAN?SQLITE_UTF16BE:SQLITE_UTF16LE)

all of these macros now constant fold away.

This implements PR3152 and is based on a patch started by Eli, but heavily
modified and extended.

llvm-svn: 84936
 2009-10-23 06:23:49 +00:00
Evan Cheng
aa03d9926d Update tests for 84931. 
llvm-svn: 84932
 2009-10-23 05:58:34 +00:00
Bill Wendling
7d48a41864 This is passing on Darwin PPC. 
llvm-svn: 84921
 2009-10-23 01:37:01 +00:00
David Goodwin
82c1dd9754 Allow the target to select the level of anti-dependence breaking that should be performed by the post-RA scheduler. The default is none. 
llvm-svn: 84911
 2009-10-22 23:19:17 +00:00
Bob Wilson
8f4f73da55 Revert 84843. Evan, this was breaking some of the if-conversion tests. 
llvm-svn: 84868
 2009-10-22 16:52:21 +00:00
Duncan Sands
15030fc8e7 Check that accessing a struct field that occurs before the start 
of the struct (!) works correctly.

llvm-svn: 84853
 2009-10-22 12:53:25 +00:00
Duncan Sands
7672e59eb8 Test handling of record fields with negative offsets. 
llvm-svn: 84851
 2009-10-22 10:02:10 +00:00
Evan Cheng
2edd1efa46 Move if-conversion before post-regalloc scheduling so the predicated instruction get scheduled properly. 
llvm-svn: 84843
 2009-10-22 06:48:32 +00:00
Chris Lattner
ff24a8cd93 testcase for PR4678 & rdar://7309675 
llvm-svn: 84830
 2009-10-22 04:47:09 +00:00
Evan Cheng
8fdd1661fa Don't generate sbfx / ubfx with negative lsb field. Patch by David Conrad. 
llvm-svn: 84813
 2009-10-22 00:40:00 +00:00
Chris Lattner
7c507ae857 fix PR5262. 
llvm-svn: 84810
 2009-10-22 00:17:26 +00:00
Anton Korobeynikov
bbc637e96d Use special DAG-to-DAG preprocessing to allow mem-mem instructions to be selected. 
Yay for ASCII graphics!

llvm-svn: 84808
 2009-10-22 00:16:00 +00:00
Dan Gohman
2d8e5654a8 Revert the main portion of r31856. It was causing BranchFolding 
to break up CFG diamonds by banishing one of the blocks to the end of
the function, which is bad for code density and branch size.

This does pessimize MultiSource/Benchmarks/Ptrdist/yacr2, the
benchmark cited as the reason for the change, however I've examined
the code and it looks more like a case of gaming a particular
branch than of being generally applicable.

llvm-svn: 84803
 2009-10-22 00:03:58 +00:00
Chris Lattner
bf5a89d82b revert r84754, it isn't the right approach. Edwin, please propose 
patches for fixes like this instead of committing them directly.

llvm-svn: 84799
 2009-10-21 23:41:58 +00:00
Dale Johannesen
59fd73831e Adjust testcases for msasm -> alignstack. 
llvm-svn: 84796
 2009-10-21 23:29:12 +00:00
Bill Wendling
c1f8119933 XFAIL this test for PPC. 
llvm-svn: 84782
 2009-10-21 21:09:48 +00:00
Jim Grosbach
452de96b04 Improve handling of immediates by splitting 32-bit immediates into two 16-bit 
immediate operands when they will fit into the using instruction.

llvm-svn: 84778
 2009-10-21 20:44:34 +00:00
Anton Korobeynikov
23ea13afbb Add DAG printing for RMW stuff debugging 
llvm-svn: 84776
 2009-10-21 19:18:28 +00:00
Anton Korobeynikov
d233af8049 RMW preprocessing stuff was incorrect. Grab the stuff from x86 backend and disable some tests until it will be clever enough to handle them. 
llvm-svn: 84775
 2009-10-21 19:17:55 +00:00
Victor Hernandez
0996619220 Make changes to rev 84292 as requested by Chris Lattner. 
Most changes are cleanup, but there is 1 correctness fix:
I fixed InstCombine so that the icmp is removed only if the malloc call is removed (which requires explicit removal because the Worklist won't DCE any calls since they can have side-effects).

llvm-svn: 84772
 2009-10-21 19:11:40 +00:00
Torok Edwin
a8a12b7d98 Fix PR5262: when folding select into PHI, make sure all operands are available 
in the PHI's Basic Block. This uses a conservative approach, because we don't
have dominator info in instcombine.

llvm-svn: 84754
 2009-10-21 10:49:00 +00:00
Evan Cheng
275a09e55d Match more patterns to movt. 
llvm-svn: 84751
 2009-10-21 08:15:52 +00:00
Dan Gohman
c74da745a7 Revert r84658 and r84691. They were causing llvm-gcc bootstrap to fail. 
llvm-svn: 84727
 2009-10-21 01:44:44 +00:00
Bill Wendling
5736c06ae3 This is passing on Darwin PPC. 
llvm-svn: 84723
 2009-10-21 00:51:40 +00:00
Anton Korobeynikov
172b91c273 Add reg-imm tests 
llvm-svn: 84705
 2009-10-21 00:11:44 +00:00
Anton Korobeynikov
7b6fe9f251 Fix invalid for vector types fneg(bitconvert(x)) => bitconvert(x ^ sign) 
transform.

llvm-svn: 84683
 2009-10-20 21:37:45 +00:00
Chris Lattner
882034fdaf add a real testcase for PR4313 
llvm-svn: 84676
 2009-10-20 21:04:26 +00:00