================ ---------------- david-arm wrote: I'm not sure why there are test changes here because planContainsAdditionalSimplifications is only called as part of the assert and shouldn't have any effect on generated IR. https://github.com/llvm/llvm-project/pull/125094