diff options
| author | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-08-19 12:48:54 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-08-19 12:48:54 +0000 |
| commit | b0d40a22e5aa1a51913fa161c2ce5513d7bd9293 (patch) | |
| tree | 52334bd3daccd16d29c2a27180d1a2e986ec640e /test/CodeGen | |
| parent | 80f54784da0bd42fb79176bbf447a31d69287fe3 (diff) | |
| download | external_llvm-b0d40a22e5aa1a51913fa161c2ce5513d7bd9293.zip external_llvm-b0d40a22e5aa1a51913fa161c2ce5513d7bd9293.tar.gz external_llvm-b0d40a22e5aa1a51913fa161c2ce5513d7bd9293.tar.bz2 | |
[SystemZ] Add integer absolute (load positive)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@188670 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen')
| -rw-r--r-- | test/CodeGen/SystemZ/int-abs-01.ll | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/test/CodeGen/SystemZ/int-abs-01.ll b/test/CodeGen/SystemZ/int-abs-01.ll new file mode 100644 index 0000000..40fb611 --- /dev/null +++ b/test/CodeGen/SystemZ/int-abs-01.ll @@ -0,0 +1,83 @@ +; Test integer absolute. +; +; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s + +; Test i32->i32 absolute using slt. +define i32 @f1(i32 %val) { +; CHECK-LABEL: f1: +; CHECK: lpr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp slt i32 %val, 0 + %neg = sub i32 0, %val + %res = select i1 %cmp, i32 %neg, i32 %val + ret i32 %res +} + +; Test i32->i32 absolute using sle. +define i32 @f2(i32 %val) { +; CHECK-LABEL: f2: +; CHECK: lpr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp sle i32 %val, 0 + %neg = sub i32 0, %val + %res = select i1 %cmp, i32 %neg, i32 %val + ret i32 %res +} + +; Test i32->i32 absolute using sgt. +define i32 @f3(i32 %val) { +; CHECK-LABEL: f3: +; CHECK: lpr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp sgt i32 %val, 0 + %neg = sub i32 0, %val + %res = select i1 %cmp, i32 %val, i32 %neg + ret i32 %res +} + +; Test i32->i32 absolute using sge. +define i32 @f4(i32 %val) { +; CHECK-LABEL: f4: +; CHECK: lpr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp sge i32 %val, 0 + %neg = sub i32 0, %val + %res = select i1 %cmp, i32 %val, i32 %neg + ret i32 %res +} + +; Test i32->i64 absolute. +define i64 @f5(i32 %val) { +; CHECK-LABEL: f5: +; CHECK: lpgfr %r2, %r2 +; CHECK: br %r14 + %ext = sext i32 %val to i64 + %cmp = icmp slt i64 %ext, 0 + %neg = sub i64 0, %ext + %res = select i1 %cmp, i64 %neg, i64 %ext + ret i64 %res +} + +; Test i32->i64 absolute that uses an "in-register" form of sign extension. +define i64 @f6(i64 %val) { +; CHECK-LABEL: f6: +; CHECK: lpgfr %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 + %res = select i1 %cmp, i64 %neg, i64 %ext + ret i64 %res +} + +; Test i64 absolute. +define i64 @f7(i64 %val) { +; CHECK-LABEL: f7: +; CHECK: lpgr %r2, %r2 +; CHECK: br %r14 + %cmp = icmp slt i64 %val, 0 + %neg = sub i64 0, %val + %res = select i1 %cmp, i64 %neg, i64 %val + ret i64 %res +} |