<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<br>
<br>
<blockquote
cite="mid:CAF4BwTVN66OERf+bFKr=n5qOcHQsod7eeZR=CH57-yMs0TyPFA@mail.gmail.com"
type="cite">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">It is merely a
demand-driven way of implementing existing analyses, by
extending those algorithms to track additional "pointed-to-by"
information. Laziness may help with the running time of the
cfl analysis when only partial points-to info is needed, but
if the client wants to do a whole-program analysis and require
whole-program points-to info (which is usually true for
optimizing compilers since they will eventually examine and
touch every piece of the codes given to it), should cfl-aa be
no different than traditional whatever-sensitive pointer
analysis?</div>
</blockquote>
<div><br>
</div>
<div>CFL, at least when I ran the numbers, was faster at all pairs
than existing analysis.</div>
</blockquote>
<br>
There could be many reasons for it, e.g. better implementations.
Again, my point is that cfl-aa is more of an implementation strategy
than a fundamentally superior approach. <br>
<blockquote
cite="mid:CAF4BwTVN66OERf+bFKr=n5qOcHQsod7eeZR=CH57-yMs0TyPFA@mail.gmail.com"
type="cite">
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<div bgcolor="#FFFFFF" text="#000000"> Great! Are they
published somewhere? Can the data be shared somehow?</div>
</blockquote>
</div>
<div><br>
</div>
<div>No, and sadly, no</div>
</blockquote>
:(<br>
<blockquote
cite="mid:CAF4BwTVN66OERf+bFKr=n5qOcHQsod7eeZR=CH57-yMs0TyPFA@mail.gmail.com"
type="cite">I'm talking about infrastructure wise, nothing in llvm
can take advantage because the APIs don't exist.
<div><br>
</div>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">. Flow sensitivity is
helpful when the optimization pass itself is flow-sensitive
(e.g. adce, gvn), </div>
</blockquote>
</div>
<div><br>
</div>
<div>No api exists that they could use right now for this, and
you'd have to change things to understand answers are not valid
over the entire function.</div>
</blockquote>
<br>
I see what you are saying now. Sometimes flow/ctx-insensitive alias
queries can benefit from a flow/ctx-sensitive analysis, yet my
intuition is that such cases are likely to be rare. I could go ahead
and modify those passes myself to carry on the study, but that
option probably won't be too interesting to the community. <br>
<br>
Thank you very much for pointing that out to me.<br>
<br>
-- <br>
Best Regards,<br>
<br>
--<br>
Jia Chen
</body>
</html>