From jkrell at elego.de  Thu Dec  6 08:56:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu,  6 Dec 2012  8:56:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121206075657.DBFB8CCA5C@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/06 08:56:57

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	work in progress, implementing expressions as a higher level
	manipulatable representation, so that we can peel away
	casts, and range checks, etc.



From jkrell at elego.de  Fri Dec  7 11:47:21 2012
From: jkrell at elego.de (Jay Krell)
Date: Fri,  7 Dec 2012 11:47:21  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121207104721.A9A382474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/07 11:47:21

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	Punt and make check_range a helper function.
	That reduces warnings.
	Doing better here seems elusive.
	There are still range warnings to fix, probably check_lo/hi/index.
	This does mean we could probably dispense with most of my recent
	work on forming a higher level in-memory form.
	Also, ideally check_range helper would call reportfault, but I don't
	think we have that name by this time in the code.
	todo: capture the value into locals for all the check_ operations.
	(requires another pass to allocate the locals)



From dabenavidesd at yahoo.es  Sun Dec  9 22:09:08 2012
From: dabenavidesd at yahoo.es (Daniel Alejandro Benavides D.)
Date: Sun, 9 Dec 2012 21:09:08 +0000 (GMT)
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121207104721.A9A382474003@birch.elegosoft.com>
Message-ID: <1355087348.53898.YahooMailClassic@web133106.mail.ir2.yahoo.com>

Hi all:

There are known techniques for avoid this to happen or tu use brute
force approaches (even when they don't work as resorted in p. 43):

http://fg-metriken.gi.de/fileadmin/user_upload/news/news98_2.pdf



There are approaches for typeless abstract interpretation, but for functional correctness of the abstract machine we have to develop execution models
and improve low-level error-catching like above explained if it can get enough , I guess the
issue is in what in-memory approach are you thinking 

Thanks in advance

--- El vie, 7/12/12, Jay Krell <jkrell at elego.de> escribi?:

De: Jay Krell <jkrell at elego.de>
Asunto: [M3commit] CVS Update: cm3
Para: m3commit at elegosoft.com
Fecha: viernes, 7 de diciembre, 2012 06:47

CVSROOT:??? /usr/cvs
Changes by:??? jkrell at birch.??? 12/12/07 11:47:21

Modified files:
??? cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
??? Punt and make check_range a helper function.
??? That reduces warnings.
??? Doing better here seems elusive.
??? There are still range warnings to fix, probably check_lo/hi/index.
??? This does mean we could probably dispense with most of my recent
??? work on forming a higher level in-memory form.
??? Also, ideally check_range helper would call reportfault, but I don't
??? think we have that name by this time in the code.
??? todo: capture the value into locals for all the check_ operations.
??? (requires another pass to allocate the locals)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121209/5ff3db16/attachment.html>

From jkrell at elego.de  Thu Dec 13 09:37:26 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:37:26  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213083726.EFB94CCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:37:26

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	last version before giving up on idea



From jkrell at elego.de  Thu Dec 13 09:37:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:37:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213083757.907ABCCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:37:57

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	give up and use helper functions for lt/le/gt/gt/eq/ne to avoid
	gcc warnings, subject to a global boolean
	
	move on to more important matters -- prepare to allocate temps
	for evaluation like check_hi/lo/range



From jkrell at elego.de  Thu Dec 13 09:48:43 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:48:43  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213084843.B52FBCCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:48:43

Modified files:
	cm3/m3-libs/m3core/src/time/POSIX/: TimePosixC.c 

Log message:
	fix warning from gcc -Wall -Werror about unused static function



From jkrell at elego.de  Sat Dec 15 03:46:39 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:46:39  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215024639.821B3CCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:46:39

Modified files:
	cm3/m3-libs/m3core/src/time/POSIX/: TimePosixC.c 

Log message:
	fix -Wall -Werror



From jkrell at elego.de  Sat Dec 15 03:48:04 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:48:04  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215024804.8DA4BCCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:48:04

Modified files:
	cm3/m3-libs/m3core/src/thread/PTHREAD/: ThreadPThreadC.c 

Log message:
	fix -Wall -Werror
	(I was actually achieving that for what the backend outputs.. :) )



From jkrell at elego.de  Sat Dec 15 03:51:39 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:51:39  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215025139.576F7CCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:51:39

Modified files:
	cm3/m3-libs/m3core/src/Csupport/Common/: dtoa.h 

Log message:
	fix -Wall -Werror



From jkrell at elego.de  Sat Dec 15 08:37:17 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:37:17  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215073717.1295DCCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:37:17

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.c 

Log message:
	fix -Wall -Werror
	take copy from http://src.gnu-darwin.org/src/contrib/csup/fnmatch.c.html
	which varies just in about the way the warning/error said: added parens



From jkrell at elego.de  Sat Dec 15 08:42:42 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:42:42  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215074242.B64EECCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:42:42

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.c 

Log message:
	better: http://svnweb.freebsd.org/base/head/usr.bin/csup/fnmatch.c?revision=216370&view=co
	removes a clause from the license and feels like a more authorative source



From jkrell at elego.de  Sat Dec 15 08:44:18 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:44:18  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215074418.5853ACCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:44:18

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.h 

Log message:
	from http://svnweb.freebsd.org/base/head/usr.bin/csup/fnmatch.h?revision=216370&view=co
	removes a license clause and adds
	/* Make this compile successfully with "gcc -traditional" */
	#ifndef __STDC__
	#define const	/* empty */
	#endif



From jkrell at elego.de  Mon Dec 17 07:52:13 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 17 Dec 2012  7:52:13  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121217065213.7435ACCA81@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/17 07:52:13

Modified files:
	cm3/m3-libs/m3core/src/Csupport/Common/: dtoa.h 

Log message:
	fix some more warnings about unsigned/signed mixup and using possibly unintialized locals -- still to obtain an authoratitive up to date version..



From jkrell at elego.de  Mon Dec 17 08:21:47 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 17 Dec 2012  8:21:47  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121217072147.A968BCCA81@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/17 08:21:47

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	initialize locals again to fix occasional warnings about using
	uninitialized locals
	still leave structs uninitialized



From jkrell at elego.de  Tue Dec 18 09:26:43 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012  9:26:43  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218082643.C2AC6CCA87@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 09:26:43

Modified files:
	cm3/m3-sys/m3cc/src/: gnucc.common 

Log message:
	look for cc and CC two more places on opencsw machines



From jkrell at elego.de  Tue Dec 18 09:30:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012  9:30:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218083057.6BB55CCA87@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 09:30:57

Modified files:
	cm3/m3-sys/m3cc/src/: gnucc.common 

Log message:
	try again



From jkrell at elego.de  Tue Dec 18 19:53:44 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012 19:53:44  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218185344.7F414CCA8D@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 19:53:44

Modified files:
	cm3/m3-sys/m3middle/src/: M3CG_MultiPass.i3 M3CG_MultiPass.m3 

Log message:
	add parameter so replay user has an index for the op so it can maintain
	parallel data, e.g. what temp variable to use for check_eq/hi/lo



From jkrell at elego.de  Tue Dec 18 20:02:14 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012 20:02:14  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218190214.29554CCA8D@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 20:02:14

Modified files:
	cm3/m3-sys/m3middle/src/: Target.m3 

Log message:
	use the constants from TInt.i3 and TWord.i3 instead of repeating them



From jay.krell at cornell.edu  Tue Dec 18 20:03:39 2012
From: jay.krell at cornell.edu (Jay K)
Date: Tue, 18 Dec 2012 19:03:39 +0000
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121218190214.29554CCA8D@birch.elegosoft.com>
References: <20121218190214.29554CCA8D@birch.elegosoft.com>
Message-ID: <COL125-W3835561D66253A1320513E6310@phx.gbl>


Index: Target.m3
===================================================================
RCS file: /usr/cvs/cm3/m3-sys/m3middle/src/Target.m3,v
retrieving revision 1.126
diff -u -r1.126 Target.m3
--- Target.m3    4 Sep 2012 15:11:09 -0000    1.126
+++ Target.m3    18 Dec 2012 19:01:03 -0000
@@ -49,7 +49,6 @@
   END IsSPARC;
   
 PROCEDURE Init (system: TEXT; in_OS_name: TEXT; backend_mode: M3BackendMode_t): BOOLEAN =
-  CONST FF = 16_FF;
   VAR sys := 0;  max_align := 64;
   BEGIN
     (* lookup the system -- linear search *)
@@ -65,50 +64,50 @@
     Int8.cg_type     := CGType.Int8;
     Int8.size        := 8;
     Int8.align       := 8;
-    Int8.min         := Int{16_80,FF,..};
-    Int8.max         := Int{16_7f,00,..};
+    Int8.min         := TInt.Min8;
+    Int8.max         := TInt.Max8;
 
     Int16.cg_type    := CGType.Int16;
     Int16.size       := 16;
     Int16.align      := 16;
-    Int16.min        := Int{00,16_80,FF,..};
-    Int16.max        := Int{FF,16_7f,00,..};
+    Int16.min        := TInt.Min16;
+    Int16.max        := TInt.Max16;
 
     Int32.cg_type    := CGType.Int32;
     Int32.size       := 32;
     Int32.align      := 32;
-    Int32.min        := Int{00,00,00,16_80,FF,..};
-    Int32.max        := Int{FF,FF,FF,16_7f,00,..};
+    Int32.min        := TInt.Min32;
+    Int32.max        := TInt.Max32;
 
     Int64.cg_type    := CGType.Int64;
     Int64.size       := 64;
     Int64.align      := 64;
-    Int64.min        := Int{00,00,00,00,00,00,00,16_80};
-    Int64.max        := Int{FF,FF,FF,FF,FF,FF,FF,16_7f};
+    Int64.min        := TInt.Min64;
+    Int64.max        := TInt.Max64;
 
     Word8.cg_type    := CGType.Word8;
     Word8.size       := 8;
     Word8.align      := 8;
-    Word8.min        := Int{00,00,..};
-    Word8.max        := Int{FF,00,..};
+    Word8.min        := TInt.Zero;
+    Word8.max        := TWord.Max8;
 
     Word16.cg_type   := CGType.Word16;
     Word16.size      := 16;
     Word16.align     := 16;
-    Word16.min       := Int{00,00,00,..};
-    Word16.max       := Int{FF,FF,00,..};
+    Word16.min       := TInt.Zero;
+    Word16.max       := TWord.Max16;
 
     Word32.cg_type   := CGType.Word32;
     Word32.size      := 32;
     Word32.align     := 32;
-    Word32.min       := Int{00,00,00,00,00,..};
-    Word32.max       := Int{FF,FF,FF,FF,00,..};
+    Word32.min       := TInt.Zero;
+    Word32.max       := TWord.Max32;
 
     Word64.cg_type   := CGType.Word64;
     Word64.size      := 64;
     Word64.align     := 64;
-    Word64.min       := Int{00,00,00,00,00,00,00,00};
-    Word64.max       := Int{FF,FF,FF,FF,FF,FF,FF,FF};
+    Word64.min       := TInt.Zero;
+    Word64.max       := TWord.Max64;
 
     Integer          := Int32;  (* default for the 32-bit platforms *)
     Longint          := Int64;
@@ -120,8 +119,8 @@
     Void.cg_type     := CGType.Void;
     Void.size        := 0;
     Void.align       := Byte;
-    Void.min         := Int{0,..};
-    Void.max         := Int{0,..};
+    Void.min         := TInt.Zero;
+    Void.max         := TInt.Zero;
 
     Real.cg_type     := CGType.Reel;
     Real.pre         := Precision.Short;


 - Jay

> Date: Tue, 18 Dec 2012 20:02:14 +0000
> To: m3commit at elegosoft.com
> From: jkrell at elego.de
> Subject: [M3commit] CVS Update: cm3
> 
> CVSROOT:	/usr/cvs
> Changes by:	jkrell at birch.	12/12/18 20:02:14
> 
> Modified files:
> 	cm3/m3-sys/m3middle/src/: Target.m3 
> 
> Log message:
> 	use the constants from TInt.i3 and TWord.i3 instead of repeating them
> 
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121218/c7cd7039/attachment.html>

From jkrell at elego.de  Wed Dec 19 21:31:20 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:31:20  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219203120.CD9AD2474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:31:20

Modified files:
	cm3/m3-tools/pp/src/: Parse.yacc hash.h lex_help.h 

Log message:
	remove whitespace from ends of lines, before other changes
	(other changes: allow it to be compiled as C++)



From jkrell at elego.de  Wed Dec 19 21:44:12 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:44:12  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219204412.8B5082474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:44:12

Modified files:
	cm3/m3-tools/pp/src/: hash.h 

Log message:
	tabs to spaces



From jkrell at elego.de  Wed Dec 19 21:50:48 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:50:48  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219205048.150402474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:50:48

Modified files:
	cm3/m3-tools/pp/src/: lex_help.h 

Log message:
	tabs to spaces



From jkrell at elego.de  Thu Dec 20 04:35:12 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  4:35:12  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220033512.95CD82474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 04:35:12

Modified files:
	cm3/m3-tools/pp/src/: Parse.lex Parse.yacc hash.h lex_help.h 
	./: Parse.lex Parse.yacc hash.h lex_help.h 
	cm3/m3-tools/pp/src/flex-bison/: lex.yy.c y.tab.c 

Log message:
	fixes for gcc -Wall -Werror and g++ -Wall -Werror



From jkrell at elego.de  Thu Dec 20 04:40:52 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  4:40:52  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220034052.0EEE52474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 04:40:52

Modified files:
	cm3/m3-tools/pp/src/: Parse.yacc 
	./: Parse.yacc 
	cm3/m3-tools/pp/src/flex-bison/: y.tab.c 

Log message:
	remove unnecessary EXTERN_C_BEGIN / EXTERN_C_END that I just added



From jkrell at elego.de  Thu Dec 20 05:41:15 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  5:41:15  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220044115.860462474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 05:41:15

Modified files:
	cm3/m3-sys/m3middle/src/: TInt.i3 TInt.m3 TWord.i3 TWord.m3 
	                          Target.i3 Target.m3 

Log message:
	replace variables with constants, for
	
	Target.Int8, Target.Int16, Target.Int32, Target.Int64
	Target.Word8, Target.Word16, Target.Word32, Target.Word64
	Target.Long, Target.Longint
	Target.Char, Target.Void
	Target.Real, Target.Longreal
	
	required moving TYPE Int from Target to TInt (to avoid circular
	dependency, and it is reasonable anyway, to colocate
	the type and the functions)
	
	Extended is still a variable, but initialized fully, because
	BITSIZE isn't valid on a constant



From jkrell at elego.de  Mon Dec 24 21:11:07 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 24 Dec 2012 21:11:07  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121224201107.F2C89CCA97@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/24 21:11:07

Modified files:
	cm3/m3-sys/m3middle/src/: Target.i3 

Log message:
	remove new internal_Real_max, internal_Longreal_max and
	copy around the values 3.40282346638528860x+38, 1.79769313486231570x+308
	intead of expanding the public interface



From dabenavidesd at yahoo.es  Thu Dec 27 16:10:29 2012
From: dabenavidesd at yahoo.es (Daniel Alejandro Benavides D.)
Date: Thu, 27 Dec 2012 15:10:29 +0000 (GMT)
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121224201107.F2C89CCA97@birch.elegosoft.com>
Message-ID: <1356621029.55706.YahooMailClassic@web133103.mail.ir2.yahoo.com>

Hi Jay:
even if this does not work OK for you doesn't mean you can break code clarity, please reconsider writing values instead of constants it can lead to misunderstand the purpose of those values (even if there are limitations in current implementation).
Anyway, the CONS values must be transparent bit converted from decimal arithmetic. Why don't you convert it from it and solve this in Modula-3 style.
Take my advice, but if not explain me please why not so
Thanks in advance


--- El lun, 24/12/12, Jay Krell <jkrell at elego.de> escribi?:

De: Jay Krell <jkrell at elego.de>
Asunto: [M3commit] CVS Update: cm3
Para: m3commit at elegosoft.com
Fecha: lunes, 24 de diciembre, 2012 16:11

CVSROOT:??? /usr/cvs
Changes by:??? jkrell at birch.??? 12/12/24 21:11:07

Modified files:
??? cm3/m3-sys/m3middle/src/: Target.i3 

Log message:
??? remove new internal_Real_max, internal_Longreal_max and
??? copy around the values 3.40282346638528860x+38, 1.79769313486231570x+308
??? intead of expanding the public interface

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121227/95c4458d/attachment.html>

From jkrell at elego.de  Thu Dec  6 08:56:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu,  6 Dec 2012  8:56:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121206075657.DBFB8CCA5C@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/06 08:56:57

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	work in progress, implementing expressions as a higher level
	manipulatable representation, so that we can peel away
	casts, and range checks, etc.



From jkrell at elego.de  Fri Dec  7 11:47:21 2012
From: jkrell at elego.de (Jay Krell)
Date: Fri,  7 Dec 2012 11:47:21  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121207104721.A9A382474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/07 11:47:21

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	Punt and make check_range a helper function.
	That reduces warnings.
	Doing better here seems elusive.
	There are still range warnings to fix, probably check_lo/hi/index.
	This does mean we could probably dispense with most of my recent
	work on forming a higher level in-memory form.
	Also, ideally check_range helper would call reportfault, but I don't
	think we have that name by this time in the code.
	todo: capture the value into locals for all the check_ operations.
	(requires another pass to allocate the locals)



From dabenavidesd at yahoo.es  Sun Dec  9 22:09:08 2012
From: dabenavidesd at yahoo.es (Daniel Alejandro Benavides D.)
Date: Sun, 9 Dec 2012 21:09:08 +0000 (GMT)
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121207104721.A9A382474003@birch.elegosoft.com>
Message-ID: <1355087348.53898.YahooMailClassic@web133106.mail.ir2.yahoo.com>

Hi all:

There are known techniques for avoid this to happen or tu use brute
force approaches (even when they don't work as resorted in p. 43):

http://fg-metriken.gi.de/fileadmin/user_upload/news/news98_2.pdf



There are approaches for typeless abstract interpretation, but for functional correctness of the abstract machine we have to develop execution models
and improve low-level error-catching like above explained if it can get enough , I guess the
issue is in what in-memory approach are you thinking 

Thanks in advance

--- El vie, 7/12/12, Jay Krell <jkrell at elego.de> escribi?:

De: Jay Krell <jkrell at elego.de>
Asunto: [M3commit] CVS Update: cm3
Para: m3commit at elegosoft.com
Fecha: viernes, 7 de diciembre, 2012 06:47

CVSROOT:??? /usr/cvs
Changes by:??? jkrell at birch.??? 12/12/07 11:47:21

Modified files:
??? cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
??? Punt and make check_range a helper function.
??? That reduces warnings.
??? Doing better here seems elusive.
??? There are still range warnings to fix, probably check_lo/hi/index.
??? This does mean we could probably dispense with most of my recent
??? work on forming a higher level in-memory form.
??? Also, ideally check_range helper would call reportfault, but I don't
??? think we have that name by this time in the code.
??? todo: capture the value into locals for all the check_ operations.
??? (requires another pass to allocate the locals)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121209/5ff3db16/attachment-0001.html>

From jkrell at elego.de  Thu Dec 13 09:37:26 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:37:26  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213083726.EFB94CCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:37:26

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	last version before giving up on idea



From jkrell at elego.de  Thu Dec 13 09:37:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:37:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213083757.907ABCCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:37:57

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	give up and use helper functions for lt/le/gt/gt/eq/ne to avoid
	gcc warnings, subject to a global boolean
	
	move on to more important matters -- prepare to allocate temps
	for evaluation like check_hi/lo/range



From jkrell at elego.de  Thu Dec 13 09:48:43 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:48:43  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213084843.B52FBCCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:48:43

Modified files:
	cm3/m3-libs/m3core/src/time/POSIX/: TimePosixC.c 

Log message:
	fix warning from gcc -Wall -Werror about unused static function



From jkrell at elego.de  Sat Dec 15 03:46:39 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:46:39  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215024639.821B3CCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:46:39

Modified files:
	cm3/m3-libs/m3core/src/time/POSIX/: TimePosixC.c 

Log message:
	fix -Wall -Werror



From jkrell at elego.de  Sat Dec 15 03:48:04 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:48:04  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215024804.8DA4BCCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:48:04

Modified files:
	cm3/m3-libs/m3core/src/thread/PTHREAD/: ThreadPThreadC.c 

Log message:
	fix -Wall -Werror
	(I was actually achieving that for what the backend outputs.. :) )



From jkrell at elego.de  Sat Dec 15 03:51:39 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:51:39  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215025139.576F7CCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:51:39

Modified files:
	cm3/m3-libs/m3core/src/Csupport/Common/: dtoa.h 

Log message:
	fix -Wall -Werror



From jkrell at elego.de  Sat Dec 15 08:37:17 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:37:17  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215073717.1295DCCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:37:17

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.c 

Log message:
	fix -Wall -Werror
	take copy from http://src.gnu-darwin.org/src/contrib/csup/fnmatch.c.html
	which varies just in about the way the warning/error said: added parens



From jkrell at elego.de  Sat Dec 15 08:42:42 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:42:42  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215074242.B64EECCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:42:42

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.c 

Log message:
	better: http://svnweb.freebsd.org/base/head/usr.bin/csup/fnmatch.c?revision=216370&view=co
	removes a clause from the license and feels like a more authorative source



From jkrell at elego.de  Sat Dec 15 08:44:18 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:44:18  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215074418.5853ACCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:44:18

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.h 

Log message:
	from http://svnweb.freebsd.org/base/head/usr.bin/csup/fnmatch.h?revision=216370&view=co
	removes a license clause and adds
	/* Make this compile successfully with "gcc -traditional" */
	#ifndef __STDC__
	#define const	/* empty */
	#endif



From jkrell at elego.de  Mon Dec 17 07:52:13 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 17 Dec 2012  7:52:13  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121217065213.7435ACCA81@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/17 07:52:13

Modified files:
	cm3/m3-libs/m3core/src/Csupport/Common/: dtoa.h 

Log message:
	fix some more warnings about unsigned/signed mixup and using possibly unintialized locals -- still to obtain an authoratitive up to date version..



From jkrell at elego.de  Mon Dec 17 08:21:47 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 17 Dec 2012  8:21:47  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121217072147.A968BCCA81@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/17 08:21:47

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	initialize locals again to fix occasional warnings about using
	uninitialized locals
	still leave structs uninitialized



From jkrell at elego.de  Tue Dec 18 09:26:43 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012  9:26:43  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218082643.C2AC6CCA87@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 09:26:43

Modified files:
	cm3/m3-sys/m3cc/src/: gnucc.common 

Log message:
	look for cc and CC two more places on opencsw machines



From jkrell at elego.de  Tue Dec 18 09:30:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012  9:30:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218083057.6BB55CCA87@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 09:30:57

Modified files:
	cm3/m3-sys/m3cc/src/: gnucc.common 

Log message:
	try again



From jkrell at elego.de  Tue Dec 18 19:53:44 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012 19:53:44  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218185344.7F414CCA8D@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 19:53:44

Modified files:
	cm3/m3-sys/m3middle/src/: M3CG_MultiPass.i3 M3CG_MultiPass.m3 

Log message:
	add parameter so replay user has an index for the op so it can maintain
	parallel data, e.g. what temp variable to use for check_eq/hi/lo



From jkrell at elego.de  Tue Dec 18 20:02:14 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012 20:02:14  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218190214.29554CCA8D@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 20:02:14

Modified files:
	cm3/m3-sys/m3middle/src/: Target.m3 

Log message:
	use the constants from TInt.i3 and TWord.i3 instead of repeating them



From jay.krell at cornell.edu  Tue Dec 18 20:03:39 2012
From: jay.krell at cornell.edu (Jay K)
Date: Tue, 18 Dec 2012 19:03:39 +0000
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121218190214.29554CCA8D@birch.elegosoft.com>
References: <20121218190214.29554CCA8D@birch.elegosoft.com>
Message-ID: <COL125-W3835561D66253A1320513E6310@phx.gbl>


Index: Target.m3
===================================================================
RCS file: /usr/cvs/cm3/m3-sys/m3middle/src/Target.m3,v
retrieving revision 1.126
diff -u -r1.126 Target.m3
--- Target.m3    4 Sep 2012 15:11:09 -0000    1.126
+++ Target.m3    18 Dec 2012 19:01:03 -0000
@@ -49,7 +49,6 @@
   END IsSPARC;
   
 PROCEDURE Init (system: TEXT; in_OS_name: TEXT; backend_mode: M3BackendMode_t): BOOLEAN =
-  CONST FF = 16_FF;
   VAR sys := 0;  max_align := 64;
   BEGIN
     (* lookup the system -- linear search *)
@@ -65,50 +64,50 @@
     Int8.cg_type     := CGType.Int8;
     Int8.size        := 8;
     Int8.align       := 8;
-    Int8.min         := Int{16_80,FF,..};
-    Int8.max         := Int{16_7f,00,..};
+    Int8.min         := TInt.Min8;
+    Int8.max         := TInt.Max8;
 
     Int16.cg_type    := CGType.Int16;
     Int16.size       := 16;
     Int16.align      := 16;
-    Int16.min        := Int{00,16_80,FF,..};
-    Int16.max        := Int{FF,16_7f,00,..};
+    Int16.min        := TInt.Min16;
+    Int16.max        := TInt.Max16;
 
     Int32.cg_type    := CGType.Int32;
     Int32.size       := 32;
     Int32.align      := 32;
-    Int32.min        := Int{00,00,00,16_80,FF,..};
-    Int32.max        := Int{FF,FF,FF,16_7f,00,..};
+    Int32.min        := TInt.Min32;
+    Int32.max        := TInt.Max32;
 
     Int64.cg_type    := CGType.Int64;
     Int64.size       := 64;
     Int64.align      := 64;
-    Int64.min        := Int{00,00,00,00,00,00,00,16_80};
-    Int64.max        := Int{FF,FF,FF,FF,FF,FF,FF,16_7f};
+    Int64.min        := TInt.Min64;
+    Int64.max        := TInt.Max64;
 
     Word8.cg_type    := CGType.Word8;
     Word8.size       := 8;
     Word8.align      := 8;
-    Word8.min        := Int{00,00,..};
-    Word8.max        := Int{FF,00,..};
+    Word8.min        := TInt.Zero;
+    Word8.max        := TWord.Max8;
 
     Word16.cg_type   := CGType.Word16;
     Word16.size      := 16;
     Word16.align     := 16;
-    Word16.min       := Int{00,00,00,..};
-    Word16.max       := Int{FF,FF,00,..};
+    Word16.min       := TInt.Zero;
+    Word16.max       := TWord.Max16;
 
     Word32.cg_type   := CGType.Word32;
     Word32.size      := 32;
     Word32.align     := 32;
-    Word32.min       := Int{00,00,00,00,00,..};
-    Word32.max       := Int{FF,FF,FF,FF,00,..};
+    Word32.min       := TInt.Zero;
+    Word32.max       := TWord.Max32;
 
     Word64.cg_type   := CGType.Word64;
     Word64.size      := 64;
     Word64.align     := 64;
-    Word64.min       := Int{00,00,00,00,00,00,00,00};
-    Word64.max       := Int{FF,FF,FF,FF,FF,FF,FF,FF};
+    Word64.min       := TInt.Zero;
+    Word64.max       := TWord.Max64;
 
     Integer          := Int32;  (* default for the 32-bit platforms *)
     Longint          := Int64;
@@ -120,8 +119,8 @@
     Void.cg_type     := CGType.Void;
     Void.size        := 0;
     Void.align       := Byte;
-    Void.min         := Int{0,..};
-    Void.max         := Int{0,..};
+    Void.min         := TInt.Zero;
+    Void.max         := TInt.Zero;
 
     Real.cg_type     := CGType.Reel;
     Real.pre         := Precision.Short;


 - Jay

> Date: Tue, 18 Dec 2012 20:02:14 +0000
> To: m3commit at elegosoft.com
> From: jkrell at elego.de
> Subject: [M3commit] CVS Update: cm3
> 
> CVSROOT:	/usr/cvs
> Changes by:	jkrell at birch.	12/12/18 20:02:14
> 
> Modified files:
> 	cm3/m3-sys/m3middle/src/: Target.m3 
> 
> Log message:
> 	use the constants from TInt.i3 and TWord.i3 instead of repeating them
> 
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121218/c7cd7039/attachment-0001.html>

From jkrell at elego.de  Wed Dec 19 21:31:20 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:31:20  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219203120.CD9AD2474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:31:20

Modified files:
	cm3/m3-tools/pp/src/: Parse.yacc hash.h lex_help.h 

Log message:
	remove whitespace from ends of lines, before other changes
	(other changes: allow it to be compiled as C++)



From jkrell at elego.de  Wed Dec 19 21:44:12 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:44:12  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219204412.8B5082474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:44:12

Modified files:
	cm3/m3-tools/pp/src/: hash.h 

Log message:
	tabs to spaces



From jkrell at elego.de  Wed Dec 19 21:50:48 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:50:48  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219205048.150402474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:50:48

Modified files:
	cm3/m3-tools/pp/src/: lex_help.h 

Log message:
	tabs to spaces



From jkrell at elego.de  Thu Dec 20 04:35:12 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  4:35:12  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220033512.95CD82474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 04:35:12

Modified files:
	cm3/m3-tools/pp/src/: Parse.lex Parse.yacc hash.h lex_help.h 
	./: Parse.lex Parse.yacc hash.h lex_help.h 
	cm3/m3-tools/pp/src/flex-bison/: lex.yy.c y.tab.c 

Log message:
	fixes for gcc -Wall -Werror and g++ -Wall -Werror



From jkrell at elego.de  Thu Dec 20 04:40:52 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  4:40:52  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220034052.0EEE52474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 04:40:52

Modified files:
	cm3/m3-tools/pp/src/: Parse.yacc 
	./: Parse.yacc 
	cm3/m3-tools/pp/src/flex-bison/: y.tab.c 

Log message:
	remove unnecessary EXTERN_C_BEGIN / EXTERN_C_END that I just added



From jkrell at elego.de  Thu Dec 20 05:41:15 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  5:41:15  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220044115.860462474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 05:41:15

Modified files:
	cm3/m3-sys/m3middle/src/: TInt.i3 TInt.m3 TWord.i3 TWord.m3 
	                          Target.i3 Target.m3 

Log message:
	replace variables with constants, for
	
	Target.Int8, Target.Int16, Target.Int32, Target.Int64
	Target.Word8, Target.Word16, Target.Word32, Target.Word64
	Target.Long, Target.Longint
	Target.Char, Target.Void
	Target.Real, Target.Longreal
	
	required moving TYPE Int from Target to TInt (to avoid circular
	dependency, and it is reasonable anyway, to colocate
	the type and the functions)
	
	Extended is still a variable, but initialized fully, because
	BITSIZE isn't valid on a constant



From jkrell at elego.de  Mon Dec 24 21:11:07 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 24 Dec 2012 21:11:07  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121224201107.F2C89CCA97@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/24 21:11:07

Modified files:
	cm3/m3-sys/m3middle/src/: Target.i3 

Log message:
	remove new internal_Real_max, internal_Longreal_max and
	copy around the values 3.40282346638528860x+38, 1.79769313486231570x+308
	intead of expanding the public interface



From dabenavidesd at yahoo.es  Thu Dec 27 16:10:29 2012
From: dabenavidesd at yahoo.es (Daniel Alejandro Benavides D.)
Date: Thu, 27 Dec 2012 15:10:29 +0000 (GMT)
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121224201107.F2C89CCA97@birch.elegosoft.com>
Message-ID: <1356621029.55706.YahooMailClassic@web133103.mail.ir2.yahoo.com>

Hi Jay:
even if this does not work OK for you doesn't mean you can break code clarity, please reconsider writing values instead of constants it can lead to misunderstand the purpose of those values (even if there are limitations in current implementation).
Anyway, the CONS values must be transparent bit converted from decimal arithmetic. Why don't you convert it from it and solve this in Modula-3 style.
Take my advice, but if not explain me please why not so
Thanks in advance


--- El lun, 24/12/12, Jay Krell <jkrell at elego.de> escribi?:

De: Jay Krell <jkrell at elego.de>
Asunto: [M3commit] CVS Update: cm3
Para: m3commit at elegosoft.com
Fecha: lunes, 24 de diciembre, 2012 16:11

CVSROOT:??? /usr/cvs
Changes by:??? jkrell at birch.??? 12/12/24 21:11:07

Modified files:
??? cm3/m3-sys/m3middle/src/: Target.i3 

Log message:
??? remove new internal_Real_max, internal_Longreal_max and
??? copy around the values 3.40282346638528860x+38, 1.79769313486231570x+308
??? intead of expanding the public interface

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121227/95c4458d/attachment-0001.html>

From jkrell at elego.de  Thu Dec  6 08:56:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu,  6 Dec 2012  8:56:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121206075657.DBFB8CCA5C@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/06 08:56:57

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	work in progress, implementing expressions as a higher level
	manipulatable representation, so that we can peel away
	casts, and range checks, etc.



From jkrell at elego.de  Fri Dec  7 11:47:21 2012
From: jkrell at elego.de (Jay Krell)
Date: Fri,  7 Dec 2012 11:47:21  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121207104721.A9A382474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/07 11:47:21

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	Punt and make check_range a helper function.
	That reduces warnings.
	Doing better here seems elusive.
	There are still range warnings to fix, probably check_lo/hi/index.
	This does mean we could probably dispense with most of my recent
	work on forming a higher level in-memory form.
	Also, ideally check_range helper would call reportfault, but I don't
	think we have that name by this time in the code.
	todo: capture the value into locals for all the check_ operations.
	(requires another pass to allocate the locals)



From dabenavidesd at yahoo.es  Sun Dec  9 22:09:08 2012
From: dabenavidesd at yahoo.es (Daniel Alejandro Benavides D.)
Date: Sun, 9 Dec 2012 21:09:08 +0000 (GMT)
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121207104721.A9A382474003@birch.elegosoft.com>
Message-ID: <1355087348.53898.YahooMailClassic@web133106.mail.ir2.yahoo.com>

Hi all:

There are known techniques for avoid this to happen or tu use brute
force approaches (even when they don't work as resorted in p. 43):

http://fg-metriken.gi.de/fileadmin/user_upload/news/news98_2.pdf



There are approaches for typeless abstract interpretation, but for functional correctness of the abstract machine we have to develop execution models
and improve low-level error-catching like above explained if it can get enough , I guess the
issue is in what in-memory approach are you thinking 

Thanks in advance

--- El vie, 7/12/12, Jay Krell <jkrell at elego.de> escribi?:

De: Jay Krell <jkrell at elego.de>
Asunto: [M3commit] CVS Update: cm3
Para: m3commit at elegosoft.com
Fecha: viernes, 7 de diciembre, 2012 06:47

CVSROOT:??? /usr/cvs
Changes by:??? jkrell at birch.??? 12/12/07 11:47:21

Modified files:
??? cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
??? Punt and make check_range a helper function.
??? That reduces warnings.
??? Doing better here seems elusive.
??? There are still range warnings to fix, probably check_lo/hi/index.
??? This does mean we could probably dispense with most of my recent
??? work on forming a higher level in-memory form.
??? Also, ideally check_range helper would call reportfault, but I don't
??? think we have that name by this time in the code.
??? todo: capture the value into locals for all the check_ operations.
??? (requires another pass to allocate the locals)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121209/5ff3db16/attachment-0002.html>

From jkrell at elego.de  Thu Dec 13 09:37:26 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:37:26  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213083726.EFB94CCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:37:26

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	last version before giving up on idea



From jkrell at elego.de  Thu Dec 13 09:37:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:37:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213083757.907ABCCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:37:57

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	give up and use helper functions for lt/le/gt/gt/eq/ne to avoid
	gcc warnings, subject to a global boolean
	
	move on to more important matters -- prepare to allocate temps
	for evaluation like check_hi/lo/range



From jkrell at elego.de  Thu Dec 13 09:48:43 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 13 Dec 2012  9:48:43  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121213084843.B52FBCCA6F@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/13 09:48:43

Modified files:
	cm3/m3-libs/m3core/src/time/POSIX/: TimePosixC.c 

Log message:
	fix warning from gcc -Wall -Werror about unused static function



From jkrell at elego.de  Sat Dec 15 03:46:39 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:46:39  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215024639.821B3CCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:46:39

Modified files:
	cm3/m3-libs/m3core/src/time/POSIX/: TimePosixC.c 

Log message:
	fix -Wall -Werror



From jkrell at elego.de  Sat Dec 15 03:48:04 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:48:04  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215024804.8DA4BCCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:48:04

Modified files:
	cm3/m3-libs/m3core/src/thread/PTHREAD/: ThreadPThreadC.c 

Log message:
	fix -Wall -Werror
	(I was actually achieving that for what the backend outputs.. :) )



From jkrell at elego.de  Sat Dec 15 03:51:39 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  3:51:39  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215025139.576F7CCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 03:51:39

Modified files:
	cm3/m3-libs/m3core/src/Csupport/Common/: dtoa.h 

Log message:
	fix -Wall -Werror



From jkrell at elego.de  Sat Dec 15 08:37:17 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:37:17  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215073717.1295DCCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:37:17

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.c 

Log message:
	fix -Wall -Werror
	take copy from http://src.gnu-darwin.org/src/contrib/csup/fnmatch.c.html
	which varies just in about the way the warning/error said: added parens



From jkrell at elego.de  Sat Dec 15 08:42:42 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:42:42  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215074242.B64EECCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:42:42

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.c 

Log message:
	better: http://svnweb.freebsd.org/base/head/usr.bin/csup/fnmatch.c?revision=216370&view=co
	removes a clause from the license and feels like a more authorative source



From jkrell at elego.de  Sat Dec 15 08:44:18 2012
From: jkrell at elego.de (Jay Krell)
Date: Sat, 15 Dec 2012  8:44:18  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121215074418.5853ACCA74@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/15 08:44:18

Modified files:
	cm3/m3-libs/patternmatching/src/libglob/: fnmatch.h 

Log message:
	from http://svnweb.freebsd.org/base/head/usr.bin/csup/fnmatch.h?revision=216370&view=co
	removes a license clause and adds
	/* Make this compile successfully with "gcc -traditional" */
	#ifndef __STDC__
	#define const	/* empty */
	#endif



From jkrell at elego.de  Mon Dec 17 07:52:13 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 17 Dec 2012  7:52:13  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121217065213.7435ACCA81@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/17 07:52:13

Modified files:
	cm3/m3-libs/m3core/src/Csupport/Common/: dtoa.h 

Log message:
	fix some more warnings about unsigned/signed mixup and using possibly unintialized locals -- still to obtain an authoratitive up to date version..



From jkrell at elego.de  Mon Dec 17 08:21:47 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 17 Dec 2012  8:21:47  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121217072147.A968BCCA81@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/17 08:21:47

Modified files:
	cm3/m3-sys/m3back/src/: M3C.m3 

Log message:
	initialize locals again to fix occasional warnings about using
	uninitialized locals
	still leave structs uninitialized



From jkrell at elego.de  Tue Dec 18 09:26:43 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012  9:26:43  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218082643.C2AC6CCA87@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 09:26:43

Modified files:
	cm3/m3-sys/m3cc/src/: gnucc.common 

Log message:
	look for cc and CC two more places on opencsw machines



From jkrell at elego.de  Tue Dec 18 09:30:57 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012  9:30:57  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218083057.6BB55CCA87@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 09:30:57

Modified files:
	cm3/m3-sys/m3cc/src/: gnucc.common 

Log message:
	try again



From jkrell at elego.de  Tue Dec 18 19:53:44 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012 19:53:44  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218185344.7F414CCA8D@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 19:53:44

Modified files:
	cm3/m3-sys/m3middle/src/: M3CG_MultiPass.i3 M3CG_MultiPass.m3 

Log message:
	add parameter so replay user has an index for the op so it can maintain
	parallel data, e.g. what temp variable to use for check_eq/hi/lo



From jkrell at elego.de  Tue Dec 18 20:02:14 2012
From: jkrell at elego.de (Jay Krell)
Date: Tue, 18 Dec 2012 20:02:14  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121218190214.29554CCA8D@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/18 20:02:14

Modified files:
	cm3/m3-sys/m3middle/src/: Target.m3 

Log message:
	use the constants from TInt.i3 and TWord.i3 instead of repeating them



From jay.krell at cornell.edu  Tue Dec 18 20:03:39 2012
From: jay.krell at cornell.edu (Jay K)
Date: Tue, 18 Dec 2012 19:03:39 +0000
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121218190214.29554CCA8D@birch.elegosoft.com>
References: <20121218190214.29554CCA8D@birch.elegosoft.com>
Message-ID: <COL125-W3835561D66253A1320513E6310@phx.gbl>


Index: Target.m3
===================================================================
RCS file: /usr/cvs/cm3/m3-sys/m3middle/src/Target.m3,v
retrieving revision 1.126
diff -u -r1.126 Target.m3
--- Target.m3    4 Sep 2012 15:11:09 -0000    1.126
+++ Target.m3    18 Dec 2012 19:01:03 -0000
@@ -49,7 +49,6 @@
   END IsSPARC;
   
 PROCEDURE Init (system: TEXT; in_OS_name: TEXT; backend_mode: M3BackendMode_t): BOOLEAN =
-  CONST FF = 16_FF;
   VAR sys := 0;  max_align := 64;
   BEGIN
     (* lookup the system -- linear search *)
@@ -65,50 +64,50 @@
     Int8.cg_type     := CGType.Int8;
     Int8.size        := 8;
     Int8.align       := 8;
-    Int8.min         := Int{16_80,FF,..};
-    Int8.max         := Int{16_7f,00,..};
+    Int8.min         := TInt.Min8;
+    Int8.max         := TInt.Max8;
 
     Int16.cg_type    := CGType.Int16;
     Int16.size       := 16;
     Int16.align      := 16;
-    Int16.min        := Int{00,16_80,FF,..};
-    Int16.max        := Int{FF,16_7f,00,..};
+    Int16.min        := TInt.Min16;
+    Int16.max        := TInt.Max16;
 
     Int32.cg_type    := CGType.Int32;
     Int32.size       := 32;
     Int32.align      := 32;
-    Int32.min        := Int{00,00,00,16_80,FF,..};
-    Int32.max        := Int{FF,FF,FF,16_7f,00,..};
+    Int32.min        := TInt.Min32;
+    Int32.max        := TInt.Max32;
 
     Int64.cg_type    := CGType.Int64;
     Int64.size       := 64;
     Int64.align      := 64;
-    Int64.min        := Int{00,00,00,00,00,00,00,16_80};
-    Int64.max        := Int{FF,FF,FF,FF,FF,FF,FF,16_7f};
+    Int64.min        := TInt.Min64;
+    Int64.max        := TInt.Max64;
 
     Word8.cg_type    := CGType.Word8;
     Word8.size       := 8;
     Word8.align      := 8;
-    Word8.min        := Int{00,00,..};
-    Word8.max        := Int{FF,00,..};
+    Word8.min        := TInt.Zero;
+    Word8.max        := TWord.Max8;
 
     Word16.cg_type   := CGType.Word16;
     Word16.size      := 16;
     Word16.align     := 16;
-    Word16.min       := Int{00,00,00,..};
-    Word16.max       := Int{FF,FF,00,..};
+    Word16.min       := TInt.Zero;
+    Word16.max       := TWord.Max16;
 
     Word32.cg_type   := CGType.Word32;
     Word32.size      := 32;
     Word32.align     := 32;
-    Word32.min       := Int{00,00,00,00,00,..};
-    Word32.max       := Int{FF,FF,FF,FF,00,..};
+    Word32.min       := TInt.Zero;
+    Word32.max       := TWord.Max32;
 
     Word64.cg_type   := CGType.Word64;
     Word64.size      := 64;
     Word64.align     := 64;
-    Word64.min       := Int{00,00,00,00,00,00,00,00};
-    Word64.max       := Int{FF,FF,FF,FF,FF,FF,FF,FF};
+    Word64.min       := TInt.Zero;
+    Word64.max       := TWord.Max64;
 
     Integer          := Int32;  (* default for the 32-bit platforms *)
     Longint          := Int64;
@@ -120,8 +119,8 @@
     Void.cg_type     := CGType.Void;
     Void.size        := 0;
     Void.align       := Byte;
-    Void.min         := Int{0,..};
-    Void.max         := Int{0,..};
+    Void.min         := TInt.Zero;
+    Void.max         := TInt.Zero;
 
     Real.cg_type     := CGType.Reel;
     Real.pre         := Precision.Short;


 - Jay

> Date: Tue, 18 Dec 2012 20:02:14 +0000
> To: m3commit at elegosoft.com
> From: jkrell at elego.de
> Subject: [M3commit] CVS Update: cm3
> 
> CVSROOT:	/usr/cvs
> Changes by:	jkrell at birch.	12/12/18 20:02:14
> 
> Modified files:
> 	cm3/m3-sys/m3middle/src/: Target.m3 
> 
> Log message:
> 	use the constants from TInt.i3 and TWord.i3 instead of repeating them
> 
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121218/c7cd7039/attachment-0002.html>

From jkrell at elego.de  Wed Dec 19 21:31:20 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:31:20  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219203120.CD9AD2474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:31:20

Modified files:
	cm3/m3-tools/pp/src/: Parse.yacc hash.h lex_help.h 

Log message:
	remove whitespace from ends of lines, before other changes
	(other changes: allow it to be compiled as C++)



From jkrell at elego.de  Wed Dec 19 21:44:12 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:44:12  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219204412.8B5082474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:44:12

Modified files:
	cm3/m3-tools/pp/src/: hash.h 

Log message:
	tabs to spaces



From jkrell at elego.de  Wed Dec 19 21:50:48 2012
From: jkrell at elego.de (Jay Krell)
Date: Wed, 19 Dec 2012 21:50:48  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121219205048.150402474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/19 21:50:48

Modified files:
	cm3/m3-tools/pp/src/: lex_help.h 

Log message:
	tabs to spaces



From jkrell at elego.de  Thu Dec 20 04:35:12 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  4:35:12  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220033512.95CD82474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 04:35:12

Modified files:
	cm3/m3-tools/pp/src/: Parse.lex Parse.yacc hash.h lex_help.h 
	./: Parse.lex Parse.yacc hash.h lex_help.h 
	cm3/m3-tools/pp/src/flex-bison/: lex.yy.c y.tab.c 

Log message:
	fixes for gcc -Wall -Werror and g++ -Wall -Werror



From jkrell at elego.de  Thu Dec 20 04:40:52 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  4:40:52  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220034052.0EEE52474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 04:40:52

Modified files:
	cm3/m3-tools/pp/src/: Parse.yacc 
	./: Parse.yacc 
	cm3/m3-tools/pp/src/flex-bison/: y.tab.c 

Log message:
	remove unnecessary EXTERN_C_BEGIN / EXTERN_C_END that I just added



From jkrell at elego.de  Thu Dec 20 05:41:15 2012
From: jkrell at elego.de (Jay Krell)
Date: Thu, 20 Dec 2012  5:41:15  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121220044115.860462474003@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/20 05:41:15

Modified files:
	cm3/m3-sys/m3middle/src/: TInt.i3 TInt.m3 TWord.i3 TWord.m3 
	                          Target.i3 Target.m3 

Log message:
	replace variables with constants, for
	
	Target.Int8, Target.Int16, Target.Int32, Target.Int64
	Target.Word8, Target.Word16, Target.Word32, Target.Word64
	Target.Long, Target.Longint
	Target.Char, Target.Void
	Target.Real, Target.Longreal
	
	required moving TYPE Int from Target to TInt (to avoid circular
	dependency, and it is reasonable anyway, to colocate
	the type and the functions)
	
	Extended is still a variable, but initialized fully, because
	BITSIZE isn't valid on a constant



From jkrell at elego.de  Mon Dec 24 21:11:07 2012
From: jkrell at elego.de (Jay Krell)
Date: Mon, 24 Dec 2012 21:11:07  ()
Subject: [M3commit] CVS Update: cm3
Message-ID: <20121224201107.F2C89CCA97@birch.elegosoft.com>

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	12/12/24 21:11:07

Modified files:
	cm3/m3-sys/m3middle/src/: Target.i3 

Log message:
	remove new internal_Real_max, internal_Longreal_max and
	copy around the values 3.40282346638528860x+38, 1.79769313486231570x+308
	intead of expanding the public interface



From dabenavidesd at yahoo.es  Thu Dec 27 16:10:29 2012
From: dabenavidesd at yahoo.es (Daniel Alejandro Benavides D.)
Date: Thu, 27 Dec 2012 15:10:29 +0000 (GMT)
Subject: [M3commit] CVS Update: cm3
In-Reply-To: <20121224201107.F2C89CCA97@birch.elegosoft.com>
Message-ID: <1356621029.55706.YahooMailClassic@web133103.mail.ir2.yahoo.com>

Hi Jay:
even if this does not work OK for you doesn't mean you can break code clarity, please reconsider writing values instead of constants it can lead to misunderstand the purpose of those values (even if there are limitations in current implementation).
Anyway, the CONS values must be transparent bit converted from decimal arithmetic. Why don't you convert it from it and solve this in Modula-3 style.
Take my advice, but if not explain me please why not so
Thanks in advance


--- El lun, 24/12/12, Jay Krell <jkrell at elego.de> escribi?:

De: Jay Krell <jkrell at elego.de>
Asunto: [M3commit] CVS Update: cm3
Para: m3commit at elegosoft.com
Fecha: lunes, 24 de diciembre, 2012 16:11

CVSROOT:??? /usr/cvs
Changes by:??? jkrell at birch.??? 12/12/24 21:11:07

Modified files:
??? cm3/m3-sys/m3middle/src/: Target.i3 

Log message:
??? remove new internal_Real_max, internal_Longreal_max and
??? copy around the values 3.40282346638528860x+38, 1.79769313486231570x+308
??? intead of expanding the public interface

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20121227/95c4458d/attachment-0002.html>