[PATCH] D69183: [CVP] When proving that @llvm.with.overflow()/@llvm.sat() don't overflow, also try to prove other no-wrap

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D69183#1714898 <https://reviews.llvm.org/D69183#1714898>, @nikic wrote:

> LGTM


Thank you for the review.
I think i'll try to add no-wrap deduction for `mul` here next.

> we already do the same for div/rem.

Ah, indeed, good point.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D69183/new/

https://reviews.llvm.org/D69183