[zschoche]

It would be great if someone could precisely define what is the goal we would like to optimize. In mathematical terms.

[bruce343434]

Program runtime

[jeffbee]

Not necessarily. You specify the objective, just as you do with compile-time optimization. You can LTO with binary size objective, -Os or -Oz, or for speed, -O/2/3 whatever.