Gericom/teak-llvm
1
Fork 0
mirror of https://github.com/Gericom/teak-llvm.git synced 2025-06-22 04:55:50 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity
204,180 Commits 1 Branch 0 Tags 875 MiB
b7724b95d8
Commit Graph

172 Commits

Author SHA1 Message Date
Devang Patel
6f7315b0ca Set debug loc for new preheader's terminator. 
llvm-svn: 133298
 2011-06-17 21:36:44 +00:00
Chris Lattner
0ab5e2cded 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
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
Cameron Zwarich
d8e66038f4 Rename 'loopsimplify' to 'loop-simplify'. 
llvm-svn: 125317
 2011-02-10 23:38:10 +00:00
Cameron Zwarich
b703654edc Remove code for updating dominance frontiers and some outdated references to 
dominance and post-dominance frontiers.

llvm-svn: 123725
 2011-01-18 04:11:31 +00:00
Chris Lattner
d41db8f9cb this pass claims to preserve scev, make sure to tell it about deletions. 
llvm-svn: 123247
 2011-01-11 18:14:50 +00:00
Chris Lattner
bf0aa927cc split dom frontier handling stuff out to its own DominanceFrontier header, 
so that Dominators.h is *just* domtree.  Also prune #includes a bit.

llvm-svn: 122714
 2011-01-02 22:09:33 +00:00
Duncan Sands
64f1c0dcda Fix PR8702 by not having LoopSimplify claim to preserve LCSSA form. As described 
in the PR, the pass could break LCSSA form when inserting preheaders.  It probably
would be easy enough to fix this, but since currently we always go into LCSSA form
after running this pass, doing so is not urgent.

llvm-svn: 122695
 2011-01-02 13:38:21 +00:00
Duncan Sands
aef146b890 Factor code for testing whether replacing one value with another 
preserves LCSSA form out of ScalarEvolution and into the LoopInfo
class.  Use it to check that SimplifyInstruction simplifications
are not breaking LCSSA form.  Fixes PR8622.

llvm-svn: 119727
 2010-11-18 19:59:41 +00:00
Duncan Sands
637049515f Have a few places that want to simplify phi nodes use SimplifyInstruction 
rather than calling hasConstantValue.  No intended functionality change.

llvm-svn: 119352
 2010-11-16 17:41:24 +00:00
Owen Anderson
6c18d1aac0 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
Owen Anderson
8ac477ffb5 Begin adding static dependence information to passes, which will allow us to 
perform initialization without static constructors AND without explicit initialization
by the client.  For the moment, passes are required to initialize both their
(potential) dependencies and any passes they preserve.  I hope to be able to relax
the latter requirement in the future.

llvm-svn: 116334
 2010-10-12 19:48:12 +00:00
Owen Anderson
df7a4f2515 Now with fewer extraneous semicolons! 
llvm-svn: 115996
 2010-10-07 22:25:06 +00:00
Dan Gohman
487e250109 Fix LoopSimplify to notify ScalarEvolution when splitting a loop backedge 
into an inner loop, as the new loop iteration may differ substantially.
This fixes PR8078.

llvm-svn: 113057
 2010-09-04 02:42:48 +00:00
Owen Anderson
d31d82d75c Now that PassInfo and Pass::ID have been separated, move the rest of the passes over to the new registration API. 
llvm-svn: 111815
 2010-08-23 17:52:01 +00:00
Dan Gohman
6e964c7fb4 Avoid #include <ScalarEvolution.h> in LoopSimplify.cpp, which doesn't 
actually use ScalarEvolution.

llvm-svn: 111124
 2010-08-16 14:44:03 +00:00
Dan Gohman
aa445c0751 LoopSimplify shouldn't split loop backedges that use indirectbr. PR7867. 
llvm-svn: 111061
 2010-08-14 00:43:09 +00:00
Owen Anderson
a7aed18624 Reapply r110396, with fixes to appease the Linux buildbot gods. 
llvm-svn: 110460
 2010-08-06 18:33:48 +00:00
Owen Anderson
bda59bd247 Revert r110396 to fix buildbots. 
llvm-svn: 110410
 2010-08-06 00:23:35 +00:00
Owen Anderson
755aceb5d0 Don't use PassInfo* as a type identifier for passes. Instead, use the address of the static 
ID member as the sole unique type identifier.  Clean up APIs related to this change.

llvm-svn: 110396
 2010-08-05 23:42:04 +00:00
Dan Gohman
0141c13b22 Remove LCSSA's bogus dependence on LoopSimplify and LoopSimplify's bogus 
dependence on DominanceFrontier. Instead, add an explicit DominanceFrontier
pass in StandardPasses.h to ensure that it gets scheduled at the right
time.

Declare that loop unrolling preserves ScalarEvolution, and shuffle some
getAnalysisUsages.

This eliminates one LoopSimplify and one LCCSA run in the standard
compile opts sequence.

llvm-svn: 109413
 2010-07-26 18:11:16 +00:00
Gabor Greif
59f9970ba5 keep in 80 cols 
llvm-svn: 109122
 2010-07-22 17:18:03 +00:00
Dan Gohman
efd7f9c360 Reorder the contents of various getAnalysisUsage functions, eliminating 
a redundant loopsimplify run from the default -O2 sequence.

llvm-svn: 108539
 2010-07-16 17:58:45 +00:00
Gabor Greif
e7650c7c29 cache result of operator* 
llvm-svn: 107983
 2010-07-09 16:26:41 +00:00
Gabor Greif
f0821f39ee cache operator*'s result (in multiple functions) 
llvm-svn: 107965
 2010-07-09 14:02:13 +00:00
Dan Gohman
d2d1ae105d Use pre-increment instead of post-increment when the result is not used. 
llvm-svn: 106542
 2010-06-22 15:08:57 +00:00
Devang Patel
b21991c4f5 Skip debug info intrinsics. 
llvm-svn: 98581
 2010-03-15 21:25:29 +00:00
Dan Gohman
b7e0b87441 Fix a comment. 
llvm-svn: 98122
 2010-03-10 02:18:48 +00:00
Dan Gohman
39917c7c81 Add some debug output to LoopSimplify. 
llvm-svn: 97458
 2010-03-01 17:55:27 +00:00
Dan Gohman
a9c205cc88 Make LoopSimplify change conditional branches in loop exiting blocks 
which branch on undef to branch on a boolean constant for the edge
exiting the loop. This helps ScalarEvolution compute trip counts for
loops.

Teach ScalarEvolution to recognize single-value PHIs, when safe, and
ForgetSymbolicName to forget such single-value PHI nodes as apprpriate
in ForgetSymbolicName.

llvm-svn: 97126
 2010-02-25 06:57:05 +00:00
Dan Gohman
8abb67df63 Use a SmallSetVector instead of a SetVector; this code showed up as a 
malloc caller in a profile.

llvm-svn: 95407
 2010-02-05 19:20:15 +00:00
Bob Wilson
e0da4b6cff Fix a comment typo. 
llvm-svn: 93560
 2010-01-15 21:55:02 +00:00
Chris Lattner
4edfcb88e1 revert r89298, which was committed without a testcase. I think 
the underlying PHI node insertion issue in SSAUpdate is fixed.

llvm-svn: 91821
 2009-12-21 07:45:57 +00:00
Dan Gohman
1af1954852 Update a comment. 
llvm-svn: 91645
 2009-12-18 00:28:43 +00:00
Dan Gohman
fbffe63528 Make Loop::getLoopLatch() work on loops which don't have preheaders, as 
it may be used in contexts where preheader insertion may have failed due
to an indirectbr.

Make LoopSimplify's LoopSimplify::SeparateNestedLoop properly fail in
the case that it would require splitting an indirectbr edge.

These fix PR5502.

llvm-svn: 89484
 2009-11-20 20:51:18 +00:00
Jim Grosbach
dcef55b2ef Eliminate duplicate phi nodes in loops. Loop rotation, for example, can introduce these, and it's beneficial to later passes to clean them up. 
llvm-svn: 89298
 2009-11-19 02:03:18 +00:00
Dan Gohman
928068a886 Avoid calling getUniqueExitBlocks from within LoopSimplify, as it depends 
on loops having dedicated exits, which LoopSimplify can no longer always
guarantee.

llvm-svn: 86181
 2009-11-05 21:48:32 +00:00
Dan Gohman
1ef784db67 The introduction of indirectbr meant the introduction of 
unsplittable critical edges, which means the introduction of
loops which cannot be transformed to LoopSimplify form. Fix
LoopSimplify to avoid transforming such loops into invalid
code.

llvm-svn: 86176
 2009-11-05 21:14:46 +00:00
Nick Lewycky
974e12b2d3 Remove includes of Support/Compiler.h that are no longer needed after the 
VISIBILITY_HIDDEN removal.

llvm-svn: 85043
 2009-10-25 06:57:41 +00:00
Nick Lewycky
02d5f77d26 Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces. 
Chris claims we should never have visibility_hidden inside any .cpp file but
that's still not true even after this commit.

llvm-svn: 85042
 2009-10-25 06:33:48 +00:00
Dan Gohman
ea0bb8f555 Fix this code so that it doesn't try to iterate through a std::vector 
while calling changeImmediateDominator, which removes elements from the
vector. This fixes PR5097.

llvm-svn: 83166
 2009-09-30 20:54:16 +00:00
Dan Gohman
9a7320c711 Convert LoopSimplify and LoopExtractor from FunctionPass to LoopPass. 
llvm-svn: 82990
 2009-09-28 14:37:51 +00:00
Dan Gohman
3ddbc242fb Re-apply r80926, with fixes: keep the domtree informed of new blocks 
that get created during loop unswitching, and fix SplitBlockPredecessors'
LCSSA updating code to create new PHIs instead of trying to just move
existing ones.

Also, optimize Loop::verifyLoop, since it gets called a lot. Use
searches on a sorted list of blocks instead of calling the "contains"
function, as is done in other places in the Loop class, since "contains"
does a linear search. Also, don't call verifyLoop from LoopSimplify or
LCSSA, as the PassManager is already calling verifyLoop as part of
LoopInfo's verifyAnalysis.

llvm-svn: 81221
 2009-09-08 15:45:00 +00:00
Evan Cheng
904199547b Revert r80926. It causes loop unswitch assertion and slow down some JIT tests significantly. 
llvm-svn: 81101
 2009-09-06 02:26:10 +00:00
Dan Gohman
4c1bdcf5d7 Add a verifyAnalysis to LoopInfo, LoopSimplify, and LCSSA form that verify 
that these passes are properly preserved.

Fix several transformation passes that claimed to preserve LoopSimplify
form but weren't.

llvm-svn: 80926
 2009-09-03 16:31:42 +00:00
Dan Gohman
22571485b3 Change PHINode::hasConstantValue to have a DominatorTree argument 
instead of a bool argument, and to do the dominator check itself.
This makes it eaiser to use when DominatorTree information is
available.

llvm-svn: 80920
 2009-09-03 15:34:35 +00:00
Owen Anderson
55f1c09e31 Push LLVMContexts through the IntegerType APIs. 
llvm-svn: 78948
 2009-08-13 21:58:54 +00:00
Owen Anderson
b292b8ce70 Move more code back to 2.5 APIs. 
llvm-svn: 77635
 2009-07-30 23:03:37 +00:00
Owen Anderson
47db941fd3 Get rid of the Pass+Context magic. 
llvm-svn: 76702
 2009-07-22 00:24:57 +00:00
Dan Gohman
c43e47938a Make makeLoopInvariant report whether it made any changes or not, 
and use this to simplify more code.

llvm-svn: 75722
 2009-07-15 01:25:43 +00:00
Dan Gohman
4d6149f356 Update LoopSimplify and LoopUnswitch to use the new makeLoopInvariant 
function.

llvm-svn: 75584
 2009-07-14 01:37:59 +00:00
Owen Anderson
e70b637033 More LLVMContext-ification. 
llvm-svn: 74807
 2009-07-05 22:41:43 +00:00
Dan Gohman
4dfc680059 Minor code simplification. 
llvm-svn: 74491
 2009-06-30 01:24:43 +00:00
Dan Gohman
ffdcba3dbd Remove the block from the LoopInfo, rather than just the Loop. 
LoopInfo will handle removing it from the Loop, as well as updating
its own tables.

llvm-svn: 74398
 2009-06-27 22:32:36 +00:00
Dan Gohman
c8ca49659a Teach LoopSimplify how to merge multiple loop exits into a single exit, 
when one of them can be converted to a trivial icmp and conditional
branch.

This addresses what is essentially a phase ordering problem.
SimplifyCFG knows how to do this transformation, but it doesn't do so
if the primary block has any instructions in it other than an icmp and
a branch. In the given testcase, the block contains other instructions,
however they are loop-invariant and can be hoisted. SimplifyCFG doesn't
have LoopInfo though, so it can't hoist them. And, it's important that
the blocks be merged before LoopRotation, as it doesn't support
multiple-exit loops.

llvm-svn: 74396
 2009-06-27 21:30:38 +00:00
Duncan Sands
5a913d61e3 Rename getAnalysisToUpdate to getAnalysisIfAvailable. 
llvm-svn: 63198
 2009-01-28 13:14:17 +00:00
Dan Gohman
a79db30d28 Tidy up several unbeseeming casts from pointer to intptr_t. 
llvm-svn: 55779
 2008-09-04 17:05:41 +00:00
Dan Gohman
90071075e2 Use Loop::block_iterator. 
llvm-svn: 52616
 2008-06-22 20:18:58 +00:00
Devang Patel
8549e4ca07 LoopSimplify preserves AA. 
llvm-svn: 52053
 2008-06-06 17:50:58 +00:00
Dan Gohman
0479aa5c0b Change class' public PassInfo variables to by initialized with the 
address of the PassInfo directly instead of calling getPassInfo.
This eliminates a bunch of dynamic initializations of static data.

Also, fold RegisterPassBase into PassInfo, make a bunch of its
data members const, and rearrange some code to initialize data
members in constructors instead of using setter member functions.

llvm-svn: 51022
 2008-05-13 02:05:11 +00:00
Dan Gohman
d78c400b5b Clean up the use of static and anonymous namespaces. This turned up 
several things that were neither in an anonymous namespace nor static
but not intended to be global.

llvm-svn: 51017
 2008-05-13 00:00:25 +00:00
Nick Lewycky
4d43d3c72c Remove 'unwinds to' support from mainline. This patch undoes r47802 r47989 
r48047 r48084 r48085 r48086 r48088 r48096 r48099 r48109 and r48123.

llvm-svn: 50265
 2008-04-25 16:53:59 +00:00
Chris Lattner
a5b11705b6 Move SplitBlockPredecessors out of loopsimplify into BasicBlockUtils.h 
as a global helper function.  At the same type, switch it from taking
a vector of predecessors to an arbitrary sequential input.  This allows
us to switch LoopSimplify to use a SmallVector for various temporary
vectors that it passed into SplitBlockPredecessors.

llvm-svn: 50020
 2008-04-21 01:28:02 +00:00
Chris Lattner
d418b06abf Move domtree/frontier updating earlier, allowing us to use it to update phi 
nodes, removing a hack.

llvm-svn: 50019
 2008-04-21 01:05:08 +00:00
Chris Lattner
96e9e22269 Factor dominator tree and frontier updating into SplitBlockPredecessors 
instead of doing it after every call.

llvm-svn: 50018
 2008-04-21 00:54:38 +00:00
Chris Lattner
aca912d793 simplify code, fit in 80 cols. 
llvm-svn: 50015
 2008-04-21 00:23:14 +00:00
Gabor Greif
e9ecc68d8f API changes for class Use size reduction, wave 1. 
Specifically, introduction of XXX::Create methods
for Users that have a potentially variable number of
Uses.

llvm-svn: 49277
 2008-04-06 20:25:17 +00:00
Nick Lewycky
11fc6f8765 Update the block cloner which fixes bugpoint on code using unwind_to (phew!) 
and also update the cloning interface's major user, the loop optimizations.

llvm-svn: 48088
 2008-03-09 05:24:34 +00:00
Chris Lattner
f3ebc3f3d2 Remove attribution from file headers, per discussion on llvmdev. 
llvm-svn: 45418
 2007-12-29 20:36:04 +00:00
Owen Anderson
b0dd27ee91 Make LoopInfoBase more generic, in preparation for having MachineLoopInfo. This involves a small interface change. 
llvm-svn: 44348
 2007-11-27 03:43:35 +00:00
Chris Lattner
4a15e04aee Fix PR1752 and LoopSimplify/2007-10-28-InvokeCrash.ll: terminators 
can have uses too.  Wouldn't it be nice if invoke didn't exist? :)

llvm-svn: 43426
 2007-10-29 02:30:37 +00:00
Owen Anderson
ca831a829d Move Split<...>() into DomTreeBase. This should make the #include's of DominatorInternals.h 
in CodeExtractor and LoopSimplify unnecessary.

Hartmut, could you confirm that this fixes the issues you were seeing?

llvm-svn: 43115
 2007-10-18 05:13:52 +00:00
Hartmut Kaiser
2f842e613f Fixed linker errors (unresolved externals: split<>(...)) when compiling with VC++. Please review. 
llvm-svn: 43081
 2007-10-17 18:37:09 +00:00
Devang Patel
b5933bbbd5 Use SmallVector instead of std::vector. 
llvm-svn: 41207
 2007-08-21 00:31:24 +00:00
Chris Lattner
c7ba225705 remove some dead lines 
llvm-svn: 40859
 2007-08-06 06:21:06 +00:00
Devang Patel
a273d1cd3a Verify loop info. 
llvm-svn: 40062
 2007-07-19 18:02:32 +00:00
David Greene
1e2a12019f Fix reference to iterator invalidated by an erase operation. Uncovered 
by _GLIBCXX_DEBUG.

llvm-svn: 37796
 2007-06-29 02:53:16 +00:00
Devang Patel
d5258a23a5 Move code to update dominator information after basic block is split 
from LoopSimplify.cpp to Dominator.cpp

llvm-svn: 37689
 2007-06-21 17:23:45 +00:00
Devang Patel
78b9c68164 Add and use DominatorTreeBase::findNearestCommonDominator(). 
llvm-svn: 37545
 2007-06-11 23:31:22 +00:00
Devang Patel
536ac4dca7 Simplify. 
llvm-svn: 37542
 2007-06-11 21:45:31 +00:00
Devang Patel
d18054afcf simplify 
llvm-svn: 37541
 2007-06-11 21:25:31 +00:00
Devang Patel
ab2eee89a4 Simplify. Dominator Tree is required so always available. 
llvm-svn: 37540
 2007-06-11 21:18:00 +00:00
Devang Patel
becc466451 Update LoopSimplify to require and preserve DominatorTree only. 
Now LoopSimplify does not require nor preserve ETForest.

llvm-svn: 37512
 2007-06-08 01:50:32 +00:00
Devang Patel
ebc5b96735 s/DominatorTree::createNewNode/DominatorTree::addNewBlock/g 
llvm-svn: 37415
 2007-06-04 16:43:25 +00:00
Devang Patel
bdd1aaef10 s/llvm::DominatorTreeBase::DomTreeNode/llvm::DomTreeNode/g 
llvm-svn: 37407
 2007-06-04 00:32:22 +00:00
Devang Patel
0e8aa7b69a s/DominatorTreeBase::Node/DominatorTreeBase:DomTreeNode/g 
llvm-svn: 37403
 2007-06-03 06:26:14 +00:00
Nick Lewycky
e7da2d6ac3 Fix typo in comment. 
llvm-svn: 36873
 2007-05-06 13:37:16 +00:00
Devang Patel
8c78a0bff0 Drop 'const' 
llvm-svn: 36662
 2007-05-03 01:11:54 +00:00
Devang Patel
e95c6ad802 Use 'static const char' instead of 'static const int'. 
Due to darwin gcc bug, one version of darwin linker coalesces
static const int, which defauts PassID based pass identification.

llvm-svn: 36652
 2007-05-02 21:39:20 +00:00
Devang Patel
09f162ca6a Do not use typeinfo to identify pass in pass manager. 
llvm-svn: 36632
 2007-05-01 21:15:47 +00:00
Devang Patel
83a3adcc3f Avoid recursion. 
llvm-svn: 36272
 2007-04-20 20:04:37 +00:00
Owen Anderson
f35a1dbc7a Remove ImmediateDominator analysis. The same information can be obtained from DomTree. A lot of code for 
constructing ImmediateDominator is now folded into DomTree construction.

This is part of the ongoing work for PR217.

llvm-svn: 36063
 2007-04-15 08:47:27 +00:00
Owen Anderson
3c7867935e Re-constify things that don't break the build. Last patch in this 
series, I promise.

llvm-svn: 35848
 2007-04-09 23:38:18 +00:00
Owen Anderson
f1ca1376d3 Unconst-ify stuff that broke the build. 
llvm-svn: 35843
 2007-04-09 23:08:26 +00:00
Owen Anderson
5917716146 Const-ify some parameters, and some cosmetic cleanups. No functionality 
change.

llvm-svn: 35842
 2007-04-09 22:54:50 +00:00
Owen Anderson
e0ef5ac6bd Tabs -> Spaces 
llvm-svn: 35841
 2007-04-09 22:31:43 +00:00
Owen Anderson
83efbc84f7 Improve some _slow_ behavior introduced in my patches the last few days. 
llvm-svn: 35839
 2007-04-09 22:25:09 +00:00
Owen Anderson
ae39ca037a Cleanup some from my DomSet-removal changes. Add a new 
isReachableFromEntry
test to ETForest to factor a common test out of code.

llvm-svn: 35786
 2007-04-09 00:52:49 +00:00
Nick Lewycky
e6c64466c7 Remove DominatorSet usage from LoopSimplify. Patch from Owen Anderson. 
llvm-svn: 35757
 2007-04-08 01:04:30 +00:00
Owen Anderson
f7ebea1b9f Add DomSet back, and revert the changes to LoopSimplify. Apparently the 
ETForest updating mechanisms don't work as I thought they did.  These changes
will be reapplied once the issue is worked out.

llvm-svn: 35741
 2007-04-07 18:23:27 +00:00