Unverified Commit 0b094c06 authored by Roman Lebedev's avatar Roman Lebedev
Browse files

[NFC][Codegen][SystemZ] Autogenerate checklines in int-cmp-47.ll

parent b818da27

llvm/test/CodeGen/SystemZ/int-cmp-47.ll

+137 −58
Original line number Diff line number Diff line 
; 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
@@ -8,9 +9,13 @@ 
; Check the lowest useful TMLL value.

define void @f1(i64 %a) {

; CHECK-LABEL: f1:

; CHECK: tmll %r2, 1

; CHECK: ber %r14

; CHECK: br %r14

; 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
@@ -27,9 +32,13 @@ exit: 
; 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

; 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
@@ -46,9 +55,13 @@ exit: 
; 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

; 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
@@ -65,8 +78,14 @@ exit: 
; 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

; 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
@@ -83,9 +102,13 @@ exit: 
; 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

; 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
@@ -102,9 +125,13 @@ exit: 
; Check the lowest useful TMHL value.

define void @f6(i64 %a) {

; CHECK-LABEL: f6:

; CHECK: tmhl %r2, 1

; CHECK: ber %r14

; CHECK: br %r14

; 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
@@ -121,8 +148,15 @@ exit: 
; 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

; 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
@@ -139,9 +173,13 @@ exit: 
; 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

; 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
@@ -158,9 +196,13 @@ exit: 
; Check the lowest useful TMHH value.

define void @f9(i64 %a) {

; CHECK-LABEL: f9:

; CHECK: tmhh %r2, 1

; CHECK: bner %r14

; CHECK: br %r14

; 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
@@ -177,9 +219,13 @@ exit: 
; 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

; 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
@@ -196,9 +242,13 @@ exit: 
; 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

; 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
@@ -216,9 +266,13 @@ exit: 
; 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

; 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
@@ -236,9 +290,13 @@ exit: 
; 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

; 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
@@ -254,9 +312,13 @@ exit: 
; And again with ule.

define void @f14(i64 %a) {

; CHECK-LABEL: f14:

; CHECK: tmhh %r2, 49152

; CHECK: bnor %r14

; CHECK: br %r14

; 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
@@ -272,9 +334,13 @@ exit: 
; And again with ugt.

define void @f15(i64 %a) {

; CHECK-LABEL: f15:

; CHECK: tmhh %r2, 49152

; CHECK: bor %r14

; CHECK: br %r14

; 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
@@ -290,9 +356,13 @@ exit: 
; And again with uge.

define void @f16(i64 %a) {

; CHECK-LABEL: f16:

; CHECK: tmhh %r2, 49152

; CHECK: bor %r14

; CHECK: br %r14

; 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
@@ -308,11 +378,14 @@ exit: 
; 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

; 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
@@ -328,9 +401,12 @@ exit: 
; 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

; 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
@@ -347,10 +423,13 @@ exit: 
; would need to be shifted out of range

define void @f19(i64 %a) {

; CHECK-LABEL: f19:

; CHECK-NOT: tmhh

; CHECK: srlg [[REG:%r[0-5]]], %r2, 63

; CHECK: cgibl [[REG]], 3, 0(%r14)

; CHECK: br %r14

; 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