Chris Lattner
|
b178c26c20
|
Hax0r around a deficiency in the Pass infrastructure
llvm-svn: 5555
|
2003-02-13 21:44:18 +00:00 |
|
Chris Lattner
|
32a8143e30
|
Use the new tailclip property new added to graphviz CVS to make call nodes
actually intelligable
llvm-svn: 5554
|
2003-02-13 20:14:40 +00:00 |
|
Chris Lattner
|
120d135f05
|
Move node forwarding code from being inlined to being out-of-line.
This brings a 11.6% speedup to steens, and a 3.6 overall speedup to ds-aa
llvm-svn: 5552
|
2003-02-13 19:09:00 +00:00 |
|
Chris Lattner
|
e3c6f245cd
|
Rename options
llvm-svn: 5537
|
2003-02-11 23:12:09 +00:00 |
|
Chris Lattner
|
522cb6d282
|
Implement a "union-findy" version of DS-Analysis, which eliminates the
Referrers list on DSNodes.
llvm-svn: 5536
|
2003-02-11 23:11:51 +00:00 |
|
Chris Lattner
|
2d27e0d912
|
Minor tweaks to printing. Close the file before viewing it in viewGraph
llvm-svn: 5535
|
2003-02-11 19:27:27 +00:00 |
|
Chris Lattner
|
de261140d0
|
Modest speedup which seems to help steens quite a bit on large graphs
llvm-svn: 5532
|
2003-02-10 18:47:23 +00:00 |
|
Chris Lattner
|
8d025d56d6
|
Fix problem breaking GAP, use hasNoReferrers more
llvm-svn: 5530
|
2003-02-10 18:18:18 +00:00 |
|
Chris Lattner
|
72fbffecd2
|
Implement a new "viewGraph" method which can be used to instantly view a graph from gdb
llvm-svn: 5528
|
2003-02-10 18:17:07 +00:00 |
|
Chris Lattner
|
940a5eddb3
|
Rearrange code
llvm-svn: 5527
|
2003-02-10 18:16:36 +00:00 |
|
Chris Lattner
|
1ed7b4806b
|
Fix problem breaking Fhourstones
llvm-svn: 5526
|
2003-02-10 18:16:19 +00:00 |
|
Chris Lattner
|
34a3429b0a
|
Make steensgaards performance not shameful
llvm-svn: 5524
|
2003-02-10 00:14:57 +00:00 |
|
Chris Lattner
|
f8c57bab25
|
Don't insert null entries into the scalar map for constexpr (cast null to Ty)
llvm-svn: 5523
|
2003-02-09 23:04:12 +00:00 |
|
Chris Lattner
|
59a935f381
|
Allow printing of various types of alias analysis results
llvm-svn: 5520
|
2003-02-09 20:40:13 +00:00 |
|
Chris Lattner
|
471d708ae0
|
Implement knowledge in BasicAA that &A->field != &A and (P+1) != P
llvm-svn: 5519
|
2003-02-09 19:38:11 +00:00 |
|
Chris Lattner
|
f3627e3ee3
|
- Fix BasicAA to correctly detect the non-aliasness of A[1] & A[2]
llvm-svn: 5518
|
2003-02-09 19:27:21 +00:00 |
|
Chris Lattner
|
117a27d291
|
Switch to using the right call vector
llvm-svn: 5517
|
2003-02-09 19:26:47 +00:00 |
|
Chris Lattner
|
dcf8d02380
|
Fix major bugs in incompleteness marking that were pessimizing results
llvm-svn: 5515
|
2003-02-09 18:42:43 +00:00 |
|
Chris Lattner
|
063bef68c4
|
Print out the steens graph if -debug is specified
llvm-svn: 5514
|
2003-02-09 18:42:16 +00:00 |
|
Chris Lattner
|
5da09703fa
|
* Fix a bug where global incompleteness marking would not mark the global
itself incomplete!
* Allow incompleteness callers to specify they don't want globals to be
considered sources of incompleteness.
llvm-svn: 5513
|
2003-02-09 18:41:49 +00:00 |
|
Chris Lattner
|
8711f611fa
|
Add a special case for main because we know it's incoming arguments don't alias
llvm-svn: 5511
|
2003-02-08 23:08:02 +00:00 |
|
Chris Lattner
|
6daed111da
|
Fix a bug where we would mark the callees arguments incomplete if the caller was external.
llvm-svn: 5510
|
2003-02-08 23:07:39 +00:00 |
|
Chris Lattner
|
31e95435b8
|
Fix division by zero problem
llvm-svn: 5509
|
2003-02-08 23:04:50 +00:00 |
|
Chris Lattner
|
a05bfd7525
|
Remove explicit result counters
llvm-svn: 5508
|
2003-02-08 23:03:17 +00:00 |
|
Chris Lattner
|
2c7c54ce9d
|
Add a flag which effectively disables field sensitivity
llvm-svn: 5506
|
2003-02-08 20:18:39 +00:00 |
|
Chris Lattner
|
b056679b1e
|
Don't bother counting alias results, allow the AliasAnalysisCounter to do that.
llvm-svn: 5505
|
2003-02-07 20:39:48 +00:00 |
|
Chris Lattner
|
2f75411136
|
Allow counting multiple passes, and print the pass name counted
llvm-svn: 5504
|
2003-02-07 20:39:17 +00:00 |
|
Chris Lattner
|
ed61b8ddef
|
New general purpose alias analysis result auditor
llvm-svn: 5503
|
2003-02-07 19:46:03 +00:00 |
|
Chris Lattner
|
4c58f5252e
|
Add a summary
llvm-svn: 5500
|
2003-02-06 22:06:08 +00:00 |
|
Chris Lattner
|
d4990fe1be
|
Simple N^2 alias anlysis accuracy checker
llvm-svn: 5498
|
2003-02-06 21:29:49 +00:00 |
|
Chris Lattner
|
21e1033bff
|
Fix an assertion failure
llvm-svn: 5496
|
2003-02-06 00:15:08 +00:00 |
|
Chris Lattner
|
5f3ef2f0e7
|
Implement optimization for direct function call case. This dramatically
reduces the number of function nodes created and speeds up analysis by
about 10% overall.
llvm-svn: 5495
|
2003-02-05 21:59:58 +00:00 |
|
Chris Lattner
|
4aa35d21be
|
Remove bogus assertion
llvm-svn: 5492
|
2003-02-04 16:33:23 +00:00 |
|
Chris Lattner
|
4e0422745c
|
Fix a huge bug with handling non-pointer instructions
llvm-svn: 5491
|
2003-02-04 00:59:50 +00:00 |
|
Chris Lattner
|
a4f94897b9
|
Make the TD pass not include all of the call nodes from the local pass,
eliminating incomplete markers from them
llvm-svn: 5490
|
2003-02-04 00:59:32 +00:00 |
|
Chris Lattner
|
e8381114ef
|
Add sanity check
llvm-svn: 5489
|
2003-02-04 00:03:57 +00:00 |
|
Chris Lattner
|
96f37f267a
|
Fix steensgaard to work on a lot more cases...
llvm-svn: 5488
|
2003-02-04 00:03:37 +00:00 |
|
Chris Lattner
|
2e3829c76d
|
Fix printing of nonfunction graphs
llvm-svn: 5487
|
2003-02-04 00:03:18 +00:00 |
|
Chris Lattner
|
7b9a9209fc
|
Rename variable
llvm-svn: 5486
|
2003-02-03 22:51:53 +00:00 |
|
Chris Lattner
|
102e619864
|
Hack to work around deficiency in pass infrastructure
llvm-svn: 5485
|
2003-02-03 22:51:28 +00:00 |
|
Chris Lattner
|
2a3c476fd4
|
Initial implementation of ds-aa
llvm-svn: 5484
|
2003-02-03 22:50:46 +00:00 |
|
Chris Lattner
|
47929dacd2
|
Add statistics to basicAA pass
llvm-svn: 5480
|
2003-02-03 21:16:17 +00:00 |
|
Chris Lattner
|
2ce14e226e
|
* Fix a bug introduced in the last checkin wrt Stack markers
* Make cloning more efficient in the process...
llvm-svn: 5479
|
2003-02-03 20:08:51 +00:00 |
|
Chris Lattner
|
5d14f5d9ac
|
Implement the globals graph!
llvm-svn: 5477
|
2003-02-03 19:12:15 +00:00 |
|
Chris Lattner
|
a589169d22
|
Add better debug output
llvm-svn: 5476
|
2003-02-03 19:11:38 +00:00 |
|
Chris Lattner
|
e4d8ec335c
|
Be a bit more specific in caption
llvm-svn: 5469
|
2003-02-02 16:42:01 +00:00 |
|
Chris Lattner
|
acc67b5d1d
|
Fix a bug where we would delete neccesary calls in bu pass
llvm-svn: 5465
|
2003-02-01 06:54:31 +00:00 |
|
Chris Lattner
|
d946a6a307
|
Fix a bug where we would incorrectly delete globals which had edges to alive 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
|
2003-02-01 06:51:17 +00:00 |
|
Chris Lattner
|
4f56dfb8d8
|
Delete nodes more efficiently
llvm-svn: 5463
|
2003-02-01 06:41:15 +00:00 |
|
Chris Lattner
|
bbd430c392
|
Remove dead nodes more efficiently
llvm-svn: 5462
|
2003-02-01 06:23:33 +00:00 |
|