[MLton] Sparc+linux

Matthew Fluet fluet@cs.cornell.edu
Mon, 20 Dec 2004 14:28:06 -0500 (EST)


> The regressions all worked, but probably b/c there was not enough code to
> trip over gcc's optimization.

Probably a fair assesment.

> Anyways, the generated C code does not follow
> the aliasing rules of C, so that is certainly a bug too.

I don't know if there is a reasonable path to acheiving C aliasing rules;
or, rather, one that doesn't simply require inserting sufficient char*
casts to get the affect of -fno-strict-aliasing.

> I think a good goal for the c-codegen would be to replace '-w' with
> '-Wall -Wpointer-arith -Wcast-qual -Wcast-align -Wwrite-strings' and
> solve all of the resulting warnings...

Probably a very difficult task.  But, maybe not impossible.