RolandF77 wrote: We have encountered an assert on our downstream build when picking up this commit. To reproduce: opt -S -passes=constraint-elimination wcl2.ll [wcl2.ll.gz](https://github.com/llvm/llvm-project/files/13287777/wcl2.ll.gz) https://github.com/llvm/llvm-project/pull/68032