Preprint reports a formal 2.5-fold bound for compiler inlining
A Rocq-verified compiler model reports a 2.5-times worst-case cost bound for inlining, but does not test real hardware or compile times.
Developing Light ยท https://developinglight.com/editorial/developing-light