Let’s assume that you can rewrite it, e.g. write some inline assembly. The thinking here seems to be that you want multiple things: 1. You want the high-level

Let’s assume that you can rewrite it, e.g. write some inline assembly. The thinking here seems to be that you want multiple things: 1. You want the high-level code since that is easier to reason about 2. You also want some specific optimizations Maybe the missing link here is some annotation that asserts that some optimization is applied. Then if that assertion fails at some point you might have to bite the bullet and inline that assembly. Because (2) might trump (1).