RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-24 21:42:54 +02:00
Code Issues Projects Releases Wiki Activity
67,155 Commits 4 Branches 5 Tags 704 MiB
ac4c387e2d
Commit Graph

67155 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Dan Gohman
ac4c387e2d Document the units for the Size field. 
llvm-svn: 119711
 2010-11-18 17:39:01 +00:00
Dan Gohman
3f08bf5bea Bounds-check APInt's operator[]. 
llvm-svn: 119708
 2010-11-18 17:14:56 +00:00
Dan Gohman
3a630f4051 ExpandPseudos doesn't have any dependencies, so it can use the 
simple form of INITIALIZE_PASS.

llvm-svn: 119707
 2010-11-18 17:14:05 +00:00
Dan Gohman
87b78a4726 Strip trailing whitespace. 
llvm-svn: 119706
 2010-11-18 17:06:31 +00:00
Dan Gohman
99ac1c6b83 Use llvm_unreachable for "impossible" situations. 
llvm-svn: 119705
 2010-11-18 17:05:57 +00:00
Dan Gohman
ec75e876ab Add support for PHI-translating sext, zext, and trunc instructions, 
enabling more PRE. PR8586.

llvm-svn: 119704
 2010-11-18 17:05:13 +00:00
Chris Lattner
2034d275aa slightly simplify code and substantially improve comment. Instead of 
saying "it would be bad", give an example of what is going on.

llvm-svn: 119695
 2010-11-18 08:07:09 +00:00
Chris Lattner
c752718881 remove a pointless restriction from memcpyopt. It was 
refusing to optimize two memcpy's like this:

copy A <- B
copy C <- A

if it couldn't prove that noalias(B,C).  We can eliminate
the copy by producing a memmove instead of memcpy.

llvm-svn: 119694
 2010-11-18 08:00:57 +00:00
Chris Lattner
1000d06bee filecheckize, this is still not optimal, see PR8643 
llvm-svn: 119693
 2010-11-18 07:49:32 +00:00
Chris Lattner
eb29c52bce remove another pointless noalias check: M is a memcpy, so the 
source and dest are known to not overlap.

llvm-svn: 119692
 2010-11-18 07:39:57 +00:00
Chris Lattner
4d08597975 use AA::isNoAlias instead of open coding it. Remove an extraneous noalias check: 
there is no need to check to see if the source and dest of a memcpy are noalias,
behavior is undefined if not.

llvm-svn: 119691
 2010-11-18 07:38:43 +00:00
Chris Lattner
f8540ee386 finish a thought. 
llvm-svn: 119690
 2010-11-18 07:32:33 +00:00
Chris Lattner
c3e29a9a68 rearrange some code, splitting memcpy/memcpy optimization 
out of processMemCpy into its own function.

llvm-svn: 119687
 2010-11-18 07:02:37 +00:00
Chris Lattner
6048697a30 allow eliminating an alloca that is just copied from an constant global 
if it is passed as a byval argument.  The byval argument will just be a
read, so it is safe to read from the original global instead.  This allows
us to promote away the %agg.tmp alloca in PR8582

llvm-svn: 119686
 2010-11-18 06:41:51 +00:00
Chris Lattner
791e914b1b enhance the "alloca is just a memcpy from constant global" 
to ignore calls that obviously can't modify the alloca
because they are readonly/readnone.

llvm-svn: 119683
 2010-11-18 06:26:49 +00:00
Chris Lattner
44ccd4643d fix a small oversight in the "eliminate memcpy from constant global" 
optimization.  If the alloca that is "memcpy'd from constant" also has
a memcpy from *it*, ignore it: it is a load.  We now optimize the testcase to:

define void @test2() {
  %B = alloca %T
  %a = bitcast %T* @G to i8*
  %b = bitcast %T* %B to i8*
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %b, i8* %a, i64 124, i32 4, i1 false)
  call void @bar(i8* %b)
  ret void
}

previously we would generate:

define void @test() {
  %B = alloca %T
  %b = bitcast %T* %B to i8*
  %G.0 = getelementptr inbounds %T* @G, i32 0, i32 0
  %tmp3 = load i8* %G.0, align 4
  %G.1 = getelementptr inbounds %T* @G, i32 0, i32 1
  %G.15 = bitcast [123 x i8]* %G.1 to i8*
  %1 = bitcast [123 x i8]* %G.1 to i984*
  %srcval = load i984* %1, align 1
  %B.0 = getelementptr inbounds %T* %B, i32 0, i32 0
  store i8 %tmp3, i8* %B.0, align 4
  %B.1 = getelementptr inbounds %T* %B, i32 0, i32 1
  %B.12 = bitcast [123 x i8]* %B.1 to i8*
  %2 = bitcast [123 x i8]* %B.1 to i984*
  store i984 %srcval, i984* %2, align 1
  call void @bar(i8* %b)
  ret void
}

llvm-svn: 119682
 2010-11-18 06:20:47 +00:00
Chris Lattner
c1e63bb987 filecheckize 
llvm-svn: 119681
 2010-11-18 06:16:43 +00:00
Chris Lattner
c85f76f7da trivial QoI improvement. On this invalid input: 
sahf	movl	344(%rdi),%r14d
we used to produce:

t.s:2:1: error: unexpected token in argument list

^

we now produce:
t.s:1:11: error: unexpected token in argument list
sahf	movl	344(%rdi),%r14d
    	    	^

rdar://8581401

llvm-svn: 119676
 2010-11-18 02:53:02 +00:00
Chris Lattner
de283efb5d patch from Frits van Bommel: 
The attached patch fixes IRBuilder and the NoFolder class so that when
NoFolder is used the instructions it generates are treated just like
the ones IRBuilder creates directly (insert into block, assign them a
name and debug info, as applicable).
It does this by
1) having NoFolder return Instruction*s instead of Value*s,
2) having IRBuilder call Insert(Value, Name) on values obtained from
the folder like it does on instructions it creates directly, and
3) adding an Insert(Constant*, const Twine& = "") overload which just
returns the constant so that the other folders shouldn't have any
extra overhead as long as inlining is enabled.

While I was there, I also added some missing (CreateFNeg and various
Create*Cast) methods to NoFolder.

llvm-svn: 119614
 2010-11-18 02:15:42 +00:00
Rafael Espindola
93a07b464e Change CodeGen to use .loc directives. This produces a lot more readable output 
and testing is easier.  A good example is the unknown-location.ll test that
now can just look for ".loc 1 0 0".  We also don't use a DW_LNE_set_address for
every address change anymore.

llvm-svn: 119613
 2010-11-18 02:04:25 +00:00
Evan Cheng
6b2be51f7e Silence compiler warnings. 
llvm-svn: 119610
 2010-11-18 01:43:23 +00:00
Jim Grosbach
082e9f2f2c Remove trailing whitespace. 
llvm-svn: 119608
 2010-11-18 01:39:50 +00:00
Jim Grosbach
2f9a2efb3c ARM PseudoInst instructions don't need or use an assembler string. Get rid of 
the operand to the pattern.

llvm-svn: 119607
 2010-11-18 01:38:26 +00:00
Jim Grosbach
355d0a0683 Revert 119600 to unbreak the build. Francois, please investigate. 
llvm-svn: 119606
 2010-11-18 01:38:07 +00:00
Dale Johannesen
06f479d543 Do not throw away alignment when generating the DAG for 
memset; we may need it to decide between MOVAPS and MOVUPS
later.  Adjust a test that was looking for wrong code.
PR 3866 / 8675131.

llvm-svn: 119605
 2010-11-18 01:35:23 +00:00
Evan Cheng
e63f6c7422 Code clean up. 
llvm-svn: 119604
 2010-11-18 01:28:51 +00:00
Jim Grosbach
205e0345c1 Add FIXME. 
llvm-svn: 119603
 2010-11-18 01:20:48 +00:00
Jim Grosbach
a42e2b0fcb Refactor the ARM PICADD and PICLDR* instructions to really be pseudos and not 
just pretend to be.

llvm-svn: 119602
 2010-11-18 01:15:56 +00:00
Owen Anderson
b7970b2c6a Try again at providing Thumb2 encodings for basic multiplication operators. 
llvm-svn: 119601
 2010-11-18 01:08:42 +00:00
Francois Pichet
598ba413b5 Appease MSVC 2008: you can't use keyword this inside EXPECT_EQ(). 
This is because of bug 331418 on Microsoft Connect.

llvm-svn: 119600
 2010-11-18 00:59:50 +00:00
John Thompson
8c52bd2004 Fixed to use input redirection for source - to eliminate .s output. 
llvm-svn: 119599
 2010-11-18 00:50:20 +00:00
Jim Grosbach
42d103250b Refactor a few ARM load instructions to better parameterize things and re-use 
common encoding information.

llvm-svn: 119598
 2010-11-18 00:46:58 +00:00
Owen Anderson
e8906ba112 Revert r119593 while I figure out my testing disagrees with the buildbot. 
llvm-svn: 119597
 2010-11-18 00:42:51 +00:00
Dan Gohman
3213622610 Introduce memoization for ScalarEvolution dominates and properlyDominates 
queries, and SCEVExpander getRelevantLoop queries.

llvm-svn: 119595
 2010-11-18 00:34:22 +00:00
Owen Anderson
47a64ab90c Provide correct Thumb2 encodings for basic multiplication operators. 
llvm-svn: 119593
 2010-11-18 00:19:10 +00:00
Oscar Fuentes
8b8fa79ce0 Updated library dependencies. 
llvm-svn: 119592
 2010-11-18 00:12:27 +00:00
John Thompson
b33f935bc3 Bug 8621 fix - pointer cast stripped from inline asm constraint argument. 
llvm-svn: 119590
 2010-11-17 23:58:47 +00:00
Wesley Peck
849367836f Make MCJIT work with CMake. 
llvm-svn: 119589
 2010-11-17 23:35:07 +00:00
Jim Grosbach
5d9d8356fa Clean up LEApcrel instuction(s) a bit. It's not really a Pseudo, so don't mark 
it as such. Add some encoding information.

llvm-svn: 119588
 2010-11-17 23:33:14 +00:00
Dan Gohman
ecff21cc67 Factor out the code for purging a SCEV from all the various memoization maps. 
Some of these maps may merge in the future, but for now it's convenient to have
a utility function for them.

llvm-svn: 119587
 2010-11-17 23:28:48 +00:00
Dan Gohman
8e594dfe39 Merge the implementations of isLoopInvariant and hasComputableLoopEvolution, and 
memoize the results. This improves compile time in code which highly complex
expressions which get queried many times.

llvm-svn: 119584
 2010-11-17 23:21:44 +00:00
Wesley Peck
890a8357af Now that the MBlaze backend is in its own directory, split the test cases into multiple files for different types of instructions. 
llvm-svn: 119580
 2010-11-17 22:54:43 +00:00
Dan Gohman
fb6ea18d0a Make SCEV::getType() and SCEV::print non-virtual. Move SCEV::hasOperand 
to ScalarEvolution. Delete SCEV::~SCEV. SCEV is no longer virtual.

llvm-svn: 119578
 2010-11-17 22:27:42 +00:00
Owen Anderson
ea6ac4cdff Second attempt at correct encodings for Thumb2 bitfield instructions. 
llvm-svn: 119575
 2010-11-17 22:16:31 +00:00
Jim Grosbach
16aeabf0d5 Fix comment typo. 
llvm-svn: 119573
 2010-11-17 21:57:51 +00:00
Dale Johannesen
a87210e350 These tests are looking for library function names that 
appear to differ on Linux.  Try to make them pass on Linux.
Would be good for a Linux person to review this.

llvm-svn: 119572
 2010-11-17 21:57:32 +00:00
Dan Gohman
9bbb0fa515 Move SCEV::dominates and properlyDominates to ScalarEvolution. 
llvm-svn: 119570
 2010-11-17 21:41:58 +00:00
Bob Wilson
a217a6e40b Change ARMGlobalMerge to keep BSS globals in separate pools. 
This completes the fixes for Radar 8673120.

llvm-svn: 119566
 2010-11-17 21:25:39 +00:00
Bob Wilson
819660b716 Fix ARMGlobalMerge pass to check if globals are entirely within range. 
It is generally not sufficient to check if the starting offset is in range
of the maximum offset that can be efficiently used for the target.

llvm-svn: 119565
 2010-11-17 21:25:36 +00:00
Bob Wilson
49bf8702f0 Change the symbol for merged globals from "merged" to "_MergedGlobals". 
This makes it more clear that the symbol is an internal, compiler-generated
name and gives a little more description about its contents.

llvm-svn: 119564
 2010-11-17 21:25:33 +00:00