RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-01 00:12:50 +01:00
Code Issues Projects Releases Wiki Activity
69,804 Commits 4 Branches 5 Tags 704 MiB
0a8f9ff53b
Commit Graph

60 Commits

Author SHA1 Message Date
Chris Lattner
db6c348f31 Fix PR8728, a miscompilation I recently introduced. When optimizing 
memcpy's like:
  memcpy(A, B)
  memcpy(A, C)

we cannot delete the first memcpy as dead if A and C might be aliases.
If so, we actually get:

  memcpy(A, B)
  memcpy(A, A)

which is not correct to transform into:

  memcpy(A, A)

This patch was heavily influenced by Jakub Staszak's patch in PR8728, thanks
Jakub!

llvm-svn: 120974
 2010-12-06 01:48:06 +00:00
Chris Lattner
c888f3ec58 Enhance DSE to handle the variable index case in PR8657. 
llvm-svn: 120498
 2010-11-30 23:43:23 +00:00
Chris Lattner
b9c5a6fa04 teach DSE to use GetPointerBaseWithConstantOffset to analyze 
may-aliasing stores that partially overlap with different base
pointers.  This implements PR6043 and the non-variable part of
PR8657

llvm-svn: 120485
 2010-11-30 23:05:20 +00:00
Chris Lattner
41b6b286a3 enhance isRemovable to refuse to delete volatile mem transfers 
now that DSE hacks on them.  This fixes a regression I introduced,
by generalizing DSE to hack on transfers.

llvm-svn: 120445
 2010-11-30 19:12:10 +00:00
Chris Lattner
7d444d0682 Rewrite the main DSE loop to be written in terms of reasoning 
about pairs of AA::Location's instead of looking for MemDep's
"Def" predicate.  This is more powerful and general, handling
memset/memcpy/store all uniformly, and implementing PR8701 and
probably obsoleting parts of memcpyoptimizer.

This also fixes an obscure bug with init.trampoline and i8
stores, but I'm not surprised it hasn't been hit yet.  Enhancing
init.trampoline to carry the size that it stores would allow
DSE to be much more aggressive about optimizing them.

llvm-svn: 120406
 2010-11-30 07:23:21 +00:00
Chris Lattner
56b0cc6974 merge one more away 
llvm-svn: 120375
 2010-11-30 01:06:43 +00:00
Chris Lattner
8e2909e4d8 I already merged partial-overwrite.ll -> PartialStore.ll 
Merge context-sensitive.ll -> simple.ll and upgrade it.

llvm-svn: 120374
 2010-11-30 01:05:07 +00:00
Chris Lattner
496eacefab clean up DSE tests, removing some poorly reduced and useless old test, 
merging more into other larger .ll files, filecheckizing along the way.

llvm-svn: 120373
 2010-11-30 01:00:34 +00:00
Chris Lattner
083731f3d6 enhance basicaa to return "Mod" for a memcpy call when the 
queried location doesn't overlap the source, and add a testcase.

llvm-svn: 120370
 2010-11-30 00:43:16 +00:00
Chris Lattner
8ec1830a01 Teach basicaa that memset's modref set is at worst "mod" and never 
contains "ref".

Enhance DSE to use a modref query instead of a store-specific hack
to generalize the "ignore may-alias stores" optimization to handle
memset and memcpy.

llvm-svn: 120368
 2010-11-30 00:28:45 +00:00
Chris Lattner
975dcf5ac8 my previous patch would cause us to start deleting some volatile 
stores, fix and add a testcase.

llvm-svn: 120363
 2010-11-30 00:12:39 +00:00
Benjamin Kramer
84bf47f2d8 Fix some broken CHECK lines. 
llvm-svn: 120332
 2010-11-29 22:34:55 +00:00
Chris Lattner
2f8a9e1eac fix PR8677, patch by Jakub Staszak! 
llvm-svn: 120325
 2010-11-29 21:59:31 +00:00
Chris Lattner
3a0edfb37c implement PR8576, deleting dead stores with intervening may-alias stores. 
llvm-svn: 119927
 2010-11-21 07:34:32 +00:00
Chris Lattner
32a16bce7a file checkize 
llvm-svn: 119926
 2010-11-21 07:32:40 +00:00
Dan Gohman
bc5a716f10 Enhance DSE to handle the case where a free call makes more than 
one store dead. This is especially noticeable in
SingleSource/Benchmarks/Shootout/objinst.

llvm-svn: 118875
 2010-11-12 02:19:17 +00:00
Dan Gohman
2cf0e523cb Filecheckize. 
llvm-svn: 118874
 2010-11-12 02:02:39 +00:00
Dan Gohman
6aff5b94ff Make BasicAliasAnalysis a normal AliasAnalysis implementation which 
does normal initialization and normal chaining. Change the default
AliasAnalysis implementation to NoAlias.

Update StandardCompileOpts.h and friends to explicitly request
BasicAliasAnalysis.

Update tests to explicitly request -basicaa.

llvm-svn: 116720
 2010-10-18 18:04:47 +00:00
Chris Lattner
23334439e9 add newlines at the end of files. 
llvm-svn: 100705
 2010-04-07 22:53:17 +00:00
Chris Lattner
a087e6e82f Make DSE only scan blocks that are reachable from the entry 
block.  Other blocks may have pointer cycles that will crash
basicaa and other alias analyses.  In any case, there is no
point wasting cycles optimizing dead blocks.  This fixes 
rdar://7635088

llvm-svn: 95852
 2010-02-11 05:11:54 +00:00
Dan Gohman
5fa04f2707 Delete useless trailing semicolons. 
llvm-svn: 92740
 2010-01-05 17:55:26 +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
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
Nick Lewycky
ff44d9d88a Teach memdep to look for memory use intrinsics during dependency queries. Fixes 
PR5574.

llvm-svn: 90045
 2009-11-28 21:27:49 +00:00
Chris Lattner
f825d5d176 implement a FIXME: limit the depth that DecomposeGEPExpression goes the same 
way that getUnderlyingObject does it. 

This fixes the 'DecomposeGEPExpression and getUnderlyingObject disagree!' 
assertion on sqlite3.

llvm-svn: 90038
 2009-11-28 15:12:41 +00:00
Nick Lewycky
fba1efd298 Teach BasicAA that a constant expression can't alias memory provably not 
allocated until runtime (such as an alloca). Patch by Hans Wennborg!

llvm-svn: 88760
 2009-11-14 06:15:14 +00:00
Duncan Sands
732a2ed037 Teach DSE to eliminate useless trampolines. 
llvm-svn: 86683
 2009-11-10 13:49:50 +00:00
Nick Lewycky
f6be02e523 Reapply r86359, "Teach dead store elimination that certain intrinsics write to 
memory just like a store" with bug fixed (partial-overwrite.ll is the
regression test).

llvm-svn: 86667
 2009-11-10 06:46:40 +00:00
Chris Lattner
c9fb52966e remove empty files. 
llvm-svn: 86392
 2009-11-07 18:03:32 +00:00
Chris Lattner
15b00179d0 Revert r86359, it is breaking the self host on the 
llvm-gcc-i386-darwin9 build bot.

llvm-svn: 86391
 2009-11-07 17:59:32 +00:00
Nick Lewycky
80180a0497 Teach dead store elimination that certain intrinsics write to memory just like 
a store.

llvm-svn: 86359
 2009-11-07 08:34:40 +00:00
Chris Lattner
a003aee613 improve DSE when TargetData is not around, based on work by 
Hans Wennborg!

llvm-svn: 86067
 2009-11-04 23:20:12 +00:00
Kenneth Uildriks
e711736014 Make opt default to not adding a target data string and update tests that depend on target data to supply it within the test 
llvm-svn: 85900
 2009-11-03 15:29:06 +00:00
Owen Anderson
cfb2c9edeb Treat lifetime begin/end markers as allocations/frees respectively for the 
purposes for GVN/DSE.

llvm-svn: 85383
 2009-10-28 07:05:35 +00:00
Dan Gohman
205b641954 Change tests from "opt %s" to "opt < %s" so that opt doesn't see the 
input filename so that opt doesn't print the input filename in the
output so that grep lines in the tests don't unintentionally match
strings in the input filename.

llvm-svn: 81537
 2009-09-11 18:01:28 +00:00
Dan Gohman
c95df8b6d8 Use opt -S instead of piping bitcode output through llvm-dis. 
llvm-svn: 81257
 2009-09-08 22:34:10 +00:00
Dan Gohman
8d84372836 Change these tests to feed the assembly files to opt directly, instead 
of using llvm-as, now that opt supports this.

llvm-svn: 81226
 2009-09-08 16:50:01 +00:00
Chris Lattner
30341209de fix PR4815: some cases where DeleteDeadInstruction can delete 
the instruction BBI points to.

llvm-svn: 80768
 2009-09-02 06:31:02 +00:00
Dan Gohman
5f6f8101d5 Split the Add, Sub, and Mul instruction opcodes into separate 
integer and floating-point opcodes, introducing
FAdd, FSub, and FMul.

For now, the AsmParser, BitcodeReader, and IRBuilder all preserve
backwards compatability, and the Core LLVM APIs preserve backwards
compatibility for IR producers. Most front-ends won't need to change
immediately.

This implements the first step of the plan outlined here:
http://nondot.org/sabre/LLVMNotes/IntegerOverflow.txt

llvm-svn: 72897
 2009-06-04 22:49:04 +00:00
Chris Lattner
022b15083b Reimplement the inner loop of DSE. It now uniformly uses getDependence(), 
doesn't do its own local caching, and is slightly more aggressive about
free/store dse (see testcase).  This eliminates the last external client 
of MemDep::getDependenceFrom().

llvm-svn: 60619
 2008-12-06 00:53:22 +00:00
Chris Lattner
f3e49f038c Fix a thinko that manifested as a crash on clamav last night. 
llvm-svn: 60251
 2008-11-29 20:29:04 +00:00
Chris Lattner
494758e720 Fix PR3141 by ensuring that MemoryDependenceAnalysis::removeInstruction 
properly updates the reverse dependency map when it installs updated 
dependencies for instructions that depend on the removed instruction.

llvm-svn: 60222
 2008-11-28 22:51:08 +00:00
Owen Anderson
4d84a90fa9 Add support for eliminating stores that store the same value that was just loaded. 
This fixes PR2599.

llvm-svn: 54133
 2008-07-28 16:14:26 +00:00
Gabor Greif
807c2df887 sabre brings to my attention that the 'tr' suffix is also obsolete 
llvm-svn: 51349
 2008-05-20 21:00:03 +00:00
Gabor Greif
d8a4dbb5da Rename the last test with .llx extension to .ll, resolve duplicate test by renaming to isnan2. Now that no test has llx ending there is no need to search for them from dg.exp too. 
llvm-svn: 51328
 2008-05-20 19:52:04 +00:00
Dan Gohman
04e2b94842 Update old-style syntax in some "not grep" tests. 
llvm-svn: 50560
 2008-05-01 23:50:07 +00:00
Dan Gohman
9e4db7f0bd Fix DSE to not eliminate volatile loads with no uses. 
llvm-svn: 50370
 2008-04-28 19:51:27 +00:00
Chris Lattner
a9d8d647ca rename *.llx -> *.ll, last batch. 
llvm-svn: 49971
 2008-04-19 22:32:52 +00:00
Tanya Lattner
c072619922 Remove llvm-upgrade and update test cases. 
llvm-svn: 47793
 2008-03-01 09:15:35 +00:00
Owen Anderson
ad9a347656 Make DSE much more aggressive by performing DCE earlier. Update a testcase to reflect this increased aggressiveness. 
llvm-svn: 46542
 2008-01-30 01:24:47 +00:00