[mercury-users] gcc-3.3 on MacOS X Intel

Michael Day mikeday at yeslogic.com
Sat Aug 18 16:41:26 AEST 2007

Hi Peter,

> I'm not sure exactly what gcc turns off with -O0, but it actually
> might be a pretty large performance hit if it turns off things like
> good register allocation.

It would be good if it would be possible to isolate exactly which gcc 
option or optimisation is incompatible with Mercury, and then just 
disable that. Does anyone know why the -O0 is required?


Print XML with Prince!
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