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. We went with #68662. https://github.com/llvm/llvm-project/pull/68294