RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-26 22:42:46 +02:00
Code Issues Projects Releases Wiki Activity
12,858 Commits 4 Branches 5 Tags 704 MiB
ff9f74082f
Commit Graph

468 Commits

Author SHA1 Message Date
Chris Lattner
da374a0ade Make sure to print indirect node again 
llvm-svn: 4943
 2002-12-06 06:40:00 +00:00
Vikram S. Adve
2d712e9ff6 Added flags to CloneFlags to strip/keep Mod/Ref bits when cloning a graph. 
llvm-svn: 4835
 2002-11-27 17:39:37 +00:00
Vikram S. Adve
98df15e927 No longer need local graph to find call sites. 
Also some major fixes within IPModRef.cpp.

llvm-svn: 4834
 2002-11-27 17:38:56 +00:00
Chris Lattner
b094535fdf Inline DSTypeRec stuff into DSNode 
llvm-svn: 4751
 2002-11-18 21:45:30 +00:00
Chris Lattner
e66e649733 Inline DSTypeRec into DSNode 
llvm-svn: 4750
 2002-11-18 21:45:07 +00:00
Chris Lattner
80445dfe2e Templatize graph traits and iterator to work with const and non-const clients 
llvm-svn: 4746
 2002-11-18 21:42:19 +00:00
Chris Lattner
18cdae7e54 Omit the indirect node when printing call graphs 
llvm-svn: 4733
 2002-11-17 23:10:27 +00:00
Chris Lattner
57e3d39384 Remove dead method, add new method 
llvm-svn: 4700
 2002-11-12 15:57:28 +00:00
Chris Lattner
2ecb91e1c1 Almost complete rewrite of BU closure code 
llvm-svn: 4693
 2002-11-11 21:34:34 +00:00
Chris Lattner
47457c43f4 add method 
llvm-svn: 4686
 2002-11-10 23:47:02 +00:00
Chris Lattner
aaabf591d2 Add code to be able to merge two call sites 
llvm-svn: 4685
 2002-11-10 23:46:51 +00:00
Chris Lattner
db1822a429 Add hasGraph() methods to all of the passes for the printer 
llvm-svn: 4676
 2002-11-10 06:53:19 +00:00
Chris Lattner
7cb6ecd396 Implement swapping 
llvm-svn: 4674
 2002-11-10 06:48:24 +00:00
Chris Lattner
fbfba19b2f Implement support for swapping. Callsites now sort by callee 
llvm-svn: 4673
 2002-11-10 06:48:11 +00:00
Chris Lattner
667b09146f Add capability to set a preference of what call vector is printed to dot files 
llvm-svn: 4672
 2002-11-10 06:47:35 +00:00
Chris Lattner
1fe76d2385 eliminate the ability to remove global nodes from deadNodeElminate... for now. 
This slows stuff down a bit, but it should get much better before it gets any
worse.

llvm-svn: 4666
 2002-11-09 22:07:02 +00:00
Chris Lattner
0752756a6a Add globals graphs to all three passes 
llvm-svn: 4663
 2002-11-09 21:12:07 +00:00
Chris Lattner
c2eca7c7bc Move maskNodeTypes from cpp file 
llvm-svn: 4662
 2002-11-09 21:02:30 +00:00
Chris Lattner
e726eb5ea7 Clean up DSGraph::removeDeadNodes interface 
llvm-svn: 4660
 2002-11-09 21:00:49 +00:00
Chris Lattner
f17ffc0cc5 Make removeTriviallyDeadNodes a private interface 
llvm-svn: 4658
 2002-11-09 20:55:04 +00:00
Chris Lattner
1c5c03d6f7 Add initial support for a globals graph 
llvm-svn: 4656
 2002-11-09 20:01:01 +00:00
Chris Lattner
0db8dff751 Remove unneccesary #include 
llvm-svn: 4653
 2002-11-09 19:24:41 +00:00
Chris Lattner
a81c52f557 Remove GlobalDSGraph delcaration 
llvm-svn: 4652
 2002-11-09 19:21:56 +00:00
Chris Lattner
fa3cdfdcf7 Fix release build 
llvm-svn: 4647
 2002-11-09 00:48:52 +00:00
Chris Lattner
15e2b6ddb9 Add new methods 
llvm-svn: 4646
 2002-11-08 23:22:48 +00:00
Chris Lattner
a6520dea5c Add another option to cloneGraph 
llvm-svn: 4641
 2002-11-08 22:28:55 +00:00
Chris Lattner
5f0b273a70 - Add support for an "auxillary" call site list 
- Original call sites are now never modified after construction by the local
  pass.
- DSGraph::cloneInto can now optionally not clone the call sites
- BUDataStructures no longer has a ton of book-keeping info for a broken
  implementation of the TD data structures

llvm-svn: 4631
 2002-11-08 21:24:51 +00:00
Chris Lattner
de23b0e031 Use DSNodeHandle for persistent maps 
llvm-svn: 4623
 2002-11-08 05:03:37 +00:00
Chris Lattner
9330d88b02 Add flag that may be used to determine if dead nodes are used. It's temporary 
llvm-svn: 4620
 2002-11-08 01:22:26 +00:00
Vikram S. Adve
8ad057e4ec Restore a #include because this header file needs the definitions 
of DSCallSite::~DSCallSite and DSNodeHandle::~DSNodeHandle.

llvm-svn: 4616
 2002-11-08 00:23:23 +00:00
Chris Lattner
adac673c17 Add interfaces for ResolveCallSiteModRefInfo 
llvm-svn: 4601
 2002-11-07 07:11:49 +00:00
Chris Lattner
450e1fbc76 Instead of using a bool that constant has to be explained, use a self 
explanitory enum instead.

llvm-svn: 4600
 2002-11-07 07:06:20 +00:00
Chris Lattner
aa7b1a3e3a Add new method 
llvm-svn: 4598
 2002-11-07 06:30:17 +00:00
Chris Lattner
48a0cb745d Expose isPointerType to clients of dsanalysis 
llvm-svn: 4597
 2002-11-07 05:21:15 +00:00
Chris Lattner
9bcd1e1b61 Add a comment 
llvm-svn: 4586
 2002-11-06 23:26:21 +00:00
Chris Lattner
9870fb032e Allow the ResolveCallSiteModRefInfo method to return a mapping of nodes, 
implement the mod/ref bit masking

llvm-svn: 4578
 2002-11-06 19:59:33 +00:00
Chris Lattner
f7e839f435 Add a stub to implement the context sensitive mod/ref info for call sites 
llvm-svn: 4577
 2002-11-06 19:38:43 +00:00
Chris Lattner
00de4338dc Give a back pointer to the IPModRef object to the FunctionModRefInfo object 
llvm-svn: 4576
 2002-11-06 19:07:13 +00:00
Chris Lattner
a90e3aa6b2 Remove a couple of #includes, move some code to .cpp file 
llvm-svn: 4574
 2002-11-06 18:38:10 +00:00
Chris Lattner
09a2cc9a4a Make PointerShift/Size be enums so they are constants instead of globals 
llvm-svn: 4571
 2002-11-06 18:02:26 +00:00
Vikram S. Adve
201d4e3639 Make query operations non-const to allow demand-driven analyses. 
llvm-svn: 4569
 2002-11-06 17:17:55 +00:00
Vikram S. Adve
2a1c1171e7 An interprocedural analysis pass that computes flow-insensitive 
IP Mod and Ref information for every function and every call site.

llvm-svn: 4567
 2002-11-06 17:02:03 +00:00
Vikram S. Adve
05cfe7d191 Add const version of function getNodeForValue: 
const DSNodeHandle &getNodeForValue(Value *V) const.

llvm-svn: 4566
 2002-11-06 17:00:41 +00:00
Chris Lattner
d0387e7e11 Dramatically simplify internal DSNode representation, get implementation 
*FULLY OPERATIONAL* and safe.  We are now capable of completely analyzing
at LEAST the Olden benchmarks + 181.mcf

llvm-svn: 4562
 2002-11-06 06:20:27 +00:00
Chris Lattner
f1d0314c32 Remove stripscalars argument to cloneInto 
llvm-svn: 4561
 2002-11-06 06:18:56 +00:00
Chris Lattner
c9dc8840ff Add a bunch of assertions 
llvm-svn: 4549
 2002-11-04 23:59:41 +00:00
Chris Lattner
facce8e131 Implement methods needed to print out call graph 
llvm-svn: 4522
 2002-11-04 02:53:39 +00:00
Chris Lattner
aaf17e11b1 Allow the call graph to be called from analyze naturally with print implemented 
llvm-svn: 4517
 2002-11-04 00:21:19 +00:00
Chris Lattner
8d63aab886 Rename ValueMap to ScalarMap 
llvm-svn: 4516
 2002-11-03 21:27:48 +00:00
Chris Lattner
0ee058644e Rename NewNode flag to HeapNode 
llvm-svn: 4515
 2002-11-03 21:24:04 +00:00
Misha Brukman
4e272d8fd9 Fixed comment on top of DSNode.h, added note to DSSupport.h as to why 
functions were split out from DSNode class.

llvm-svn: 4509
 2002-11-02 21:18:53 +00:00
Chris Lattner
702ac95902 Implement the "unknown flag" which mainly consists of aligning printing code 
llvm-svn: 4490
 2002-11-02 00:36:03 +00:00
Chris Lattner
f76aa218db * Eliminate Scalar node type (renumber other node types) 
* Allow DSNodeHandle::mergeWith to work if a node handle isn't pointing to a node yet

llvm-svn: 4487
 2002-11-02 00:11:12 +00:00
Chris Lattner
e0a3be0bb7 Eliminate some unneccesary #includes and forward decls 
llvm-svn: 4475
 2002-10-31 21:24:10 +00:00
Misha Brukman
cd6a3b2f2c Refactored DSGraph.h: 
* DSGraph.h   contains DSGraph
* DSNode.h    contains DSNode (soon UDSNode and MDSNode)
* DSSupport.h contains DSCallsite, DSTypeRec, and DSNodeHandler

llvm-svn: 4466
 2002-10-31 06:34:18 +00:00
Chris Lattner
317daff9bf This fixes all kinds of problems with array handling. There are still bugs to 
be fixed, but we are getting much closer now.

    * Make DSNode::TypeRec a full fledged DSTypeRec type.
    * Add methods used to update and access the typerecords elements
    * Add methods to query if and to cause a node to be completely folded
    * DSGraph construction doesn't use the allocation type for anything at all,
      now nodes get their type information based on how they are used.
    * Fixed a bug with global value handling introduced in the last checkin
    * GEP support is now much better, arrays are handled correctly.  The array
      flag is now updated in type records.  There are still cases that are not
      handled yet (we do not detect pessimizations), but getting much closer.

llvm-svn: 4465
 2002-10-31 05:45:02 +00:00
Chris Lattner
2e98413a27 Add interface to update domfrontier info, thanks to Casey Carter for impl 
llvm-svn: 4456
 2002-10-31 02:39:48 +00:00
Misha Brukman
453ccb15f5 Fixed spelling of `propagation'. 
llvm-svn: 4422
 2002-10-29 22:55:11 +00:00
Chris Lattner
a7e9d3e90f Don't #include <Support/*>, #include "Support/*" 
llvm-svn: 4325
 2002-10-28 02:11:53 +00:00
Chris Lattner
8f38efd9dd Add #include 
llvm-svn: 4291
 2002-10-27 19:08:03 +00:00
Chris Lattner
58781838b7 We need to know the call sites each function hosts 
llvm-svn: 4258
 2002-10-22 15:58:23 +00:00
Chris Lattner
535d54ef22 Allow modification of callee 
llvm-svn: 4257
 2002-10-22 15:57:58 +00:00
Chris Lattner
1157e5dafb Delete unused arguments to DSGraph::cloneInto method 
llvm-svn: 4253
 2002-10-21 19:50:29 +00:00
Chris Lattner
4410178282 - Add "ResolvingCaller" to the CallSite record. This keeps track of which 
function was finally able to resolve the function call.  Adding this allows
    the TD pass to actually work right!
  - Temporarily disable dead node pruning.  This will be reenabled soon.

llvm-svn: 4252
 2002-10-21 19:47:18 +00:00
Chris Lattner
7588e35aa8 Add another copy ctor form 
llvm-svn: 4251
 2002-10-21 15:32:34 +00:00
Chris Lattner
1276c50e7b As it turns out, we don't need a fully generic mapping copy ctor, we just need 
something that maps through a std::map.  Since this simplified the client and
implementation code, do so now.

llvm-svn: 4250
 2002-10-21 15:04:18 +00:00
Chris Lattner
f8b59c1c75 Make sure to initialize isArray member 
llvm-svn: 4247
 2002-10-21 13:38:07 +00:00
Chris Lattner
ca982e6b42 Two callsites are equivalent even if they are from two completely different 
call instructions

llvm-svn: 4241
 2002-10-21 02:09:03 +00:00
Chris Lattner
2914391ab6 - Make DSCallSite not inherit from std::vector. Renamed methods slightly. 
Make copy ctor have two versions to avoid dealing with conditional template
    argument.  DSCallSite ctor now takes all arguments instead of taking one
    and being populated later.

llvm-svn: 4240
 2002-10-21 02:08:03 +00:00
Vikram S. Adve
85a358583f Remove spurious caller pointer in DSCallSite. 
Also add functions to access pointer argument nodes cleanly.

llvm-svn: 4235
 2002-10-20 21:41:02 +00:00
Chris Lattner
9c264543b5 Add isArray flag 
llvm-svn: 4230
 2002-10-20 20:28:35 +00:00
Vikram S. Adve
32689f8214 Added a first-class representation for each call site that can be 
used in the DS graphs in DSGraph.h.  With that, the special-purpose
class BUDataStructure::CallSite is no longer needed here.

llvm-svn: 4229
 2002-10-20 18:08:55 +00:00
Vikram S. Adve
2a6ec82970 Added a first-class representation for each call site that can be used 
in the DS graphs.

llvm-svn: 4227
 2002-10-20 18:04:43 +00:00
Chris Lattner
efc251af3d Convert typerec to be a structure instead of a pair 
llvm-svn: 4226
 2002-10-18 18:22:46 +00:00
Chris Lattner
d9b76794a0 Add interface for mod/ref info to be captures by dsgraphs 
llvm-svn: 4222
 2002-10-17 21:03:49 +00:00
Chris Lattner
68ac171c62 * Add data structures to BU pass to keep track of call sites for functions 
* Reenable the TD analysis

llvm-svn: 4212
 2002-10-17 04:23:05 +00:00
Chris Lattner
bb28060fb4 * Remove a lot of obsolete #if 0'd code 
* Add a simple getNodeForValue method to access the ValueMap.

llvm-svn: 4211
 2002-10-17 04:22:16 +00:00
Chris Lattner
80332e579c Use the forward declaration for GraphTraits instead of #including 
the header

llvm-svn: 4210
 2002-10-17 01:36:08 +00:00
Chris Lattner
df9733a0a1 Be const correct. Handle both DSGraph* and const DSGraph*'s 
llvm-svn: 4208
 2002-10-17 01:01:06 +00:00
Joel Stanley
128e78631f Added partial specialization of GraphTraits for the DominatorTree class. 
llvm-svn: 4205
 2002-10-16 23:26:00 +00:00
Chris Lattner
3702063ff3 The second element of the iterator is really an offset, not a link 
llvm-svn: 4196
 2002-10-16 01:43:11 +00:00
Chris Lattner
d135a2b550 Allow direct access to mergemap for printing 
llvm-svn: 4191
 2002-10-16 01:17:16 +00:00
Chris Lattner
54905ed38c First crack at reimplementing graph traits for DSGraphs 
llvm-svn: 4145
 2002-10-13 19:31:34 +00:00
Misha Brukman
b4940744de Added capability to get execution count of a loop if it is a predictable 
number of iterations.

llvm-svn: 4113
 2002-10-11 05:34:32 +00:00
Misha Brukman
d55cfa6b94 Added helper functions in LoopInfo: isLoopExit and numBackEdges. 
llvm-svn: 4112
 2002-10-11 05:31:10 +00:00
Chris Lattner
cbfb5d1eca Change reference 
llvm-svn: 4110
 2002-10-10 22:31:02 +00:00
Chris Lattner
2fd0924282 Rename DataStructureGraph.h to DSGraphTraits.h 
llvm-svn: 4107
 2002-10-10 20:36:37 +00:00
Chris Lattner
b9f59f1533 Expose new "recalculate" method from dominatorset 
llvm-svn: 4074
 2002-10-08 19:12:08 +00:00
Chris Lattner
bcb0197fe3 Remove commented out stuff 
DataStructure.h doesn't include DSGraph.h now

llvm-svn: 4028
 2002-10-02 22:14:17 +00:00
Chris Lattner
668457ea05 Move GlobalDSGraph class defn to the end of the file 
llvm-svn: 4027
 2002-10-02 21:55:52 +00:00
Chris Lattner
801fcdd060 This file doesn't need Pass.h 
llvm-svn: 4026
 2002-10-02 21:55:24 +00:00
Chris Lattner
858642be4c * Implement fully general merging of array subscripts on demand! This 
does not handle the initial pointer index case yet though.

llvm-svn: 4011
 2002-10-02 06:24:29 +00:00
Chris Lattner
0851fb32b7 Checkin the "meat" of the Data structure graph itself. I forgot to check 
this in before.  :(

llvm-svn: 4009
 2002-10-02 04:58:12 +00:00
Chris Lattner
7f0db9917a Check in DataStructure rewrite so far. 
llvm-svn: 3998
 2002-10-01 22:34:45 +00:00
Chris Lattner
5c3fdd02af Simplify code a bit, add an assertion 
llvm-svn: 3974
 2002-09-29 21:37:08 +00:00
Chris Lattner
a9bc408104 First try at implementing the AliasSetTracker class. I'm sure it will need 
revision as I start to use it though.

llvm-svn: 3954
 2002-09-26 21:49:07 +00:00
Chris Lattner
51dd965704 - Fix bug in LoopInfo causing ParentLoop to be garbage 
llvm-svn: 3940
 2002-09-26 16:15:19 +00:00
Chris Lattner
dee21da2c0 - Add methods to ImmediateDominators & DominatorTree to allow updates 
- Make DominatorTree::Node not inherit from std::vector

llvm-svn: 3938
 2002-09-26 16:14:37 +00:00
Chris Lattner
aebc47d30a Add a new "DominatorSet::addDominator" method to allow updates 
llvm-svn: 3937
 2002-09-26 05:42:47 +00:00
Chris Lattner
4dddc16c8c - Add new methods to LoopInfo: getLoopPreheader, addBasicBlockToLoop. 
These allow extra information to be easily gathered, and loopinfo to be
    updated.

llvm-svn: 3935
 2002-09-26 05:32:43 +00:00
Chris Lattner
941c5c9a70 ImmutablePass's don't need a runOnFunction, nor do they need to explicitly say 
that they preserve all xforms

llvm-svn: 3925
 2002-09-25 22:27:54 +00:00
Chris Lattner
8c104c3afa Convert BasicAA to be an immutable pass instead of a FunctionPass 
llvm-svn: 3922
 2002-09-25 22:00:18 +00:00
Chris Lattner
59bfff25cb Checkin stub for Misha to implement 
llvm-svn: 3919
 2002-09-25 19:10:06 +00:00
Chris Lattner
fba5394cf3 Make users of FindUsedTypes not have problems with linkage. This fixes 
cwriter.

llvm-svn: 3899
 2002-09-24 00:07:17 +00:00
Chris Lattner
ccf0fe57bc Remove extra #include 
llvm-svn: 3776
 2002-09-17 17:18:12 +00:00
Chris Lattner
d8e9501bf5 - Doxygenize comments 
- Add new method to dominatorset: properlyDominates
- Add synonmys for operator[] to classes so that pointers to dominator
  information can be used more easily.
- Add API's to update dominator information

llvm-svn: 3585
 2002-09-06 02:16:27 +00:00
Chris Lattner
838248b35a - Eliminate the last traces of the 'analysis' namespace 
llvm-svn: 3550
 2002-08-30 22:53:53 +00:00
Chris Lattner
168cdaea1a Fix comments. 
llvm-svn: 3546
 2002-08-30 22:51:08 +00:00
Chris Lattner
bfffa18d20 Merged into ValueNumbering.cpp 
llvm-svn: 3545
 2002-08-30 22:30:51 +00:00
Chris Lattner
47f9a4a06a Initial implementation of basic value numbering 
This file will probably go away at some point

llvm-svn: 3542
 2002-08-30 20:30:03 +00:00
Chris Lattner
2b8ae06774 Initial version of LoadValueNumbering interface 
llvm-svn: 3539
 2002-08-30 20:27:48 +00:00
Chris Lattner
a9d7ed8985 Initial version of ValueNumbering interface 
llvm-svn: 3538
 2002-08-30 20:27:15 +00:00
Chris Lattner
5545ec0631 Fix comments 
llvm-svn: 3523
 2002-08-29 20:08:39 +00:00
Anand Shukla
1e105cdb7c Changed so it gets linked properly 
llvm-svn: 3508
 2002-08-26 16:45:19 +00:00
Chris Lattner
48278223df doxygenize comments in header 
llvm-svn: 3480
 2002-08-22 22:46:20 +00:00
Chris Lattner
01ed913adb Add doxygen comments to AliasAnalysis class 
llvm-svn: 3475
 2002-08-22 21:22:25 +00:00
Chris Lattner
5d3710be84 Fix bug: test/Regression/Assembler/2002-08-22-DominanceProblem.ll 
llvm-svn: 3473
 2002-08-22 20:39:27 +00:00
Chris Lattner
04c9a37306 Checkin new alias analysis infrastructure 
llvm-svn: 3464
 2002-08-22 18:25:20 +00:00
Chris Lattner
c4bd846e84 - Split Dominators.h into Dominators.h & PostDominators.h 
llvm-svn: 3432
 2002-08-21 23:43:50 +00:00
Chris Lattner
6c83ee57c1 - Do not expose ::ID from any of the analyses anymore. 
llvm-svn: 3417
 2002-08-21 17:09:49 +00:00
Chris Lattner
b90f78e2b3 - Do not expose ::ID from any of the analyses anymore. 
llvm-svn: 3416
 2002-08-21 17:09:45 +00:00
Chris Lattner
3575b5733a * IntervalPartition no longer derives from vector 
llvm-svn: 3281
 2002-08-09 22:52:06 +00:00
Chris Lattner
98c71e5666 The second parameter of hash_set is the default, remove it. 
llvm-svn: 3273
 2002-08-09 19:40:42 +00:00
Chris Lattner
a21e315db4 - 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: 3265
 2002-08-08 19:01:30 +00:00
Chris Lattner
fd41c5e71b Changes to be GCC 3.1 friendly 
llvm-svn: 3184
 2002-07-31 19:31:59 +00:00
Vikram S. Adve
8491cdb932 Add GlobalDSGraph -- a common graph that holds externally visible nodes. 
llvm-svn: 3169
 2002-07-30 22:02:04 +00:00
Chris Lattner
ef6729c9ca * Eliminate the Provided set. All Passes now finally just automatically 
provide themselves.

llvm-svn: 3125
 2002-07-29 21:03:38 +00:00
Chris Lattner
b202b77aab * 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
3f47f1065b * 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: 3115
 2002-07-27 01:12:15 +00:00
Chris Lattner
ea9fb2a20a *** empty log message *** 
llvm-svn: 3111
 2002-07-26 21:11:42 +00:00
Chris Lattner
e056a17a88 *** empty log message *** 
llvm-svn: 3107
 2002-07-26 19:19:31 +00:00
Chris Lattner
27272ee812 Simplify analyses so that there is only one analysis per class 
llvm-svn: 3104
 2002-07-26 18:40:06 +00:00
Chris Lattner
5cc0bef9ed Remove dead options 
llvm-svn: 3096
 2002-07-25 19:59:38 +00:00
Chris Lattner
fe990ba408 Fix previous checkin 
llvm-svn: 3093
 2002-07-25 17:58:58 +00:00
Chris Lattner
eb574d8777 Add typenames 
llvm-svn: 3092
 2002-07-25 17:55:37 +00:00
Chris Lattner
0ccf5689e3 *** empty log message *** 
llvm-svn: 3077
 2002-07-25 15:00:45 +00:00
Chris Lattner
85a79c0bf6 GCC 3.1 changes 
llvm-svn: 3070
 2002-07-24 22:34:01 +00:00
Chris Lattner
5f11498859 *** empty log message *** 
llvm-svn: 3065
 2002-07-24 22:08:53 +00:00
Chris Lattner
25fde60989 Remove assert hack now that I'm using the right GDB. :) 
llvm-svn: 3045
 2002-07-24 17:21:36 +00:00
Chris Lattner
aa06815b2b Allow comparison against null 
llvm-svn: 3009
 2002-07-23 17:59:02 +00:00
Chris Lattner
251a101494 Rename removeDeadNodes to removeTriviallyDeadNodes 
Add new removeDeadNodes method

llvm-svn: 2968
 2002-07-18 18:18:40 +00:00
Chris Lattner
9d5d6a8f94 Simplify saveOrigFunctionCalls 
llvm-svn: 2967
 2002-07-18 16:23:02 +00:00
Vikram S. Adve
a6647796e3 Add support for a top-down propagation pass. 
Each DSGraph now keeps a list of pending callers that have not
been inlined into the function represented by that graph.
It also keeps a copy of the original call nodes before the BU pass
eliminates some of them.

llvm-svn: 2965
 2002-07-18 16:12:08 +00:00
Chris Lattner
cc73590b11 * s/method/function 
* BIG CHANGE: The root of the call "graph" is considered to be the external
  node, not the "Root".  This means that users using graph iterators like
  df_begin() will start from the external node.

llvm-svn: 2957
 2002-07-18 04:42:35 +00:00
Chris Lattner
5eaf38b681 First cut at implementing bottom up analysis 
llvm-svn: 2944
 2002-07-18 00:11:28 +00:00
Chris Lattner
6fbdec3e5a * Nodes now keep track of any global variables contained within them 
llvm-svn: 2877
 2002-07-11 20:30:18 +00:00
Chris Lattner
567a072523 New implementation of data structure analysis 
This diff is completely meaningless because this is a replacement
implementation.

llvm-svn: 2872
 2002-07-10 22:42:17 +00:00
Anand Shukla
bddcd163a1 changes to make it compatible with 64bit gcc 
llvm-svn: 2786
 2002-06-25 20:22:25 +00:00
Chris Lattner
dfd421a7df MEGAPATCH checkin. 
For details, See: docs/2002-06-25-MegaPatchInfo.txt

llvm-svn: 2779
 2002-06-25 16:13:24 +00:00
Chris Lattner
cee706572b *** empty log message *** 
llvm-svn: 2777
 2002-06-25 16:12:52 +00:00
Chris Lattner
fcd8e95495 Allow const bb's to be checked for containment in a loop 
llvm-svn: 2754
 2002-06-03 22:10:48 +00:00
Chris Lattner
07732a38b7 Avoid #including CommandLine.h 
llvm-svn: 2710
 2002-05-22 17:06:56 +00:00
Chris Lattner
2735171cf5 Add method to check to see if two _Instructions_ dominate each other 
llvm-svn: 2616
 2002-05-13 22:03:16 +00:00
Chris Lattner
2573cd6d56 Fix misspelling 
llvm-svn: 2548
 2002-05-07 22:12:36 +00:00
Chris Lattner
294b5915d8 Remove analysis namespace 
llvm-svn: 2399
 2002-04-29 18:12:52 +00:00
Chris Lattner
589debc4ba Add new optional getPassName() virtual function that a Pass can override 
to make debugging output a lot nicer.

llvm-svn: 2395
 2002-04-29 14:57:45 +00:00
Chris Lattner
f043c4baac Remove all contents of the cfg namespace to the global namespace 
llvm-svn: 2369
 2002-04-28 16:19:42 +00:00
Chris Lattner
741453dd60 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
2f0ee1833d s/Method/Function 
llvm-svn: 2336
 2002-04-27 07:27:19 +00:00
Chris Lattner
536cf1b13f * 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
ff8530eabd Support array allocations 
llvm-svn: 2326
 2002-04-27 02:27:11 +00:00
Chris Lattner
6830bf4c34 Make data structure acurately get ALL edges, even loads of null fields of 
nodes that are not shadow nodes

llvm-svn: 2273
 2002-04-17 03:24:47 +00:00
Chris Lattner
407c7385f8 Remove the concept of a critical shadow node 
llvm-svn: 2265
 2002-04-16 20:39:23 +00:00
Chris Lattner
e673eb0d73 * Eliminate ArgDSNode's completely, rely now on Scalar map 
llvm-svn: 2256
 2002-04-16 03:41:22 +00:00
Chris Lattner
65dd63d712 s/Method/Function 
llvm-svn: 2246
 2002-04-14 06:14:15 +00:00
Chris Lattner
4434e03eb6 Move FunctionArgument out of iOther.h into Argument.h and rename class to 
be 'Argument' instead of FunctionArgument.

llvm-svn: 2217
 2002-04-09 19:59:31 +00:00
Chris Lattner
0a8a112014 Don't leak all of the Loop objects created... 
llvm-svn: 2196
 2002-04-09 05:43:19 +00:00
Chris Lattner
ada9cc6352 Trim #includes 
llvm-svn: 2169
 2002-04-08 21:52:32 +00:00
Chris Lattner
bc15ae64dd Change references to the Method class to be references to the Function 
class.  The Method class is obsolete (renamed) and all references to it
are being converted over to Function.

llvm-svn: 2144
 2002-04-07 20:49:59 +00:00
Chris Lattner
f31c01714f Add method to get # nodes in the graph 
llvm-svn: 2098
 2002-04-04 19:20:00 +00:00
Chris Lattner
ce662b0ee9 Shadow nodes don't need to know their explicit parent, they just need to 
know what type to be.

llvm-svn: 2080
 2002-04-01 00:12:36 +00:00
Chris Lattner
0a70c8a163 * Allow access to DSNode iterator as DSNode::iterator/begin/end 
* Add debugging "dump" method to DSNode
* Fix bugs in DSNode iterator

llvm-svn: 2060
 2002-03-31 07:11:20 +00:00
Chris Lattner
c3b299b9ba Initial checkin of file: 
Define an iterator to operate over data structure outgoing links and
graph implementation so generic graph functions can be used.

llvm-svn: 2057
 2002-03-30 09:13:23 +00:00
Chris Lattner
06ffc5b249 Add accessors and a method to get all the outgoing links for ALL nodes 
llvm-svn: 2055
 2002-03-30 09:07:51 +00:00
Chris Lattner
fb50c702c4 Add an accessor 
llvm-svn: 2054
 2002-03-30 04:02:41 +00:00
Chris Lattner
289f7690fe Add a hook to allow the datastructure to keep naturally up to date, even 
though it's not entirely fleshed out.

llvm-svn: 2051
 2002-03-29 21:23:29 +00:00
Chris Lattner
ca2c7dbf7c Expose more information to clients 
llvm-svn: 2027
 2002-03-29 03:35:30 +00:00
Chris Lattner
cab0ce8244 Implement getEscapingAllocations & getNonEscapingAllocations 
llvm-svn: 2021
 2002-03-28 19:33:00 +00:00
Chris Lattner
2f9f87a984 * Remove RemoveUnreachableShadowNodes & UnlinkUndistinguishableShadowNodes 
to reflect the fact that they actually operate on arbitrary nodes
* Clean up public interface of FunctionDSGraph
* add getEscapingAllocations & getNonEscapingAllocations

llvm-svn: 2019
 2002-03-28 19:15:38 +00:00
Chris Lattner
4054edc567 * Define some operators on PointerVal and PVS's 
* Nodes can determine whether they are foldable with another node
* Rename NewDSNode to AllocDSNode
* The Function graph breaks up all of the node types into individual
  vectors to alloc fast access when you are looking for a particular type
  of node.  Simplifies much code.

llvm-svn: 2009
 2002-03-28 17:48:41 +00:00
Chris Lattner
4defbc34ff * Add a nice utility method to DSNode 
* Export interface to tell whether an alloc node represent a malloc or alloca
* Add the concept of a "critical" shadow node

llvm-svn: 2000
 2002-03-27 19:41:45 +00:00
Chris Lattner
e01e339e93 Allow isa<DSNode>(..) 
Simplification routines return true on change

llvm-svn: 1996
 2002-03-27 00:52:57 +00:00
Chris Lattner
1026adab40 New header file for datastructure analysis 
llvm-svn: 1993
 2002-03-26 22:38:45 +00:00
Chris Lattner
fecabeab3c Change uses of Method to Function 
Change uses of methodArgument to FunctionArgument

llvm-svn: 1988
 2002-03-26 17:49:55 +00:00
Chris Lattner
c481e92886 Rename Method to Function 
llvm-svn: 1957
 2002-03-23 22:51:58 +00:00
Vikram S. Adve
aae5fcc0ca Big bug fix: killed uses were being inserted instead of erased! 
Also added a set of debug options.

llvm-svn: 1917
 2002-03-19 00:59:08 +00:00
Chris Lattner
4f4609a284 Convert the top line of the header from .cpp style to .h style. 
llvm-svn: 1884
 2002-03-17 21:16:22 +00:00
Chris Lattner
0f0ed63279 Clean up call graph, add comments, and fix test/Regression/Other/2002-01-31-CallGraph.ll 
llvm-svn: 1828
 2002-03-06 20:19:35 +00:00
Chris Lattner
5cea52a4d5 Move callgraph printing out of writer.h into callgraph.h 
llvm-svn: 1824
 2002-03-06 17:59:45 +00:00
Chris Lattner
4830f16b6e Pull Callgraph out of the cfg namespace 
llvm-svn: 1821
 2002-03-06 17:39:28 +00:00
Chris Lattner
962e012ad5 Take CallGraph out of the CFG namespace. It has nothing to do with CFGs 
llvm-svn: 1820
 2002-03-06 17:16:43 +00:00
Chris Lattner
3ca03295c4 Expose verifier for method and module, and accept constant structures 
llvm-svn: 1814
 2002-02-26 21:38:48 +00:00
Chris Lattner
b10862d793 Make it compile with GCC 3.0.4 
llvm-svn: 1786
 2002-02-24 23:01:21 +00:00
Chris Lattner
9942a79fcd Modernize verifier interface 
llvm-svn: 1780
 2002-02-20 17:54:35 +00:00
Chris Lattner
c88d936415 * Pull BasicBlock::pred_* and BasicBlock::succ_* out of BasicBlock.h and into 
llvm/Support/CFG.h
* Make pred & succ iterators for intervals global functions

llvm-svn: 1748
 2002-02-12 22:35:27 +00:00
Chris Lattner
3a1bc64866 Method.h no longer includes BasicBlock.h 
Method::inst_* is now in llvm/Support/InstIterator.h

llvm-svn: 1745
 2002-02-12 21:04:35 +00:00
Chris Lattner
3b3ee75819 Convert BBLiveVar to be a BasicBlock annotation, this removes the BB2BBLVMap from MethodLiveVarInfo. 
llvm-svn: 1721
 2002-02-05 06:52:25 +00:00
Chris Lattner
5337fbec40 Minor change: Methods that return ValueSet's that are guaranteed to be valid 
return references instead of pointers.

llvm-svn: 1719
 2002-02-05 04:20:12 +00:00
Chris Lattner
c77877fb46 Remove generic routines to Support/SetOperations.h 
llvm-svn: 1715
 2002-02-05 03:35:31 +00:00
Chris Lattner
6c0cbc3009 Remove empty files 
llvm-svn: 1713
 2002-02-05 02:52:53 +00:00
Chris Lattner
dc3aec7a90 * Eliminate the LiveVarSet class, making applyTranferFuncForMInst a static 
function in the one .cpp file that uses it.  Use ValueSet's instead.
* Prepare to delete LiveVarSet.h & LiveVarSet.cpp
* Eliminate the ValueSet class, making all old member functions into global
  templates that will eventually be moved to Support.

llvm-svn: 1711
 2002-02-05 02:51:01 +00:00
Chris Lattner
a8170f0944 * Code Cleanups 
* Introduce RAV to allow stream I/O instead of using printValue

llvm-svn: 1710
 2002-02-05 01:43:49 +00:00
Chris Lattner
80c1109e8e Remove empty file 
llvm-svn: 1708
 2002-02-05 00:35:59 +00:00
Chris Lattner
1181768743 * Big cleanups. 
* Make BBLiveVar.h effectively an internal header file
* Prepare LiveVarMap.h for deletion

llvm-svn: 1705
 2002-02-05 00:33:19 +00:00
Chris Lattner
62860d4c3d Clean up MethodLiveVarInfo 
llvm-svn: 1703
 2002-02-04 20:49:04 +00:00
Chris Lattner
b4e0d0424c Turn live variable analysis into a real MethodPass. 
llvm-svn: 1699
 2002-02-04 20:00:08 +00:00
Chris Lattner
8a76e0e37e Remove Obsolete LoopDepthCalculator. All users should use LoopInfo directly. 
llvm-svn: 1697
 2002-02-04 17:49:01 +00:00
Chris Lattner
faeb3c85f9 Remvoe big hack that was used by the register allocator 
llvm-svn: 1692
 2002-02-04 17:38:03 +00:00
Chris Lattner
0c04c60975 eliminate the add and remove methods, clients must use insert and erase directly. 
llvm-svn: 1686
 2002-02-04 16:33:18 +00:00
Chris Lattner
140f09f8cc Remove tons of include pollution 
Remove frivolous const's
Make use of the -> operator

llvm-svn: 1685
 2002-02-04 16:32:40 +00:00
Chris Lattner
c6d2d0f12e Use generic pointer hashes instead of custom ones. 
llvm-svn: 1684
 2002-02-04 16:31:42 +00:00
Chris Lattner
4f37a90fda Eliminate ModuleAnalyzer. It's old code that is not going to be used in the near future 
llvm-svn: 1679
 2002-02-04 06:47:17 +00:00
Chris Lattner
c98336111d Remove extraneous #includes 
llvm-svn: 1634
 2002-02-03 07:03:13 +00:00
Chris Lattner
a494a4981d Free memory when not in use 
llvm-svn: 1618
 2002-01-31 18:32:49 +00:00
Chris Lattner
b678885f4c Remove this file. Folded into UnifyMethodExitNodes pass 
llvm-svn: 1612
 2002-01-31 01:02:32 +00:00
Chris Lattner
5c1e4c976e Implement LoopDepth calculation in terms of dominators instead of intervals 
llvm-svn: 1600
 2002-01-31 00:41:01 +00:00
Chris Lattner
3ce0567bac Convert analyses over to new Pass framework 
llvm-svn: 1595
 2002-01-30 23:27:55 +00:00
Chris Lattner
ae0661dc6c Don't die on call instructions, which reference methods 
llvm-svn: 1593
 2002-01-30 23:00:41 +00:00
Chris Lattner
2521ae1011 Implement a more powerful, simpler, pass system. This pass system can figure 
out how to run a collection of passes optimially given their behaviors and
charactaristics.

Convert code to use it.

llvm-svn: 1507
 2002-01-21 07:31:50 +00:00
Chris Lattner
3dc9a2a61f Changes to build successfully with GCC 3.02 
llvm-svn: 1503
 2002-01-20 22:54:45 +00:00
Ruchira Sasanka
9d26f00cfb Added comments are more documentation info 
llvm-svn: 1434
 2001-12-08 21:04:22 +00:00
Chris Lattner
c4a5815033 Renamed inst_const_iterator -> const_inst_iterator 
Renamed op_const_iterator   -> const_op_iterator
Renamed PointerType::getValueType() -> PointerType::getElementType()

llvm-svn: 1408
 2001-12-04 00:03:30 +00:00
Chris Lattner
f6b7da2bb5 Rename ConstPoolVal -> Constant 
Rename ConstPool*   -> Constant*
Rename ConstPoolVals.h -> ConstantVals.h

llvm-svn: 1407
 2001-12-03 22:26:30 +00:00
Chris Lattner
a302c202ab Induction variables must be phi nodes 
llvm-svn: 1402
 2001-12-03 17:27:42 +00:00
Chris Lattner
463cc31132 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
3d0b96e43c Add writer support for call graph nodes and loops and induction variables 
llvm-svn: 1364
 2001-11-26 18:47:46 +00:00
Chris Lattner
9354ac4d83 Implement an entry node for the call graph 
llvm-svn: 1363
 2001-11-26 18:47:11 +00:00
Chris Lattner
c969e45ded * Implement dominator based loop identification 
* Implement cleaner induction variable identification

llvm-svn: 1359
 2001-11-26 18:41:20 +00:00
Chris Lattner
fefd12e111 Fix protection probs 
llvm-svn: 1321
 2001-11-15 15:24:31 +00:00
Chris Lattner
41baa6823a New pass to figure out what types are in use by a program 
llvm-svn: 1231
 2001-11-09 05:27:10 +00:00
Chris Lattner
15b45d9783 Initial checkin of pointer safety checker 
llvm-svn: 1181
 2001-11-07 21:16:12 +00:00
Vikram S. Adve
5b5546998a Added function IsLeafMethod to identify leaf methods. 
This will use the CallGraph only if one is provided.

llvm-svn: 950
 2001-10-22 13:55:46 +00:00
Chris Lattner
99189a2ebf Changes to compile with GCC 2.96 
llvm-svn: 745
 2001-10-13 06:25:03 +00:00
Chris Lattner
1e90c0f0c8 Add comment indicating semantics of indirect calls 
llvm-svn: 744
 2001-10-13 06:24:35 +00:00
Ruchira Sasanka
44e467ec90 --added support for implicit operands in machine instructions 
llvm-svn: 727
 2001-10-12 17:46:27 +00:00
Chris Lattner
ad1b0a1a83 Convert more code to use new style casts 
Eliminate old style casts from value.h

llvm-svn: 696
 2001-10-01 20:11:19 +00:00
Chris Lattner
4c684cde80 Add more support for new style casts 
Convert more code to use them

llvm-svn: 695
 2001-10-01 18:26:53 +00:00
Chris Lattner
43781f1f96 Add support for new style casts 
llvm-svn: 694
 2001-10-01 16:18:37 +00:00
Chris Lattner
345daca305 Pull predecessor and successor iterators out of the CFG*.h files, and plop them into 
the BasicBlock class where they should be.  pred_begin/pred_end become methods on BasicBlock,
and the cfg namespace isn't used anymore.

llvm-svn: 691
 2001-10-01 13:19:53 +00:00
Chris Lattner
e646911562 Pull predecessor and successor iterators out of the CFG*.h files, and plop them into 
the BasicBlock class where they should be.  pred_begin/pred_end become methods on BasicBlock,
and the cfg namespace isn't used anymore.

Also pull Interval stuff into the Interval class out of the global namespace

llvm-svn: 690
 2001-10-01 13:19:41 +00:00
Ruchira Sasanka
9d68af20a7 no major change. 
llvm-svn: 674
 2001-09-30 23:22:45 +00:00
Chris Lattner
74c4c61d71 Initial support for construction of a call graph 
llvm-svn: 660
 2001-09-28 00:08:15 +00:00
Chris Lattner
62dea18f11 Add capability to print out call graph 
llvm-svn: 654
 2001-09-28 00:06:15 +00:00
Chris Lattner
676ea87be5 Initial instruction tree support for the analysis library 
llvm-svn: 555
 2001-09-14 01:42:26 +00:00
Chris Lattner
277c7264f6 Handle subtract in expression classifier 
llvm-svn: 548
 2001-09-11 04:27:34 +00:00
Chris Lattner
cd69a08c26 NEw file 
llvm-svn: 478
 2001-09-07 19:29:23 +00:00
Chris Lattner
75c2b8034b Simplify analyzer 
llvm-svn: 431
 2001-09-07 16:26:36 +00:00
Vikram S. Adve
23d0560303 Use const int instead of #define. 
llvm-svn: 388
 2001-08-28 21:35:26 +00:00
Ruchira Sasanka
74f3230149 LV info on machine instructions 
llvm-svn: 359
 2001-08-20 21:11:01 +00:00
Ruchira Sasanka
12710ee1b2 *** empty log message *** 
llvm-svn: 291
 2001-07-24 17:14:13 +00:00