https://github.com/jmorse approved this pull request. LGTM, with a preference for using a fixed-allocation set for EjectedBBs, rather than one that grows incrementally. https://github.com/llvm/llvm-project/pull/74203