mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-09 22:26:04 +00:00
Code Issues Projects Releases Wiki Activity
119,671 Commits 1,258 Branches 288 Tags
Commit Graph

172 Commits

Author SHA1 Message Date
Andrew Trick
f730f39f3f Cleanup comments and argument types related to my previous replaceCongruentPhis checkin. 
llvm-svn: 147709
 2012-01-07 01:29:21 +00:00
Andrew Trick
5adedf5d47 Extended replaceCongruentPhis to handle mixed phi types. 
llvm-svn: 147707
 2012-01-07 01:12:09 +00:00
Andrew Trick
881a776875 Expose isNonConstantNegative to users of ScalarEvolution. 
llvm-svn: 147700
 2012-01-07 00:27:31 +00:00
Andrew Trick
b8045cbcb1 SCEVExpander: hoistStep should check strict dominance. 
llvm-svn: 147683
 2012-01-06 21:23:43 +00:00
Andrew Trick
cbcc98fb50 Fix SCEVExpander to handle loops with no preheader when LSR gives it a 
"phony" insertion point.

Fixes rdar://10619599: "SelectionDAGBuilder shouldn't visit PHI nodes!" assert

llvm-svn: 147439
 2012-01-02 21:25:10 +00:00
Andrew Trick
b9aa26f8ea LSR: Fix another corner case in expansion of postinc users. 
Fixes PR11571: Instruction does not dominate all uses

llvm-svn: 146950
 2011-12-20 01:42:24 +00:00
Andrew Trick
e0ced62119 LSR: Fold redundant bitcasts on-the-fly. 
llvm-svn: 146597
 2011-12-14 22:07:19 +00:00
Andrew Trick
ceafa2c746 LSR: handle the expansion of phi operands that use postinc forms of the IV. 
Fixes PR11431: SCEVExpander::expandAddRecExprLiterally(const llvm::SCEVAddRecExpr*): Assertion `(!isa<Instruction>(Result) || SE.DT->dominates(cast<Instruction>(Result), Builder.GetInsertPoint())) && "postinc expansion does not dominate use"' failed.

llvm-svn: 145482
 2011-11-30 06:07:54 +00:00
Andrew Trick
fd4ca0f4ac Fix SCEVExpander assert during LSR: "argument of incompatible type". 
Just because we're dealing with a GEP doesn't mean we can assert the
SCEV has a pointer type. The fix is simply to ignore the SCEV pointer
type, which we really didn't need.
Fixes PR11138 webkit crash.

llvm-svn: 142058
 2011-10-15 06:19:55 +00:00
Andrew Trick
870c1a3f15 Reapply r141870, SCEV expansion of post-inc. 
Speculatively reapply to see if this test case still crashes on
linux. I may have fixed it in my last checkin.

llvm-svn: 141895
 2011-10-13 21:55:29 +00:00
Andrew Trick
41c253c35c Revert r141870. The test case crashes on linux with data corruption. A deeper issue was exposed. 
llvm-svn: 141873
 2011-10-13 17:58:24 +00:00
Andrew Trick
e15d6e14e3 LSR: Reuse the post-inc expansion of expressions. 
This avoids unnecessary expansion of expressions and allows the SCEV
expander to work on expression DAGs, not just trees.
Fixes PR11090.

llvm-svn: 141870
 2011-10-13 17:31:47 +00:00
Andrew Trick
f9201c572e Move replaceCongruentIVs into SCEVExapander and bias toward "expanded" 
IVs.

Indvars previously chose randomly between congruent IVs. Now it will
bias the decision toward IVs that SCEVExpander likes to create. This
was not done to fix any problem, it's just a welcome side effect of
factoring code.

llvm-svn: 141633
 2011-10-11 02:28:51 +00:00
Andrew Trick
eef7308df6 Add an extra safety check in front of the optimization in r141442. 
llvm-svn: 141470
 2011-10-08 02:16:39 +00:00
Andrew Trick
7fb669ab48 LSR should only reuse phis that match its formula. 
Fixes rdar://problem/5064068

llvm-svn: 141442
 2011-10-07 23:46:21 +00:00
Benjamin Kramer
547b6c5ecd Stop emitting instructions with the name "tmp" they eat up memory and have to be uniqued, without any benefit. 
If someone prefers %tmp42 to %42, run instnamer.

llvm-svn: 140634
 2011-09-27 20:39:19 +00:00
Bill Wendling
86c5cbe613 Skip the landingpad instruction when determining the insertion point. 
llvm-svn: 138481
 2011-08-24 21:06:46 +00:00
Bill Wendling
8ddfc09e7a Use the getFirstInsertionPt() method instead of getFirstNonPHI + an 'isa<>' 
check for a LandingPadInst.

llvm-svn: 137745
 2011-08-16 20:45:24 +00:00
Bill Wendling
be33e8d58d A few places where we want to skip the landingpad instruction for insertion. 
llvm-svn: 137712
 2011-08-16 04:52:55 +00:00
Jay Foad
040dd82f44 Convert IRBuilder::CreateGEP and IRBuilder::CreateInBoundsGEP to use 
ArrayRef.

llvm-svn: 135761
 2011-07-22 08:16:57 +00:00
Jay Foad
ed8db7d9df Convert ConstantExpr::getGetElementPtr and 
ConstantExpr::getInBoundsGetElementPtr to use ArrayRef.

llvm-svn: 135673
 2011-07-21 14:31:17 +00:00
Chris Lattner
229907cd11 land David Blaikie's patch to de-constify Type, with a few tweaks. 
llvm-svn: 135375
 2011-07-18 04:54:35 +00:00
Benjamin Kramer
a7606b993c Silence compiler warnings. 
llvm-svn: 135358
 2011-07-16 22:26:27 +00:00
Andrew Trick
244e2c3e82 Fix SCEVEXpander to handle arbitrary phi expansion. Includes two 
related bug fixes and corresponding assertions for uninitialized data
and missing NULL check. Test cases will be included with the new LFTR.

llvm-svn: 135333
 2011-07-16 00:59:39 +00:00
Devang Patel
c3239d3965 Preserve debug loc. 
llvm-svn: 134441
 2011-07-05 21:48:22 +00:00
Andrew Trick
154d78a661 Cleanup. Fix a stupid variable name. 
llvm-svn: 133995
 2011-06-28 05:41:52 +00:00
Andrew Trick
411daa5e81 SCEVExpander: give new insts a name that identifies the reponsible pass. 
llvm-svn: 133992
 2011-06-28 05:07:32 +00:00
Devang Patel
ccf8dbf885 New binops need debug loc. 
llvm-svn: 133642
 2011-06-22 20:56:56 +00:00
Jay Foad
52131344a2 Remove PHINode::reserveOperandSpace(). Instead, add a parameter to 
PHINode::Create() giving the (known or expected) number of operands.

llvm-svn: 128537
 2011-03-30 11:28:46 +00:00
Jay Foad
e0938d8a87 (Almost) always call reserveOperandSpace() on newly created PHINodes. 
llvm-svn: 128535
 2011-03-30 11:19:20 +00:00
Andrew Trick
8b55b736b1 Added SCEV::NoWrapFlags to manage unsigned, signed, and self wrap 
properties.
Added the self-wrap flag for SCEV::AddRecExpr.
A slew of temporary FIXMEs indicate the intention of the no-self-wrap flag
without changing behavior in this revision.

llvm-svn: 127590
 2011-03-14 16:50:06 +00:00
Dan Gohman
aa036eedb8 When decling to reuse existing expressions that involve casts, ignore 
bitcasts, which are really no-ops here. This fixes slowdowns on
MultiSource/Applications/aha and others.

llvm-svn: 127031
 2011-03-04 20:46:46 +00:00
Dan Gohman
7290868a1b Don't re-use existing addrec expansions if they contain casts. 
This fixes PR9259.

llvm-svn: 126812
 2011-03-02 01:34:10 +00:00
Dan Gohman
8ea83d81e0 Introduce memoization for ScalarEvolution dominates and properlyDominates 
queries, and SCEVExpander getRelevantLoop queries.

llvm-svn: 119595
 2010-11-18 00:34:22 +00:00
Dan Gohman
20d9ce21ef Move SCEV::dominates and properlyDominates to ScalarEvolution. 
llvm-svn: 119570
 2010-11-17 21:41:58 +00:00
Dan Gohman
afd6db9932 Move SCEV::isLoopInvariant and hasComputableLoopEvolution to be member 
functions of ScalarEvolution, in preparation for memoization and
other optimizations.

llvm-svn: 119562
 2010-11-17 21:23:15 +00:00
Dan Gohman
cd83870faf 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
31158756e4 Simplify this code; LoopInfo::getCanonicalInductionVariable will only 
find integer induction variables.

llvm-svn: 108853
 2010-07-20 16:46:58 +00:00
Dan Gohman
4fd92434f1 Make getOrInsertCanonicalInductionVariable guarantee that its 
result is a PHINode*.

llvm-svn: 108852
 2010-07-20 16:44:52 +00:00
Dan Gohman
fbbdfcaea7 Fix the order that SCEVExpander considers add operands in so that 
it doesn't miss an opportunity to form a GEP, regardless of the
relative loop depths of the operands. This fixes rdar://8197217.

llvm-svn: 108475
 2010-07-15 23:38:13 +00:00
Gabor Greif
8e66a42784 remove useless cast and fix typos in comment 
llvm-svn: 107989
 2010-07-09 16:42:04 +00:00
Gabor Greif
3b740e9085 cache result of operator* 
llvm-svn: 107988
 2010-07-09 16:39:02 +00:00
Gabor Greif
e82532a1c5 cache result of operator* 
llvm-svn: 107976
 2010-07-09 15:40:10 +00:00
Dan Gohman
37f145c55b Simplify. 
llvm-svn: 107248
 2010-06-30 06:09:46 +00:00
Dan Gohman
dd41bba517 Use A.append(...) instead of A.insert(A.end(), ...) when A is a 
SmallVector, and other SmallVector simplifications.

llvm-svn: 106452
 2010-06-21 19:47:52 +00:00
Dan Gohman
c515ab1eb2 Restore a call to rememberInstruction which was accidentally dropped 
in refactoring.

llvm-svn: 106398
 2010-06-19 22:50:35 +00:00
Dan Gohman
d277246137 Factor out duplicated code for reusing and inserting casts into 
a helper function.

llvm-svn: 106388
 2010-06-19 13:25:23 +00:00
Jim Grosbach
fd3b4e7390 A few more places where SCEVExpander bits need to skip over debug intrinsics 
when iterating through instructions. Yet more work for rdar://7797940

llvm-svn: 106149
 2010-06-16 21:13:38 +00:00
Dan Gohman
bbfb6aca92 LSR needs to remember inserted instructions even in postinc mode, because 
there could be multiple subexpressions within a single expansion which
require insert point adjustment. This fixes PR7306.

llvm-svn: 105510
 2010-06-05 00:33:07 +00:00
Dan Gohman
1d2ded75e2 Use getConstant instead of getIntegerSCEV. The two are basically the 
same, now that getConstant has overloads consistent with ConstantInt::get.

llvm-svn: 102965
 2010-05-03 22:09:21 +00:00