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
|
14e226f71c
|
Add notes from Vikram's email
llvm-svn: 5502
|
2003-02-07 19:25:35 +00:00 |
|
Chris Lattner
|
c79941c8b1
|
Remove obsolete page
llvm-svn: 5501
|
2003-02-07 19:22:53 +00:00 |
|
Chris Lattner
|
4c58f5252e
|
Add a summary
llvm-svn: 5500
|
2003-02-06 22:06:08 +00:00 |
|
Chris Lattner
|
cc7f4a3c65
|
Fix a problem Sumant was running into
llvm-svn: 5499
|
2003-02-06 22:03:46 +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
|
11423ad183
|
New "open projects" document
llvm-svn: 5497
|
2003-02-06 19:39:21 +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
|
8088c79d39
|
Squelch warning
llvm-svn: 5494
|
2003-02-05 21:44:28 +00:00 |
|
Chris Lattner
|
93e9ec8bb1
|
Allow the addition of edge source labels
llvm-svn: 5493
|
2003-02-05 19:40:59 +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
|
eb090dec1d
|
Check field sensitivity
llvm-svn: 5483
|
2003-02-03 21:40:14 +00:00 |
|
Chris Lattner
|
ebcc3bd08d
|
Build DS-AA tests
llvm-svn: 5482
|
2003-02-03 21:31:53 +00:00 |
|
Chris Lattner
|
a6399868d9
|
Initial tests for DS alias analysis
llvm-svn: 5481
|
2003-02-03 21:31:43 +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
|
1fa5e51461
|
Implement feof and xmalloc
llvm-svn: 5478
|
2003-02-03 19:12:38 +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
|
b58c9c95d0
|
Eliminate unused resolving caller stuff
llvm-svn: 5475
|
2003-02-03 19:11:04 +00:00 |
|
Chris Lattner
|
1c12ad543d
|
* Add a bunch of stuff for checking the integrity of the graph
* remove the isNodeDead method
llvm-svn: 5474
|
2003-02-03 19:10:24 +00:00 |
|
Chris Lattner
|
4bb510896d
|
Remove pool alloc accessor
llvm-svn: 5473
|
2003-02-03 19:08:33 +00:00 |
|
Chris Lattner
|
978ff5d0dd
|
Split public interface out into header file
llvm-svn: 5472
|
2003-02-03 19:08:18 +00:00 |
|
Chris Lattner
|
cfae77498b
|
Expose information about pool allocation
llvm-svn: 5471
|
2003-02-03 19:07:46 +00:00 |
|
Chris Lattner
|
3a565dc805
|
Indent for uniformity
llvm-svn: 5470
|
2003-02-02 17:02:20 +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
|
58fa654380
|
Allow modifying a global variables constness property
llvm-svn: 5468
|
2003-02-02 16:40:40 +00:00 |
|
Chris Lattner
|
c68ccffee6
|
Fix bug: Assembler/2003-02-02-ConstGlobal.ll
llvm-svn: 5467
|
2003-02-02 16:40:20 +00:00 |
|
Chris Lattner
|
3005c08d8c
|
New testcase
llvm-svn: 5466
|
2003-02-02 16:30:29 +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 |
|
Chris Lattner
|
8bb8f73e76
|
Improve efficiency of aliveness traversal code
llvm-svn: 5461
|
2003-02-01 06:17:02 +00:00 |
|
Chris Lattner
|
7aec6c471b
|
Change DSGraph stuff to use hash_(set|map) instead of std::(set|map)
This change provides a small (3%) but consistent speedup
llvm-svn: 5460
|
2003-02-01 04:52:08 +00:00 |
|
Chris Lattner
|
45c0f94256
|
Add a bunch more stubs
llvm-svn: 5459
|
2003-02-01 04:51:12 +00:00 |
|
Chris Lattner
|
aceb57a289
|
Fix typo
llvm-svn: 5458
|
2003-02-01 04:50:59 +00:00 |
|