<div dir="ltr"><div>I think we're arguing for more or less the same thing here.</div><div><br></div><div>The whole point of AttrArgs/AttrGlobals was to say "a value in this set came (directly, through a load, ...)" from this specific arg/global. If we take this patch, that becomes "a value in this set came through a load of" a specific arg/global, which is presumably not more useful than AttrUnknown. So, if this goes in as-is, we should probably kill AttrArg/AttrGlobal as well, because they have no purpose.</div><div><br></div><div>A more interesting approach may be basically flipping this patch upside down: only use AttrArg/AttrGlobal when we have an assign edge to args/globals, and put AttrUnknown on the sets under the ones marked with AttrArg/AttrGlobal. Obviously, that would only be useful if we think differentiating between args/globals would be useful. If we don't think this, then I'm happy to accept this patch with the removal of Attr{Arg,Global}.</div><div><br></div><div>> it is not clear to me how AttrGlobal/AttrArgs can be utilized there. I was thinking maybe we should get rid of them at some point</div><div><br></div><div>When making arg attrs/global attrs, my thoughts were "this might be useful. If not, it'll take a few minutes to refactor this down to a single bit. Let's be flexible." I don't have a concrete plan for how they'll be useful. I'd assumed it would be useful when used with interprocedural magicks, but if that's not possible, that's fine. :)<br></div><div><br></div><div>That said, I'm reluctant to do that few minutes of refactoring now rather than later (unless it's a maintenance burden) if it's reasonably possible that we would find this information useful in the relatively near future.</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jun 8, 2016 at 3:16 PM, Jia Chen <span dir="ltr"><<a href="mailto:grievejia@gmail.com" target="_blank">grievejia@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">grievejia updated this revision to Diff 60109.<br>
grievejia marked 5 inline comments as done.<br>
grievejia added a comment.<br>
<br>
Updated according to George's review<br>
<br>
<br>
<a href="http://reviews.llvm.org/D21110" rel="noreferrer" target="_blank">http://reviews.llvm.org/D21110</a><br>
<br>
Files:<br>
  lib/Analysis/CFLAliasAnalysis.cpp<br>
<br>
</blockquote></div><br></div></div>