[NFC][InstCombine] Tests for x & (-1 >> y) s< x to x s> (-1 >> y) fold.

https://bugs.llvm.org/show_bug.cgi?id=38123
https://rise4fun.com/Alive/I3O

This pattern is not commutative!
We must make sure not to fold the commuted version!

llvm-svn: 337110