[PATCH] D85593: [InstCombine] ~(~X + Y) -> X - Y
Dávid Bolvanský via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sat Aug 8 17:13:00 PDT 2020
xbolva00 created this revision.
xbolva00 added a reviewer: spatel.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.
xbolva00 requested review of this revision.
Proof:
https://alive2.llvm.org/ce/z/4xharr
Solves PR47051
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D85593
Files:
llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
llvm/test/Transforms/InstCombine/not-add.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D85593.284156.patch
Type: text/x-patch
Size: 5339 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200809/817dbf70/attachment.bin>
More information about the llvm-commits
mailing list