diff options
| author | Pete Cooper <peter_cooper@apple.com> | 2011-12-01 03:58:40 +0000 |
|---|---|---|
| committer | Pete Cooper <peter_cooper@apple.com> | 2011-12-01 03:58:40 +0000 |
| commit | bc5c524b71d97f31a8954b6e81b65c077763b1b3 (patch) | |
| tree | a3fd45ac3c0b4664d233144909d1c236f8630bfd /llvm/test | |
| parent | b1a02922405c72dce18686750f809f154b04f859 (diff) | |
| download | bcm5719-llvm-bc5c524b71d97f31a8954b6e81b65c077763b1b3.tar.gz bcm5719-llvm-bc5c524b71d97f31a8954b6e81b65c077763b1b3.zip | |
Added instcombine pattern to spot comparing -val or val against 0.
(val != 0) == (-val != 0) so "abs(val) != 0" becomes "val != 0"
Fixes <rdar://problem/10482509>
llvm-svn: 145563
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/compare-abs-nonzero.ll | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/compare-abs-nonzero.ll b/llvm/test/Transforms/InstCombine/compare-abs-nonzero.ll new file mode 100644 index 00000000000..49cd688bda0 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/compare-abs-nonzero.ll @@ -0,0 +1,10 @@ +; RUN: opt < %s -instcombine -S | grep -v {select} + +define zeroext i1 @cmpabs(i64 %val) nounwind uwtable readnone ssp { +entry: + %sub = sub nsw i64 0, %val + %cmp = icmp slt i64 %val, 0 + %sub.val = select i1 %cmp, i64 %sub, i64 %val + %tobool = icmp ne i64 %sub.val, 0 + ret i1 %tobool +} |
