summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/DataStructure
Commit message (Collapse)AuthorAgeFilesLines
...
* New pass which is useful for writing regression testsChris Lattner2003-06-291-0/+150
| | | | llvm-svn: 6979
* Expose must alias information for global variables, implementing: ↵Chris Lattner2003-06-291-46/+86
| | | | | | DSGraph/mustalias.ll llvm-svn: 6973
* Propagate globals graph from the local to bu to td globals graphs. ThisChris Lattner2003-06-282-4/+5
| | | | | | fixes bug: DSGraph/buglobals.ll llvm-svn: 6947
* Drop references to globals who do exist in the globals graph, but are neverChris Lattner2003-06-281-1/+16
| | | | | | | read or written to. Keep track of how many times this happens. This should be good for deleting things like references to type information in C++ classes llvm-svn: 6946
* Avoid double negativesChris Lattner2003-06-282-3/+3
| | | | llvm-svn: 6945
* New pass to perform DSA based optimizations. Initially we just support turningChris Lattner2003-06-281-0/+76
| | | | | | globals into constants if we can prove it's safe llvm-svn: 6941
* Remove support for the MultiObject flag, which was fundamentally brokenChris Lattner2003-06-224-14/+3
| | | | llvm-svn: 6840
* * Changes to make NodeType be private to DSNode.Chris Lattner2003-06-195-76/+107
| | | | | | | | * Add new MultiObject flag to DSNode which keeps track of whether or not multiple objects have been merged into the node, allowing must-alias info to be tracked. llvm-svn: 6794
* Nodes get forwarded when they are collapsed currently.Chris Lattner2003-06-161-1/+4
| | | | llvm-svn: 6696
* Remove bogus assertion: a node with no referrers could be collapsed if ↵Chris Lattner2003-06-161-2/+0
| | | | | | field-sensitivity was disabled llvm-svn: 6695
* s/convertable/convertible/gMisha Brukman2003-05-201-2/+2
| | | | llvm-svn: 6248
* Don't apply type information to load instructions if it will cause collapsingChris Lattner2003-03-032-6/+7
| | | | llvm-svn: 5684
* Adjust to implement new AA interfaceChris Lattner2003-02-262-31/+17
| | | | llvm-svn: 5638
* Fix resolution of indirect function calls... whoopsChris Lattner2003-02-141-1/+1
| | | | llvm-svn: 5576
* Mark function edgesChris Lattner2003-02-141-0/+2
| | | | llvm-svn: 5571
* - Eliminate provably non-pointer nodes from graphs.Chris Lattner2003-02-141-5/+22
| | | | | | | | | | | | | | This helps a lot of testcases, for example: New Time New #Nodes Old Time Old #Nodes 254.gap: 91.1024 21605 91.1397 22657 povray31: 2.7807 8613 3.0152 10338 255.vortex: 1.2034 8153 1.2172 8822 moria: .6756 3150 .7054 3877 300.twolf: .1652 2010 .1851 3270 Typically, testcases which use long and ulong integers a lot get better, f.e. povray above. llvm-svn: 5566
* Don't put integer pointers (longs) into the scalar map.Chris Lattner2003-02-141-0/+10
| | | | | | This speeds stuff up by 10% on some tests, woot! llvm-svn: 5564
* Hax0r around a deficiency in the Pass infrastructureChris Lattner2003-02-131-2/+5
| | | | llvm-svn: 5555
* Use the new tailclip property new added to graphviz CVS to make call nodesChris Lattner2003-02-131-5/+4
| | | | | | actually intelligable llvm-svn: 5554
* Move node forwarding code from being inlined to being out-of-line.Chris Lattner2003-02-131-0/+21
| | | | | | This brings a 11.6% speedup to steens, and a 3.6 overall speedup to ds-aa llvm-svn: 5552
* Implement a "union-findy" version of DS-Analysis, which eliminates theChris Lattner2003-02-114-238/+126
| | | | | | Referrers list on DSNodes. llvm-svn: 5536
* Minor tweaks to printing. Close the file before viewing it in viewGraphChris Lattner2003-02-111-1/+3
| | | | llvm-svn: 5535
* Modest speedup which seems to help steens quite a bit on large graphsChris Lattner2003-02-101-1/+2
| | | | llvm-svn: 5532
* Fix problem breaking GAP, use hasNoReferrers moreChris Lattner2003-02-101-4/+4
| | | | llvm-svn: 5530
* Implement a new "viewGraph" method which can be used to instantly view a ↵Chris Lattner2003-02-101-0/+17
| | | | | | graph from gdb llvm-svn: 5528
* Rearrange codeChris Lattner2003-02-101-11/+13
| | | | llvm-svn: 5527
* Fix problem breaking FhourstonesChris Lattner2003-02-101-1/+2
| | | | llvm-svn: 5526
* Make steensgaards performance not shamefulChris Lattner2003-02-101-6/+12
| | | | llvm-svn: 5524
* Don't insert null entries into the scalar map for constexpr (cast null to Ty)Chris Lattner2003-02-091-5/+11
| | | | llvm-svn: 5523
* Switch to using the right call vectorChris Lattner2003-02-091-0/+2
| | | | llvm-svn: 5517
* Fix major bugs in incompleteness marking that were pessimizing resultsChris Lattner2003-02-091-96/+101
| | | | llvm-svn: 5515
* Print out the steens graph if -debug is specifiedChris Lattner2003-02-091-1/+2
| | | | llvm-svn: 5514
* * Fix a bug where global incompleteness marking would not mark the globalChris Lattner2003-02-091-8/+5
| | | | | | | | itself incomplete! * Allow incompleteness callers to specify they don't want globals to be considered sources of incompleteness. llvm-svn: 5513
* Add a special case for main because we know it's incoming arguments don't aliasChris Lattner2003-02-081-1/+1
| | | | llvm-svn: 5511
* Fix a bug where we would mark the callees arguments incomplete if the caller ↵Chris Lattner2003-02-081-2/+2
| | | | | | was external. llvm-svn: 5510
* Remove explicit result countersChris Lattner2003-02-081-14/+4
| | | | llvm-svn: 5508
* Add a flag which effectively disables field sensitivityChris Lattner2003-02-081-0/+5
| | | | llvm-svn: 5506
* Don't bother counting alias results, allow the AliasAnalysisCounter to do that.Chris Lattner2003-02-071-13/+2
| | | | llvm-svn: 5505
* Fix an assertion failureChris Lattner2003-02-061-2/+2
| | | | llvm-svn: 5496
* Implement optimization for direct function call case. This dramaticallyChris Lattner2003-02-057-56/+108
| | | | | | | reduces the number of function nodes created and speeds up analysis by about 10% overall. llvm-svn: 5495
* Remove bogus assertionChris Lattner2003-02-041-2/+0
| | | | llvm-svn: 5492
* Fix a huge bug with handling non-pointer instructionsChris Lattner2003-02-041-1/+16
| | | | llvm-svn: 5491
* Make the TD pass not include all of the call nodes from the local pass,Chris Lattner2003-02-041-0/+1
| | | | | | eliminating incomplete markers from them llvm-svn: 5490
* Add sanity checkChris Lattner2003-02-041-0/+1
| | | | llvm-svn: 5489
* Fix steensgaard to work on a lot more cases...Chris Lattner2003-02-041-14/+9
| | | | llvm-svn: 5488
* Fix printing of nonfunction graphsChris Lattner2003-02-041-2/+4
| | | | llvm-svn: 5487
* Rename variableChris Lattner2003-02-031-6/+6
| | | | llvm-svn: 5486
* Hack to work around deficiency in pass infrastructureChris Lattner2003-02-031-3/+9
| | | | llvm-svn: 5485
* Initial implementation of ds-aaChris Lattner2003-02-031-0/+128
| | | | llvm-svn: 5484
* * Fix a bug introduced in the last checkin wrt Stack markersChris Lattner2003-02-031-8/+6
| | | | | | * Make cloning more efficient in the process... llvm-svn: 5479
OpenPOWER on IntegriCloud