RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-23 04:52:54 +02:00
Code Issues Projects Releases Wiki Activity
44,223 Commits 4 Branches 5 Tags 704 MiB
211088dc71
Commit Graph

974 Commits

Author SHA1 Message Date
Owen Anderson
030428b435 Major repairs to the post-dominators implementation. Patch from Florian Brandner! 
llvm-svn: 49768
 2008-04-16 04:21:16 +00:00
Dan Gohman
14dce3e51c Teach AliasSetTracker about VAArgInst. 
llvm-svn: 49674
 2008-04-14 18:34:50 +00:00
Chris Lattner
f63bdaf0b5 add a new CallGraphNode::removeCallEdgeFor method, tidy some comments. 
llvm-svn: 49617
 2008-04-13 19:41:25 +00:00
Owen Anderson
93ab00f1d9 Make GVN more memory efficient, particularly on code that contains a large number of 
allocations, which GVN can't optimize anyways.

llvm-svn: 49329
 2008-04-07 09:59:07 +00:00
Dan Gohman
2b96ce84aa Add explicit keywords. 
llvm-svn: 48801
 2008-03-25 22:06:05 +00:00
Dan Gohman
a363ba510c Don't include <map> in Pass.h, which doesn't need it. This requires 
adding <map> to many files that actually do need it.

llvm-svn: 48667
 2008-03-21 23:51:57 +00:00
Devang Patel
5e8cbbea65 PassInfo keep tracks whether a pass is an analysis pass or not. 
llvm-svn: 48554
 2008-03-19 21:56:59 +00:00
Devang Patel
38f181fa8c Do not use virtual function to identify an analysis pass. 
llvm-svn: 48520
 2008-03-19 00:48:41 +00:00
Dale Johannesen
4d0221c45b Get rid of compilation warnings. Per Devang. 
llvm-svn: 48478
 2008-03-18 01:52:17 +00:00
Devang Patel
811ca3ddba Identify Analysis pass. 
Do not run analysis pass again if analysis info is still available.
This fixes PR1441.

llvm-svn: 48476
 2008-03-18 00:39:19 +00:00
Dan Gohman
9ca724cee0 Move the PMStack class out of Pass.h and into PassManagers.h. 
llvm-svn: 48367
 2008-03-14 18:14:29 +00:00
Nick Lewycky
50c8d20ca2 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
Dan Gohman
0cfccf801d Add -analyze support to postdomtree. 
llvm-svn: 47680
 2008-02-27 18:38:29 +00:00
Anton Korobeynikov
0c5e186924 Unbreak build with gcc 4.3: provide missed includes and silence most annoying warnings. 
llvm-svn: 47367
 2008-02-20 11:08:44 +00:00
Nick Lewycky
0b6cdd1eff Add 'umax' similar to 'smax' SCEV. Closes PR2003. 
Parse reversed smax and umax as smin and umin and express them with negative
or binary-not SCEVs (which are really just subtract under the hood).

Parse 'xor %x, -1' as (-1 - %x).

Remove dead code (ConstantInt::get always returns a ConstantInt).

Don't use getIntegerSCEV(-1, Ty). The first value is an int, then it gets
passed into a uint64_t. Instead, create the -1 directly from
ConstantInt::getAllOnesValue().

llvm-svn: 47360
 2008-02-20 06:48:22 +00:00
Owen Anderson
274aa2846e Re-apply the patch to improve the optimizations of memcpy's, with several 
bugs fixed.  This now passes PPC bootstrap.

llvm-svn: 47026
 2008-02-12 21:15:18 +00:00
Wojciech Matyjewicz
76c2b22ee4 Fix PR1798 - an error in the evaluation of SCEVAddRecExpr at an 
arbitrary iteration.

The patch:
1) changes SCEVSDivExpr into SCEVUDivExpr,
2) replaces PartialFact() function with BinomialCoefficient(); the 
computations (essentially, the division) in BinomialCoefficient() are 
performed with the apprioprate bitwidth necessary to avoid overflow; 
unsigned division is used instead of the signed one.

Computations in BinomialCoefficient() require support from the code 
generator for APInts. Currently, we use a hack rounding up the 
neccessary bitwidth to the nearest power of 2. The hack is easy to turn 
off in future.

One remaining issue: we assume the divisor of the binomial coefficient 
formula can be computed accurately using 16 bits. It means we can handle 
AddRecs of length up to 9. In future, we should use APInts to evaluate 
the divisor.

Thanks to Nicholas for cooperation!

llvm-svn: 46955
 2008-02-11 11:03:14 +00:00
Wojciech Matyjewicz
2e45476439 Add a check if the initial value of the induction variable is 0 (the method comment says it should be). 
llvm-svn: 46907
 2008-02-09 18:06:58 +00:00
Dan Gohman
562ed58408 Avoid unnecessarily casting away const, fixing a FIXME. 
llvm-svn: 46591
 2008-01-31 01:05:10 +00:00
Dan Gohman
6f9748b626 Add comments describing what the loop depth values mean. Also, make a 
minor simplification to the loop depth calculation code.

llvm-svn: 46511
 2008-01-29 12:12:40 +00:00
Chris Lattner
201be5f41e Move typedef of loop to top of the file where it is more obvious. 
llvm-svn: 45857
 2008-01-11 06:29:42 +00:00
Chris Lattner
b9232a8374 Fix 80 col violations 
llvm-svn: 45856
 2008-01-11 06:27:42 +00:00
Wojciech Matyjewicz
2502769cf3 fix typo 
llvm-svn: 45595
 2008-01-04 20:04:08 +00:00
Chris Lattner
e0b1ee937a Don't attribute in file headers anymore. See llvmdev for the 
discussion of this change.  Boy are my fingers tired. ;-)

llvm-svn: 45411
 2007-12-29 19:59:42 +00:00
Chris Lattner
5ca42cd342 Fix PR1850 by removing an unsafe transformation from VMCore/ConstantFold.cpp. 
Reimplement the xform in Analysis/ConstantFolding.cpp where we can use
targetdata to validate that it is safe.  While I'm in there, fix some const
correctness issues and generalize the interface to the "operand folder".

llvm-svn: 44817
 2007-12-10 22:53:04 +00:00
Owen Anderson
e3de18ac1d Fix several cache coherence bugs in MemDep/GVN that were found. Also add some (disabled) debugging code 
to make such problems easier to diagnose in the future, written by Duncan Sands.

llvm-svn: 44695
 2007-12-08 01:37:09 +00:00
Duncan Sands
14f11d6836 Integrate the readonly/readnone logic more deeply 
into alias analysis.  This meant updating the API
which now has versions of the getModRefBehavior,
doesNotAccessMemory and onlyReadsMemory methods
which take a callsite parameter.  These should be
used unless the callsite is not known, since in
general they can do a better job than the versions
that take a function.  Also, users should no longer
call the version of getModRefBehavior that takes
both a function and a callsite.  To reduce the
chance of misuse it is now protected.

llvm-svn: 44487
 2007-12-01 07:51:45 +00:00
Owen Anderson
37a1ebc6a3 Fixes for MachineLoopInfo, mostly from Evan. With these, it should be almost useable! 
llvm-svn: 44480
 2007-12-01 03:01:39 +00:00
Owen Anderson
2b9b50b985 Add MachineLoopInfo. This is not yet tested. 
llvm-svn: 44384
 2007-11-27 22:47:08 +00:00
Owen Anderson
43d4a82d4b 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
67929e6873 Add accessor for getting the underlying templated type. This is necessary for templated LoopInfo. 
llvm-svn: 44347
 2007-11-27 03:33:40 +00:00
Anton Korobeynikov
14246a2eba Remove another leak. Due to some reason AliasSetTracker didn't had any dtor... 
llvm-svn: 44320
 2007-11-25 23:52:02 +00:00
Nick Lewycky
1536b3f230 Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops. 
llvm-svn: 44319
 2007-11-25 22:41:31 +00:00
Anton Korobeynikov
b7ee8cdcba Remove a leak. Destroy LoopInfoBase object. releaseMemory() is actually called in its dtor. 
llvm-svn: 44317
 2007-11-25 18:41:39 +00:00
Dan Gohman
27ac53cc23 Remove meaningless qualifiers from return types, avoiding compiler warnings. 
llvm-svn: 44240
 2007-11-19 20:46:23 +00:00
Dan Gohman
760d574313 Add explicit keywords. 
llvm-svn: 44234
 2007-11-19 15:30:20 +00:00
Anton Korobeynikov
c9ab2516fa Reverted r44163 per request 
llvm-svn: 44177
 2007-11-15 18:33:16 +00:00
Nick Lewycky
6690b9499b Fix handling of overflow in loop calculation by adding new UDiv SCEV. This SCEV 
is disabled in the sense that it will refuse to create one from a UDiv
instruction, until the code is better tested.

llvm-svn: 44163
 2007-11-15 06:30:50 +00:00
Owen Anderson
b88ac41e0e More templatization. 
llvm-svn: 44158
 2007-11-15 05:00:15 +00:00
Owen Anderson
7b92dab615 Start the process of making MachineLoopInfo possible by templating Loop. 
llvm-svn: 44097
 2007-11-14 02:33:58 +00:00
Owen Anderson
e6b623ba1c VAArgInst does, in fact, read memory. 
llvm-svn: 43633
 2007-11-02 04:01:21 +00:00
Owen Anderson
4314cf9d58 Some fixes to get MachineDomTree working better. 
llvm-svn: 43541
 2007-10-31 03:30:14 +00:00
Dan Gohman
65be3b6502 Add explicit keywords. 
llvm-svn: 43464
 2007-10-29 19:52:04 +00:00
Owen Anderson
229333c94b Add a first attempt at dominator information for MBB's. Use with caution: this has been tested to compile. It has not yet been confirmed to generate correct analysis. 
llvm-svn: 43438
 2007-10-29 04:50:50 +00:00
Owen Anderson
dc3329dbf7 Make it possible for DomTreeBase to be constructed from MachineFunction's as well as just Function's. 
llvm-svn: 43321
 2007-10-25 00:16:57 +00:00
Owen Anderson
52b33065a4 Make DomTreeBase not a FunctionPass. 
llvm-svn: 43263
 2007-10-23 21:42:49 +00:00
Owen Anderson
962303b4ef Unbreak the build. Forgot to commit this file. 
llvm-svn: 43260
 2007-10-23 21:04:37 +00:00
Owen Anderson
33b9693ab8 Make DomTree and PostDomTree thin wrappers around DomTreeBase, rather than inheriting from it. 
llvm-svn: 43259
 2007-10-23 20:58:37 +00:00
Dan Gohman
68fc6d7395 Move the SCEV object factors from being static members of the individual 
SCEV subclasses to being non-static member functions of the ScalarEvolution
class.

llvm-svn: 43224
 2007-10-22 18:31:58 +00:00
Owen Anderson
4b407757d0 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
ed12f66488 Updated VC++ build system. 
Silenced some VC warnings.

I'm getting linker errors, though: unresolved externals:

llvm::Split<class llvm::BasicBlock *,struct llvm::GraphTraits<class llvm::BasicBlock *> >(class llvm::DominatorTreeBase<class llvm::BasicBlock> &,class llvm::BasicBlock *)

and

llvm::Split<struct llvm::Inverse<class llvm::BasicBlock *>,struct llvm::GraphTraits<struct llvm::Inverse<class llvm::BasicBlock *> > >(class llvm::DominatorTreeBase<class llvm::BasicBlock> &,class llvm::BasicBlock *)

Where are these defined?

llvm-svn: 43073
 2007-10-17 14:56:40 +00:00
Owen Anderson
1235d1218b Move splitBlock into DomTreeBase from DomTree. 
llvm-svn: 43059
 2007-10-17 02:03:17 +00:00
Owen Anderson
315471786b Fix some formatting. 
llvm-svn: 43049
 2007-10-16 22:59:15 +00:00
Owen Anderson
43fefb53a6 Template DominatorTreeBase by node type. This is the next major step towards 
having dominator information on MBB's.

llvm-svn: 43036
 2007-10-16 19:59:25 +00:00
Owen Anderson
ffcd82d1ed Begin the process of allowing DomTree on MBB's. Step One: template DomTreeNode by making it a typedef of a templated DomTreeNodeBase. 
llvm-svn: 42743
 2007-10-08 07:44:39 +00:00
Owen Anderson
cb51170957 Completely merge the implementation details of DomTree and PostDomTree. 
Also, add a FIXME for a bug in PostDomTree calculation I noticed while writing this,

llvm-svn: 42593
 2007-10-03 21:25:45 +00:00
Owen Anderson
91e23d710c Factor some code from the DomTree and PostDomTree calculate methods up into 
each one's runOnFunction method.

llvm-svn: 42563
 2007-10-03 03:20:17 +00:00
Dan Gohman
50ba8a297c Add empty() member functions to a few container-like classes. 
llvm-svn: 42487
 2007-10-01 16:01:23 +00:00
Owen Anderson
09ba812a80 Template-ize more of the DomTree internal implementation details. Only the calculate() methods for DomTree and PostDomTree remain to be merged/template-ized. 
llvm-svn: 42476
 2007-09-30 04:17:16 +00:00
Duncan Sands
4358ea12f8 Add newline at end of file. 
llvm-svn: 42470
 2007-09-29 16:38:37 +00:00
Owen Anderson
a533c458f5 Have PostDomTree use the newly templated DFSPass. 
llvm-svn: 42427
 2007-09-28 01:23:47 +00:00
Owen Anderson
e529f66979 Convert DFSPass into a templated friend function, in preparation for making it common to DomTree and PostDomTree. 
llvm-svn: 42420
 2007-09-27 23:23:00 +00:00
Owen Anderson
a0a11ee8b9 Merge significant portions of the DomTree and PostDomTree implementations. 
The two remaining unmerged parts are DFSPass, and the Calculate().

llvm-svn: 42255
 2007-09-24 02:29:29 +00:00
Owen Anderson
bc099e74d8 Factor the calculation details for PostDomTree out of PostDominators.cpp and 
into a separate header file.

Next step: merging PostDominatorCalculation.h with DominatorCalculation.h.

llvm-svn: 42251
 2007-09-23 22:21:00 +00:00
Owen Anderson
677db80624 Move DFSPass back down into DominatorTree. I need to figure out what the difference is between it 
and the PostDomTree version first.

llvm-svn: 42250
 2007-09-23 22:16:38 +00:00
Owen Anderson
de1937fcee Factor the dominator tree calculation details out into DominatorCalculation.h. This 
change is not useful in and of itself, but it lays the groundwork for combining
the dominator and postdominator implementations.

Also, factor a few methods that are common to DominatorTree and PostDominatorTree
into DominatorTreeBase.  Again, this will make merging the two calculation methods
simpler in the future.

llvm-svn: 42248
 2007-09-23 21:31:44 +00:00
Owen Anderson
5454d4cbc9 Add a flag to mark a dirty cache entry. This is not yet used, but will eventually 
help non-local memdep caching.

llvm-svn: 42137
 2007-09-19 16:13:57 +00:00
Devang Patel
e92ff0baef No need to hardcode SmallVector size. 
llvm-svn: 41228
 2007-08-21 16:39:43 +00:00
Devang Patel
f06e667e9c Use SmallVector instead of std::vector. 
llvm-svn: 41207
 2007-08-21 00:31:24 +00:00
Anton Korobeynikov
4e15adaf04 - Use correct header for SCEV inside LoopPass.cpp 
- Move SCEVExpander::expand() out-of-line workarounding possible toolchain bug

llvm-svn: 41197
 2007-08-20 21:17:26 +00:00
Nick Lewycky
068c7d20e2 Simplify. 
llvm-svn: 41167
 2007-08-18 14:46:55 +00:00
Devang Patel
fded73828f When one branch of condition is eliminated then head of the other 
branch is not necessary immediate dominators of merge blcok in all cases.

llvm-svn: 41144
 2007-08-17 21:59:16 +00:00
Owen Anderson
03cbda804e Cache non-local memory dependence analysis. This is a significant compile 
time performance win in most cases.

llvm-svn: 41126
 2007-08-16 21:27:05 +00:00
Devang Patel
35c1c452b0 No need to use iterator to erase basic block. 
llvm-svn: 41074
 2007-08-14 16:53:24 +00:00
Devang Patel
993388b1ee Add methods to erase basic block entry. 
llvm-svn: 41052
 2007-08-13 22:10:29 +00:00
Reid Spencer
8c5c7c8453 Change casts from old style to new style. This helps document the details 
better, gives the compiler a chance to validate the cast and reduces warnings
if the user turns on -Wold-style-cast option.

llvm-svn: 41033
 2007-08-12 08:12:35 +00:00
Owen Anderson
3eba1e8f5c Make NonLocal and None const in the right way. :-) 
llvm-svn: 40961
 2007-08-09 04:42:44 +00:00
Owen Anderson
24f6b332cb Add one more comment. 
llvm-svn: 40949
 2007-08-08 21:54:33 +00:00
Owen Anderson
f4aec9115f Cleanup and comment-ize the memdep header. 
llvm-svn: 40948
 2007-08-08 21:53:20 +00:00
Owen Anderson
f988c3ee5c Change the None and NonLocal markers in memdep to be const. 
llvm-svn: 40946
 2007-08-08 21:39:39 +00:00
Chris Lattner
65d638a918 reimplement dfs number computation to be significantly faster. This speeds up 
natural loop canonicalization (which does many cfg xforms) by 4.3x, for 
example.  This also fixes a bug in postdom dfnumber computation.

llvm-svn: 40920
 2007-08-08 05:51:24 +00:00
Owen Anderson
d0c7aad800 Get rid of unnecessary #include. 
llvm-svn: 40885
 2007-08-07 00:38:16 +00:00
Owen Anderson
22d94da65b Clean up a bunch of caching stuff in memdep. This reduces the time to run GVN 
on 403.gcc from ~15s to ~10s.

llvm-svn: 40884
 2007-08-07 00:33:45 +00:00
Chris Lattner
99df553268 Various random cleanups, add two accessors to DomTreeNode: getDFSNumIn/getDFSNumOut 
llvm-svn: 40856
 2007-08-06 06:15:43 +00:00
Chris Lattner
a5a692b9bb Switch the internal "Info" map from an std::map to a DenseMap. This 
speeds up idom by about 45% and postidom by about 33%.

Some extra precautions must be taken not to invalidate densemap iterators.

llvm-svn: 40827
 2007-08-05 00:02:00 +00:00
Chris Lattner
5912537997 switch the DomTreeNodes and IDoms maps in idom/postidom to a 
DenseMap instead of an std::map.  This speeds up postdomtree
by about 25% and domtree by about 23%.  It also speeds up clients,
for example, domfrontier by 11%, mem2reg by 4% and ADCE by 6%.

llvm-svn: 40826
 2007-08-04 23:48:07 +00:00
Owen Anderson
7028dfaf9d Make non-local memdep not be recursive, and fix a bug on 403.gcc that this exposed. 
llvm-svn: 40692
 2007-08-01 22:01:54 +00:00
Dan Gohman
7dd04fb91c More explicit keywords. 
llvm-svn: 40673
 2007-08-01 15:32:29 +00:00
David Greene
4251f42689 Fix GLIBCXX_DEBUG error owing to dereference of end iterator. There's 
no guarantee that an instruction returned by getDependency exists in
the maps.

llvm-svn: 40647
 2007-07-31 20:01:27 +00:00
Devang Patel
6dd3a5f747 Introduce Simple Analysis interface for loop passes. 
Right now, this interface provides hooks for only to operations, 1) clone basic block 2) delete value.

llvm-svn: 40625
 2007-07-31 08:00:57 +00:00
Owen Anderson
906d9d4a10 Forgot to include this file in my last commit. 
llvm-svn: 40496
 2007-07-25 21:30:15 +00:00
Owen Anderson
6a1a8d05b8 Add basic support for performing whole-function RLE. 
Note: This has not yet been thoroughly tested.  Use at your own risk.

llvm-svn: 40489
 2007-07-25 19:57:03 +00:00
Owen Anderson
b9ad251288 Add initial support for non-local memory dependence analysis. 
NOTE: This has only been cursorily tested.  Expected improvements soon.

llvm-svn: 40476
 2007-07-24 21:52:37 +00:00
Devang Patel
45675e56ad Verify loop info. 
llvm-svn: 40062
 2007-07-19 18:02:32 +00:00
Owen Anderson
efc00e35cf Add support for walking up memory def chains, which enables finding many more 
dead stores on 400.perlbench.

llvm-svn: 39929
 2007-07-16 21:52:50 +00:00
Nick Lewycky
43e5fd5be7 Handle decrementing loops properly. Fixes PR1533. 
Always pass the constant as the second parameter to HowManyLessThans.

Remove obsolete "isSigned" parameter.

llvm-svn: 39893
 2007-07-16 02:08:00 +00:00
Owen Anderson
1f5fb875b6 Add support for finding the dependencies of call and invoke instructions. 
llvm-svn: 38497
 2007-07-10 17:59:22 +00:00
Owen Anderson
1fabbda503 Fix a bunch of things from Chris' feedback 
llvm-svn: 38493
 2007-07-10 17:08:11 +00:00
Dan Gohman
4e45063081 Move the APInt form of SCEVUnknown::getIntegerSCEV to SCEVConstant::get, and 
use SCEVConstant::get instead of SCEVUnknown::get when constructing a SCEV
for a ConstantInt.

llvm-svn: 38457
 2007-07-09 15:25:17 +00:00
Owen Anderson
23d5d3add4 A first stab at memory dependence analysis. This is an interface on top of 
alias analysis, adding caching and lazy computation of queries.  This will
be used in planned improvements to memory access optimizations.

llvm-svn: 37958
 2007-07-06 23:14:35 +00:00
Gabor Greif
5f705671e4 Here is the bulk of the sanitizing. 
Almost all occurrences of "bytecode" in the sources have been eliminated.

llvm-svn: 37913
 2007-07-05 17:07:56 +00:00
Devang Patel
7d791bb10c Remove unused method - getIDomBlock(). 
llvm-svn: 37865
 2007-07-04 01:11:19 +00:00
Devang Patel
6e6a5c1893 Fix typo in assertion check. 
llvm-svn: 37864
 2007-07-04 01:05:22 +00:00
Dan Gohman
048c6f805b Add explicit keywords. 
llvm-svn: 37839
 2007-07-02 14:53:37 +00:00
Devang Patel
593a23252d Add loop info verification mechanism. 
llvm-svn: 37822
 2007-06-29 23:13:42 +00:00
Devang Patel
2f757c3a96 Remove unnecessary comments. 
llvm-svn: 37774
 2007-06-28 02:11:54 +00:00
Devang Patel
ce4ea8a62c Handle the case when block dominates itself. 
llvm-svn: 37773
 2007-06-28 02:07:08 +00:00
Devang Patel
28d2851f39 Remove ETForest. 
llvm-svn: 37765
 2007-06-27 20:53:52 +00:00
Devang Patel
bfb1c7192e 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
Dan Gohman
bb705e230a Rename ScalarEvolution::deleteInstructionFromRecords to 
deleteValueFromRecords and loosen the types to all it to accept
Value* instead of just Instruction*, since this is what
ScalarEvolution uses internally anyway. This allows more flexibility
for future uses.

llvm-svn: 37657
 2007-06-19 14:28:31 +00:00
Dan Gohman
838ba27094 Add a SCEV class and supporting code for sign-extend expressions. 
This created an ambiguity for expandInTy to decide when to use
sign-extension or zero-extension, but it turns out that most of its callers
don't actually need a type conversion, now that LLVM types don't have
explicit signedness. Drop expandInTy in favor of plain expand, and change
the few places that actually need a type conversion to do it themselves.

llvm-svn: 37591
 2007-06-15 14:38:12 +00:00
Devang Patel
ca555be4ca Protect updateDFSNumbers() 
llvm-svn: 37560
 2007-06-12 17:30:56 +00:00
Devang Patel
73ae5acfd0 Make DFS number manipulation methods private. 
llvm-svn: 37553
 2007-06-12 05:49:31 +00:00
Devang Patel
ab4cb51479 Break DominatorTree from ETNode. 
Remove unused PostETForest.

llvm-svn: 37551
 2007-06-12 00:54:38 +00:00
Devang Patel
73d23a5f70 Maintain DFS number in DomTreeNode itself. 
This means now ETNodes are not useful anymore.

llvm-svn: 37546
 2007-06-12 00:14:41 +00:00
Devang Patel
bc3887310b Add and use DominatorTreeBase::findNearestCommonDominator(). 
llvm-svn: 37545
 2007-06-11 23:31:22 +00:00
Devang Patel
d1a779c4fe Fix spelling. 
llvm-svn: 37522
 2007-06-08 17:59:02 +00:00
Devang Patel
cfb3a761ae 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
738f460b18 Add new method - nearestCommonDominator(). 
llvm-svn: 37508
 2007-06-08 00:21:17 +00:00
Devang Patel
d544f5262e Use DominatorTree instead of ETForest. 
llvm-svn: 37507
 2007-06-08 00:17:13 +00:00
Devang Patel
9772222f41 Add instruction level dominates(A,B) interface. 
llvm-svn: 37504
 2007-06-07 23:52:40 +00:00
Devang Patel
3daf3625ab Do not use ETForest as well as DomiantorTree. DominatorTree is sufficient. 
llvm-svn: 37501
 2007-06-07 22:17:16 +00:00
Devang Patel
3aece48470 Add basic block level properlyDominates(A,B) interface. 
llvm-svn: 37497
 2007-06-07 21:34:22 +00:00
Devang Patel
e63f8b85f7 Add BasicBlock level dominates(A,B) interface. 
llvm-svn: 37493
 2007-06-07 18:39:40 +00:00
Devang Patel
babcd06827 Maintain ETNode as part of DomTreeNode. 
This adds redundancy for now.

llvm-svn: 37492
 2007-06-07 17:47:21 +00:00
Chris Lattner
a1ad601255 add accessor 
llvm-svn: 37453
 2007-06-06 01:22:09 +00:00
Devang Patel
782ec1fbbb Break friendship. 
llvm-svn: 37450
 2007-06-06 00:59:48 +00:00
Devang Patel
43c684a62d Simplify class hierarchy. 
llvm-svn: 37447
 2007-06-06 00:46:36 +00:00
Devang Patel
ba29e5e591 s/ETNode::getChildren/ETNode::getETNodeChildren/g 
llvm-svn: 37426
 2007-06-04 23:45:02 +00:00
Devang Patel
3ad9b9f927 Add FIXMEs. 
llvm-svn: 37417
 2007-06-04 17:38:00 +00:00
Devang Patel
8faaa37b1a Remove unused method. 
llvm-svn: 37416
 2007-06-04 16:49:36 +00:00
Devang Patel
74785c1f3c s/DominatorTree::createNewNode/DominatorTree::addNewBlock/g 
llvm-svn: 37415
 2007-06-04 16:43:25 +00:00
Devang Patel
26d8a86df7 Add basic block level interface to change immediate dominator 
and create new node.

llvm-svn: 37414
 2007-06-04 16:22:33 +00:00
Devang Patel
2ef6caf14f s/llvm::DominatorTreeBase::DomTreeNode/llvm::DomTreeNode/g 
llvm-svn: 37407
 2007-06-04 00:32:22 +00:00
Devang Patel
d58b82f83a s/DominatorTreeBase::Node/DominatorTreeBase:DomTreeNode/g 
llvm-svn: 37403
 2007-06-03 06:26:14 +00:00
Devang Patel
bf5c49f62c Add dump() routines for debugging assistance. 
llvm-svn: 37314
 2007-05-23 19:55:36 +00:00
Chris Lattner
82c4362a67 update comments 
llvm-svn: 37027
 2007-05-14 01:54:16 +00:00
Nick Lewycky
c2306ff5b4 Fix typo in comment. 
llvm-svn: 36873
 2007-05-06 13:37:16 +00:00
Devang Patel
e0b9bd0e49 Use iterative while loop instead of recursive function call. 
llvm-svn: 36694
 2007-05-03 20:55:18 +00:00
Dan Gohman
793c6e2d5e Use the explicit keyword for the SCEV class' constructor. 
llvm-svn: 36686
 2007-05-03 18:45:06 +00:00
Devang Patel
cd45427a87 Drop 'const' 
llvm-svn: 36662
 2007-05-03 01:11:54 +00:00
Devang Patel
8ee9065162 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
38a66bc82e Do not use typeinfo to identify pass in pass manager. 
llvm-svn: 36632
 2007-05-01 21:15:47 +00:00
Owen Anderson
2767bc3188 Fix some null checks to actually test the part that needs checking. 
llvm-svn: 36298
 2007-04-21 07:04:45 +00:00
Owen Anderson
e49ca2c78b Add null checks and const-ify these accessors. 
llvm-svn: 36270
 2007-04-20 05:44:16 +00:00
Owen Anderson
c08636e1f0 Add accessor to get the blocks immediately dominated by a given block to ETForest. 
llvm-svn: 36251
 2007-04-18 05:25:09 +00:00
Owen Anderson
7553394275 Add an accessor to make ETForest more useful. 
llvm-svn: 36246
 2007-04-18 04:38:39 +00:00
Chris Lattner
2411bc5af8 what's an & between friends? 
llvm-svn: 36234
 2007-04-18 00:43:05 +00:00
Devang Patel
a76dce77d9 Add getPotentialPassManagerType(). No functionality change, yet. 
llvm-svn: 36149
 2007-04-16 18:51:25 +00:00
Anton Korobeynikov
f3e62a428a Removed tabs everywhere except autogenerated & external files. Add make 
target for tabs checking.

llvm-svn: 36146
 2007-04-16 18:10:23 +00:00
Owen Anderson
b371956400 Tabs -> Spaces 
llvm-svn: 36094
 2007-04-15 23:14:18 +00:00
Owen Anderson
ea857029ea 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
41582c8198 Make ETForest depend on DomTree rather than IDom. This is the first step 
in the long process that will be fixing PR 217.

llvm-svn: 36034
 2007-04-14 23:49:24 +00:00
Chris Lattner
335f1cb1f8 CSE simple binary expressions when they are inserted. This makes LSR produce 
less huge code that needs to be cleaned up by sdisel.

llvm-svn: 35959
 2007-04-13 05:04:18 +00:00
Owen Anderson
e4c29f0b01 Move isReachableFromEntry out of line to avoid an unnecessary #include 
llvm-svn: 35797
 2007-04-09 04:07:36 +00:00
Owen Anderson
f9a432a613 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
Owen Anderson
4b323657b9 Remove DomSet completely. This concludes work on PR1171. 
llvm-svn: 35775
 2007-04-08 21:30:05 +00:00
Owen Anderson
7cf9d12f2e 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
Owen Anderson
85b0e20f2a Completely purge DomSet. This is the (hopefully) final patch for PR1171. 
llvm-svn: 35731
 2007-04-07 07:17:27 +00:00
Devang Patel
19dae84536 LoopSimplify::FindPHIToPartitionLoops() 
Use ETForest instead of DominatorSet.

llvm-svn: 35222
 2007-03-20 20:19:48 +00:00
Devang Patel
57322d0462 Use schedulePass() instead of assignPassManager() to add new LPPassManager. 
This ensures that require analysis info is available.

llvm-svn: 34980
 2007-03-06 19:11:25 +00:00
Devang Patel
b44e86318e Add LPPassManager::insertLoop(). 
llvm-svn: 34979
 2007-03-06 19:00:02 +00:00
Devang Patel
8490ffbcdc LPPassManager::deleteLoopFromQueue() add meat. Cut-n-paste code from 
LoopUnswitch pass.

llvm-svn: 34977
 2007-03-06 18:38:33 +00:00
Devang Patel
d3cf506865 LPPassManager. Implement preparePassManager() hook. 
llvm-svn: 34975
 2007-03-06 17:59:37 +00:00
Devang Patel
e3abf559e5 LPPassManager : Add initialization and finalizatino hooks. 
llvm-svn: 34968
 2007-03-06 16:59:03 +00:00
Devang Patel
e4da6fa801 Use std::deque to manage loop queue inside LPPassManager. 
llvm-svn: 34943
 2007-03-06 02:30:46 +00:00
Jeff Cohen
98c99a3a02 Unbreak VC++ build. 
llvm-svn: 34917
 2007-03-05 00:00:42 +00:00
Reid Spencer
ee77d22f26 Make it possible to create an SCEVUnknown from an APInt as well as an int. 
llvm-svn: 34816
 2007-03-01 22:28:51 +00:00
Reid Spencer
965067a054 For PR1205: 
Remove ConstantInt from ConstantRange interface and adjust its users to
compensate.

llvm-svn: 34758
 2007-02-28 19:57:34 +00:00
Devang Patel
89791371ce Make getPassManagerType() const. 
llvm-svn: 34669
 2007-02-27 15:00:39 +00:00
Devang Patel
06b8983669 Loop passes are set up to accept pointer. 
llvm-svn: 34527
 2007-02-23 17:53:17 +00:00
Devang Patel
46cad14ab8 Teach LoopPass to assign itself one Loop Pass Manager. 
llvm-svn: 34510
 2007-02-23 00:36:57 +00:00
Devang Patel
9a7b18fa3d Add facility that allows LoopPass to re-insert a loop into 
Loop Pass Manager's queue.

llvm-svn: 34509
 2007-02-23 00:16:44 +00:00
Devang Patel
bbfd00e658 Add LPPassManager interface that LoopPass can use to skip 
rest of the passes in the queue for a loop.

llvm-svn: 34508
 2007-02-23 00:10:16 +00:00
Devang Patel
b170ebf833 Add LoopQueue. This is used by loop pass manager to manage loop nest. 
llvm-svn: 34504
 2007-02-22 23:30:07 +00:00
Devang Patel
aabb87cffe Add Loop Pass Manager. 
llvm-svn: 34487
 2007-02-22 08:56:17 +00:00
Devang Patel
ee1da8a703 Simplify 
llvm-svn: 34469
 2007-02-21 19:57:33 +00:00
Devang Patel
96f62d7c95 Fix memory leak (PR 775). 
llvm-svn: 34462
 2007-02-21 02:36:31 +00:00
Chris Lattner
f94d4a17a7 add #include 
llvm-svn: 34190
 2007-02-12 05:00:35 +00:00
Chris Lattner
8959334b96 Make this a *real* header: 
1. Remove using namespace llvm;
  2. Remove unneeded #includes.
  3. Add #include guard.

Also add prototypes for new code moved from transformutils to libanalysis.

llvm-svn: 33682
 2007-01-30 23:47:35 +00:00
Chris Lattner
59ba02e557 Change constant folding APIs to take an optional TargetData, and change 
ConstantFoldInstOperands/ConstantFoldCall to take a pointer to an array
of operands + size, instead of an std::vector.

llvm-svn: 33669
 2007-01-30 23:12:47 +00:00
Reid Spencer
e33c18f4d2 For PR970: 
Clean up handling of isFloatingPoint() and dealing with PackedType.
Patch by Gordon Henriksen!

llvm-svn: 33415
 2007-01-21 00:29:26 +00:00
Chris Lattner
c5e1611848 rename Type::isIntegral to Type::isInteger, eliminating the old Type::isInteger. 
rename Type::getIntegralTypeMask to Type::getIntegerTypeMask.

This makes naming much more consistent.  For example, there are now no longer any
instances of IntegerType that are not considered isInteger! :)

llvm-svn: 33225
 2007-01-15 02:27:26 +00:00
Chris Lattner
4d7eed35ae Update code to eliminate calls to isInteger, calling isIntegral instead. 
llvm-svn: 33220
 2007-01-15 01:58:56 +00:00
Reid Spencer
4428c3483b 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
7f6a73eb5c Added an automatic cast to "std::ostream*" etc. from OStream. We then can 
rework the hacks that had us passing OStream in. We pass in std::ostream*
instead, check for null, and then dispatch to the correct print() method.

llvm-svn: 32636
 2006-12-17 05:15:13 +00:00
John Criswell
b5cc5c7d1a Remove DSA. 
llvm-svn: 32553
 2006-12-13 19:56:15 +00:00
Reid Spencer
ad772bfec3 Change the interface to SCEVExpander::InsertCastOfTo to take a cast opcode 
so the decision of which opcode to use is pushed upward to the caller.
Adjust the callers to pass the expected opcode.

llvm-svn: 32535
 2006-12-13 08:06:42 +00:00
Bill Wendling
a3246c4272 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
Reid Spencer
faa1b54104 Unclutter this by using new cast creation functions. 
llvm-svn: 32192
 2006-12-04 20:18:26 +00:00
Reid Spencer
0668975146 Change inferred casts to explicit casts. 
llvm-svn: 32165
 2006-12-04 02:46:44 +00:00
Bill Wendling
4effa38086 Replacing std::iostreams with llvm iostreams. Some of these changes involve 
adding a temporary wrapper around the ostream to make it friendly to
functions expecting an LLVM stream. This should be fixed in the future.

llvm-svn: 31990
 2006-11-29 00:19:40 +00:00
Bill Wendling
5def3648f4 Support for llvm_ostreams. 
llvm-svn: 31988
 2006-11-28 23:31:42 +00:00
Bill Wendling
4688855715 Support for llvm streams. 
llvm-svn: 31982
 2006-11-28 22:45:17 +00:00
Bill Wendling
4157840bd6 Added a temporary hack to get the llvm-streams to work for future checkins. 
llvm-svn: 31978
 2006-11-28 22:21:29 +00:00
Reid Spencer
992d9788b3 For PR950: 
The long awaited CAST patch. This introduces 12 new instructions into LLVM
to replace the cast instruction. Corresponding changes throughout LLVM are
provided. This passes llvm-test, llvm/test, and SPEC CPUINT2000 with the
exception of 175.vpr which fails only on a slight floating point output
difference.

llvm-svn: 31931
 2006-11-27 01:05:10 +00:00
Andrew Lenharth
6bf99e12a8 A shim over other AA impls to catch incorrect uses 
llvm-svn: 31724
 2006-11-14 05:21:04 +00:00
Jeff Cohen
e1003da1a2 Unbreak VC++ build. 
llvm-svn: 31464
 2006-11-05 19:31:28 +00:00
Chris Lattner
f6b840a1ae silence warning 
llvm-svn: 31402
 2006-11-03 01:45:13 +00:00
Chris Lattner
44b3550217 add a method 
llvm-svn: 31249
 2006-10-28 01:24:05 +00:00