aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/SystemZ/int-cmp-47.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/SystemZ/int-cmp-47.ll')
-rw-r--r--test/CodeGen/SystemZ/int-cmp-47.ll344
1 files changed, 0 insertions, 344 deletions
diff --git a/test/CodeGen/SystemZ/int-cmp-47.ll b/test/CodeGen/SystemZ/int-cmp-47.ll
deleted file mode 100644
index dc87284ff5f5..000000000000
--- a/test/CodeGen/SystemZ/int-cmp-47.ll
+++ /dev/null
@@ -1,344 +0,0 @@
-; Test the use of TEST UNDER MASK for 64-bit operations.
-;
-; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s
-; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | FileCheck %s
-
-@g = global i32 0
-
-; Check the lowest useful TMLL value.
-define void @f1(i64 %a) {
-; CHECK-LABEL: f1:
-; CHECK: tmll %r2, 1
-; CHECK: ber %r14
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 1
- %cmp = icmp eq i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the high end of the TMLL range.
-define void @f2(i64 %a) {
-; CHECK-LABEL: f2:
-; CHECK: tmll %r2, 65535
-; CHECK: bner %r14
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 65535
- %cmp = icmp ne i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the lowest useful TMLH value, which is the next value up.
-define void @f3(i64 %a) {
-; CHECK-LABEL: f3:
-; CHECK: tmlh %r2, 1
-; CHECK: bner %r14
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 65536
- %cmp = icmp ne i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the next value up again, which cannot use TM.
-define void @f4(i64 %a) {
-; CHECK-LABEL: f4:
-; CHECK-NOT: {{tm[lh].}}
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 4294901759
- %cmp = icmp eq i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the high end of the TMLH range.
-define void @f5(i64 %a) {
-; CHECK-LABEL: f5:
-; CHECK: tmlh %r2, 65535
-; CHECK: ber %r14
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 4294901760
- %cmp = icmp eq i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the lowest useful TMHL value.
-define void @f6(i64 %a) {
-; CHECK-LABEL: f6:
-; CHECK: tmhl %r2, 1
-; CHECK: ber %r14
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 4294967296
- %cmp = icmp eq i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the next value up again, which cannot use TM.
-define void @f7(i64 %a) {
-; CHECK-LABEL: f7:
-; CHECK-NOT: {{tm[lh].}}
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 4294967297
- %cmp = icmp ne i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the high end of the TMHL range.
-define void @f8(i64 %a) {
-; CHECK-LABEL: f8:
-; CHECK: tmhl %r2, 65535
-; CHECK: bner %r14
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 281470681743360
- %cmp = icmp ne i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the lowest useful TMHH value.
-define void @f9(i64 %a) {
-; CHECK-LABEL: f9:
-; CHECK: tmhh %r2, 1
-; CHECK: bner %r14
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 281474976710656
- %cmp = icmp ne i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check the high end of the TMHH range.
-define void @f10(i64 %a) {
-; CHECK-LABEL: f10:
-; CHECK: tmhh %r2, 65535
-; CHECK: ber %r14
-; CHECK: br %r14
-entry:
- %and = and i64 %a, 18446462598732840960
- %cmp = icmp eq i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check that we can fold an SHL into a TMxx mask.
-define void @f11(i64 %a) {
-; CHECK-LABEL: f11:
-; CHECK: tmhl %r2, 32768
-; CHECK: bner %r14
-; CHECK: br %r14
-entry:
- %shl = shl i64 %a, 1
- %and = and i64 %shl, 281474976710656
- %cmp = icmp ne i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check that we can fold an SHR into a TMxx mask.
-define void @f12(i64 %a) {
-; CHECK-LABEL: f12:
-; CHECK: tmhh %r2, 256
-; CHECK: bner %r14
-; CHECK: br %r14
-entry:
- %shr = lshr i64 %a, 56
- %and = and i64 %shr, 1
- %cmp = icmp ne i64 %and, 0
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check a case where TMHH can be used to implement a ult comparison.
-define void @f13(i64 %a) {
-; CHECK-LABEL: f13:
-; CHECK: tmhh %r2, 49152
-; CHECK: bnor %r14
-; CHECK: br %r14
-entry:
- %cmp = icmp ult i64 %a, 13835058055282163712
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; And again with ule.
-define void @f14(i64 %a) {
-; CHECK-LABEL: f14:
-; CHECK: tmhh %r2, 49152
-; CHECK: bnor %r14
-; CHECK: br %r14
-entry:
- %cmp = icmp ule i64 %a, 13835058055282163711
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; And again with ugt.
-define void @f15(i64 %a) {
-; CHECK-LABEL: f15:
-; CHECK: tmhh %r2, 49152
-; CHECK: bor %r14
-; CHECK: br %r14
-entry:
- %cmp = icmp ugt i64 %a, 13835058055282163711
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; And again with uge.
-define void @f16(i64 %a) {
-; CHECK-LABEL: f16:
-; CHECK: tmhh %r2, 49152
-; CHECK: bor %r14
-; CHECK: br %r14
-entry:
- %cmp = icmp uge i64 %a, 13835058055282163712
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Decrease the constant from f13 to make TMHH invalid.
-define void @f17(i64 %a) {
-; CHECK-LABEL: f17:
-; CHECK-NOT: tmhh
-; CHECK: srlg [[REG:%r[0-5]]], %r2, 48
-; CHECK: cgfi [[REG]], 49151
-; CHECK-NOT: tmhh
-; CHECK: br %r14
-entry:
- %cmp = icmp ult i64 %a, 13834776580305453056
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}
-
-; Check that we don't use TMHH just to test the top bit.
-define void @f18(i64 %a) {
-; CHECK-LABEL: f18:
-; CHECK-NOT: tmhh
-; CHECK: cgibhe %r2, 0, 0(%r14)
-; CHECK: br %r14
-entry:
- %cmp = icmp ult i64 %a, 9223372036854775808
- br i1 %cmp, label %exit, label %store
-
-store:
- store i32 1, i32 *@g
- br label %exit
-
-exit:
- ret void
-}