summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis
Commit message (Collapse)AuthorAgeFilesLines
* ADd two new 'add' methodsChris Lattner2003-03-031-0/+28
| | | | llvm-svn: 5691
* Don't apply type information to load instructions if it will cause collapsingChris Lattner2003-03-032-6/+7
| | | | llvm-svn: 5684
* Fix a problem with negative indexesChris Lattner2003-03-021-3/+3
| | | | llvm-svn: 5681
* Add dump method for LoopsChris Lattner2003-02-281-0/+4
| | | | llvm-svn: 5671
* Simplify a bit by using a new member functionChris Lattner2003-02-271-6/+3
| | | | llvm-svn: 5662
* Change behavior of changeExitBlock function to replace all instances of exit ↵Chris Lattner2003-02-271-2/+8
| | | | | | block llvm-svn: 5661
* Fix bug: LICM/2003-02-27-PreheaderProblem.llChris Lattner2003-02-271-0/+7
| | | | | | | | There may be a single outside predecessor and still need a new loop-preheader if the predecessor has multiple successors. llvm-svn: 5656
* - LoopInfo now calculates and tracks loop exit blocksChris Lattner2003-02-271-11/+40
| | | | llvm-svn: 5650
* Make the aliassettracker much more precise by actually tracking sizeChris Lattner2003-02-261-20/+33
| | | | | | information for various accesses. What a concept. llvm-svn: 5647
* Fix bug: BasicAA/2003-02-26-AccessSizeTest.llChris Lattner2003-02-261-11/+36
| | | | llvm-svn: 5645
* Fix several bugs in basic-aaChris Lattner2003-02-261-5/+10
| | | | llvm-svn: 5643
* Add new -no-aa implementationChris Lattner2003-02-261-0/+19
| | | | llvm-svn: 5641
* Move BasicAA pass out to it's own header fileChris Lattner2003-02-262-258/+292
| | | | llvm-svn: 5640
* Adjust to implement new AA interfaceChris Lattner2003-02-262-31/+17
| | | | llvm-svn: 5638
* Adjust to new AA interfaceChris Lattner2003-02-261-1/+1
| | | | llvm-svn: 5637
* Convert to work with new AliasAnalysis interface by conservatively assuming ↵Chris Lattner2003-02-261-6/+8
| | | | | | all pointers are arbitrarily large accesses llvm-svn: 5636
* Calculate and pass load sizes to the alias analysis infrastructureChris Lattner2003-02-261-8/+19
| | | | llvm-svn: 5635
* Adjust to new AA interfaceChris Lattner2003-02-261-17/+48
| | | | | | Add tracking for Mod/Ref info llvm-svn: 5634
* - Checkin of the alias analysis work:Chris Lattner2003-02-261-78/+187
| | | | | | | | | * Takes into account the size of the memory reference to determine aliasing. * Expose mod/ref information in a more consistent way * BasicAA can now disambiguate A[i][1] and A[j][2] for conservative request sizes llvm-svn: 5633
* This is a substantial rewrite of the AliasSetTracker class which now usesChris Lattner2003-02-241-111/+218
| | | | | | | | | | | a union-find based algorithm, is significantly faster, and is more general. It will also scale to handle call instructions correctly, which is a nice added bonus. This includes a new pass -print-alias-sets which can be used to show how alias sets are formed for a particular analysis. llvm-svn: 5619
* Dramatically simplify building of natural loops and fix a bug where the BBMapChris Lattner2003-02-221-37/+23
| | | | | | was not correctly computed. llvm-svn: 5606
* Fix the requisite bug that I introducedChris Lattner2003-02-201-11/+13
| | | | llvm-svn: 5605
* Fix 80 character formattingChris Lattner2003-02-201-4/+4
| | | | llvm-svn: 5604
* Fix bug: 2003-02-19-LoopInfoNestingBug.llChris Lattner2003-02-201-15/+35
| | | | llvm-svn: 5603
* 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
* Rename optionsChris Lattner2003-02-111-3/+3
| | | | llvm-svn: 5537
* 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
* Allow printing of various types of alias analysis resultsChris Lattner2003-02-091-4/+27
| | | | llvm-svn: 5520
* Implement knowledge in BasicAA that &A->field != &A and (P+1) != PChris Lattner2003-02-091-0/+17
| | | | llvm-svn: 5519
* - Fix BasicAA to correctly detect the non-aliasness of A[1] & A[2]Chris Lattner2003-02-091-2/+2
| | | | llvm-svn: 5518
* 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
OpenPOWER on IntegriCloud