[LLVMdev] Alias Analysis Problem in LICM

[Gan]

Hi John,

Thank you for your reply! Please see my other questions below:

> DSA is a unification-based points-to analysis.  The interface to use it as
> an AliasAnalysis pass was removed since no one was using it and it was
> probably buggy.

- When you say "it was probably buggy", what is buggy? the
"interface", or the AliasAnalysis?

I'm so surprise that no one is using it.

> There are currently two routes for re-adding it.  One is to
> review and fix up a patch that was submitted earlier this year.  The other
> approach is to rewrite the code from scratch.  The former approach may be
> easier, but I don't know how well the code would work in practice.  The
> latter approach could be easily done using some code that we wrote (and
> could probably distribute if someone wants to tackle this problem).

I can see that you like the latter approach. Let me think whether I
have time to do it.

Do you have any plan to integrate DSA into LLVM mailine, say the 3.0 release?
I learned from your previous emails that you are working on this goal.
What is the
current status?

Thank you again for your reply!

-- 
Best Regards

Gan