[M3devel] m3cc -enable-checking=all

Jay K jay.krell at cornell.edu
Mon May 31 10:44:27 CEST 2010


      Configure = Configure & " -enable-checking=all"


enables a bunch of extra checks.
That fail.
With the current 4.3 backend.
I'm going to look into some/all of this.


.1079 = D.1078 & 1
../src/ConnectRdWr.m3:35: error: type mismatch in binary expression
word_64

int_64

int_64

D.1101 = D.1100 & 1
../src/ConnectRdWr.m3:35: error: type mismatch in binary expression
word_64

int_64

int_64

D.1121 = D.1120 & 1
../src/ConnectRdWr.m3:35: error: type mismatch in binary expression
word_64


I think this might be one and only one problem.
The "tagged reference" checking using signed 1 instead of unsigned 1 in anding with the address.

Probably positive constants that fit in the signed type of the same size shouldn't fail.

 - Jay

 		 	   		  


More information about the M3devel mailing list