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)
commit4efa9ff8ca832d2a87f553c65960f81f02bb2843
tree6e90819258dca0befe0de9ff16853e57dd817bdc
parent6fc2d813cbaa3f9308ecb05396a9cd33e52a8e50
InstSimplify: Simplify (sub 0, X) -> X if it's NUW

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

llvm-svn: 222611
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstSimplify/AndOrXor.ll