RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-01 08:28:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
73,615 Commits 4 Branches 5 Tags 634 MiB
d618fa83b7
Commit Graph

120 Commits

Author SHA1 Message Date
Jay Foad
d618fa83b7 De-constify Types in FunctionType::get(). 
llvm-svn: 134888
 2011-07-11 07:56:41 +00:00
Eli Friedman
a45cbb1743 Stop using memdep for a check that didn't really make sense with memdep. In terms of specific issues, using memdep here checks irrelevant instructions and won't work properly once we start returning "unknown" more aggressively from memdep. 
llvm-svn: 133035
 2011-06-15 01:25:56 +00:00
Eli Friedman
47b3cd9fff Add "unknown" results for memdep, which mean "I don't know whether a dependence for the given instruction exists in the given block". This cleans up all the existing hacks in memdep which represent this concept by returning clobber with various unrelated instructions. 
llvm-svn: 133031
 2011-06-15 00:47:34 +00:00
Eli Friedman
0db9c60959 PR10067: Add missing safety check to call return transformation in MemCpyOpt::processStore. If something accesses the dest of the "copy" between the call and the copy, the performCallSlotOptzn transformation is not valid. 
llvm-svn: 132485
 2011-06-02 21:24:42 +00:00
Chris Lattner
c277b19e97 Teach valuetracking that byval arguments with a specified alignment are 
aligned.

Teach memcpyopt to not give up all hope when confonted with an underaligned
memcpy feeding an overaligned byval.  If the *source* of the memcpy can be
determined to be adequeately aligned, or if it can be forced to be, we can
eliminate the memcpy.

This addresses PR9794.  We now compile the example into:

define i32 @f(%struct.p* nocapture byval align 8 %q) nounwind ssp {
entry:
  %call = call i32 @g(%struct.p* byval align 8 %q) nounwind
  ret i32 %call
}

in both x86-64 and x86-32 mode.  We still don't get a tailcall though,
because tailcalls apparently can't handle byval.

llvm-svn: 131884
 2011-05-23 00:03:39 +00:00
Devang Patel
86e9457cfb Preserve line number info. 
llvm-svn: 130876
 2011-05-04 21:58:58 +00:00
Chris Lattner
c04013dd48 enhance memcpyopt to obey -fno-builtin and friends. This addresses a 
problem reported on cfe-dev.

llvm-svn: 130661
 2011-05-01 18:27:11 +00:00
Chris Lattner
0304b82f80 Fix a ton of comment typos found by codespell. Patch by 
Luis Felipe Strano Moraes!

llvm-svn: 129558
 2011-04-15 05:18:47 +00:00
Duncan Sands
061150ac1b Spelling fix: consequtive -> consecutive. 
llvm-svn: 125563
 2011-02-15 09:23:02 +00:00
Dan Gohman
a9724ada65 Actually check memcpy lengths, instead of just commenting about 
how they should be checked.

llvm-svn: 123999
 2011-01-21 22:07:57 +00:00
Chris Lattner
fdef60bef7 revert 123144, reenabling the rest of memset formation. 
llvm-svn: 123302
 2011-01-12 03:25:15 +00:00
Chris Lattner
e288204194 revert r123146 which disabled code that wasn't the root cause 
of the bootstrap miscompare issue.

llvm-svn: 123299
 2011-01-12 01:52:23 +00:00
Chris Lattner
c7a5a12af5 revert r123149, reenabling an improvement to memcpyopt that wasn't 
the source of the bootstrap problem.

llvm-svn: 123298
 2011-01-12 01:43:46 +00:00
Chris Lattner
1404348022 another random stab in the dark trying to fix llvm-gcc-i386-linux-selfhost 
llvm-svn: 123149
 2011-01-10 02:34:11 +00:00
Chris Lattner
b5562212e2 another (more) aggressive attempt to bring llvm-gcc-i386-linux-selfhost 
back to life.

llvm-svn: 123146
 2011-01-10 00:47:34 +00:00
Chris Lattner
e8e9ec58bf temporarily disable memset formation from memsets in an effort to restore buildbot stability. 
llvm-svn: 123144
 2011-01-09 23:52:48 +00:00
Chris Lattner
82de29fb76 fix a few old bugs (found by inspection) where we would zap instructions 
without informing memdep.  This could cause nondeterminstic weirdness 
based on where instructions happen to get allocated, and will hopefully
breath some life into some broken testers.

llvm-svn: 123124
 2011-01-09 19:26:10 +00:00
Chris Lattner
7df7b47828 fix a latent bug in memcpyoptimizer that my recent patches exposed: it wasn't 
updating memdep when fusing stores together.  This fixes the crash optimizing
the bullet benchmark.

llvm-svn: 123091
 2011-01-08 22:19:21 +00:00
Chris Lattner
563e57abbd tryMergingIntoMemset can only handle constant length memsets. 
llvm-svn: 123090
 2011-01-08 22:11:56 +00:00
Chris Lattner
98136397bd Merge memsets followed by neighboring memsets and other stores into 
larger memsets.  Among other things, this fixes rdar://8760394 and
allows us to handle "Example 2" from http://blog.regehr.org/archives/320,
compiling it into a single 4096-byte memset:

_mad_synth_mute:                        ## @mad_synth_mute
## BB#0:                                ## %entry
	pushq	%rax
	movl	$4096, %esi             ## imm = 0x1000
	callq	___bzero
	popq	%rax
	ret

llvm-svn: 123089
 2011-01-08 21:19:19 +00:00
Chris Lattner
e09439ed9d fix an issue in IsPointerOffset that prevented us from recognizing that 
P and P+1 are relative to the same base pointer.

llvm-svn: 123087
 2011-01-08 21:07:56 +00:00
Chris Lattner
20bf2d50b8 enhance memcpyopt to merge a store and a subsequent 
memset into a single larger memset.

llvm-svn: 123086
 2011-01-08 20:54:51 +00:00
Chris Lattner
19aedc848c constify TargetData references. 
Split memset formation logic out into its own
"tryMergingIntoMemset" helper function.

llvm-svn: 123081
 2011-01-08 20:24:01 +00:00
Chris Lattner
9007b56712 start using irbuilder to make mem intrinsics in a few passes. 
llvm-svn: 122572
 2010-12-26 22:57:41 +00:00
Chris Lattner
c56d20aa48 move isBytewiseValue out to ValueTracking.h/cpp 
llvm-svn: 122565
 2010-12-26 20:15:01 +00:00
Benjamin Kramer
626fccab8b Simplify code. 
llvm-svn: 122561
 2010-12-26 15:23:45 +00:00
Benjamin Kramer
720b32b319 Fix a thinko pointed out by Frits van Bommel: looking through global variables in isBytewiseValue is not safe. 
llvm-svn: 122550
 2010-12-24 22:23:59 +00:00
Benjamin Kramer
49e40d4c4b MemCpyOpt: Turn memcpys from a constant into a memset if possible. 
This allows us to compile "int cst[] = {-1, -1, -1};" into
  movl  $-1, 16(%rsp)
  movq  $-1, 8(%rsp)
instead of
  movl  _cst+8(%rip), %eax
  movl  %eax, 16(%rsp)
  movq  _cst(%rip), %rax
  movq  %rax, 8(%rsp)

llvm-svn: 122548
 2010-12-24 21:17:12 +00:00
Jeffrey Yasskin
a199652a3e Change all self assignments X=X to (void)X, so that we can turn on a 
new gcc warning that complains on self-assignments and
self-initializations.

llvm-svn: 122458
 2010-12-23 00:58:24 +00:00
Dan Gohman
e106936414 Make memcpyopt TBAA-aware. 
llvm-svn: 121944
 2010-12-16 02:51:19 +00:00
Chris Lattner
996691e79c enhance memcpyopt to zap memcpy's that have the same src/dst. 
llvm-svn: 121362
 2010-12-09 07:45:45 +00:00
Chris Lattner
4fef82afa0 fix PR8753, eliminating a case where we'd infinitely make a 
substitution because it doesn't actually change the IR.  Patch by
Jakub Staszak!

llvm-svn: 121361
 2010-12-09 07:39:50 +00:00
Jay Foad
79e18ed269 PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() and 
zextOrTrunc(), and APSInt methods extend(), extOrTrunc() and new method
trunc(), to be const and to return a new value instead of modifying the
object in place.

llvm-svn: 121120
 2010-12-07 08:25:19 +00:00
Chris Lattner
c3112f1e94 fix a bozo bug I introduced in r119930, causing a miscompile of 
20040709-1.c from the gcc testsuite.  I was using the size of a
pointer instead of the pointee.  This fixes rdar://8713376

llvm-svn: 120519
 2010-12-01 01:24:55 +00:00
Chris Lattner
7670e2d8b8 prune an llvmcontext include and simplify some code. 
llvm-svn: 120347
 2010-11-29 23:35:33 +00:00
Chris Lattner
621c62e20d fix comment 
llvm-svn: 119948
 2010-11-21 19:05:34 +00:00
Chris Lattner
62a3186e3e rework some DSE paths to use the newly-public "getPointerDependencyFrom" 
method in MemDep instead of inserting an instruction, doing a query,
then removing it.  Neither operation is effectively cached.

llvm-svn: 119930
 2010-11-21 08:06:10 +00:00
Chris Lattner
ba1cc33676 Implement PR8644: forwarding a memcpy value to a byval, 
allowing the memcpy to be eliminated.

Unfortunately, the requirements on byval's without explicit 
alignment are really weak and impossible to predict in the 
mid-level optimizer, so this doesn't kick in much with current
frontends.  The fix is to change clang to set alignment on all
byval arguments.

llvm-svn: 119916
 2010-11-21 00:28:59 +00:00
Benjamin Kramer
9141603779 Simplify code. No change in functionality. 
llvm-svn: 119908
 2010-11-20 18:43:35 +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
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
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
Dan Gohman
befe1767ff Reapply r116831 and r116839, converting AliasAnalysis to use 
uint64_t, plus fixes for places I missed before.

llvm-svn: 116875
 2010-10-19 22:54:46 +00:00
Dan Gohman
de3c49438f Revert r116831 and r116839, which are breaking selfhost builds. 
llvm-svn: 116858
 2010-10-19 21:06:16 +00:00
Dan Gohman
37a9b813f5 Oops, check in all the files for converting AliasAnalysis to 
use uint64_t.

llvm-svn: 116839
 2010-10-19 18:08:27 +00:00
Owen Anderson
46990c17f7 Get rid of static constructors for pass registration. Instead, every pass exposes an initializeMyPassFunction(), which 
must be called in the pass's constructor.  This function uses static dependency declarations to recursively initialize
the pass's dependencies.

Clients that only create passes through the createFooPass() APIs will require no changes.  Clients that want to use the
CommandLine options for passes will need to manually call the appropriate initialization functions in PassInitialization.h
before parsing commandline arguments.

I have tested this with all standard configurations of clang and llvm-gcc on Darwin.  It is possible that there are problems
with the static dependencies that will only be visible with non-standard options.  If you encounter any crash in pass
registration/creation, please send the testcase to me directly.

llvm-svn: 116820
 2010-10-19 17:21:58 +00:00
Dan Gohman
6e3755905e Consistently use AliasAnalysis::UnknownSize instead of hardcoding ~0u. 
llvm-svn: 116815
 2010-10-19 17:06:23 +00:00
Owen Anderson
4373b4516b Generalize MemCpyOpt's handling of call slot forwarding to function properly when the call slot 
forwarding is implemented with a load/store pair rather than a memcpy.

llvm-svn: 116637
 2010-10-15 22:52:12 +00:00