[Ur] Compiling Ur/Web with Link-time optimization (WAS: Re: Patches to compile Ur/Web with clang)

[Adam Chlipala]

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.