[MLton-user] Performances: mlton 20030716p1 V.S. 20051202

Alexandre Langenieux Alexandre.Langenieux@polyspace.com
Wed, 26 Jul 2006 18:27:49 +0200


Hello,

We are currently running mlton-20030716p1 and we want to migrate to the 
last version
mlton-20051202.

Unfortunately, we are facing some high performances regression using 
this new release
(something around 60%) compare to our current version.

We are compiling with the following options for mlton-20051202:
mlton -codegen native -const "Exn.keepHistory true" -verbose 2 \
      -native-split 100000 -cc-opt -s -cc-opt -freg-struct-return \
      -cc-opt -funroll-all-loops -align 4 -cc-opt -O2 -polyvariance false \
      -inline 5 -cc-opt -D_UNIX -link-opt "-L ../lib/linux" -link-opt 
"-L ../lib/linux/libc2.1" \
      -link-opt -lpst -link-opt -lwk-lin  \
      -output a.out sources.mlb file.c

And for the version mlton-20030716p1:
mlton -cc-opt -D_UNIX -verbose 1 -text-io-buf-size 65536 \
      -safe true -exn-history true -detect-overflow false -basis 1997 \
      -may-load-world false -native-split 100000 -cc-opt -s \
      -cc-opt -freg-struct-return -cc-opt -funroll-all-loops -align 4 \
      -polyvariance false -inline 5 -lib-search . -link pst -link wk-lin \
      -output a.out file.sml file.c

Are we missing some optimizations switches ?
Does the fact to compile a big defunct sml file can change things on 
performances
instead of compiling files with mlb ?

Thanks for your help.