Chris Lattner
|
b8450599f3
|
Add new -no-verify option
llvm-svn: 5542
|
2003-02-12 18:45:08 +00:00 |
Chris Lattner
|
4dbe59b5ba
|
Add a new -no-output option, useful for -aa-eval tests.
llvm-svn: 5541
|
2003-02-12 18:43:33 +00:00 |
Chris Lattner
|
ca959ff6fd
|
Implement more functions
llvm-svn: 5538
|
2003-02-11 23:12:23 +00:00 |
Chris Lattner
|
3595c3387a
|
Rename options
llvm-svn: 5537
|
2003-02-11 23:12:09 +00:00 |
Chris Lattner
|
7127d7db7a
|
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
|
763502671d
|
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
|
1cc14aa2ba
|
Fix uninitialized member problem
llvm-svn: 5534
|
2003-02-11 06:36:00 +00:00 |
Chris Lattner
|
242d685332
|
Bugfix for calling dump() after the links vector has been cleared
llvm-svn: 5533
|
2003-02-10 22:46:47 +00:00 |
Chris Lattner
|
e715357909
|
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
|
e170f0db13
|
Move getNode() out of line
llvm-svn: 5531
|
2003-02-10 18:19:41 +00:00 |
Chris Lattner
|
f8292feb04
|
Fix problem breaking GAP, use hasNoReferrers more
llvm-svn: 5530
|
2003-02-10 18:18:18 +00:00 |
Chris Lattner
|
f4122de179
|
Implement a new method "viewGraph" which can be used to instantly view a graph from GDB.
llvm-svn: 5529
|
2003-02-10 18:17:38 +00:00 |
Chris Lattner
|
75007f16de
|
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
|
b96f2123ab
|
Rearrange code
llvm-svn: 5527
|
2003-02-10 18:16:36 +00:00 |
Chris Lattner
|
5153d44a91
|
Fix problem breaking Fhourstones
llvm-svn: 5526
|
2003-02-10 18:16:19 +00:00 |
Chris Lattner
|
eaec4be9ea
|
Revert Anand's patch which broke the build
llvm-svn: 5525
|
2003-02-10 15:55:50 +00:00 |
Chris Lattner
|
df2a78e833
|
Make steensgaards performance not shameful
llvm-svn: 5524
|
2003-02-10 00:14:57 +00:00 |
Chris Lattner
|
43df2886c5
|
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 |
Anand Shukla
|
893dfda486
|
*** empty log message ***
llvm-svn: 5522
|
2003-02-09 21:15:36 +00:00 |
Chris Lattner
|
c15e3d93f2
|
Remove the -debug option from release executables
llvm-svn: 5521
|
2003-02-09 21:13:57 +00:00 |
Chris Lattner
|
b0208e1ae3
|
Allow printing of various types of alias analysis results
llvm-svn: 5520
|
2003-02-09 20:40:13 +00:00 |
Chris Lattner
|
2393160bde
|
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
|
1fbac976b9
|
- 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
|
4e0457a027
|
Switch to using the right call vector
llvm-svn: 5517
|
2003-02-09 19:26:47 +00:00 |
Chris Lattner
|
8a8407d1fd
|
Add a basic-aa test
llvm-svn: 5516
|
2003-02-09 19:01:00 +00:00 |
Chris Lattner
|
93fdaf9cb9
|
Fix major bugs in incompleteness marking that were pessimizing results
llvm-svn: 5515
|
2003-02-09 18:42:43 +00:00 |
Chris Lattner
|
e4059b4ed6
|
Print out the steens graph if -debug is specified
llvm-svn: 5514
|
2003-02-09 18:42:16 +00:00 |
Chris Lattner
|
0eee7eb390
|
* 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
|
ed8dbc90a5
|
TD Pass now does not cause globals to mark nodes incomplete.
llvm-svn: 5512
|
2003-02-09 18:40:25 +00:00 |
Chris Lattner
|
26bd24cd81
|
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
|
d73f9f55f2
|
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
|
eadcadc54b
|
Fix division by zero problem
llvm-svn: 5509
|
2003-02-08 23:04:50 +00:00 |
Chris Lattner
|
63ea85f089
|
Remove explicit result counters
llvm-svn: 5508
|
2003-02-08 23:03:17 +00:00 |
Chris Lattner
|
cb7d6429fc
|
Add a flag which effectively disables field sensitivity
llvm-svn: 5506
|
2003-02-08 20:18:39 +00:00 |
Chris Lattner
|
fdc902e6f2
|
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
|
9a734b6c24
|
Allow counting multiple passes, and print the pass name counted
llvm-svn: 5504
|
2003-02-07 20:39:17 +00:00 |
Chris Lattner
|
e996681c1c
|
New general purpose alias analysis result auditor
llvm-svn: 5503
|
2003-02-07 19:46:03 +00:00 |
Chris Lattner
|
afc83ba35e
|
Add notes from Vikram's email
llvm-svn: 5502
|
2003-02-07 19:25:35 +00:00 |
Chris Lattner
|
0c552b8a74
|
Remove obsolete page
llvm-svn: 5501
|
2003-02-07 19:22:53 +00:00 |
Chris Lattner
|
371fd2c59b
|
Add a summary
llvm-svn: 5500
|
2003-02-06 22:06:08 +00:00 |
Chris Lattner
|
4ecd2d0125
|
Fix a problem Sumant was running into
llvm-svn: 5499
|
2003-02-06 22:03:46 +00:00 |
Chris Lattner
|
4fdb75f223
|
Simple N^2 alias anlysis accuracy checker
llvm-svn: 5498
|
2003-02-06 21:29:49 +00:00 |
Chris Lattner
|
66f24706ea
|
New "open projects" document
llvm-svn: 5497
|
2003-02-06 19:39:21 +00:00 |
Chris Lattner
|
f7979c2f2b
|
Fix an assertion failure
llvm-svn: 5496
|
2003-02-06 00:15:08 +00:00 |
Chris Lattner
|
80614ee5ef
|
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
|
5981c63e6e
|
Squelch warning
llvm-svn: 5494
|
2003-02-05 21:44:28 +00:00 |
Chris Lattner
|
6a9307866c
|
Allow the addition of edge source labels
llvm-svn: 5493
|
2003-02-05 19:40:59 +00:00 |
Chris Lattner
|
d7357ab5d1
|
Remove bogus assertion
llvm-svn: 5492
|
2003-02-04 16:33:23 +00:00 |
Chris Lattner
|
04fb4b5808
|
Fix a huge bug with handling non-pointer instructions
llvm-svn: 5491
|
2003-02-04 00:59:50 +00:00 |
Chris Lattner
|
36fd3eccbd
|
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 |