Svadev mailing list

["Ryan M. Lefever" <lefever AT illinois.edu>]

I have run BU DSA and TD DSA on a few different bitcode files.  The 
results are below.  What seams anomalous to me is that when I examine 
the DS nodes for pointer loads, many are marked complete after BU but 
none are marked complete after TD.  My understanding is that once a node 
is marked complete it can not be merged with anything else.  Since TD 
builds on top of BU, I'm wondering how the node for a loaded pointer can 
be marked complete after BU but not after TD.

I am using LLVM and DSA 2.6.  If you are interested, I can email you the 
bitcode file that produced these results.  When producing the results, I 
simply ran DSA from opt.

Regards,
Ryan

Legend:
C - complete, I - incomplete, M - ds node is missing
U - unknown, CU - complete and unknown, IU - incomplete and uknown
Note, multiple loads may load pointers associated with the same DS node.

----- art from CPU SPEC 2000 -----
BU results
Load Summary:
  C   : 345       I   : 136       M   : 0
  U   : 0         CU  : 0         IU  : 0
TD results
Load Summary:
  C   : 0         I   : 481       M   : 0
  U   : 0         CU  : 0         IU  : 0

----- bzip2 from CPU SPEC 2000 -----
BU results
Load Summary:
  C   : 79        I   : 1280      M   : 0
  U   : 0         CU  : 0         IU  : 0
TD results
Load Summary:
  C   : 0         I   : 1359      M   : 0
  U   : 0         CU  : 0         IU  : 0

----- equake from CPU SPEC 2000 -----
BU results
Load Summary:
  C   : 164       I   : 1001      M   : 0
  U   : 0         CU  : 0         IU  : 0
TD results
Load Summary:
  C   : 0         I   : 1165      M   : 0
  U   : 0         CU  : 0         IU  : 0