SCEV unable to determine BTC: slt/sge equivalence

[RonDahan101]

As the title states. I have a loop that vectorize with the condition

icmp slt i32 %inc, %dec

but doesn't with

icmp sgt i32 %dec, %inc

although they are logically the same.

Reproducer vectorization succeed:

https://compiler-explorer.com/z/MzaGzWeWa

Reproducer vectorization fails:

https://compiler-explorer.com/z/hPofjKK3G

[artagnon]

So, this is a weakness of SCEV that's unable to predict BTC: https://compiler-explorer.com/z/cvjYq5dv8 (by the way, the inverse of slt is sge).