diff options
author | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-08-19 12:56:58 +0000 |
---|---|---|
committer | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-08-19 12:56:58 +0000 |
commit | d4a37e61378949835d93df6b8e4a9feadb4edeef (patch) | |
tree | c96caffa4e74065897e1505b27a6f31613266cab /test/CodeGen/SystemZ | |
parent | b0d40a22e5aa1a51913fa161c2ce5513d7bd9293 (diff) | |
download | llvm-d4a37e61378949835d93df6b8e4a9feadb4edeef.tar.gz llvm-d4a37e61378949835d93df6b8e4a9feadb4edeef.tar.bz2 llvm-d4a37e61378949835d93df6b8e4a9feadb4edeef.tar.xz |
[SystemZ] Add negative integer absolute (load negative)
For now this matches the equivalent of (neg (abs ...)), which did hit a few
times in projects/test-suite. We should probably also match cases where
absolute-like selects are used with reversed arguments.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@188671 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/SystemZ')
-rw-r--r-- | test/CodeGen/SystemZ/int-neg-02.ll | 91 |
1 files changed, 91 insertions, 0 deletions
diff --git a/test/CodeGen/SystemZ/int-neg-02.ll b/test/CodeGen/SystemZ/int-neg-02.ll new file mode 100644 index 0000000000..e26194c162 --- /dev/null +++ b/test/CodeGen/SystemZ/int-neg-02.ll @@ -0,0 +1,91 @@ +; Test negative integer absolute. +; +; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s + +; Test i32->i32 negative absolute using slt. +define i32 @f1(i32 %val) { +; CHECK-LABEL: f1: +; CHECK: lnr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp slt i32 %val, 0 + %neg = sub i32 0, %val + %abs = select i1 %cmp, i32 %neg, i32 %val + %res = sub i32 0, %abs + ret i32 %res +} + +; Test i32->i32 negative absolute using sle. +define i32 @f2(i32 %val) { +; CHECK-LABEL: f2: +; CHECK: lnr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp sle i32 %val, 0 + %neg = sub i32 0, %val + %abs = select i1 %cmp, i32 %neg, i32 %val + %res = sub i32 0, %abs + ret i32 %res +} + +; Test i32->i32 negative absolute using sgt. +define i32 @f3(i32 %val) { +; CHECK-LABEL: f3: +; CHECK: lnr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp sgt i32 %val, 0 + %neg = sub i32 0, %val + %abs = select i1 %cmp, i32 %val, i32 %neg + %res = sub i32 0, %abs + ret i32 %res +} + +; Test i32->i32 negative absolute using sge. +define i32 @f4(i32 %val) { +; CHECK-LABEL: f4: +; CHECK: lnr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp sge i32 %val, 0 + %neg = sub i32 0, %val + %abs = select i1 %cmp, i32 %val, i32 %neg + %res = sub i32 0, %abs + ret i32 %res +} + +; Test i32->i64 negative absolute. +define i64 @f5(i32 %val) { +; CHECK-LABEL: f5: +; CHECK: lngfr %r2, %r2 +; CHECK: br %r14 + %ext = sext i32 %val to i64 + %cmp = icmp slt i64 %ext, 0 + %neg = sub i64 0, %ext + %abs = select i1 %cmp, i64 %neg, i64 %ext + %res = sub i64 0, %abs + ret i64 %res +} + +; Test i32->i64 negative absolute that uses an "in-register" form of +; sign extension. +define i64 @f6(i64 %val) { +; CHECK-LABEL: f6: +; CHECK: lngfr %r2, %r2 +; CHECK: br %r14 + %trunc = trunc i64 %val to i32 + %ext = sext i32 %trunc to i64 + %cmp = icmp slt i64 %ext, 0 + %neg = sub i64 0, %ext + %abs = select i1 %cmp, i64 %neg, i64 %ext + %res = sub i64 0, %abs + ret i64 %res +} + +; Test i64 negative absolute. +define i64 @f7(i64 %val) { +; CHECK-LABEL: f7: +; CHECK: lngr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp slt i64 %val, 0 + %neg = sub i64 0, %val + %abs = select i1 %cmp, i64 %neg, i64 %val + %res = sub i64 0, %abs + ret i64 %res +} |