paperchalice wrote: Tried to add a new kind in `cfg::Update` but I couldn't handle it in `LegalizeUpdates`, because this method is not based on graph diff, it uses dominance info and the critical edge. https://github.com/llvm/llvm-project/pull/115111