test1

[Stephen Weeks]

> I guess the real question is, is test1 running under Windows or still
> under Linux?

Still under Linux.  Phase 1 was to incorporate all their mods so that
their code can be compiled to Linux with the new MLton.  Phase 2 is to
cross-compile to Windows.

> Speaking of flags, I think that all the __asm__ from the PolySpace mods
> nees to look like:
> 
> static inline Int Int_addCheckFast(Int n1, Int n2) {
>  	__asm__ __volatile__ ("addl %1, %0\n\tjo MLton_overflow"
> 			      : "+r" (n1) : "g" (n2) : "cc");
> 
> 	return n1;
> }
> 
> to indicate that these instructions also clobber the condition codes.

Done.