<html><head></head><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div>Hi:</div><div id="yui_3_16_0_1_1450053027953_18255" dir="ltr">but isn't the bit pattern, the data layout, what it makes the difference Anthony?<br></div><div id="yui_3_16_0_1_1450053027953_18254"><span id="yui_3_16_0_1_1450053027953_18253">Thanks in advance</span></div> <br><div class="qtdSeparateBR"><br><br></div><div style="display: block;" class="yahoo_quoted"> <div style="font-family: HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif; font-size: 16px;"> <div style="font-family: HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif; font-size: 16px;"> <div dir="ltr"><font size="2" face="Arial"> El Domingo 13 de diciembre de 2015 22:14, "Hosking, Antony L" <hosking@purdue.edu> escribió:<br></font></div> <br><br> <div class="y_msg_container"><div id="yiv3705637910"><div>
Bits are bits. It is implementation-dependent because bits one machine will be different on another. My point was that the bit sizes are expected to be the same (except when T is an open array, in which case the bits form the payload of the open array, with
the size constructed accordingly).
<div class="yiv3705637910yqt1555587467" id="yiv3705637910yqt77373"><div class="yiv3705637910"><br class="yiv3705637910" clear="none">
<div>
<blockquote class="yiv3705637910" type="cite">
<div class="yiv3705637910">On 14 Dec 2015, at 2:05 PM, Daniel Alejandro Benavides D. <<a rel="nofollow" shape="rect" class="yiv3705637910" ymailto="mailto:dabenavidesd@yahoo.es" target="_blank" href="mailto:dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>> wrote:</div>
<br class="yiv3705637910Apple-interchange-newline" clear="none">
<div class="yiv3705637910">
<div class="yiv3705637910">
<div class="yiv3705637910" style="background-color:rgb(255, 255, 255);font-family:HelveticaNeue, 'Helvetica Neue', Helvetica, Arial, 'Lucida Grande', sans-serif;font-size:16px;">
<div class="yiv3705637910" id="yiv3705637910yui_3_16_0_1_1450053027953_13317">Hi:</div>
<div class="yiv3705637910" dir="ltr" id="yiv3705637910yui_3_16_0_1_1450053027953_13292">exactly, if the bit pattern is unequal in two implementations, surely you will be having 2 different results<br class="yiv3705637910" clear="none">
</div>
<div class="yiv3705637910" id="yiv3705637910yui_3_16_0_1_1450053027953_13286"><span class="yiv3705637910"></span></div>
<br class="yiv3705637910" clear="none">
<div class="yiv3705637910qtdSeparateBR"><br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
</div>
<div class="yiv3705637910yahoo_quoted" style="display:block;">
<div class="yiv3705637910" style="font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px;">
<div class="yiv3705637910" style="font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px;">
<div class="yiv3705637910" dir="ltr"><font class="yiv3705637910" size="2" face="Arial">El Domingo 13 de diciembre de 2015 21:51, "Hosking, Antony L" <<a rel="nofollow" shape="rect" class="yiv3705637910" ymailto="mailto:hosking@purdue.edu" target="_blank" href="mailto:hosking@purdue.edu">hosking@purdue.edu</a>> escribió:<br class="yiv3705637910" clear="none">
</font></div>
<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
<div class="yiv3705637910y_msg_container">
<div class="yiv3705637910" id="yiv3705637910">
<div class="yiv3705637910">
<div class="yiv3705637910">From the language definition:</div>
<div class="yiv3705637910"><br class="yiv3705637910" clear="none">
</div>
<blockquote class="yiv3705637910" style="margin:0 0 0 40px;border:none;padding:0px;">
An unchecked type transfer operation has the form:</blockquote>
<blockquote class="yiv3705637910" style="margin:0 0 0 40px;border:none;padding:0px;">
<br class="yiv3705637910" clear="none">
<div class="yiv3705637910"> LOOPHOLE(e, T)</div>
<br class="yiv3705637910Apple-interchange-newline" clear="none">
where e is an expression whose type is not an open array type and T is a type. It denotes e's bit pattern interpreted as a variable or value of type T. It is a designator if e is, and is writable if e is. An unchecked runtime error can occur if e's bit pattern
is not a legal T, or if e is a designator and some legal bit pattern for T is not legal for e.</blockquote>
<blockquote class="yiv3705637910" style="margin:0 0 0 40px;border:none;padding:0px;">
<br class="yiv3705637910" clear="none">
If T is not an open array type, BITSIZE(e) must equal BITSIZE(T). If T is an open array type, its element type must not be an open array type, and e's bit pattern is interpreted as an array whose length is BITSIZE(e) divided by BITSIZE(the element type of T).
The division must come out even.<br class="yiv3705637910" clear="none">
</blockquote>
<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
<div class="yiv3705637910yqt2029095768" id="yiv3705637910yqtfd18088"><br class="yiv3705637910" clear="none">
<blockquote class="yiv3705637910" type="cite">On 14 Dec 2015, at 1:40 PM, Daniel Alejandro Benavides D. <<a rel="nofollow" shape="rect" class="yiv3705637910" ymailto="mailto:dabenavidesd@yahoo.es" target="_blank" href="mailto:dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>>
wrote:<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
Hello:<br class="yiv3705637910" clear="none">
Excuse me if is wrong to say, but doesn't the specification of Modula-3 explicit about how the UNSAFE stuff is implementation-dependent, that is to say; "it's your decision how to implement it".<br class="yiv3705637910" clear="none">
Thanks in advance<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
El Domingo 13 de diciembre de 2015 21:20, Jay <<a rel="nofollow" shape="rect" class="yiv3705637910" ymailto="mailto:jay.krell@cornell.edu" target="_blank" href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a>> escribió:<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
I know, but this pattern is pretty rare. <br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
- Jay<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
On Dec 13, 2015, at 1:46 AM, Antony Hosking <<a rel="nofollow" shape="rect" class="yiv3705637910" ymailto="mailto:hosking@purdue.edu" target="_blank" href="mailto:hosking@purdue.edu">hosking@purdue.edu</a>> wrote:<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
<blockquote class="yiv3705637910" type="cite">Excepting that in some cases taking the address may force the value into memory, when it could have stayed in a register.<br class="yiv3705637910" clear="none">
The intent is to allow the backend to avoid that.<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
<blockquote class="yiv3705637910" type="cite">On 11 Dec 2015, at 5:53 PM, Jay K <<a rel="nofollow" shape="rect" class="yiv3705637910" ymailto="mailto:jay.krell@cornell.edu" target="_blank" href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a>> wrote:<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
The right thing to do, really, is take the address of a float, loophole<br class="yiv3705637910" clear="none">
that into an address of another type, and dereference that.<br class="yiv3705637910" clear="none">
Not in the backend, but in the Modula-3 code.<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
</blockquote>
<br class="yiv3705637910" clear="none">
</blockquote>
<br class="yiv3705637910" clear="none">
_______________________________________________<br class="yiv3705637910" clear="none">
M3devel mailing list<br class="yiv3705637910" clear="none">
<a rel="nofollow" shape="rect" class="yiv3705637910" ymailto="mailto:M3devel@elegosoft.com" target="_blank" href="mailto:M3devel@elegosoft.com">M3devel@elegosoft.com</a><br class="yiv3705637910" clear="none">
<a rel="nofollow" shape="rect" class="yiv3705637910" target="_blank" href="https://mail.elegosoft.com/cgi-bin/mailman/listinfo/m3devel">https://mail.elegosoft.com/cgi-bin/mailman/listinfo/m3devel</a><br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
</blockquote>
<br class="yiv3705637910" clear="none">
</div>
</div>
</div>
<br class="yiv3705637910" clear="none">
<br class="yiv3705637910" clear="none">
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<br class="yiv3705637910" clear="none">
</div></div>
</div></div><br><br></div> </div> </div> </div></div></body></html>