<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 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
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="#0563C1" vlink="#954F72">
<p class="msipheadera92e061b" align="Left" style="margin:0"><span style="font-size:10.0pt;font-family:Arial;color:#0078D7">[AMD Official Use Only - Internal Distribution Only]</span></p>
<br>
<div class="WordSection1">
<p class="MsoNormal">Hi,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Following issue is observed with Type Based Alias Analysis(TBAA).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">#######################################################<o:p></o:p></p>
<p class="MsoNormal"><i>struct P {<o:p></o:p></i></p>
<p class="MsoNormal"><i> float f1;<o:p></o:p></i></p>
<p class="MsoNormal"><i> float f2;<o:p></o:p></i></p>
<p class="MsoNormal"><i> float f3[3];<o:p></o:p></i></p>
<p class="MsoNormal"><i> float f4;<o:p></o:p></i></p>
<p class="MsoNormal"><i>};<o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p> </o:p></i></p>
<p class="MsoNormal"><i>void foo(struct P* p1, struct P* p2) {<o:p></o:p></i></p>
<p class="MsoNormal"><i> p1->f2 = 1.2;<o:p></o:p></i></p>
<p class="MsoNormal"><i> p2->f1 = 3.7;<o:p></o:p></i></p>
<p class="MsoNormal"><i>}<o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p> </o:p></i></p>
<p class="MsoNormal"><i>int callFoo() {<o:p></o:p></i></p>
<p class="MsoNormal"><i> struct P p;<o:p></o:p></i></p>
<p class="MsoNormal"><i> foo(&p, &(p.f2));<o:p></o:p></i></p>
<p class="MsoNormal"><i>}<o:p></o:p></i></p>
<p class="MsoNormal"><i>######################################################<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Printing alias-sets using commands:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><i> clang -O1 -S -emit-llvm struct_tbaa.c<o:p></o:p></i></p>
<p class="MsoNormal"><i> opt -basicaa -tbaa -print-alias-sets -disable-output struct_tbaa.ll<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">yields:<i><o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><i>Alias sets for function 'foo':<o:p></o:p></i></p>
<p class="MsoNormal"><i>Alias Set Tracker: 2 alias sets for 2 pointer values.<o:p></o:p></i></p>
<p class="MsoNormal"><i> AliasSet[0x563d8f6a8bd0, 1] must alias, Mod Pointers: (i32* %f2, LocationSize::precise(4))<o:p></o:p></i></p>
<p class="MsoNormal"><i> AliasSet[0x563d8f6bc080, 1] must alias, Mod Pointers: (float* %f1, LocationSize::precise(4))<o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p> </o:p></i></p>
<p class="MsoNormal">IR of foo:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><i>; Function Attrs: nofree norecurse nounwind uwtable writeonly<o:p></o:p></i></p>
<p class="MsoNormal"><i>define dso_local void @foo(%struct.P* nocapture %p1, %struct.P* nocapture %p2) local_unnamed_addr #0 {<o:p></o:p></i></p>
<p class="MsoNormal"><i>entry:<o:p></o:p></i></p>
<p class="MsoNormal"><i> %f2 = getelementptr inbounds %struct.P, %struct.P* %p1, i64 0, i32 1<o:p></o:p></i></p>
<p class="MsoNormal"><i> store float 0x3FF3333340000000, float* %f2, align 4, !tbaa !2<o:p></o:p></i></p>
<p class="MsoNormal"><i> %f1 = getelementptr inbounds %struct.P, %struct.P* %p2, i64 0, i32 0<o:p></o:p></i></p>
<p class="MsoNormal"><i> store float 0x400D9999A0000000, float* %f1, align 4, !tbaa !7<o:p></o:p></i></p>
<p class="MsoNormal"><i> ret void<o:p></o:p></i></p>
<p class="MsoNormal"><i>}<o:p></o:p></i></p>
<p class="MsoNormal"><i>!2 = !{!3, !4, i64 4}<o:p></o:p></i></p>
<p class="MsoNormal"><i>!3 = !{!"P", !4, i64 0, !4, i64 4, !5, i64 8, !4, i64 20}<o:p></o:p></i></p>
<p class="MsoNormal"><i>!4 = !{!"float", !5, i64 0}<o:p></o:p></i></p>
<p class="MsoNormal"><i>!5 = !{!"omnipotent char", !6, i64 0}<o:p></o:p></i></p>
<p class="MsoNormal"><i>!6 = !{!"Simple C/C++ TBAA"}<o:p></o:p></i></p>
<p class="MsoNormal"><i>!7 = !{!3, !4, i64 0}<o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p> </o:p></i></p>
<p class="MsoNormal">TBAA returns p1->f2 and p2->f1 in different alias-sets. But p1->f2 and p2->f1 do actually have the same address!
<span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif">Shouldn't the alias result be conservative while doing TBAA, especially when it needs interprocedural analysis?<o:p></o:p></span></p>
<p class="MsoNormal">If instead of the above, p1->f2 and p2->f2 are the ones being accessed, then p1->f2 and p2->f2 are returned in same alias-sets. So, in second case, it is indeed conservative!
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Could someone please explain the rationale behind above behavior?<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Thanks,<o:p></o:p></p>
<p class="MsoNormal">Siddharth<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>