[M3devel] M3CG_Rd.m3

[Jay K]

They can occur anywhere and are always skipped?I can try it.Not a big deal.I'm pretty far up the learning curve by now. :)  - Jay
 Subject: Re: [M3devel] M3CG_Rd.m3
From: hosking at cs.purdue.edu
Date: Fri, 7 Sep 2012 22:20:25 -0400
CC: m3devel at elegosoft.com
To: jay.krell at cornell.edu

I’m thinking more of a comment...
Both M3CG_Rd and M3CG_Wr would be compatible.


Antony Hosking | Associate Professor | Computer Science | Purdue University305 N. University Street | West Lafayette | IN 47907 | USAMobile +1 765 427 5484


On Sep 7, 2012, at 5:29 PM, Jay <jay.krell at cornell.edu> wrote:Ah. That is also an incompatible change but slightly cleaner. Ok?
 - Jay (briefly/pocket-sized-computer-aka-phone)
On Sep 6, 2012, at 2:07 PM, Antony Hosking <hosking at cs.purdue.edu> wrote:

Why not simply write it out as an extra field of the command in the text.That way you don’t need to hack the check on Int.Convert.
So, wherever there is VName(u, v) M3CG_Wr would also have Txt(.name).SImilarly, when M3CG_Rd has Scan_var it would follow that with Scan_text.It just seems more principled to have both sides grok the same format instead of relying on CvtInt silently ignoring some non-integer suffix.

On Sep 6, 2012, at 3:46 PM, Jay <jay.krell at cornell.edu> wrote:Does there really exist other code that parses this stuff? Anything is possible but one needs to make judgement calls & confident guesses.

I would imagine everyone should read them with M3CG_Rd. And that everyone would really use the binary form usually, that the verbose text is really for humans.

Heck, I assume that we even have a persistent format only to workaround the gcc backend license. 

My use is temporary convenience but a bit of a while & very convenient. Anyway, I could add a runtime flag to trigger this change if necessary.


All the backends (gcc, x86, C) do their own tracing as well..almost the same as this ouput, some redundancy there, but it helps to have it output while the backend is running & not just using a tool on the side -- you can see right away where it got too before failing an assertion or such.


 - Jay (briefly/pocket-sized-computer-aka-phone)
On Sep 6, 2012, at 6:24 AM, Antony Hosking <hosking at cs.purdue.edu> wrote:

Yes, that is a HACK.How do you know that your change to include the name doesn’t break other parts of the tool chain.Yes, I know that numbers are less readable, but the binding between name and numbers is explicit in the code.I’ve never found it to be too difficult to manage with.I think in this instance it would be better to revert to the numbers.  Short-term convenience for potential sacrifice of robustness represents a step backward.

On Sep 6, 2012, at 4:29 AM, Jay K <jay.krell at cornell.edu> wrote:http://modula3.elegosoft.com/cgi-bin/cvsweb.cgi/cm3/m3-sys/m3middle/src/M3CG_Rd.m3.diff?r1=1.14;r2=1.15;f=u

Tony, now I'm reviewing your changes (CVS sure doesn't make this easy!)Apparent problem here.Granted, I could have left a comment in the code as to what was going on.(not that the vast bulk of m3-sys is well commented!)


Revision 1.15: download - view: text, markup, annotated - select for diffsTue Sep 4 16:52:46 2012 (41 hours, 23 minutes ago) by hoskingBranches: MAINCVS tags: HEADDiff to: previous 1.14: preferred, unifiedChanges since revision 1.14: +2 -2 linesBest to retain error checking on return values from Convert.ToInt.

See here:
Revision 1.14: download - view: text, markup, annotated - select for diffsWed Aug 22 16:15:40 2012 (2 weeks ago) by jkrellBranches: MAINDiff to: previous 1.13: preferred, unifiedChanges since revision 1.13: +2 -2 lineswhen printing variables and procedures:e.g:	begin_procedure	 p.32	store		 v.33 0 Addr Addr
instead:	begin_procedure	 p.32.Makefile__NoteSourceFile	store		 v.33.file 0 Addr Addr
i.e. much more readablegranted, less compact, not "normalized" (redundant data)
I verified that m3cgcat still roundtrips.  Not that I ever tried that before, but that is what  the design implied the ability to do. Not that  it is likely important these days/years/decades.
The delimiting "." is chosen to stop integer parsingIt is presumed names don't contain spaces, or whatever,that M3CG_Rd is ok with this extra output from M3CG_Wr.I only tried with one file.
Note that I hacked M3CG_Rd__CvtInt to not complain about the extra text.It might be better to have it verify it some, like that it is dotfollowed by star or a valid pair of "__" delimited identifiers.


 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20120908/514f64e9/attachment-0002.html>