<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 03/25/2016 08:08 PM, Chris Lattner wrote:<br>
<blockquote
cite="mid:160DB5EF-5DA1-4446-A444-E50F51C02BE1@apple.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<div>I’m still a big fan of context sensitive, flow insensitive,
unification based models. <br>
</div>
</blockquote>
<br>
Interestingly I find the unification approach quite unsatisfactory
sometime. What happens there is pointers with the same "depth" are
too often clobbered together unless they are really unrelated to
each other. <br>
<br>
<blockquote
cite="mid:160DB5EF-5DA1-4446-A444-E50F51C02BE1@apple.com"
type="cite">
<div>Contrary to your claim, context sensitivity *is* useful for
mod-ref analysis, e.g. “can I hoist a load across this call”?
Context sensitivity improves the precision of the mod/ref set
of the call.</div>
<br class="">
</blockquote>
I'm not sure about that. How often does mod-ref information change
across callsites? Isn't a good context-insensitive function summary
good enough?<br>
<br>
-Jia<br>
<br>
</body>
</html>