<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'>I think it isn't just TextLiteral.MaxBytes.<br><br><br>How do I declare an unbouned-ly sized array?<br>At the end of a record?<br>Doesn't matter?<br><br><br>For TextLiteral.MaxBytes, are you ok then with a 512MB limit, even for 64bit?<br><br><br> - Jay<br><br><br><div><hr id="stopSpelling">From: hosking@cs.purdue.edu<br>Date: Tue, 3 Sep 2013 13:00:08 -0400<br>To: jay.krell@cornell.edu<br>CC: m3devel@elegosoft.com<br>Subject: Re: [M3devel] TextLiteral.MaxBytes -- use LONGINT or Target.Int more?<br><br>Yes, I want to avoid use of LONGINT in the compiler proper.<div>If you want to talk about target sized integer values in the front-end then yes, Target.Int is what you want, I suppose.</div><div>But I still don’t understand the precise use-case that you are proposing.</div><div>In the case of TextLiteral.MaxBytes why would 512 Mb ever be too small?</div><div>I cannot imaging a text literal that big, ever.<br><div><br><div><div>On Sep 3, 2013, at 12:55 PM, Jay K <<a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a>> wrote:</div><br class="ecxApple-interchange-newline"><blockquote><div class="ecxhmmessage" style="font-size:12pt;font-family:Calibri;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;orphans:2;text-align:-webkit-auto;text-indent:0px;text-transform:none;white-space:normal;widows:2;word-spacing:0px;"><div dir="ltr">How do you suggest 32bit code deal with file sizes? And record/array offsets/sizes for 64bit targets?<br>double? That offers I think 53 bits, which is pretty good, but pesky floating point..<br>A library without infix notation?<br>C and C++ have been using __int64 and long long for this for going on 20 years.<br>And C++ has infix notation for arbitrary types.<br><br><br>I guess I will plumb Target.Int through?<br>I've started this before but it got tedious.<br><br><br> - Jay<br><br><div><hr id="ecxstopSpelling">CC: <a href="mailto:m3devel@elegosoft.com">m3devel@elegosoft.com</a><br>From: <a href="mailto:antony.hosking@gmail.com">antony.hosking@gmail.com</a><br>Subject: Re: [M3devel] TextLiteral.MaxBytes -- use LONGINT or Target.Int more?<br>Date: Tue, 3 Sep 2013 08:11:32 -0400<br>To: <a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br><br><div>Don't plumb LONGINT throughout. I still consider it an abomination.<br><br>Sent from my iPad</div><div><br>On Sep 3, 2013, at 1:53 AM, Jay K <<a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a>> wrote:<br><br></div><div></div><blockquote><div dir="ltr">I've complained about this before.<br><br><br>The frontend keeps track of things in bits in INTEGER.<br>Therefore TextLiteral.MaxBytes is around 512MB.<br><br><br>We could raise it for 64bit targets, but the 32bit cross compile to 64bits would fail.<br><br><br>Fixing this mostly but not entirely would be to plumb through LONGINT<br>"everywhere" instead of INTEGER.<br>We would still lose the sign bit and bits vs. bytes would lose us another 3 bits.<br>So we'd have a 60 bit limit instead of a 64bit limit.<br><br><br>Fixing it even more would require Target.Int.<br><br><br>Thoughts?<br><br><br>Is LONGINT safe to use now throughout cm3/m3front/m3middle/m3back?<br>Do we still require bootstrapping from LONGINT-less compilers?<br><br><br>Any lingering doubts as to its syntax and meaning?<br>I still think it should be named INT64.<br>Because in the future I want INT128 and I don't want LONGINT to grow in size.<br><br><br>Would it be considered adequate as a replacement for Target.Int?<br><br><br>If instead I plumb through Target.Int, any complaints?<br>Target.Int has the following advantages:<br> When we need INT128 in the future, it is a very very very simple and small change.<br> I already extended Target.Int from 64 bits to 72 bits.<br> It works with old frontends.<br><br><br>Target.Int has the following disadvantages:<br> no operator overloading so usage is cumbersome <span class="ecxApple-converted-space"> </span><br> slower<span class="ecxApple-converted-space"> </span><br> I still don't fully understand it, e.g. division<span class="ecxApple-converted-space"> </span><br><br><br><br> - Jay</div></blockquote></div></div></div></blockquote></div><br></div></div><br><br><div>
<span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;orphans:2;text-align:-webkit-auto;text-indent:0px;text-transform:none;white-space:normal;widows:2;word-spacing:0px;font-size:medium;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;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;"><div style="word-wrap:break-word;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><div style="word-wrap:break-word;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><span class="ecxApple-style-span" style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-indent:0px;text-transform:none;orphans:2;white-space:normal;widows:2;word-spacing:0px;"><div><font class="ecxApple-style-span" color="#0000FF"><font class="ecxApple-style-span" face="Gill Sans"><span class="ecxApple-style-span" style="color:rgb(0, 0, 255);font-family:'Gill Sans';"><span class="ecxApple-style-span" style="color:rgb(0, 0, 255);font-family:'Gill Sans';">Antony Hosking</span></span></font></font><font class="ecxApple-style-span" face="Gill Sans"><span class="ecxApple-style-span" style="font-family:'Gill Sans';"><span class="ecxApple-style-span" style="font-family:'Gill Sans';"><span class="ecxApple-converted-space"> </span>|<span class="ecxApple-converted-space"> </span></span></span><span class="ecxApple-style-span" style="font-family:'Gill Sans';"><span class="ecxApple-style-span" style="font-family:'Gill Sans';">Associate Professor</span></span><span class="ecxApple-style-span" style="font-family:'Gill Sans';"><span class="ecxApple-style-span" style="font-family:'Gill Sans';"> | Computer Science | Purdue University</span></span></font></div><div><font class="ecxApple-style-span" face="GillSans-Light"><span class="ecxApple-style-span" style="font-family:GillSans-Light;">305 N. University Street | West Lafayette | IN 47907 | USA</span></font></div><div><font class="ecxApple-style-span" color="#0000FF" face="Gill Sans"><span class="ecxApple-style-span" style="color:rgb(0, 0, 255);font-family:'Gill Sans';"><span class="ecxApple-style-span" style="color:rgb(0, 0, 255);font-family:'Gill Sans';">Mobile</span></span></font><font class="ecxApple-style-span" face="GillSans-Light"><span class="ecxApple-style-span" style="font-family:GillSans-Light;"><span class="ecxApple-style-span" style="font-family:GillSans-Light;"><span class="ecxApple-converted-space"> </span>+1 765 427 5484</span></span></font></div><div><font class="ecxApple-style-span" face="GillSans-Light"><br class="ecxkhtml-block-placeholder"></font></div></span></span></span></span></span></span></span><br class="ecxApple-interchange-newline"></span></div></span></div></span><br class="ecxApple-interchange-newline"></span><br class="ecxApple-interchange-newline">
</div>
<br></div> </div></body>
</html>