shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
21,771 Commits 1,713 Branches 298 Tags
Commit Graph

635 Commits

Author SHA1 Message Date
John Criswell
757035ead9 Prefix DSA specific options with dsa. 
Make the dsa-alloc-list and dsa-free-list options hidden.

llvm-svn: 24864
 2005-12-19 20:14:38 +00:00
John Criswell
45bb70d8f9 Added an option to specify the names of heap freeing functions. 
llvm-svn: 24863
 2005-12-19 19:54:23 +00:00
John Criswell
aa0fed0148 Added a command line option that allows the user to specify a list of 
functions that allocate memory.

llvm-svn: 24862
 2005-12-19 17:38:39 +00:00
Sumant Kowshik
a69fcbdeb8 Collapsing node if variable length struct with final field of length zero 
llvm-svn: 24621
 2005-12-06 18:04:30 +00:00
Chris Lattner
8df7c01299 don't bother building the archive version of this library 
llvm-svn: 23927
 2005-10-24 01:08:20 +00:00
Chris Lattner
75d4f6fbcb implement some prototypes 
llvm-svn: 23920
 2005-10-24 00:38:38 +00:00
Jeff Cohen
5f4ef3c5a8 Eliminate all remaining tabs and trailing spaces. 
llvm-svn: 22523
 2005-07-27 06:12:32 +00:00
Andrew Lenharth
9144ec4764 core changes for varargs 
llvm-svn: 22254
 2005-06-18 18:34:52 +00:00
Chris Lattner
ecac782786 Correctly handle global-argument aliases induced in main 
llvm-svn: 21537
 2005-04-25 19:16:31 +00:00
Chris Lattner
5965359d8f Don't mess up SCC traversal when a node has null edges out of it. 
llvm-svn: 21536
 2005-04-25 19:16:17 +00:00
Chris Lattner
4bbf66b7a2 Propagate eq sets through the bu graphs to the cbu and eq graphs, fixing 
a crash of the sfv on 188.ammp

llvm-svn: 21478
 2005-04-23 21:11:05 +00:00
Misha Brukman
774511633d Convert tabs to spaces 
llvm-svn: 21439
 2005-04-22 04:01:18 +00:00
Misha Brukman
01808caded Remove trailing whitespace 
llvm-svn: 21416
 2005-04-21 21:13:18 +00:00
Chris Lattner
4c5c96f35f add support for taking and resolving the address of free. 
llvm-svn: 21396
 2005-04-21 16:09:43 +00:00
Chris Lattner
6febe5ef40 Fix a crash analyzing MultiSource/Benchmarks/MallocBench/gs 
llvm-svn: 21245
 2005-04-12 03:59:27 +00:00
Chris Lattner
d2df8ca403 fix some VC compilation problems, thanks to Jeff C for pointing this out! 
llvm-svn: 21044
 2005-04-02 20:17:09 +00:00
Chris Lattner
a7913e66e1 EquivClassGraphs is now in DataStructure.h 
llvm-svn: 21042
 2005-04-02 20:08:17 +00:00
Chris Lattner
526cc17b55 use a callee_iterator typedef. 
llvm-svn: 21038
 2005-04-02 20:02:41 +00:00
Chris Lattner
990ed1d201 Change the ActualCallees callgraph from hash_multimap<Instruction,Function> 
to std::set<std::pair<Inst,Func>> to avoid duplicate entries.

This speeds up the CompleteBU pass from 1.99s to .15s on povray and the
eqgraph passes from 1.5s to .16s on the same.

llvm-svn: 21031
 2005-04-02 19:17:18 +00:00
Chris Lattner
2e1971c19d Fix a problem where we not marking incoming arguments to functions with 
external linkage as incomplete.

llvm-svn: 20927
 2005-03-29 19:16:59 +00:00
Chris Lattner
2db10ba297 remove ... 
llvm-svn: 20883
 2005-03-27 21:57:09 +00:00
Chris Lattner
f290da862d speed up steens by using spliceFrom, improve its precision by realizing that 
an incomplete node cannot alias a complete node.

llvm-svn: 20882
 2005-03-27 21:56:55 +00:00
Chris Lattner
82166467c3 Don't give up completely, maybe other AA can say something about this. 
llvm-svn: 20873
 2005-03-27 00:02:33 +00:00
Chris Lattner
2ba37389c9 Cache mapping information for a call site after computing it for a mod/ref 
query.  If the next mod/ref query happens to be for the same call site
(which is extremely likely), use the cache instead of recomputing the
callee/caller mapping.  This makes -aa-eval ***MUCH*** faster with
ds-aa

llvm-svn: 20871
 2005-03-26 23:29:03 +00:00
Chris Lattner
139f43b340 Remove more long dead code: dsa doesn't provide must alias info 
llvm-svn: 20870
 2005-03-26 22:54:46 +00:00
Chris Lattner
1a02d15dab remove some unsafe code that has long been dead 
llvm-svn: 20869
 2005-03-26 22:48:42 +00:00
Chris Lattner
9cc932d3b3 slightly improve mod/ref for DSAA by checking the globals graph for fallback 
llvm-svn: 20868
 2005-03-26 22:47:03 +00:00
Chris Lattner
b3baff1830 Teach steens-aa two things about mod/ref information: 
1. If memory never escapes the program, it cannot be mod/ref'd by external
     functions.
  2. If memory is global never mod/ref'd in the program, it cannot be mod/ref'd
     by any call.

llvm-svn: 20867
 2005-03-26 22:43:20 +00:00
Chris Lattner
d21e220035 no really, don't double count these nodes either! 
llvm-svn: 20837
 2005-03-25 20:54:45 +00:00
Chris Lattner
b7ffd50537 Don't count all of the nodes in the SCC once for each function in the SCC. 
llvm-svn: 20836
 2005-03-25 20:37:32 +00:00
Chris Lattner
5ecec08ab5 Grow the EQ classes for globals at the end of the BU pass. This shrinks 
memory usage in the TD pass for 254.gap from 31.3MB to 3.9MB.

llvm-svn: 20834
 2005-03-25 16:45:43 +00:00
Chris Lattner
3322e28f75 remove a debugging timer. 
llvm-svn: 20827
 2005-03-25 00:06:09 +00:00
Chris Lattner
278bac843c Two changes here: 
1. Instead of copying Local graphs to the BU graphs to start with, use
     spliceFrom to do the job (which is constant time in this case).  On
     176.gcc, this chops off .17s from the bu pass.
  2. When building SCC graphs, simplify the logic and use spliceFrom to
     do the heavy lifting, instead of cloneInto/delete.  This slices
     another .14s off 176.gcc.

llvm-svn: 20826
 2005-03-25 00:05:04 +00:00
Chris Lattner
a396eb8ae9 Make the spliceFrom case where one graph is completely empty be constant time. 
llvm-svn: 20825
 2005-03-25 00:02:41 +00:00
Chris Lattner
127dd12427 add a new DSGraph::spliceFrom method, which violently takes the content of 
one graph and plops it into another, without breaking a sweat.

llvm-svn: 20824
 2005-03-24 23:46:04 +00:00
Chris Lattner
301764e28c This replaces the correct but slow code with a more aggressive scc-finder 
based approach to find globals and call sites that need to be copied.  This
speeds up the BU pass on 176.gcc from 22s back up to 2.3s.  Not as good
as 1.5s, but at least it's correct :)

llvm-svn: 20820
 2005-03-24 23:06:02 +00:00
Chris Lattner
1b5b559011 only look at successors of globals. This gets us down to "only" 22s in the 
bu pass for 176.gcc

llvm-svn: 20818
 2005-03-24 21:17:27 +00:00
Chris Lattner
189d7bb9ee Unfortunately, a previous patch was not safe. Revert it, reimplement 
something correct. Unfortunately this takes 176.gcc's BU phase back
up to 29s from 1.5.  This fixes DSGraph/2005-03-24-Global-Arg-Alias.ll

llvm-svn: 20817
 2005-03-24 21:07:47 +00:00
Chris Lattner
923d925953 don't bother |'ing in 0's 
llvm-svn: 20815
 2005-03-24 18:42:51 +00:00
Chris Lattner
ba6006d84b be more aggressive about incompleteness marking 
llvm-svn: 20814
 2005-03-24 18:42:28 +00:00
Chris Lattner
19d7f2883d Fix a crash while promoting a value out of a loop from a global variable 
when using ds-aa

llvm-svn: 20802
 2005-03-24 04:22:04 +00:00
Chris Lattner
f0d919ece9 teach ds-aa about mod/ref for external function calls. 
llvm-svn: 20801
 2005-03-24 03:04:50 +00:00
Chris Lattner
9f9da538d6 a hack to allow count-aa to work with ds-aa :( 
llvm-svn: 20791
 2005-03-23 21:59:34 +00:00
Chris Lattner
61130216ec turn a dead conditional into an assert. 
llvm-svn: 20787
 2005-03-23 20:12:08 +00:00
Chris Lattner
01f0879c48 Totally gut mergeInGraph. There is absolutely no reason to be merging 
global roots in from callees to callers.  The BU graphs do not have accurate
globals information and all of the clients know it.  Instead, just make sure
the GG is up-to-date, and they will be perfectly satiated.

This speeds up the BU pass on 176.gcc from 5.5s to 1.5s, and Loc+BU+TD
from 7s to 2.7s.

llvm-svn: 20786
 2005-03-23 20:08:59 +00:00
Chris Lattner
048ae36b93 wrap a long line 
llvm-svn: 20785
 2005-03-23 16:43:11 +00:00
Chris Lattner
e36d77b726 Make -steens-aa more conservative (aka correct) by making sure to obey 
incompleteness flags.

Make it more aggressive by taking field sensitive information into
account.

llvm-svn: 20781
 2005-03-23 01:48:09 +00:00
Chris Lattner
7d3df410ab implement Analysis/DSGraph/field-sensitive.ll 
llvm-svn: 20779
 2005-03-23 01:47:19 +00:00
Chris Lattner
310d1a3882 Several changes here: 
1. Increase max node size from 64->256 to avoid collapsing an important
   structure in 181.mcf
2. If we have multiple calls to an indirect call node with an indirect
   callee, fold these call nodes together, to avoid DSA turning apoc into
   a flaming fireball of death when analyzing 176.gcc.
  With this change, 176.gcc now takes ~7s to analyze for loc+bu+td, with
  5.7s of that in the BU pass.

llvm-svn: 20775
 2005-03-22 23:54:52 +00:00
Chris Lattner
ca174306f0 Mark external globals incomplete in the BU Globals graph, fixing 
Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll

llvm-svn: 20773
 2005-03-22 22:10:22 +00:00