Nikita Popov 3ec7f46e99 [LVI] Handle implication from icmp of trunc (PR51867) ...

Similar to the existing urem code, if we have (trunc X) >= C,
then also X >= C.

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

Fixes https://github.com/llvm/llvm-project/issues/51867.

2022-01-18 11:24:11 +01:00

76 KiB

Raw Blame History

View Raw