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

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 18 11:16:37 PDT 2019

Previous message: [PATCH] D69183: [CVP] When proving that @llvm.with.overflow()/@llvm.sat() don't overflow, also try to prove other no-wrap
Next message: [PATCH] D69183: [CVP] When proving that @llvm.with.overflow()/@llvm.sat() don't overflow, also try to prove other no-wrap
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM, we already do the same for div/rem.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D69183

Previous message: [PATCH] D69183: [CVP] When proving that @llvm.with.overflow()/@llvm.sat() don't overflow, also try to prove other no-wrap
Next message: [PATCH] D69183: [CVP] When proving that @llvm.with.overflow()/@llvm.sat() don't overflow, also try to prove other no-wrap
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list