diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-11-22 07:15:16 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-11-22 07:15:16 +0000 |
| commit | 4efa9ff8ca832d2a87f553c65960f81f02bb2843 (patch) | |
| tree | 6e90819258dca0befe0de9ff16853e57dd817bdc /llvm/test/Transforms/InstSimplify | |
| parent | 6fc2d813cbaa3f9308ecb05396a9cd33e52a8e50 (diff) | |
| download | bcm5719-llvm-4efa9ff8ca832d2a87f553c65960f81f02bb2843.tar.gz bcm5719-llvm-4efa9ff8ca832d2a87f553c65960f81f02bb2843.zip | |
InstSimplify: Simplify (sub 0, X) -> X if it's NUW
This is a generalization of the X - (0 - Y) -> X transform.
llvm-svn: 222611
Diffstat (limited to 'llvm/test/Transforms/InstSimplify')
| -rw-r--r-- | llvm/test/Transforms/InstSimplify/AndOrXor.ll | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstSimplify/AndOrXor.ll b/llvm/test/Transforms/InstSimplify/AndOrXor.ll index 8ed06e83093..bf7e9a28640 100644 --- a/llvm/test/Transforms/InstSimplify/AndOrXor.ll +++ b/llvm/test/Transforms/InstSimplify/AndOrXor.ll @@ -148,3 +148,10 @@ define i1 @or_of_icmps5(i32 %b) { ret i1 %cmp ; CHECK: ret i1 true } + +define i32 @neg_nuw(i32 %x) { +; CHECK-LABEL: @neg_nuw( + %neg = sub nuw i32 0, %x + ret i32 %neg +; CHECK: ret i32 0 +} |
