https://github.com/nikic approved this pull request. LGTM -- but should probably only land after your ConstantRange fix. I think they might be partially canceling each other out right now... https://github.com/llvm/llvm-project/pull/86051