<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple><div class=WordSection1><p class=MsoNormal>I’ve been looking at some issues with how the PassManager works with AliasAnalysis, specifically with GlobalsModRef. I’ve noticed that for a Function Pass (in IR/LegacyPassManager.cpp), in the function FunctionPass::assignPassManager() there is a call to<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><span style='font-family:"Courier New"'>FPP->populateInheritedAnalysis(PMS);<o:p></o:p></span></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>whereas for a CallGraphSCC Pass (in Analysis/IPA/CallGraphSCCPass.cpp) there is no call to populateInheritedAnalysis(). <o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>This seems to ultimately result in the GlobalsModRef alias analysis information being used for all subsequent CallGraphSCC passes, because they don’t look for inherited analyses to remove (not preserve) after their pass. While for FunctionPasses, the GlobalsModRef alias analysis info is always removed (not preserved) because there is no way to preserve it. Even if a Function Pass indicates it preserves AliasAnalysis, it seems that only the AliasAnalysis that belongs to the FunctionPass Manager is the one that gets preserved, not the parent ModulePass Manager’s. Therefore the inherited analyses (from the AliasAnalysis group) are removed.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> Is this how it is supposed to work? It seems that it will severely limit the usefulness of GlobalsModRef if it cannot be used on FunctionPasses that preserve AliasAnalysis. Perhaps I am missing something basic.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Daniel<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>--<o:p></o:p></p><p class=MsoNormal>Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, hosted by The Linux Foundation<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>