[InstCombine] Add transforms `(icmp spred (and X, Y), X)` if `X` or `Y` are known signed/unsigned

[goldstein.w.n]

Summary

Several transforms:

1. If known Y < 0:
   • slt -> ult: https://alive2.llvm.org/ce/z/unpsxu
   • sle -> ule: https://alive2.llvm.org/ce/z/a5cpmr
   • sgt -> ugt: https://alive2.llvm.org/ce/z/qgsgya
   • sge -> uge: https://alive2.llvm.org/ce/z/ek_3ls
2. If known Y > 0:
   • (X & PosY) s> X --> X s< 0
     • https://alive2.llvm.org/ce/z/drewij
   • (X & PosY) s> X --> X s< 0
     • https://alive2.llvm.org/ce/z/9arL3D
3. If known X < 0:
   • (NegX & Y) s> NegX --> Y s>= 0
     • https://alive2.llvm.org/ce/z/ApkaEh
   • (NegX & Y) s<= NegX --> Y s< 0
     • https://alive2.llvm.org/ce/z/oRnfHp