[mercury-users] Generating small and fast binaries in Mercury

Ralph Becket rafe at csse.unimelb.edu.au
Tue Jul 3 11:34:52 AEST 2007


Jonathan Morgan, Monday,  2 July 2007:
> 
> There is a tool that tries to get the best results (faster code,
> smaller executables, or whatever your criteria is) for any Mercury
> program, called gator.  You will find it in mercury-extras, with
> instructions on how to use it.  I imagine that it would take quite a
> while working with the mercury compiler, given how large a code base
> it is.

When we ran tests with gator we found that -O5 produced much the best results.
Different programs may benefit from different tweaks for the other settings.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the users mailing list