austin seipp wrote:
A final note which is worth mentioning: I removed the Ur/Web compiler's "-fno-inline" invocation to GCC - is there a reason for this flag, like a bug?
Yeah, that was working around what I concluded was a bug in some past (possibly present?) GCC version.
The reduction in executable size is, IMO, quite good. However I imagine a lot of this is the result of dead code elimination, and not so much raw optimization, but I could be wrong. But these changes bring the resulting *static* executable within ~8 kb of the *dynamically* linked version.
That's good to hear, though I'd want to see some performance measurements before concluding that your alternate strategy is clearly worth its additional complexity. Disk is cheap; I'd like to see improvements to throughput or memory usage.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
