projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c4abdb) | patch
InstSimplify: Simplify (sub 0, X) -> X if it's NUW
authorDavid Majnemer <david.majnemer@gmail.com>
Sat, 22 Nov 2014 07:15:16 +0000 (07:15 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Sat, 22 Nov 2014 07:15:16 +0000 (07:15 +0000)
commit7eca618dfc363f98085cef732b61c7c48c519582
tree10cbfd3b0aa9dc3715a48c55e9a17de546c6dc2atree | snapshot
parent1c4abdb6ab6e959418b82f235e3f7c8646c7792ccommit | diff
InstSimplify: Simplify (sub 0, X) -> X if it's NUW

This is a generalization of the X - (0 - Y) -> X transform.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222611 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/InstructionSimplify.cpp diff | blob | history
test/Transforms/InstSimplify/AndOrXor.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors