aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/SystemZ/int-cmp-48.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/SystemZ/int-cmp-48.ll')
-rw-r--r--test/CodeGen/SystemZ/int-cmp-48.ll245
1 files changed, 0 insertions, 245 deletions
diff --git a/test/CodeGen/SystemZ/int-cmp-48.ll b/test/CodeGen/SystemZ/int-cmp-48.ll
deleted file mode 100644
index 2a6d9d5fcaf0..000000000000
--- a/test/CodeGen/SystemZ/int-cmp-48.ll
+++ /dev/null
@@ -1,245 +0,0 @@
-; Test the use of TM and TMY.
-;
-; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | FileCheck %s
-
-@g = global i32 0
-
-; Check a simple branching use of TM.
-define void @f1(i8 *%src) {
-; CHECK-LABEL: f1:
-; CHECK: tm 0(%r2), 1
-; CHECK: ber %r14
-; CHECK: br %r14
-entry:
- %byte = load i8 , i8 *%src
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-
-; Check that we do not fold across an aliasing store.
-define void @f2(i8 *%src) {
-; CHECK-LABEL: f2:
-; CHECK: llc [[REG:%r[0-5]]], 0(%r2)
-; CHECK: tmll [[REG]], 1
-; CHECK: mvi 0(%r2), 0
-; CHECK: ber %r14
-; CHECK: br %r14
-entry:
- %byte = load i8 , i8 *%src
- store i8 0, i8 *%src
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check a simple select-based use of TM.
-define double @f3(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f3:
-; CHECK: tm 0(%r2), 1
-; CHECK: je {{\.L.*}}
-; CHECK: br %r14
- %byte = load i8 , i8 *%src
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check that we do not fold across an aliasing store.
-define double @f4(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f4:
-; CHECK: tm 0(%r2), 1
-; CHECK: je {{\.L.*}}
-; CHECK: mvi 0(%r2), 0
-; CHECK: br %r14
- %byte = load i8 , i8 *%src
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- store i8 0, i8 *%src
- ret double %res
-}
-
-; Check an inequality check.
-define double @f5(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f5:
-; CHECK: tm 0(%r2), 1
-; CHECK: jne {{\.L.*}}
-; CHECK: br %r14
- %byte = load i8 , i8 *%src
- %and = and i8 %byte, 1
- %cmp = icmp ne i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check that we can also use TM for equality comparisons with the mask.
-define double @f6(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f6:
-; CHECK: tm 0(%r2), 254
-; CHECK: jo {{\.L.*}}
-; CHECK: br %r14
- %byte = load i8 , i8 *%src
- %and = and i8 %byte, 254
- %cmp = icmp eq i8 %and, 254
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check inequality comparisons with the mask.
-define double @f7(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f7:
-; CHECK: tm 0(%r2), 254
-; CHECK: jno {{\.L.*}}
-; CHECK: br %r14
- %byte = load i8 , i8 *%src
- %and = and i8 %byte, 254
- %cmp = icmp ne i8 %and, 254
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check that we do not use the memory TM instruction when CC is being tested
-; for 2.
-define double @f8(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f8:
-; CHECK: llc [[REG:%r[0-5]]], 0(%r2)
-; CHECK: tmll [[REG]], 3
-; CHECK: jh {{\.L.*}}
-; CHECK: br %r14
- %byte = load i8 , i8 *%src
- %and = and i8 %byte, 3
- %cmp = icmp eq i8 %and, 2
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; ...likewise 1.
-define double @f9(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f9:
-; CHECK: llc [[REG:%r[0-5]]], 0(%r2)
-; CHECK: tmll [[REG]], 3
-; CHECK: jl {{\.L.*}}
-; CHECK: br %r14
- %byte = load i8 , i8 *%src
- %and = and i8 %byte, 3
- %cmp = icmp eq i8 %and, 1
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check the high end of the TM range.
-define double @f10(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f10:
-; CHECK: tm 4095(%r2), 1
-; CHECK: je {{\.L.*}}
-; CHECK: br %r14
- %ptr = getelementptr i8, i8 *%src, i64 4095
- %byte = load i8 , i8 *%ptr
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check the low end of the positive TMY range.
-define double @f11(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f11:
-; CHECK: tmy 4096(%r2), 1
-; CHECK: je {{\.L.*}}
-; CHECK: br %r14
- %ptr = getelementptr i8, i8 *%src, i64 4096
- %byte = load i8 , i8 *%ptr
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check the high end of the TMY range.
-define double @f12(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f12:
-; CHECK: tmy 524287(%r2), 1
-; CHECK: je {{\.L.*}}
-; CHECK: br %r14
- %ptr = getelementptr i8, i8 *%src, i64 524287
- %byte = load i8 , i8 *%ptr
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check the next byte up, which needs separate address logic.
-define double @f13(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f13:
-; CHECK: agfi %r2, 524288
-; CHECK: tm 0(%r2), 1
-; CHECK: je {{\.L.*}}
-; CHECK: br %r14
- %ptr = getelementptr i8, i8 *%src, i64 524288
- %byte = load i8 , i8 *%ptr
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check the low end of the TMY range.
-define double @f14(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f14:
-; CHECK: tmy -524288(%r2), 1
-; CHECK: je {{\.L.*}}
-; CHECK: br %r14
- %ptr = getelementptr i8, i8 *%src, i64 -524288
- %byte = load i8 , i8 *%ptr
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check the next byte down, which needs separate address logic.
-define double @f15(i8 *%src, double %a, double %b) {
-; CHECK-LABEL: f15:
-; CHECK: agfi %r2, -524289
-; CHECK: tm 0(%r2), 1
-; CHECK: je {{\.L.*}}
-; CHECK: br %r14
- %ptr = getelementptr i8, i8 *%src, i64 -524289
- %byte = load i8 , i8 *%ptr
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}
-
-; Check that TM(Y) does not allow an index
-define double @f16(i8 *%src, i64 %index, double %a, double %b) {
-; CHECK-LABEL: f16:
-; CHECK: tm 0({{%r[1-5]}}), 1
-; CHECK: je {{\.L.*}}
-; CHECK: br %r14
- %ptr = getelementptr i8, i8 *%src, i64 %index
- %byte = load i8 , i8 *%ptr
- %and = and i8 %byte, 1
- %cmp = icmp eq i8 %and, 0
- %res = select i1 %cmp, double %b, double %a
- ret double %res
-}