Nikita Popov cf596a8c26 [ValueTracking] Determine always-overflow condition for unsigned sub ...

Always-overflow was already determined for unsigned addition, but
not subtraction. This patch establishes parity.

This allows us to perform some additional simplifications for
signed saturating subtractions.

This change is part of https://reviews.llvm.org/D54534.

llvm-svn: 347771

2018-11-28 16:37:04 +00:00

202 KiB

Raw Blame History

View Raw