hiraditya wrote: This patch still has a couple of bugs as exposed in #102351 1. CanPropagatePredecessorsForPHIs can't handle indirect branch 2. the set intersection algorithm (to find common pred) has a bug. https://github.com/llvm/llvm-project/pull/68473