shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
61,478 Commits 1,712 Branches 298 Tags
Commit Graph

310 Commits

Author SHA1 Message Date
Eli Friedman
ebf98b0212 Allow scalar evolution to compute iteration counts for loops with a 
pointer-based condition.  This fixes PR3171.

llvm-svn: 71354
 2009-05-09 12:32:42 +00:00
Duncan Sands
af9eaa830a Rename PaddedSize to AllocSize, in the hope that this 
will make it more obvious what it represents, and stop
it being confused with the StoreSize.

llvm-svn: 71349
 2009-05-09 07:06:46 +00:00
Dan Gohman
30f24fe769 Don't attempt to handle unsized types in ScalarEvolution's GEP analyzer. 
llvm-svn: 71302
 2009-05-09 00:14:52 +00:00
Dan Gohman
35dc9b65ed Fix bogus overflow checks by replacing them with actual 
overflow checks.

llvm-svn: 71284
 2009-05-08 23:11:16 +00:00
Dan Gohman
2e55cc5a4a Fold trunc casts into add-recurrence expressions, allowing the 
add-recurrence to be exposed. Add a new SCEV folding rule to
help simplify expressions in the presence of these extra truncs.

llvm-svn: 71264
 2009-05-08 21:03:19 +00:00
Dan Gohman
c05bb947c4 Fix another bug in r71252. This code supports GetElementPtr 
constant exprs as well as instructions.

llvm-svn: 71262
 2009-05-08 20:58:38 +00:00
Dan Gohman
5122d6152e Add memoization for getSCEVAtScope results for instructions 
which are not analyzed with SCEV techniques, which can require
brute-forcing through a large number of instructions. This
fixes a massive compile-time issue on 400.perlbench (in
particular, the loop in MD5Transform).

llvm-svn: 71259
 2009-05-08 20:47:27 +00:00
Dan Gohman
b81f47d191 Make the SCEV* form of getSCEVAtScope public, to allow ScalarEvolution 
clients to use it.

llvm-svn: 71258
 2009-05-08 20:38:54 +00:00
Dan Gohman
2173bd3f34 Fix an error from r71252. 
llvm-svn: 71255
 2009-05-08 20:36:47 +00:00
Dan Gohman
ee750d142d Factor out the code for creating SCEVs for GEPs into a 
separate function.

llvm-svn: 71252
 2009-05-08 20:26:55 +00:00
Dan Gohman
c3a3cb47d2 Implement several new SCEV folding rules for UDiv SCEVs. 
This fixes an old FIXME, and is needed by some upcoming changes.

llvm-svn: 71247
 2009-05-08 20:18:49 +00:00
Dan Gohman
64f756b48c SCEVComplexityCompare's new code was missing SCEVUDivExpr. Implement 
the SCEVUDivExpr case.

llvm-svn: 71173
 2009-05-07 19:23:21 +00:00
Dan Gohman
9ba542c325 Make ScalarEvolution's GroupByComplexity more thorough. In addition 
to sorting SCEVs by their kind, sort SCEVs of the same kind according
to their operands. This helps avoid things like (a+b) being a distinct
expression from (b+a).

llvm-svn: 71160
 2009-05-07 14:39:04 +00:00
Dan Gohman
4f2e69c229 Trim unnecessary headers. Code in Analysis shouldn't use Transforms 
headers due to library dependencies.

llvm-svn: 71159
 2009-05-07 14:30:26 +00:00
Dan Gohman
c6bb55ba53 Factor out a common base class between SCEVCommutativeExpr and 
SCEVAddRecExpr. This eliminates redundant code for visiting
all the operands of an expression.

llvm-svn: 71157
 2009-05-07 14:00:19 +00:00
Dan Gohman
39b480cea0 Use stable_sort instead of plain sort to avoid the risk of generating 
trivially different code on different hosts (due to differing
std::sort implementations).

llvm-svn: 71124
 2009-05-06 22:54:33 +00:00
Dan Gohman
48f8222293 Re-apply 70645, converting ScalarEvolution to use 
CallbackVH, with fixes. allUsesReplacedWith need to
walk the def-use chains and invalidate all users of a
value that is replaced. SCEVs of users need to be
recalcualted even if the new value is equivalent. Also,
make forgetLoopPHIs walk def-use chains, since any
SCEV that depends on a PHI should be recalculated when
more information about that PHI becomes available.

llvm-svn: 70927
 2009-05-04 22:30:44 +00:00
Dan Gohman
fc2a8d1eb0 Fix an 80-column violation. 
llvm-svn: 70925
 2009-05-04 22:23:18 +00:00
Dan Gohman
4b56fab92b Fix doxygen comment syntax. 
llvm-svn: 70924
 2009-05-04 22:20:30 +00:00
Dan Gohman
a30370bc33 Constify a bunch of SCEV-using code. 
llvm-svn: 70919
 2009-05-04 22:02:23 +00:00
Dan Gohman
5036695c32 Revert r70645 for now; it's causing a variety of regressions. 
llvm-svn: 70661
 2009-05-03 05:46:20 +00:00
Dan Gohman
e9a38d16fe Convert ScalarEvolution to use CallbackVH for its internal map. This 
makes ScalarEvolution::deleteValueFromRecords, and it's code that
subtly needed to be called before ReplaceAllUsesWith, unnecessary.

It also makes ValueDeletionListener unnecessary.

llvm-svn: 70645
 2009-05-02 21:19:20 +00:00
Dan Gohman
f150572af7 When ScalarEvolution is told to forget the trip count for a loop, have 
it also forget any SCEVs associated with loop-header PHIs in the loop,
as they may be dependent on trip count information.

llvm-svn: 70633
 2009-05-02 17:43:35 +00:00
Dan Gohman
7227bc88f0 When printing a SCEVUnknown with pointer type, don't print an 
artificial "ptrtoint", as it tends to clutter up complicated
expressions. The cast operators now print both source and
destination types, which is usually sufficient.

llvm-svn: 70554
 2009-05-01 17:02:22 +00:00
Dan Gohman
90f73564d0 Fix an 80-column violation. 
llvm-svn: 70550
 2009-05-01 16:44:56 +00:00
Dan Gohman
194e42c612 When creating cast scevs, canonicalize the destination type. This 
avoids duplicate scevs that differ only in type.

llvm-svn: 70549
 2009-05-01 16:44:18 +00:00
Torok Edwin
83aec26ef8 hasSCEV() was declared in ScalarEvolution.h, but never defined. This must have 
gone lost during the pImpl conversion.

llvm-svn: 70536
 2009-05-01 08:33:47 +00:00
Dan Gohman
fa066ef136 Add some comments, and tidy up some whitespace. 
llvm-svn: 70510
 2009-04-30 20:48:53 +00:00
Dan Gohman
2b8da35f9d Extend ScalarEvolution's getBackedgeTakenCount to be able to 
compute an upper-bound value for the trip count, in addition to
the actual trip count. Use this to allow getZeroExtendExpr and
getSignExtendExpr to fold casts in more cases.

This may eventually morph into a more general value-range
analysis capability; there are certainly plenty of places where
more complete value-range information would allow more folding.

llvm-svn: 70509
 2009-04-30 20:47:05 +00:00
Dan Gohman
4bafc42185 Don't try to mix integers and pointers in an icmp instruction 
in getSCEVAtScope.

llvm-svn: 70495
 2009-04-30 16:40:30 +00:00
Dan Gohman
7216b9da5f Fix ScalarEvolution::print to print a value for any Instruction with 
a SCEVable type, not just integer types.

llvm-svn: 70463
 2009-04-30 01:30:18 +00:00
Dan Gohman
0098d01ef9 Implement getSCEVAtScope for SCEV cast expressions. 
llvm-svn: 70422
 2009-04-29 22:29:01 +00:00
Dan Gohman
494dac3f84 Generalize the cast-of-addrec folding to handle folding of SCEVs like 
(sext i8 {-128,+,1} to i64) to i64 {-128,+,1}, where the iteration
crosses from negative to positive, but is still safe if the trip
count is within range.

llvm-svn: 70421
 2009-04-29 22:28:28 +00:00
Dan Gohman
d9b11b2ef4 Include the source type in SCEV cast expression debug output, and 
print sext, zext, and trunc, instead of signextend, zeroextend,
and truncate, respectively, for consistency with the main IR.

llvm-svn: 70405
 2009-04-29 20:27:52 +00:00
Dale Johannesen
b0bc5c2f81 Fix recent regression in gcc.dg/pr26719.c (6835035). 
llvm-svn: 70386
 2009-04-29 16:38:47 +00:00
Dan Gohman
95c5b0e522 Update comments to reflect the current code. 
llvm-svn: 70357
 2009-04-29 01:54:20 +00:00
Dan Gohman
7646637379 Teach getZeroExtendExpr and getSignExtendExpr to use trip-count 
information to simplify [sz]ext({a,+,b}) to {zext(a),+,[zs]ext(b)},
as appropriate.

These functions and the trip count code each call into the other, so
this requires careful handling to avoid infinite recursion. During
the initial trip count computation, conservative SCEVs are used,
which are subsequently discarded once the trip count is actually
known.

Among other benefits, this change lets LSR automatically eliminate
some unnecessary zext-inreg and sext-inreg operation where the
operand is an induction variable.

llvm-svn: 70241
 2009-04-27 20:16:15 +00:00
Dan Gohman
05c1d372b7 Handle ands with ~0 correctly too. This fixes PR4052. 
llvm-svn: 70176
 2009-04-27 01:41:10 +00:00
Dan Gohman
df19948ea7 Handle ands with 0 and shifts by 0 correctly. These aren't 
common, but indvars shouldn't crash on them. This fixes PR4054.

llvm-svn: 70051
 2009-04-25 17:05:40 +00:00
Nick Lewycky
b4d9f7a9b3 Simplify trunc(extend(x)) in SCEVs, just for completeness. Also fix some odd 
whitespace in the same file.

llvm-svn: 69870
 2009-04-23 05:15:08 +00:00
Dan Gohman
79af854f55 Simplify trivial cast-of-cast SCEVs. 
llvm-svn: 69809
 2009-04-22 16:20:48 +00:00
Dan Gohman
c8e236278e De-pImpl-ify ScalarEvolution. The pImpl pattern doesn't provide much 
practical benefit in the case of ScalarEvolution, and it's otherwise
a nuisance.

llvm-svn: 69749
 2009-04-21 23:15:49 +00:00
Dan Gohman
e14efcc9f4 When turning (ashr(shl(x, n), n)) into sext(trunc(x)), the width of the 
type to truncate to should be the number of bits of the value that are
preserved, not the number that are clobbered with sign-extension.
This fixes regressions in ldecod.

llvm-svn: 69704
 2009-04-21 20:18:36 +00:00
Dan Gohman
0ec0537403 Teach ScalarEvolution how to recognize zext-inreg and sext-inreg, 
as they appear in LLVM IR. This isn't particularly interesting
on its own; this is just setting up some infrastructure.

llvm-svn: 69655
 2009-04-21 02:26:00 +00:00
Dan Gohman
c4938497b3 This FIXME is fixed, now that SCEV understands pointers. 
llvm-svn: 69651
 2009-04-21 01:41:18 +00:00
Dan Gohman
4860db61be Factor out a common base class from SCEVTruncateExpr, SCEVZeroExtendExpr, 
and SCEVSignExtendExpr.

llvm-svn: 69649
 2009-04-21 01:25:57 +00:00
Dan Gohman
49e062fcc1 Usage getAnalysisToUpdate for TargetData, per PR760. 
llvm-svn: 69645
 2009-04-21 01:11:19 +00:00
Dan Gohman
b397e1a7a2 Introduce encapsulation for ScalarEvolution's TargetData object, and refactor 
the code to minimize dependencies on TargetData.

llvm-svn: 69644
 2009-04-21 01:07:12 +00:00
Dan Gohman
413e91f440 Move some assertion checks so they can do more complete checking. 
llvm-svn: 69643
 2009-04-21 00:55:22 +00:00
Dan Gohman
e20f824565 Convert ScalarEvolution to use raw_ostream instead of OStream. 
llvm-svn: 69640
 2009-04-21 00:47:46 +00:00