XChy wrote: > This is duplicating the functionality of getPredicateAt() -- would it be better to introduce getPredicateAtUse()? I think so. I would introduce it in LazyValueInfo later. https://github.com/llvm/llvm-project/pull/73767