summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis
Commit message (Collapse)AuthorAgeFilesLines
* 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
* Fix division by zero problemChris Lattner2003-02-081-0/+5
| | | | llvm-svn: 5509
* 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-072-37/+8
| | | | llvm-svn: 5505
* Allow counting multiple passes, and print the pass name countedChris Lattner2003-02-071-20/+24
| | | | llvm-svn: 5504
* New general purpose alias analysis result auditorChris Lattner2003-02-071-0/+64
| | | | llvm-svn: 5503
* Add a summaryChris Lattner2003-02-061-0/+2
| | | | llvm-svn: 5500
* Simple N^2 alias anlysis accuracy checkerChris Lattner2003-02-061-0/+74
| | | | llvm-svn: 5498
* Fix an assertion failureChris Lattner2003-02-061-2/+2
| | | | llvm-svn: 5496
* Implement optimization for direct function call case. This dramaticallyChris Lattner2003-02-058-58/+110
| | | | | | | 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
OpenPOWER on IntegriCloud