<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p style="margin-top:0;margin-bottom:0">Right, a GlobalVariable actually has interesting debug metadata attached, but if one is dealing with the target type of a pointer operand of a GEP that's accessing a structure field, then tracing that back to something
with debug metadata is nontrivial. It may not be a GlobalVariable.<br>
</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">-Troy<br>
</p>
</div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> paul.robinson@sony.com <paul.robinson@sony.com><br>
<b>Sent:</b> Tuesday, July 24, 2018 12:54:57 PM<br>
<b>To:</b> Troy Johnson<br>
<b>Cc:</b> llvm-dev@lists.llvm.org<br>
<b>Subject:</b> RE: StructType --> DICompositeType?</font>
<div> </div>
</div>
<meta content="text/html; charset=us-ascii">
<meta name="x_Generator" content="Microsoft Word 14 (filtered medium)">
<style>
<!--
@font-face
{font-family:Calibri}
@font-face
{font-family:Tahoma}
p.x_MsoNormal, li.x_MsoNormal, div.x_MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif"}
a:x_link, span.x_MsoHyperlink
{color:blue;
text-decoration:underline}
a:x_visited, span.x_MsoHyperlinkFollowed
{color:purple;
text-decoration:underline}
p
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif"}
span.x_EmailStyle18
{font-family:"Calibri","sans-serif";
color:#1F497D}
.x_MsoChpDefault
{font-size:10.0pt}
@page WordSection1
{margin:1.0in 1.0in 1.0in 1.0in}
div.x_WordSection1
{}
-->
</style>
<div lang="EN-US" link="blue" vlink="purple">
<div class="x_WordSection1">
<p class="x_MsoNormal"><span style="font-size:11.0pt; font-family:"Calibri","sans-serif"; color:#1F497D">They aren't directly tied together, as a type by its lonesome isn't all that interesting to either compilers or debuggers.</span></p>
<p class="x_MsoNormal"><span style="font-size:11.0pt; font-family:"Calibri","sans-serif"; color:#1F497D">But for example a global variable has a link to its DIGlobalVariable, which has a link to its DIType, and so you can associate the variable's Type with
a DIType that way.</span></p>
<p class="x_MsoNormal"><span style="font-size:11.0pt; font-family:"Calibri","sans-serif"; color:#1F497D">--paulr</span></p>
<p class="x_MsoNormal"><a name="x__MailEndCompose"><span style="font-size:11.0pt; font-family:"Calibri","sans-serif"; color:#1F497D"> </span></a></p>
<div style="border:none; border-left:solid blue 1.5pt; padding:0in 0in 0in 4.0pt">
<div>
<div style="border:none; border-top:solid #B5C4DF 1.0pt; padding:3.0pt 0in 0in 0in">
<p class="x_MsoNormal"><b><span style="font-size:10.0pt; font-family:"Tahoma","sans-serif"">From:</span></b><span style="font-size:10.0pt; font-family:"Tahoma","sans-serif""> llvm-dev [mailto:llvm-dev-bounces@lists.llvm.org]
<b>On Behalf Of </b>Troy Johnson via llvm-dev<br>
<b>Sent:</b> Tuesday, July 24, 2018 11:50 AM<br>
<b>To:</b> llvm-dev@lists.llvm.org<br>
<b>Subject:</b> [llvm-dev] StructType --> DICompositeType?</span></p>
</div>
</div>
<p class="x_MsoNormal"> </p>
<div id="x_divtagdefaultwrapper">
<p><span style="font-family:"Calibri","sans-serif"; color:black">Is there a more convenient way to obtain a DIType given a Type than matching up the strings for the names?</span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black"> </span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black">For example, given:</span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black"> </span></p>
<div>
<p class="x_MsoNormal"><span style="font-family:"Calibri","sans-serif"; color:black">struct S {<br>
int x, y;<br>
} s;<br>
<br>
void foo(S *a) {<br>
a->x = 0;<br>
a->y = 1;<br>
}</span></p>
</div>
<p><span style="font-family:"Calibri","sans-serif"; color:black"> </span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black">There are DIType nodes for the struct Type:</span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black"> </span></p>
<div>
<p class="x_MsoNormal"><span style="font-family:"Calibri","sans-serif"; color:black">!6 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "S", file: !3, line: 1, size: 64, flags: DIFlagTypePassByValue, elements: !7, identifier: "_ZTS1S")<br>
!7 = !{!8, !10}<br>
!8 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !6, file: !3, line: 2, baseType: !9, size: 32)<br>
!9 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)<br>
!10 = !DIDerivedType(tag: DW_TAG_member, name: "y", scope: !6, file: !3, line: 2, baseType: !9, size: 32, offset: 32)</span></p>
</div>
<p class="x_MsoNormal"><span style="font-family:"Calibri","sans-serif"; color:black"> </span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black">but given just the StructType for S there is no direct way to get to the DICompositeType. I've made something work by prescanning all the DITypes in my Module and creating a map that uses type
names as the key, being careful to strip "struct." prefixes and maintain scoping for nested structs (e.g., S1::S2), which works, but seems awfully complicated to need to do.</span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black"> </span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black">Seems like StructType should have a getMetaData() function, but I don't see one.</span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black"> </span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black">-Troy</span></p>
<p><span style="font-family:"Calibri","sans-serif"; color:black"> </span></p>
</div>
</div>
</div>
</div>
</body>
</html>