[llvm] 0b094c0 - [NFC][Codegen][SystemZ] Autogenerate checklines in int-cmp-47.ll
Roman Lebedev via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 3 15:49:56 PDT 2021
Author: Roman Lebedev
Date: 2021-08-04T01:47:39+03:00
New Revision: 0b094c06f41c212ca3c8a1444be1eee3db1d405f
URL: https://github.com/llvm/llvm-project/commit/0b094c06f41c212ca3c8a1444be1eee3db1d405f
DIFF: https://github.com/llvm/llvm-project/commit/0b094c06f41c212ca3c8a1444be1eee3db1d405f.diff
LOG: [NFC][Codegen][SystemZ] Autogenerate checklines in int-cmp-47.ll
Added:
Modified:
llvm/test/CodeGen/SystemZ/int-cmp-47.ll
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/SystemZ/int-cmp-47.ll b/llvm/test/CodeGen/SystemZ/int-cmp-47.ll
index 3a07ed339bb3..cfb7ae2ecde9 100644
--- a/llvm/test/CodeGen/SystemZ/int-cmp-47.ll
+++ b/llvm/test/CodeGen/SystemZ/int-cmp-47.ll
@@ -1,3 +1,4 @@
+; 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at GOT
+; CHECK-NEXT: mvhi 0(%r1), 1
+; CHECK-NEXT: br %r14
entry:
%shr = lshr i64 %a, 63
%cmp = icmp ult i64 %shr, 3
More information about the llvm-commits
mailing list