<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">Hi All,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I have a question on the type definitions that Clang generates when compiling for x86-64.  Here is the C++ code that I compile:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">                class TestClass1 {<o:p></o:p></p>
<p class="MsoNormal">                                int X;<o:p></o:p></p>
<p class="MsoNormal">                public:<o:p></o:p></p>
<p class="MsoNormal">                                virtual int Foo() { return 1; }<o:p></o:p></p>
<p class="MsoNormal">                };<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">                class TestClass2 : public TestClass1 {<o:p></o:p></p>
<p class="MsoNormal">                                int X;<o:p></o:p></p>
<p class="MsoNormal">                public:<o:p></o:p></p>
<p class="MsoNormal">                                virtual int Foo() { return 1; }<o:p></o:p></p>
<p class="MsoNormal">                };<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">                class TestClass3 : public TestClass2 {<o:p></o:p></p>
<p class="MsoNormal">                                int X;<o:p></o:p></p>
<p class="MsoNormal">                public:<o:p></o:p></p>
<p class="MsoNormal">                                virtual int Foo() { return 1; }<o:p></o:p></p>
<p class="MsoNormal">                };<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Here is the command lines that I am using, for 32-bit and 64-bit mode respectively:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">                clang.exe -S -emit-llvm -O0 test.cpp -o test.ll<o:p></o:p></p>
<p class="MsoNormal">                clang.exe -S -emit-llvm -O0 test.cpp -o test.ll -march=x86-64<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The 32-bit compile produces this, which I understand:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">                %class.TestClass3 = type { %class.TestClass2, i32 }<o:p></o:p></p>
<p class="MsoNormal">                %class.TestClass2 = type { %class.TestClass1, i32 }<o:p></o:p></p>
<p class="MsoNormal">                %class.TestClass1 = type { i32 (...)**, i32 }<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The 64-bit compile produces this:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">                %class.TestClass3 = type { %class.TestClass2, i32, [4 x i8] }<o:p></o:p></p>
<p class="MsoNormal">                %class.TestClass2 = type { [12 x i8], i32 }<o:p></o:p></p>
<p class="MsoNormal">                %class.TestClass1 = type { i32 (...)**, i32 }<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">A few basic questions: (1) Why does TestClass2 have a [12 x i8] array instead of a reference to TestClass1?  (2) What is the [4 x i8] array at the end of TestClass3?  (3) Is it safe to use a bitcast instead of a getelementptr constant expression
 for casting a TestClass3* to a TestClass1* in this case (I see no other way of doing it…)?<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I’m not very knowledgeable about Clang, and I greatly appreciate your help.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Thanks,<br>
Ben<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>