Displaying 2 results from an estimated 2 matches for "c11d3d88".
2015 Jun 15
2
[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?
...esn't matter
> what else it points to :)
>
Nice to know that the idea has been vetted in at least one AA
implementation. Thanks for the info.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150615/c11d3d88/attachment.html>
2015 Jun 15
2
[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?
On Mon, Jun 15, 2015 at 11:02 AM, Daniel Berlin <dberlin at dberlin.org> wrote:
> Points-to analysis on LLVM-IR itself is fine (see the current CFL-AA,
> or the old deleted andersen's implementations), and giving may-alias
> and no-alias results also works. Giving must-alias answers, however,
> is difficult.
>
> In particular, i would not simply ignore some types of