RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-26 22:42:46 +02:00
Code Issues Projects Releases Wiki Activity
63,126 Commits 4 Branches 5 Tags 704 MiB
9135b410fe
Commit Graph

3292 Commits

Author SHA1 Message Date
Dan Gohman
9135b410fe Implement AccessesArguments checking in the two-callsite form 
of BasicAA::getModRefInfo. This allows BasicAA to say that two
memset calls to non-aliasing memory locations don't interfere.

llvm-svn: 110393
 2010-08-05 23:34:50 +00:00
Dan Gohman
db40449189 Yes, we can do better, but this is not the place for it. 
llvm-svn: 110391
 2010-08-05 23:23:32 +00:00
Owen Anderson
86690fa988 Add the beginnings of infrastructure for range tracking. 
llvm-svn: 110388
 2010-08-05 22:59:19 +00:00
Owen Anderson
68ee87e057 Split the tag and value members of LVILatticeVal in preparation for expanding the lattice to something that won't fit in two bits. 
llvm-svn: 110383
 2010-08-05 22:10:46 +00:00
Dan Gohman
7260387710 Fix memdep's code for reasoning about dependences between two calls. A Ref 
response from getModRefInfo is not useful here. Instead, check for identical
calls only in the NoModRef case.

Reapply r110270, and strengthen it to compensate for the memdep changes.
When both calls are readonly, there is no dependence between them.

llvm-svn: 110382
 2010-08-05 22:09:15 +00:00
Dan Gohman
c42ed0aa91 Revert r110270 for now. It appears to uncover a memdep bug. 
llvm-svn: 110293
 2010-08-05 00:43:10 +00:00
Dan Gohman
fc6b043376 The trouble with testing for "ModRef" and "NoModRef" is that 
one is a suffix of the other, and FileCheck accepts superstrings.
Adjust the output to avoid this problem.

llvm-svn: 110280
 2010-08-04 23:37:55 +00:00
Dan Gohman
dcb6099f9e The two-callsite form of AliasAnalysis::getModRefInfo is documented 
to return Ref if the left callsite only reads memory read or written
by the right callsite; fix BasicAliasAnalysis to implement this.

Add AliasAnalysisEvaluator support for testing the two-callsite
form of getModRefInfo.

llvm-svn: 110270
 2010-08-04 22:56:29 +00:00
Dan Gohman
bafce59252 Fix a minor bug which resulted in intermediate calculations 
using wider types than are necessary.

llvm-svn: 110241
 2010-08-04 19:52:50 +00:00
Torok Edwin
967fc5164f Add a missing function. 
llvm-svn: 110195
 2010-08-04 11:42:45 +00:00
Dan Gohman
aac19e4ffe Remove PointerAccessInfo, which nothing was using. 
llvm-svn: 110167
 2010-08-03 23:08:10 +00:00
Dan Gohman
a087b90950 Thread const correctness through a bunch of AliasAnalysis interfaces and 
eliminate several const_casts.

Make CallSite implicitly convertible to ImmutableCallSite.

Rename the getModRefBehavior for intrinsic IDs to
getIntrinsicModRefBehavior to avoid overload ambiguity with CallSite,
which happens to be implicitly convertible to bool.

llvm-svn: 110155
 2010-08-03 21:48:53 +00:00
Dan Gohman
3ea223305c The singular of "indices" is "index". 
llvm-svn: 110135
 2010-08-03 20:23:52 +00:00
Dan Gohman
b0d9b03b13 Delete an unused function. 
llvm-svn: 110134
 2010-08-03 20:20:56 +00:00
Dan Gohman
10d085dcba Make AliasAnalysis::getModRefInfo conservative in the face of volatility. 
llvm-svn: 110120
 2010-08-03 17:27:43 +00:00
Dan Gohman
03b02a1ee1 Fix a typo Devang noticed. 
llvm-svn: 110115
 2010-08-03 16:48:31 +00:00
Michael J. Spencer
5878996848 Fix CMake build 
llvm-svn: 110097
 2010-08-03 02:38:20 +00:00
Dan Gohman
6604a72154 Introduce a symbolic constant for ~0u for use with AliasAnalysis. 
llvm-svn: 110091
 2010-08-03 01:03:11 +00:00
Dan Gohman
e0489ffe8e Add a convenient form of AliasAnalysis::alias for the case where the sizes 
are unknown.

llvm-svn: 110090
 2010-08-03 00:56:30 +00:00
Dan Gohman
68ac0492a4 Make SCEVUnknown a CallbackVH, so that it can be notified directly 
of Value deletions and RAUWs, instead of relying on ScalarEvolution's
Scalars map being notified, as that's complicated at best, and
insufficient in general.

This means SCEVUnknown needs a non-trivial destructor, so introduce
a mechanism to allow ScalarEvolution to locate all the SCEVUnknowns.

llvm-svn: 110086
 2010-08-02 23:49:30 +00:00
Dan Gohman
9d80b87a4d Sketch up a preliminary Type-Based Alias Analysis implementation. 
llvm-svn: 110077
 2010-08-02 23:11:01 +00:00
Dan Gohman
abb2503036 Add a lint check for indirectbr with no successors. 
llvm-svn: 110074
 2010-08-02 23:06:43 +00:00
Devang Patel
f18faa5945 Add explicit constructors. Patch by Renato Golin. 
llvm-svn: 110072
 2010-08-02 22:51:46 +00:00
Dan Gohman
213f64b54c Fix namespace polution. 
llvm-svn: 110056
 2010-08-02 18:50:06 +00:00
Oscar Fuentes
4742c01c2a Prefix next' iterator operation with llvm::'. 
Fixes potential ambiguity problems on VS 2010.

Patch by nobled!

llvm-svn: 110029
 2010-08-02 06:00:15 +00:00
Owen Anderson
e1aed29cca Add an initial implementation of PHI translation for LazyValueInfo. This involves rolling back some 
of my earlier data structure improvements until I can ensure that there are no iterator invalidation problems.

llvm-svn: 109935
 2010-07-30 23:59:40 +00:00
Owen Anderson
4e6f48d705 Revert my last two patches to LVI, which recent changes have exposed a miscompilation in. 
llvm-svn: 109889
 2010-07-30 20:56:07 +00:00
Eric Christopher
6a1da7b4a5 Speculatively revert r109705 since it seems to be causing some build bot 
angst.

llvm-svn: 109718
 2010-07-29 01:25:38 +00:00
Dan Gohman
ea1486b53c Factor out some of the code for updating old SCEVUnknown values, and 
extend it to handle the case where multiple RAUWs affect a single
SCEVUnknown.

Add a ScalarEvolution unittest to test for this situation.

llvm-svn: 109705
 2010-07-29 00:17:55 +00:00
Owen Anderson
712152a68e Pass the queried value by argument rather than in a member, in preparation for supporting PHI translation. 
llvm-svn: 109701
 2010-07-28 23:50:08 +00:00
Owen Anderson
670fd343a5 Get rid of LVIQuery as a distinct data structure, so that we don't have to initialize a new set of maps on every query. 
llvm-svn: 109679
 2010-07-28 22:07:25 +00:00
Daniel Dunbar
111cf008aa RegionInfo: Make sure to free cached nodes; Tobias, please check! 
llvm-svn: 109650
 2010-07-28 20:28:50 +00:00
Gabor Greif
4909c0a1f1 simplify 
llvm-svn: 109585
 2010-07-28 15:31:37 +00:00
Gabor Greif
9bb43864b1 use Value* constructor of CallSite to create potentially improper site, and test that 
llvm-svn: 109580
 2010-07-28 12:35:54 +00:00
Gabor Greif
f6966fafe3 use Value* constructor of CallSite to create potentially improper site 
llvm-svn: 109579
 2010-07-28 12:19:46 +00:00
Gabor Greif
e27a194ce5 simplify 
llvm-svn: 109578
 2010-07-28 10:57:28 +00:00
Gabor Greif
6dc7dec8c1 simplify 
llvm-svn: 109577
 2010-07-28 10:46:09 +00:00
Dan Gohman
2bea1e1572 Make SCEVCallbackVH::allUsesReplacedWith update the old SCEVUnknown 
object, as it may still be referenced by SCEVs not cleaned up by the
use list traversal.

Also, in ScalarEvolution::forgetValue, only check for a SCEVUnknown
object for the original value, not for any value in the use list,
because other SCEVUnknown values aren't necessary obsolete at that
point.

llvm-svn: 109570
 2010-07-28 01:09:07 +00:00
Dan Gohman
9a6ea54d94 Make SCEVCallbackVH::allUsesReplacedWith unconditionally delete 
the old value.

llvm-svn: 109567
 2010-07-28 00:28:25 +00:00
Owen Anderson
2d39891e91 Rearrange several datastructures in LazyValueInfo to improve compile time. 
This is still not perfect, but better than it was before.

llvm-svn: 109563
 2010-07-27 23:58:11 +00:00
Gabor Greif
ec0c7b2427 reintroduce original (asserting) semantics of CallSite(Instruction *II) 
add instead a CallSite(Value* V) constructor that is consistent with ImmutableCallSize
and use that one in client code

llvm-svn: 109553
 2010-07-27 22:53:28 +00:00
Gabor Greif
8c197e5dbb recommit simplification (originally r109504, backed out in r109508) now that problem in CallSiteBase is fixed 
llvm-svn: 109547
 2010-07-27 22:02:00 +00:00
Gabor Greif
981f3d3a31 back out r109504, breaks the bots 
llvm-svn: 109508
 2010-07-27 15:18:11 +00:00
Gabor Greif
90a627cfaa simplify 
llvm-svn: 109504
 2010-07-27 14:38:38 +00:00
Gabor Greif
aaf68e2e5a use ImmutableCallSite for const-corrgoodness 
llvm-svn: 109503
 2010-07-27 14:15:29 +00:00
Tobias Grosser
ebc6c0cf50 RegionInfo: Add getMaxRegionExit() 
getMaxRegionExit returns the exit of the maximal refined region starting
at a specific basic block.

llvm-svn: 109496
 2010-07-27 08:39:43 +00:00
Tobias Grosser
16789d79fe Add function to query RegionInfo about loops. 
* contains(Loop), * getOutermostLoop()
* Improve getNameStr() to return a sensible name, if basic blocks are not named.

llvm-svn: 109490
 2010-07-27 04:17:13 +00:00
Owen Anderson
12ab6162bf Add an initial implementation of LazyValueInfo updating for JumpThreading. Disabled for now. 
llvm-svn: 109424
 2010-07-26 18:48:03 +00:00
Dan Gohman
9e0ae022d2 Fix SCEVExpander::visitAddRecExpr so that it remembers the induction variable 
it inserted rather than using LoopInfo::getCanonicalInductionVariable to
rediscover it, since that doesn't work on non-canonical loops. This fixes
infinite recurrsion on such loops; PR7562.

llvm-svn: 109419
 2010-07-26 18:28:14 +00:00
Dan Gohman
0627594a67 Use DominatorTree::properlyDominates instead of dominates with an 
explicit inequality check.

llvm-svn: 109398
 2010-07-26 17:34:05 +00:00