DSA or rDSA ?

Project Infrastructure LLVM Dev List Archives
1

Dear All,

I am trying to use DataStructure Alias Analysis. From the code at poolalloc it seems that rDSA needs to be compiled to get -ds-aa feature while the Makefile builds just the DSA.

Please correct me if I am doing something wrong.

Thanks,
Manish

2

Dear All,

I am trying to use DataStructure Alias Analysis. From the code at poolalloc it seems that rDSA needs to be compiled to get -ds-aa feature while the Makefile builds just the DSA.

I seem to recall replying to this, but my email client says I didn’t, so I’m responding again.
:slight_smile:

The rDSA code is some experimental code that we abandoned. We removed the -ds-aa pass in mainline poolalloc because we weren’t maintaining it and, to the best of our knowledge, no one was using it.

Someone sent a patch (I think to the mailing list, but potentially just to me) that resurrected the -ds-aa pass for DSA with LLVM 2.9 (note that we don’t support LLVM 2.9; I think this person just got it to work on his own since LLVM 2.9 and LLVM 3.0 were pretty similar at the time). I didn’t integrate it as I didn’t have time to review it, and it contains other stuff besides the -ds-aa change.

Just out of curiosity, are people interested in using DSA via the AliasAnalysis interface?

– John T.

3

Thanks John!

I think if I would have an option to use DSA with AA interface, I would have definitely used it. DSA looks like good/precise alias analysis. I believe somewhere in the future someone will work on integrating precise alias analysis with already very powerful tool. That someone may be me if required for our project :slight_smile: !

Manish

4

John, I am interested, too! ...when all issues would go away :wink:

...Takumi

5

First, I've added an enhancement request for this feature in the bug database (http://llvm.org/bugs/show_bug.cgi?id=11130). People who want this feature should add a comment in the bug report so that we can keep count of who wants it and how many people want it.

Also, if someone is up for implementing this, please feel free to reassign the bug to yourself.
:slight_smile:

Second, Takumi, to which issues are you specifically referring?

-- John T.