Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Implement a "union-findy" version of DS-Analysis, which eliminates the | Chris Lattner | 2003-02-11 | 4 | -238/+126 | |
| | | | | | | Referrers list on DSNodes. llvm-svn: 5536 | |||||
* | Minor tweaks to printing. Close the file before viewing it in viewGraph | Chris Lattner | 2003-02-11 | 1 | -1/+3 | |
| | | | | llvm-svn: 5535 | |||||
* | Modest speedup which seems to help steens quite a bit on large graphs | Chris Lattner | 2003-02-10 | 1 | -1/+2 | |
| | | | | llvm-svn: 5532 | |||||
* | Fix problem breaking GAP, use hasNoReferrers more | Chris Lattner | 2003-02-10 | 1 | -4/+4 | |
| | | | | llvm-svn: 5530 | |||||
* | Implement a new "viewGraph" method which can be used to instantly view a ↵ | Chris Lattner | 2003-02-10 | 1 | -0/+17 | |
| | | | | | | graph from gdb llvm-svn: 5528 | |||||
* | Rearrange code | Chris Lattner | 2003-02-10 | 1 | -11/+13 | |
| | | | | llvm-svn: 5527 | |||||
* | Fix problem breaking Fhourstones | Chris Lattner | 2003-02-10 | 1 | -1/+2 | |
| | | | | llvm-svn: 5526 | |||||
* | Make steensgaards performance not shameful | Chris Lattner | 2003-02-10 | 1 | -6/+12 | |
| | | | | llvm-svn: 5524 | |||||
* | Don't insert null entries into the scalar map for constexpr (cast null to Ty) | Chris Lattner | 2003-02-09 | 1 | -5/+11 | |
| | | | | llvm-svn: 5523 | |||||
* | Switch to using the right call vector | Chris Lattner | 2003-02-09 | 1 | -0/+2 | |
| | | | | llvm-svn: 5517 | |||||
* | Fix major bugs in incompleteness marking that were pessimizing results | Chris Lattner | 2003-02-09 | 1 | -96/+101 | |
| | | | | llvm-svn: 5515 | |||||
* | Print out the steens graph if -debug is specified | Chris Lattner | 2003-02-09 | 1 | -1/+2 | |
| | | | | llvm-svn: 5514 | |||||
* | * Fix a bug where global incompleteness marking would not mark the global | Chris Lattner | 2003-02-09 | 1 | -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 alias | Chris Lattner | 2003-02-08 | 1 | -1/+1 | |
| | | | | llvm-svn: 5511 | |||||
* | Fix a bug where we would mark the callees arguments incomplete if the caller ↵ | Chris Lattner | 2003-02-08 | 1 | -2/+2 | |
| | | | | | | was external. llvm-svn: 5510 | |||||
* | Remove explicit result counters | Chris Lattner | 2003-02-08 | 1 | -14/+4 | |
| | | | | llvm-svn: 5508 | |||||
* | Add a flag which effectively disables field sensitivity | Chris Lattner | 2003-02-08 | 1 | -0/+5 | |
| | | | | llvm-svn: 5506 | |||||
* | Don't bother counting alias results, allow the AliasAnalysisCounter to do that. | Chris Lattner | 2003-02-07 | 1 | -13/+2 | |
| | | | | llvm-svn: 5505 | |||||
* | Fix an assertion failure | Chris Lattner | 2003-02-06 | 1 | -2/+2 | |
| | | | | llvm-svn: 5496 | |||||
* | Implement optimization for direct function call case. This dramatically | Chris Lattner | 2003-02-05 | 7 | -56/+108 | |
| | | | | | | | reduces the number of function nodes created and speeds up analysis by about 10% overall. llvm-svn: 5495 | |||||
* | Remove bogus assertion | Chris Lattner | 2003-02-04 | 1 | -2/+0 | |
| | | | | llvm-svn: 5492 | |||||
* | Fix a huge bug with handling non-pointer instructions | Chris Lattner | 2003-02-04 | 1 | -1/+16 | |
| | | | | llvm-svn: 5491 | |||||
* | Make the TD pass not include all of the call nodes from the local pass, | Chris Lattner | 2003-02-04 | 1 | -0/+1 | |
| | | | | | | eliminating incomplete markers from them llvm-svn: 5490 | |||||
* | Add sanity check | Chris Lattner | 2003-02-04 | 1 | -0/+1 | |
| | | | | llvm-svn: 5489 | |||||
* | Fix steensgaard to work on a lot more cases... | Chris Lattner | 2003-02-04 | 1 | -14/+9 | |
| | | | | llvm-svn: 5488 | |||||
* | Fix printing of nonfunction graphs | Chris Lattner | 2003-02-04 | 1 | -2/+4 | |
| | | | | llvm-svn: 5487 | |||||
* | Rename variable | Chris Lattner | 2003-02-03 | 1 | -6/+6 | |
| | | | | llvm-svn: 5486 | |||||
* | Hack to work around deficiency in pass infrastructure | Chris Lattner | 2003-02-03 | 1 | -3/+9 | |
| | | | | llvm-svn: 5485 | |||||
* | Initial implementation of ds-aa | Chris Lattner | 2003-02-03 | 1 | -0/+128 | |
| | | | | llvm-svn: 5484 | |||||
* | * Fix a bug introduced in the last checkin wrt Stack markers | Chris Lattner | 2003-02-03 | 1 | -8/+6 | |
| | | | | | | * Make cloning more efficient in the process... llvm-svn: 5479 | |||||
* | Implement the globals graph! | Chris Lattner | 2003-02-03 | 1 | -128/+163 | |
| | | | | llvm-svn: 5477 | |||||
* | Add better debug output | Chris Lattner | 2003-02-03 | 1 | -12/+20 | |
| | | | | llvm-svn: 5476 | |||||
* | Be a bit more specific in caption | Chris Lattner | 2003-02-02 | 1 | -1/+1 | |
| | | | | llvm-svn: 5469 | |||||
* | Fix a bug where we would delete neccesary calls in bu pass | Chris Lattner | 2003-02-01 | 1 | -1/+2 | |
| | | | | llvm-svn: 5465 | |||||
* | Fix a bug where we would incorrectly delete globals which had edges to alive ↵ | Chris Lattner | 2003-02-01 | 1 | -3/+0 | |
| | | | | | | | | | nodes in a graph in the t-d pass. This slows down the TD pass by quite a bit (1/3), but is needed for correctness. llvm-svn: 5464 | |||||
* | Delete nodes more efficiently | Chris Lattner | 2003-02-01 | 1 | -6/+4 | |
| | | | | llvm-svn: 5463 | |||||
* | Remove dead nodes more efficiently | Chris Lattner | 2003-02-01 | 1 | -1/+2 | |
| | | | | llvm-svn: 5462 | |||||
* | Improve efficiency of aliveness traversal code | Chris Lattner | 2003-02-01 | 1 | -21/+19 | |
| | | | | llvm-svn: 5461 | |||||
* | Change DSGraph stuff to use hash_(set|map) instead of std::(set|map) | Chris Lattner | 2003-02-01 | 6 | -56/+54 | |
| | | | | | | This change provides a small (3%) but consistent speedup llvm-svn: 5460 | |||||
* | Remove using declarations | Chris Lattner | 2003-02-01 | 4 | -30/+24 | |
| | | | | llvm-svn: 5456 | |||||
* | Remove globals on the bottom up pass which do not contain any information | Chris Lattner | 2003-01-31 | 1 | -3/+22 | |
| | | | | llvm-svn: 5451 | |||||
* | Add functions to the ban list | Chris Lattner | 2003-01-31 | 1 | -1/+2 | |
| | | | | llvm-svn: 5450 | |||||
* | Use and implement API for graph traversals | Chris Lattner | 2003-01-29 | 1 | -24/+25 | |
| | | | | llvm-svn: 5431 | |||||
* | free instructions mark their operands as being heap nodes. | Chris Lattner | 2003-01-28 | 1 | -1/+2 | |
| | | | | llvm-svn: 5425 | |||||
* | * Eliminate boolean arguments in favor of using enums | Chris Lattner | 2003-01-23 | 5 | -18/+20 | |
| | | | | | | * T-D pass now eliminates unreachable globals llvm-svn: 5419 | |||||
* | Slight efficiency improvement | Chris Lattner | 2003-01-23 | 1 | -4/+1 | |
| | | | | llvm-svn: 5418 | |||||
* | Fix analysis of the Burg program | Chris Lattner | 2003-01-22 | 1 | -1/+1 | |
| | | | | llvm-svn: 5401 | |||||
* | 'graph' is spelled without a 'c'. | Misha Brukman | 2002-12-12 | 1 | -3/+12 | |
| | | | | | | Also added Statistic counters for NoAlias and MayAlias. llvm-svn: 4972 | |||||
* | Two bug fixes: | Vikram S. Adve | 2002-12-06 | 1 | -13/+22 | |
| | | | | | | | | (1) Make entries for Constant values in the ScalarMap. (2) Set MOD bit for the node pointed to by the argument of a free instruction. llvm-svn: 4948 | |||||
* | Fix several related bugs in DSNode::mergeWith() caused by the | Vikram S. Adve | 2002-12-06 | 1 | -90/+102 | |
| | | | | | | | | | fact that the incoming nodes may be merged away at intermediate steps. Use an extra level of indirection via DSNodeHandles to track the nodes being merged. All this now happens in a static helper function MergeNodes(). llvm-svn: 4947 |