<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><br></div><div>The constant folder assumes @Bar and @Foo are distinct via areGlobalsPotentiallyEqual <<a href="http://llvm.org/docs/doxygen/html/ConstantFold_8cpp_source.html#l01382" target="_blank">http://llvm.org/docs/doxygen/html/ConstantFold_8cpp_source.html#l01382</a>></div><div><br></div><div>I'm not entirely sure if this is correct in the case where @Bar happens to be an alias for @Foo elsewhere... Nick, any ideas?</div></div></div></div></blockquote><div><br></div><div>Thanks David, it sounds like areGlobalsPotentiallyEqual may provide the exact logic I want, based on your explanation.  </div><div><br></div><div>My only reservation, aside from the one you mentioned, is that I don't notice anything in that method looking for the unnamed_addr flag.  I suspect my AA code would give wrong answers regarding two globals which got unified because of that flag.</div><div><br></div></div></div></div>