[PATCH] D67498: [InstSimplify] simplifyUnsignedRangeCheck(): handle few tautological cases (PR43251)
Roman Lebedev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 12 07:15:59 PDT 2019
lebedev.ri created this revision.
lebedev.ri added reviewers: spatel, nikic, xbolva00.
lebedev.ri added a project: LLVM.
Herald added a subscriber: hiraditya.
This is split off from D67356 <https://reviews.llvm.org/D67356>, since these cases produce a constant,
no real need to keep them in instcombine.
Alive proofs:
https://rise4fun.com/Alive/u7Fk
https://bugs.llvm.org/show_bug.cgi?id=43251
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D67498
Files:
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstSimplify/result-of-usub-is-non-zero-and-no-overflow.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D67498.219909.patch
Type: text/x-patch
Size: 4493 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190912/2039a42c/attachment.bin>
More information about the llvm-commits
mailing list