Antonio Frighetto e80f48986c [SCEV] BECount to zero if ((-C + (C smax %x)) /u %x), C > 0 holds ...

The SCEV expression `((-C + (C smax %x)) /u %x)` can be folded
to zero for any positive constant C.

Proof: https://alive2.llvm.org/ce/z/_dLm8C.

2024-09-05 17:01:56 +02:00

601 KiB

Raw Blame History

View Raw