<html><head><base href="x-msg://2491/"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<div>On 10 Feb 2010, at 11:35, Jay K wrote:</div><div><br class="Apple-interchange-newline"><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div class="hmmessage" style="font-size: 10pt; font-family: Verdana; ">I was just trying to get longint initialization to work.<br>It seemed some of its problems might have been related to the fact that you Extract more high order zeros from TInt.Zero than Target.Int{Target.Integer.bytes}. But in the end (just now) I left TWord.Extract alone.<br>It remains true that EQ(TInt.Zero) has multiple representations and they don't act alike.<br></div></span></blockquote><div><br></div><div>I don't understand what you mean by this statement.</div><br><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div class="hmmessage" style="font-size: 10pt; font-family: Verdana; "> Maybe that is desirable.<br> <br> - Jay<br><br> <br><hr id="stopSpelling">From:<span class="Apple-converted-space"> </span><a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Wed, 10 Feb 2010 10:13:31 -0500<br>To:<span class="Apple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br>CC:<span class="Apple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>Subject: Re: [M3commit] CVS Update: cm3<br><br><div><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><div style="word-wrap: break-word; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><div><span class="ecxApple-style-span" style="font-size: medium; "><font class="ecxApple-style-span" color="#0000ff" face="'Gill Sans'">I'm not sure what you are trying to do or why. Can you provide further explanation?</font></span></div></span></span></span></span></span></span></span></span></div></span></span></div><br><div><div>On 10 Feb 2010, at 04:47, Jay K wrote:</div><br class="ecxApple-interchange-newline"><blockquote><span class="ecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal medium/normal Helvetica; white-space: normal; letter-spacing: normal; word-spacing: 0px; "><div class="ecxhmmessage" style="font-family: Verdana; font-size: 10pt; ">Shall I go ahead and let Extract act as if the data is infinitely zero extended?<br>That seems easy to do. I don't know if it will fix the problems, or cause other problems.<br>It is easy to try. The danger is if it causes subtle undetected-at-first-and-for-a-while problems.<br> <br> <br> - Jay<br><br> <br><hr id="ecxstopSpelling">From:<span class="ecxApple-converted-space"> </span><a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Mon, 8 Feb 2010 11:36:31 -0500<br>To:<span class="ecxApple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br>CC:<span class="ecxApple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>Subject: Re: [M3commit] CVS Update: cm3<br><br><div>Yes, that is what I am now trying to clean up.</div><div><br></div><br><div><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><div style="word-wrap: break-word; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><div><font class="ecxecxApple-style-span" color="#0000ff"><font class="ecxecxApple-style-span" face="Gill Sans"><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); "><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); ">Antony Hosking</span></span></font></font><font class="ecxecxApple-style-span" face="Gill Sans"><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxecxApple-converted-space"> </span>|<span class="ecxecxApple-converted-space"> </span></span></span><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; ">Associate Professor</span></span><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; "> | Computer Science | Purdue University</span></span></font></div><div><font class="ecxecxApple-style-span" face="GillSans-Light"><span class="ecxecxApple-style-span" style="font-family: GillSans-Light; ">305 N. University Street | West Lafayette | IN 47907 | USA</span></font></div><div><font class="ecxecxApple-style-span" color="#0000ff" face="Gill Sans"><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); "><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); ">Office</span></span></font><font class="ecxecxApple-style-span" face="GillSans-Light"><span class="ecxecxApple-style-span" style="font-family: GillSans-Light; "><span class="ecxecxApple-style-span" style="font-family: GillSans-Light; "> +1 765 494 6001 |<span class="ecxecxApple-converted-space"> </span></span></span></font><font class="ecxecxApple-style-span" color="#0000ff" face="Gill Sans"><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); "><span class="ecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); ">Mobile</span></span></font><font class="ecxecxApple-style-span" face="GillSans-Light"><span class="ecxecxApple-style-span" style="font-family: GillSans-Light; "><span class="ecxecxApple-style-span" style="font-family: GillSans-Light; "><span class="ecxecxApple-converted-space"> </span>+1 765 427 5484</span></span></font></div><div><font class="ecxecxApple-style-span" face="GillSans-Light"><br class="ecxecxkhtml-block-placeholder"></font></div></span></span></span></span></span></span></span><br class="ecxecxApple-interchange-newline"></span></div></span></span><br class="ecxecxApple-interchange-newline"></div><br><div><div>On 8 Feb 2010, at 11:18, Jay K wrote:</div><br class="ecxecxApple-interchange-newline"><blockquote><span class="ecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal medium/normal Helvetica; white-space: normal; letter-spacing: normal; word-spacing: 0px; "><div class="ecxecxhmmessage" style="font-family: Verdana; font-size: 10pt; ">Rodney I *think* generally mixed sizes are supported in TWord, TInt.<br> Though I don't necessarily understand all of the code.<br>There was a problem recently fixed, granted.<br>One problem here though is that you can't TWord.Extract beyond the size.<br>So the varying sizes of "zero" behave differently.<br>You might imagine it's zeros as far out as needed, but it doesn't work that way currently.<br> <br> - Jay<br> <br>> Date: Mon, 8 Feb 2010 10:02:58 -0600<br>> From:<span class="ecxecxApple-converted-space"> </span><a href="mailto:rodney_bates@lcwb.coop">rodney_bates@lcwb.coop</a><br>> To:<span class="ecxecxApple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>> Subject: Re: [M3commit] CVS Update: cm3<br>><span class="ecxecxApple-converted-space"> </span><br>><span class="ecxecxApple-converted-space"> </span><br>><span class="ecxecxApple-converted-space"> </span><br>> Jay K wrote:<br>> > I wonder if we need<br>> > TInt8, TInt16, TInt32, TInt64, TInt, TLong<br>> > TWord8, TWord16, TWord32, TWord64, TWord, TLongWord<br>> ><span class="ecxecxApple-converted-space"> </span><br>> > that accurately implement ints/words of the exact specified size,<br>> > with TInt/TWord/TLong/TLongWord depending on the target.<br>> > I wouldn't mind trying to remove this word "Word".<br>> > And replace it with UInt or such.<br>> > TInt, TUInt, TLong, TULong?<br>> > TSignedInt, TUnsignedInt, TSignedLong, TUnsignedLong?<br>> > TInt, TUnsignedInt, TLong, TUnsignedLong?<br>> ><span class="ecxecxApple-converted-space"> </span><br>> > TInt.Zero is just always 8 bytes.<br>> > The size is I believe meant to be fairly opaque to the user.<br>> > This is the first I've noticed it being visible, such that TInt.EQ is<span class="ecxecxApple-converted-space"> </span><br>> > true for values with "quite different" behavior. I would have "thunk"<span class="ecxecxApple-converted-space"> </span><br>> > (thought without much thought) that anything TInt.EQ is more equivalent<span class="ecxecxApple-converted-space"> </span><br>> > than they actually are.<br>> ><span class="ecxecxApple-converted-space"> </span><br>><span class="ecxecxApple-converted-space"> </span><br>> Hmm. I recall in a discussion a while back that the arithmetic on<br>> target ints was not coded to handle operands with mixed values of<br>> n. Could this have something to do with this?<br>><span class="ecxecxApple-converted-space"> </span><br>> ><span class="ecxecxApple-converted-space"> </span><br>> > - Jay<br>> ><span class="ecxecxApple-converted-space"> </span><br>> ><span class="ecxecxApple-converted-space"> </span><br>> ><br></div></span></blockquote></div><br></div></span><br class="ecxApple-interchange-newline"></blockquote></div><br></div></span><br class="Apple-interchange-newline"></blockquote></div><br></body></html>