jayfoad wrote: > I think #68662 can help on this? If we go with #68662 then LowerSwitch is no longer used like an analysis, so there would be no need to verify that it is preserved. https://github.com/llvm/llvm-project/pull/68294