Gericom/teak-llvm
1
Fork 0
mirror of https://github.com/Gericom/teak-llvm.git synced 2025-06-23 21:45:46 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity
316,007 Commits 1 Branch 0 Tags 875 MiB
f31eba6494
Commit Graph

266 Commits

Author SHA1 Message Date
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
ed8f32022e Smallvectorize switchExitBlocks. 
llvm-svn: 80942
 2009-09-03 20:36:13 +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
3a0ce3e639 Move getUniqueExitBlocks from LoopBase to Loop, since they depend on 
LoopSimplify form, which is currently only available on Loops (and
not MachineLoops). Also, move the code out of the header file.

llvm-svn: 80923
 2009-09-03 16:10:48 +00:00
Chris Lattner
91922253c5 remove uses of llvm/Support/Streams.h. 
llvm-svn: 79838
 2009-08-23 07:33:14 +00:00
Chris Lattner
1362602eb2 Change Pass::print to take a raw ostream instead of std::ostream, 
update all code that this affects.

llvm-svn: 79830
 2009-08-23 06:03:38 +00:00
Chris Lattner
b1d782bec9 eliminate the std::ostream form of WriteAsOperand and update clients. 
This also updates dominator related stuff.

llvm-svn: 79825
 2009-08-23 05:17:37 +00:00
Eli Friedman
b8f6a4fc8e Replace isTrapping with a new, similar method called 
isSafeToSpeculativelyExecute. The new method is a bit closer to what 
the callers actually care about in that it rejects more things callers 
don't want.  It also adds more precise handling for integer 
division, and unifies code for analyzing the legality of a speculative 
load.

llvm-svn: 76150
 2009-07-17 04:28:42 +00:00
Dan Gohman
1511f701e7 Add an isLoopSimplifyForm() predicate, following the example of 
isLCSSAForm(), to test whether a loop is in the form guaranteed
by the LoopSimplify pass.

llvm-svn: 76077
 2009-07-16 16:16:23 +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
6f6d864815 Introduce a new LoopInfo utility function makeLoopInvariant, which 
works similar to isLoopInvariant, except that it will do trivial
hoisting to try to make the value loop invariant if it isn't already.
This makes it easier for transformation passes to clear trivial
instructions out of the way (the regular LICM pass doesn't run
until relatively late). This is code factored out of LoopSimplify
and other places.

llvm-svn: 75578
 2009-07-14 01:06:29 +00:00
Dan Gohman
80a9942593 Move isLCSSAForm, isLoopInvariant, getCanonicalInductionVariable, 
and related functions out of LoopBase and into Loop, since they
are specific to BasicBlock-based loops. This also allows the code
to be moved out-of-line.

llvm-svn: 75523
 2009-07-13 22:02:44 +00:00
Dan Gohman
4f16a2923c Eliminate a layer of indirection in LoopInfo and MachineLoopInfo. 
llvm-svn: 74394
 2009-06-27 21:22:48 +00:00
Dan Gohman
d9ef48a73e Remove some unnecessary #includes. 
llvm-svn: 72948
 2009-06-05 16:32:58 +00:00
Dan Gohman
410b4fdceb Change the description string of the LoopInfo pass. 
"Construction" makes it sound like a pass that might
modify the CFG to construct natural loops.

llvm-svn: 70580
 2009-05-01 21:58:05 +00:00
Evan Cheng
8e0f6f272f Remove dead comments. 
llvm-svn: 61201
 2008-12-18 09:01:18 +00:00
Dan Gohman
a8b7e78f54 Remove uses of llvm/System/IncludeFile.h that are no longer needed. 
llvm-svn: 50695
 2008-05-06 01:32:53 +00:00
Devang Patel
4d638f1a42 These passes preserve CFG. 
This patch fixes Benchmarks/Trimaran/enc-pc1/enc-pc1 failure reported by Grawp-PIC i386 nightly tester

llvm-svn: 48623
 2008-03-20 23:27:18 +00:00
Devang Patel
80e43fa744 Restore isCFGOnly property of various analysis passes. 
llvm-svn: 48579
 2008-03-20 02:25:21 +00:00
Devang Patel
718da668ab PassInfo keep tracks whether a pass is an analysis pass or not. 
llvm-svn: 48554
 2008-03-19 21:56:59 +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
Owen Anderson
1b74a9a628 More templatization. 
llvm-svn: 44158
 2007-11-15 05:00:15 +00:00
Owen Anderson
9306de0727 Start the process of making MachineLoopInfo possible by templating Loop. 
llvm-svn: 44097
 2007-11-14 02:33:58 +00:00
Devang Patel
f5e520d892 Use SmallVector. 
llvm-svn: 41230
 2007-08-21 16:54:51 +00:00
Devang Patel
a9e7c4f827 No need to hardcode SmallVector size. 
llvm-svn: 41228
 2007-08-21 16:39:43 +00:00
Devang Patel
b5933bbbd5 Use SmallVector instead of std::vector. 
llvm-svn: 41207
 2007-08-21 00:31:24 +00:00
Devang Patel
a273d1cd3a Verify loop info. 
llvm-svn: 40062
 2007-07-19 18:02:32 +00:00
Devang Patel
aee309e353 Use DominatorTree instead of ETForest. 
llvm-svn: 37507
 2007-06-08 00:17:13 +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
Chris Lattner
16cf9a7686 Speed up Loop::isLCSSAForm by using a hash table instead of a sorted vector. 
llvm-svn: 34900
 2007-03-04 04:06:39 +00:00
Reid Spencer
266e42b312 For PR950: 
This patch removes the SetCC instructions and replaces them with the ICmp
and FCmp instructions. The SetCondInst instruction has been removed and
been replaced with ICmpInst and FCmpInst.

llvm-svn: 32751
 2006-12-23 06:05:41 +00:00
Bill Wendling
f3baad3ee1 Changed llvm_ostream et all to OStream. llvm_cerr, llvm_cout, llvm_null, are 
now cerr, cout, and NullStream resp.

llvm-svn: 32298
 2006-12-07 01:30:32 +00:00
Bill Wendling
597d451fea Removed some of the iostream #includes. Moved towards converting to using 
llvm streams

llvm-svn: 31983
 2006-11-28 22:46:12 +00:00
Chris Lattner
23540b142c add a method 
llvm-svn: 31249
 2006-10-28 01:24:05 +00:00
Devang Patel
f489d0f85c Do not rely on std::sort and std::erase to get list of unique 
exit blocks. The output is dependent on addresses of basic block.

Add and use Loop::getUniqueExitBlocks.

llvm-svn: 29966
 2006-08-29 22:29:16 +00:00
Chris Lattner
3c9b2420df Eliminate RegisterAnalysis. RegisterPass now does all that is necessary. 
llvm-svn: 29921
 2006-08-27 22:30:17 +00:00
Chris Lattner
859a138dc4 Make Loop::getExitBlocks significantly faster for large loops. Instead of 
pounding on Loop::contains (which is O(n) in the size of the loop), use a
sorted vector, which is O(log(N)) for each query.  This speeds up Duraid's
horrible testcase from ~72s to ~31s in a debug build.

llvm-svn: 29645
 2006-08-12 05:02:03 +00:00
Chris Lattner
4d074f795a Speed up Loop::isLCSSAForm by using a binary search and single-entry cache. 
This reduces LCSSA pass time from 1.5s to 0.96s when run on eon in release+asserts mode.

llvm-svn: 29464
 2006-08-02 00:14:16 +00:00
Owen Anderson
7e428625c9 Update isLCSSAForm to handle PHI nodes specially for live-out detection. This 
is the same as the recent patch to LCSSA.cpp.

llvm-svn: 28773
 2006-06-13 20:45:22 +00:00
Owen Anderson
b538f14d2a Re-commit the safe parts of my 6/9 patch. Still working on fixing the unsafe parts. 
llvm-svn: 28748
 2006-06-11 19:22:28 +00:00
Evan Cheng
1b6e310e6f Back out Owen's 6/9 changes. They broke MultiSource/Benchmarks/Prolangs-C/bison (and perhaps others). 
llvm-svn: 28747
 2006-06-11 09:32:57 +00:00
Owen Anderson
505adff3f0 Make Loop able to verify that it is in LCSSA-form, and have the LCSSA pass assert 
on this.

llvm-svn: 28738
 2006-06-09 18:33:30 +00:00
Reid Spencer
be535661cc For PR780: 
1. Fix the macros in IncludeFile.h to put everything in the llvm namespace
2. Replace the previous explicit mechanism in all the .h and .cpp files
   with the macros in IncludeFile.h
This gets us a consistent mechanism throughout LLVM for ensuring linkage.
Next step is to make sure its used in enough places.

llvm-svn: 28715
 2006-06-07 22:00:26 +00:00
Reid Spencer
5861659a1e Change from using a stub function to a stub variable for passing to the 
IncludeFile hack to ensure linkage of analysis passes. This works around
some -pedantic warnings about assigning an object to a function.

llvm-svn: 28621
 2006-06-01 07:02:51 +00:00
Chris Lattner
94f936d8ef add an assert 
llvm-svn: 26178
 2006-02-14 20:14:17 +00:00
Chris Lattner
c020bcf850 Change ET-Forest to automatically recalculate its DFSnum's if too many slow 
queries are made.

Patch by Daniel Berlin!

llvm-svn: 25323
 2006-01-14 20:55:09 +00:00
Chris Lattner
9db9f8a902 Switch loopinfo to using ETForest instead of DominatorSet to compute itself. 
Patch by Daniel Berlin!

llvm-svn: 25199
 2006-01-11 05:08:29 +00:00
Chris Lattner
b35df5f5bc Add a new getLoopLatch() method. 
llvm-svn: 23315
 2005-09-12 17:03:55 +00:00
Misha Brukman
c0aac8e858 Remove extra blank line 
llvm-svn: 21706
 2005-05-05 23:43:47 +00:00
Misha Brukman
774511633d Convert tabs to spaces 
llvm-svn: 21439
 2005-04-22 04:01:18 +00:00
Misha Brukman
01808caded Remove trailing whitespace 
llvm-svn: 21416
 2005-04-21 21:13:18 +00:00
Reid Spencer
9083936835 For PR387:\ 
Make only one print method to avoid overloaded virtual warnings when \
compiled with -Woverloaded-virtual

llvm-svn: 18589
 2004-12-07 04:03:45 +00:00
Reid Spencer
6614946443 Convert code to compile with vc7.1. 
Patch contributed by Paolo Invernizzi. Thanks Paolo!

llvm-svn: 16368
 2004-09-15 17:06:42 +00:00
Alkis Evlogimenos
a5c04ee50f Fixes to make LLVM compile with vc7.1. 
Patch contributed by Paolo Invernizzi!

llvm-svn: 16152
 2004-09-03 18:19:51 +00:00
Reid Spencer
7c16caa336 Changes For Bug 352 
Move include/Config and include/Support into include/llvm/Config,
include/llvm/ADT and include/llvm/Support. From here on out, all LLVM
public header files must be under include/llvm/.

llvm-svn: 16137
 2004-09-01 22:55:40 +00:00
Reid Spencer
eb04d9bcb4 Add #include <iostream> since Value.h does not #include it any more. 
llvm-svn: 14622
 2004-07-04 12:19:56 +00:00
Chris Lattner
4c7a24af44 Don't grab the condition of unconditional branches! 
This fixes PR363

llvm-svn: 14076
 2004-06-08 21:50:30 +00:00
Chris Lattner
32447c55fe Remove code to update loop depths 
llvm-svn: 13058
 2004-04-19 03:02:09 +00:00
Chris Lattner
26ba2f5fe8 Add new method 
llvm-svn: 13050
 2004-04-18 22:45:27 +00:00
Chris Lattner
d6ce359d3b Fix computation of exit blocks 
llvm-svn: 13047
 2004-04-18 22:21:41 +00:00
Chris Lattner
d72c3eb54e Change the ExitBlocks list from being explicitly contained in the Loop 
structure to being dynamically computed on demand.  This makes updating
loop information MUCH easier.

llvm-svn: 13045
 2004-04-18 22:14:10 +00:00
Chris Lattner
e375a4fdc2 Implement method 
llvm-svn: 13036
 2004-04-18 06:54:48 +00:00
Chris Lattner
1472c63fb9 Add a new method, add a check missing that caused a segfault if a loop didn't 
have a canonical indvar

llvm-svn: 13032
 2004-04-18 05:38:05 +00:00
Chris Lattner
d9dc425376 add some helpful methods. Rearrange #includes to proper order 
llvm-svn: 12960
 2004-04-15 15:16:02 +00:00
Chris Lattner
55b7ef5a81 Add some methods that are useful for updating loop information. 
llvm-svn: 12871
 2004-04-12 20:26:17 +00:00
Misha Brukman
81804b4cb1 Order #includes alphabetically, per style guide. 
llvm-svn: 11015
 2004-01-30 17:26:24 +00:00
Chris Lattner
59d2d7fc33 Improve encapsulation in the Loop and LoopInfo classes by eliminating the 
getSubLoops/getTopLevelLoops methods, replacing them with iterator-based
accessors.

llvm-svn: 10714
 2004-01-08 00:09:44 +00:00
Brian Gaeke
960707c335 Put all LLVM code into the llvm namespace, as per bug 109. 
llvm-svn: 9903
 2003-11-11 22:41:34 +00:00
Chris Lattner
ac4238f7bc Do not add unreachable code to a natural loop! 
llvm-svn: 9377
 2003-10-22 16:41:21 +00:00
John Criswell
482202a601 Added LLVM project notice to the top of every C++ source file. 
Header files will be on the way.

llvm-svn: 9298
 2003-10-20 19:43:21 +00:00
Chris Lattner
44d2c3514a Regularize header file comments 
llvm-svn: 9071
 2003-10-13 03:32:08 +00:00
Chris Lattner
e43629bad6 Make getNumBackEdges more efficient 
llvm-svn: 9063
 2003-10-12 22:14:27 +00:00
Chris Lattner
fd46711e1a Remove explicit use of BasicBlock::succ_iterator 
llvm-svn: 8706
 2003-09-24 22:18:35 +00:00
Chris Lattner
c01f05f4be Fix the bug that broke the nightly tester in McCat/18-imp last night. :( 
llvm-svn: 7925
 2003-08-17 21:47:33 +00:00
Chris Lattner
7a991010d6 Fix bug: LoopPreheaders/2003-08-15-PreheadersFail.ll 
llvm-svn: 7915
 2003-08-16 20:57:16 +00:00
Chris Lattner
0e416df2b2 Fix bug: Analysis/LoopInfo/2003-05-15-NestingProblem.ll 
llvm-svn: 6230
 2003-05-15 18:03:51 +00:00
Chris Lattner
d021c2d56b Fix bug: LoopPreheaders/2003-04-25-AssertFail.ll 
llvm-svn: 5959
 2003-04-26 19:34:18 +00:00
Chris Lattner
a777f7a7ed Add dump method for Loops 
llvm-svn: 5671
 2003-02-28 16:54:45 +00:00
Chris Lattner
72f876223f Simplify a bit by using a new member function 
llvm-svn: 5662
 2003-02-27 22:48:08 +00:00
Chris Lattner
72a9854584 Change behavior of changeExitBlock function to replace all instances of exit block 
llvm-svn: 5661
 2003-02-27 22:37:44 +00:00
Chris Lattner
4f3b1d1808 Fix bug: LICM/2003-02-27-PreheaderProblem.ll 
There may be a single outside predecessor and
still need a new loop-preheader if the predecessor has multiple
successors.

llvm-svn: 5656
 2003-02-27 21:51:38 +00:00
Chris Lattner
b7b58f65c6 - LoopInfo now calculates and tracks loop exit blocks 
llvm-svn: 5650
 2003-02-27 00:38:34 +00:00
Chris Lattner
ef6ea65807 Dramatically simplify building of natural loops and fix a bug where the BBMap 
was not correctly computed.

llvm-svn: 5606
 2003-02-22 21:33:11 +00:00
Chris Lattner
1cbe5116ff Fix the requisite bug that I introduced 
llvm-svn: 5605
 2003-02-20 00:28:00 +00:00
Chris Lattner
1dc4c29b6d Fix 80 character formatting 
llvm-svn: 5604
 2003-02-20 00:18:07 +00:00
Chris Lattner
0049419836 Fix bug: 2003-02-19-LoopInfoNestingBug.ll 
llvm-svn: 5603
 2003-02-20 00:17:17 +00:00
Misha Brukman
3845be203d Added helper functions in LoopInfo: isLoopExit and numBackEdges. 
llvm-svn: 4112
 2002-10-11 05:31:10 +00:00
Chris Lattner
1931788143 Minor tweak 
llvm-svn: 3985
 2002-09-29 22:59:29 +00:00
Chris Lattner
467a9e84c4 Fix printing of loop information 
llvm-svn: 3977
 2002-09-29 21:43:04 +00:00
Chris Lattner
3524f58309 Fix printing of loop information 
llvm-svn: 3941
 2002-09-26 16:15:54 +00:00
Chris Lattner
08373d1c9c - Add new methods to LoopInfo: getLoopPreheader, addBasicBlockToLoop. 
These allow extra information to be easily gathered, and loopinfo to be
    updated.

llvm-svn: 3936
 2002-09-26 05:32:50 +00:00
Anand Shukla
e87291ef83 Changed so it gets linked properly 
llvm-svn: 3508
 2002-08-26 16:45:19 +00:00
Chris Lattner
1a386b6a73 - Do not expose ::ID from any of the analyses anymore. 
llvm-svn: 3417
 2002-08-21 17:09:49 +00:00
Chris Lattner
40eb9dafed - Cleaned up the interface to AnalysisUsage to take analysis class names 
instead of ::ID's.
 - Pass::getAnalysis<> now no longer takes an optional argument

llvm-svn: 3264
 2002-08-08 19:01:28 +00:00
Chris Lattner
31aa7e72f2 Declare that these passes only depend on the CFG of the function 
llvm-svn: 3157
 2002-07-30 16:27:52 +00:00
Chris Lattner
f356bcc824 * Eliminate the Provided set. All Passes now finally just automatically 
provide themselves.

llvm-svn: 3124
 2002-07-29 21:03:33 +00:00
Chris Lattner
2675007573 * Standardize how analysis results/passes as printed with the print() virtual 
methods
* Eliminate AnalysisID:  Now it is just a typedef for const PassInfo*
* Simplify how AnalysisID's are initialized
* Eliminate Analysis/Writer.cpp/.h: incorporate printing functionality into
  the analyses themselves.

llvm-svn: 3116
 2002-07-27 01:12:17 +00:00
Chris Lattner
a2c0985980 * Add support for different "PassType's" 
* Add new RegisterOpt/RegisterAnalysis templates for registering passes that
  are to show up in opt or analyze
* Register Analyses now
* Change optimizations to use RegisterOpt instead of RegisterPass
* Add support for different "PassType's"
* Add new RegisterOpt/RegisterAnalysis templates for registering passes that
  are to show up in opt or analyze
* Register Analyses now
* Change optimizations to use RegisterOpt instead of RegisterPass
* Remove getPassName implementations from various subclasses

llvm-svn: 3112
 2002-07-26 21:12:44 +00:00
Chris Lattner
113f4f4609 MEGAPATCH checkin. 
For details, See: docs/2002-06-25-MegaPatchInfo.txt

llvm-svn: 2779
 2002-06-25 16:13:24 +00:00
Chris Lattner
2db70cea7c *** empty log message *** 
llvm-svn: 2755
 2002-06-03 22:10:52 +00:00
Chris Lattner
86ed92af6d Mark analyses that only depend on the CFG of a function 
llvm-svn: 2507
 2002-05-06 19:32:07 +00:00
Chris Lattner
78dd56fe62 Eliminate the cfg namespace, moving LoopInfo, Dominators, Interval* classes 
to the global namespace

llvm-svn: 2370
 2002-04-28 16:21:30 +00:00
Chris Lattner
99b6f5cac4 Change the Dominator info and LoopInfo classes to keep track of BasicBlock's, not 
const BasicBlocks

llvm-svn: 2337
 2002-04-28 00:15:57 +00:00
Chris Lattner
c8e665431b * Rename MethodPass class to FunctionPass 
- Rename runOnMethod to runOnFunction
* Transform getAnalysisUsageInfo into getAnalysisUsage
  - Method is now const
  - It now takes one AnalysisUsage object to fill in instead of 3 vectors
    to fill in
  - Pass's now specify which other passes they _preserve_ not which ones
    they modify (be conservative!)
  - A pass can specify that it preserves all analyses (because it never
    modifies the underlying program)
* s/Method/Function/g in other random places as well

llvm-svn: 2333
 2002-04-27 06:56:12 +00:00
Chris Lattner
8c7e050576 Don't leak all of the Loop objects created... 
llvm-svn: 2196
 2002-04-09 05:43:19 +00:00
Chris Lattner
f739fa8541 s/Method/Function 
llvm-svn: 2180
 2002-04-08 22:03:57 +00:00
Chris Lattner
83d485b310 * Pull BasicBlock::pred_* and BasicBlock::succ_* out of BasicBlock.h and into 
llvm/Support/CFG.h
* Make pred & succ iterators for intervals global functions
* Add #includes that are now neccesary because BasicBlock.h doesn't include
  InstrTypes.h anymore

llvm-svn: 1750
 2002-02-12 22:39:50 +00:00
Chris Lattner
60a6591d83 Method.h no longer includes BasicBlock.h 
Method::inst_* is now in llvm/Support/InstIterator.h
GraphTraits specializations for BasicBlock and Methods are now in llvm/Support/CFG.h

llvm-svn: 1746
 2002-02-12 21:07:25 +00:00
Chris Lattner
ccf571a408 Convert analyses to new pass structure 
llvm-svn: 1603
 2002-01-31 00:42:27 +00:00
Chris Lattner
7f74a56e24 Changes to build successfully with GCC 3.02 
llvm-svn: 1503
 2002-01-20 22:54:45 +00:00
Chris Lattner
5de2204fe8 Create a new #include "Support/..." directory structure to move things 
from "llvm/Support/..." that are not llvm dependant.

Move files and fix #includes

llvm-svn: 1400
 2001-11-27 00:03:19 +00:00
Chris Lattner
6de9942b92 * Implement dominator based loop identification 
* Implement cleaner induction variable identification

llvm-svn: 1359
 2001-11-26 18:41:20 +00:00