[llvm] Match range check pattern with SExt (PR #118910)

[Matthias Braun via llvm-commits]

MatzeB wrote:

@dtcxzyw 

> BTW, can you add a proof for (icmp slt x, 0) | (icmp sgt sext(x), n) --> icmp ugt x, n?

What do you mean by "add a proof"? More alive2 examples?

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