The non-trivial part is that most optimization are contextual and not "one function at a time". Re-optimizing only a single function may not even be possible/us

The non-trivial part is that most optimization are contextual and not "one function at a time". Re-optimizing only a single function may not even be possible/useful with things like partial inlining/outlining, etc.