Auto merge of #147477 - cjgillot:split-call-guards, r=tmiasko

Refactor AddCallGuards in two loops.

This PR splits the pass into an analysis loop and a change loop. This allows to avoid invalidating CFG caches if there are no changes to be performed.

r? `@ghost` for perf

Author: bors