<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
ping<br>
<br>
<div class="moz-cite-prefix">On 01/07/2014 10:04 AM, Philip Reames
wrote:<br>
</div>
<blockquote cite="mid:52CC4193.5040000@philipreames.com" type="cite">
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
Looking at the LangRef, I see some wording relating to the type
system which appears to have not been updated. The section that
concerns me is:<br>
"
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
Note that type names are aliases for the structural type that they
indicate, and that you can therefore specify multiple names for
the same type. This often leads to confusing behavior when dumping
out a .ll file. Since LLVM IR uses structural typing, the name is
not part of the type. When printing out LLVM IR, the printer will
pick <em>one name</em> to render all types of a particular shape.
This means that if you have code where two different source types
end up having the same LLVM type, that the dumper will sometimes
print the “wrong” or unexpected type. This is an important design
point and isn’t going to change." from <a moz-do-not-send="true"
class="moz-txt-link-freetext"
href="http://llvm.org/docs/LangRef.html#named-types">http://llvm.org/docs/LangRef.html#named-types</a><br>
<br>
In particular, this appears to be in direct contradiction with:<br>
<a moz-do-not-send="true" class="moz-txt-link-freetext"
href="http://llvm.org/docs/LangRef.html#structure-type">http://llvm.org/docs/LangRef.html#structure-type</a><br>
<br>
Can anyone else confirm my interpretation? I want to be sure
there's not something subtle here I'm missing.<br>
<br>
Philip<br>
</blockquote>
<br>
</body>
</html>