blob: e59c1a7c852ee331d8951605af860b5cfe30f04b [file] [log] [blame]
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; 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: # %bb.0: # %entry
; CHECK-NEXT: tmll %r2, 1
; CHECK-NEXT: ber %r14
; CHECK-NEXT: .LBB0_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@g
br label %exit
exit:
ret void
}
; Check the high end of the TMLL range.
define void @f2(i64 %a) {
; CHECK-LABEL: f2:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmll %r2, 65535
; CHECK-NEXT: bner %r14
; CHECK-NEXT: .LBB1_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@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: # %bb.0: # %entry
; CHECK-NEXT: tmlh %r2, 1
; CHECK-NEXT: bner %r14
; CHECK-NEXT: .LBB2_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@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: # %bb.0: # %entry
; CHECK-NEXT: llilf %r0, 4294901759
; CHECK-NEXT: ngr %r0, %r2
; CHECK-NEXT: ber %r14
; CHECK-NEXT: .LBB3_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@g
br label %exit
exit:
ret void
}
; Check the high end of the TMLH range.
define void @f5(i64 %a) {
; CHECK-LABEL: f5:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmlh %r2, 65535
; CHECK-NEXT: ber %r14
; CHECK-NEXT: .LBB4_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@g
br label %exit
exit:
ret void
}
; Check the lowest useful TMHL value.
define void @f6(i64 %a) {
; CHECK-LABEL: f6:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmhl %r2, 1
; CHECK-NEXT: ber %r14
; CHECK-NEXT: .LBB5_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@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: # %bb.0: # %entry
; CHECK-NEXT: llihl %r0, 1
; CHECK-NEXT: oill %r0, 1
; CHECK-NEXT: ngr %r0, %r2
; CHECK-NEXT: blr %r14
; CHECK-NEXT: .LBB6_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@g
br label %exit
exit:
ret void
}
; Check the high end of the TMHL range.
define void @f8(i64 %a) {
; CHECK-LABEL: f8:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmhl %r2, 65535
; CHECK-NEXT: bner %r14
; CHECK-NEXT: .LBB7_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@g
br label %exit
exit:
ret void
}
; Check the lowest useful TMHH value.
define void @f9(i64 %a) {
; CHECK-LABEL: f9:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmhh %r2, 1
; CHECK-NEXT: bner %r14
; CHECK-NEXT: .LBB8_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@g
br label %exit
exit:
ret void
}
; Check the high end of the TMHH range.
define void @f10(i64 %a) {
; CHECK-LABEL: f10:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmhh %r2, 65535
; CHECK-NEXT: ber %r14
; CHECK-NEXT: .LBB9_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@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: # %bb.0: # %entry
; CHECK-NEXT: tmhl %r2, 32768
; CHECK-NEXT: bner %r14
; CHECK-NEXT: .LBB10_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@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: # %bb.0: # %entry
; CHECK-NEXT: tmhh %r2, 256
; CHECK-NEXT: bner %r14
; CHECK-NEXT: .LBB11_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: 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, ptr@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: # %bb.0: # %entry
; CHECK-NEXT: tmhh %r2, 49152
; CHECK-NEXT: bnor %r14
; CHECK-NEXT: .LBB12_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: br %r14
entry:
%cmp = icmp ult i64 %a, 13835058055282163712
br i1 %cmp, label %exit, label %store
store:
store i32 1, ptr@g
br label %exit
exit:
ret void
}
; And again with ule.
define void @f14(i64 %a) {
; CHECK-LABEL: f14:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmhh %r2, 49152
; CHECK-NEXT: bnor %r14
; CHECK-NEXT: .LBB13_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: br %r14
entry:
%cmp = icmp ule i64 %a, 13835058055282163711
br i1 %cmp, label %exit, label %store
store:
store i32 1, ptr@g
br label %exit
exit:
ret void
}
; And again with ugt.
define void @f15(i64 %a) {
; CHECK-LABEL: f15:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmhh %r2, 49152
; CHECK-NEXT: bor %r14
; CHECK-NEXT: .LBB14_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: br %r14
entry:
%cmp = icmp ugt i64 %a, 13835058055282163711
br i1 %cmp, label %exit, label %store
store:
store i32 1, ptr@g
br label %exit
exit:
ret void
}
; And again with uge.
define void @f16(i64 %a) {
; CHECK-LABEL: f16:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmhh %r2, 49152
; CHECK-NEXT: bor %r14
; CHECK-NEXT: .LBB15_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: br %r14
entry:
%cmp = icmp uge i64 %a, 13835058055282163712
br i1 %cmp, label %exit, label %store
store:
store i32 1, ptr@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: # %bb.0: # %entry
; CHECK-NEXT: srlg %r0, %r2, 48
; CHECK-NEXT: cgfi %r0, 49151
; CHECK-NEXT: blr %r14
; CHECK-NEXT: .LBB16_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: br %r14
entry:
%cmp = icmp ult i64 %a, 13834776580305453056
br i1 %cmp, label %exit, label %store
store:
store i32 1, ptr@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: # %bb.0: # %entry
; CHECK-NEXT: cgibhe %r2, 0, 0(%r14)
; CHECK-NEXT: .LBB17_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: br %r14
entry:
%cmp = icmp ult i64 %a, 9223372036854775808
br i1 %cmp, label %exit, label %store
store:
store i32 1, ptr@g
br label %exit
exit:
ret void
}
; Check that we don't fold a shift if the comparison value
; would need to be shifted out of range
define void @f19(i64 %a) {
; CHECK-LABEL: f19:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: srlg %r0, %r2, 63
; CHECK-NEXT: cgibl %r0, 3, 0(%r14)
; CHECK-NEXT: .LBB18_1: # %store
; CHECK-NEXT: lgrl %r1, g@GOT
; CHECK-NEXT: mvhi 0(%r1), 1
; CHECK-NEXT: br %r14
entry:
%shr = lshr i64 %a, 63
%cmp = icmp ult i64 %shr, 3
br i1 %cmp, label %exit, label %store
store:
store i32 1, ptr@g
br label %exit
exit:
ret void
}