[llvm] [IndVars] Strengthen inference of samesign flags (PR #170363)

[Nikita Popov via llvm-commits]

nikic wrote:

Yeah, I do think we could do reasoning along those lines. I'm not opposed if we have an actual end-to-end use case for it.

https://github.com/llvm/llvm-project/pull/170363