Ruben Zilibowitz wrote:
>> We'll probably add a configure option --small-codesize or similar to enable
>> -Os or -Oz and use less aggressive inlining.
>
> On that point. I found that turning off inlining actually has a big effect on
> speed. More than I expected. My code ran about a third slower without
> inlining. I'm thinking that the larger file size might be better, after all.
Thanks, that's interesting. So it'll just be -Os, then.
Cheers,
Guido
--
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
