missed fold, x / c < x => x > 0

[zhengyang92]

https://alive2.llvm.org/ce/z/yG_wxp
https://godbolt.org/z/fKo893Pv1

define i1 @src(i32 %0, i1 %1, i1 %2, i1 %3, i8 %4) {
if.then160:
  %5 = sdiv i32 %0, 131313
  %6 = icmp slt i32 %5, %0
  ret i1 %6
}


define i1 @tgt(i32 %0, i1 %1, i1 %2, i1 %3, i8 %4) {
if.then160:
  %5 = icmp sgt i32 %0, 0
  ret i1 %5
}

Constant 131313 can be anything but 0 or 1.

@dtcxzyw @regehr

[Poseydon42]

I would like to work on this issue.

[zhengyang92]

sdiv can be also replaced with lshr, udiv. slt/sgt can be replaced with ult/ugt.
https://alive2.llvm.org/ce/z/iNBZVy https://alive2.llvm.org/ce/z/XA_HG5