<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;}
/* 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:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
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="#0563C1" vlink="#954F72">
<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 am seeing something unexpected with –fmodules. Is this intentional ?<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">If I include a file of one submodule, I see code for static initialization for global
<o:p></o:p></p>
<p class="MsoNormal">variables of files of other submodules of the same parent module.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">To take a standalone example, make a directory “HDR” with three files “A.h”, “B.h” and
<o:p></o:p></p>
<p class="MsoNormal">“module.modulemap” with the following contents: <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">A.h: <o:p></o:p></p>
<p class="MsoNormal"> struct AA { AA();};<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">B.h:<o:p></o:p></p>
<p class="MsoNormal"> struct counter {<o:p></o:p></p>
<p class="MsoNormal"> int v;<o:p></o:p></p>
<p class="MsoNormal"> counter() { v = 0; }<o:p></o:p></p>
<p class="MsoNormal"> };<o:p></o:p></p>
<p class="MsoNormal"> const counter junk;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">module.modulemap:<o:p></o:p></p>
<p class="MsoNormal"> module TOP {<o:p></o:p></p>
<p class="MsoNormal"> module A {<o:p></o:p></p>
<p class="MsoNormal"> header "A.h"<o:p></o:p></p>
<p class="MsoNormal"> export *<o:p></o:p></p>
<p class="MsoNormal"> }<o:p></o:p></p>
<p class="MsoNormal"> module B {<o:p></o:p></p>
<p class="MsoNormal"> header "B.h"<o:p></o:p></p>
<p class="MsoNormal"> export *<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>
<p class="MsoNormal">Now take a main file, test.cpp, with just one line<o:p></o:p></p>
<p class="MsoNormal"> #include <A.h><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">and compile it with ‘clang –S –fmodules –IHDR test.cpp’<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Since there are no object definitions in A.h, one would expect an empty file. But
<o:p></o:p></p>
<p class="MsoNormal">we see code for static initialization of ‘junk’. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">So the question: Why is ‘junk’ being initialized in test.s ?<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">If modules A and B are not nested in another module "TOP", then this initialization
<o:p></o:p></p>
<p class="MsoNormal">does not occur. However, even with this nesting, why should module TOP.B be initialized<o:p></o:p></p>
<p class="MsoNormal">when only A.h is being included?<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Without –fmodules, we get an effectively empty file, as expected.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I realize that putting a definition (of junk) in an include file is not a good idea,
<o:p></o:p></p>
<p class="MsoNormal">still, I am not using that include file. Why should I be penalized for files that I am<o:p></o:p></p>
<p class="MsoNormal">not using.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Note that with the test case above, even if I include <A.h> (or even <B.h>) in multiple files,
<o:p></o:p></p>
<p class="MsoNormal">no multiple definition error occurs because the variable definition is a const. The only cost
<o:p></o:p></p>
<p class="MsoNormal">of -fmodules is some extra initialization code, though with multiple instances of this<o:p></o:p></p>
<p class="MsoNormal">phenomenon it can become significant.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Now, if the variable definition is made non-const, -fmodules prevents me from including <A.h>
<o:p></o:p></p>
<p class="MsoNormal">in multiple translation units. The poor-programming-practice in <B.h> prevents inclusion
<o:p></o:p></p>
<p class="MsoNormal">of <A.h> in multiple TUs. That is much more serious than just some extra code.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I have tested this with current TOT on Linux x86. The module cache was empty before doing
<o:p></o:p></p>
<p class="MsoNormal">the compilation in these tests.<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"><o:p> </o:p></p>
<p class="MsoNormal">Sunil Srivastava<o:p></o:p></p>
<p class="MsoNormal">Sony Computer Entertainment<o:p></o:p></p>
</div>
</body>
</html>