[MLton-devel] RedHat 7.1/7.3 problems

[Matthew Fluet]

> If understood your experiments correctly, you tried the following four
> configurations:
> 
> 	y 	z
> 	-------	-------
> bad	7.1 -O1	7.3 -O1
> good	7.1 -O1	7.3
> good	7.1	7.3 -O1
> good	7.1	7.3

Correct.

> Matthew, I guess you could further isolate the problem by generating
> assembly on a 7.3 machine (-O1) and assembling on the 7.1 machine.

[fluet@cfs38 ~/Temp 6]% gcc -O1 -S -o z.s z.c
[fluet@cfs05 ~/Temp 7]% gcc -O1 -o y y.c z.s
[fluet@cfs05 ~/Temp 8]% ./y @MLton gc-summary -- foo bar
MLton_init:
argc = 6
argv[2] = gc-summary
argv[3] = --
Main:
argv[4] = foo
argv[5] = bar

So that's good.  Indeed, the diff between assembly built on 7.1 and 7.3 is
neglible:

[fluet@cfs05 ~/Temp 10]% diff z.s.7.3 z.s.7.1
4c4
<       .section        .rodata.str1.1,"aMS",@progbits,1
---
>       .section        .rodata.str1.1,"ams",@progbits,1
125c125
<       .ident  "GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.3 2.96-110)"
---
>       .ident  "GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.1 2.96-98)"

I'm leaning towards a subtle linker or assembler bug.




-------------------------------------------------------
In remembrance
www.osdn.com/911/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel