From nobody Tue Nov 26 15:45:44 2024 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=pass(p=none dis=none) header.from=redhat.com ARC-Seal: i=1; a=rsa-sha256; t=1707216388; cv=none; d=zohomail.com; s=zohoarc; b=SPnTMjjti5v0V08a6NdTA+Eb0egWPkVxUxeDE3Jg+QlnhczIV3SrM37DEuFUYVXo4YLRauP0urhSNT5Ege/PG9hCwuRL6z4cfdp1BpbdopZ4QcPQBiW104Do2TLBEdfTtZuFTp9oKzPzZRQ+TQTF8TTmQkn7DxACdNhjZkRhP+s= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1707216388; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=Gw1GdGhiSZCRfVvN19txv0e6ILB4Z/YReWhCQVwyc4s=; b=LB2Zga6YsGW115VeA2RPIcxPB2PTdG3R1mdCMGaHHxtyC8w1R3IE+BJ1FLeUka6+Z2Igs3+cLIrUkv/aOIY4Jo5EHjHwaA4rA8pXH1Z9YGR11jCiqbL+xOFPWkdBwPn2973AL3rehztzGxIFIcpk2NBO4JfkMtowNyH6rN+nby0= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=pass header.from= (p=none dis=none) Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 1707216388681326.4225308760289; Tue, 6 Feb 2024 02:46:28 -0800 (PST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rXIw3-0006y2-DQ; Tue, 06 Feb 2024 05:44:15 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rXIw1-0006wF-9t for qemu-devel@nongnu.org; Tue, 06 Feb 2024 05:44:13 -0500 Received: from us-smtp-delivery-124.mimecast.com ([170.10.129.124]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rXIvy-0003EO-62 for qemu-devel@nongnu.org; Tue, 06 Feb 2024 05:44:13 -0500 Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-383-6JdNDj7DMYaWHDqGEuN_Yw-1; Tue, 06 Feb 2024 05:44:02 -0500 Received: from smtp.corp.redhat.com (int-mx10.intmail.prod.int.rdu2.redhat.com [10.11.54.10]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 4B25284AC68; Tue, 6 Feb 2024 10:44:02 +0000 (UTC) Received: from thuth-p1g4.redhat.com (unknown [10.39.195.21]) by smtp.corp.redhat.com (Postfix) with ESMTP id C9E0C492BF0; Tue, 6 Feb 2024 10:44:00 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1707216246; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=Gw1GdGhiSZCRfVvN19txv0e6ILB4Z/YReWhCQVwyc4s=; b=OAypWjVytg7c1IW/CIPHtTzi/B360UDhndM1RW37B4ZQsYBv0TFc0VMRrx4jV8GARR1psn zSVdYv7eIuVnooAuxNy4mcD/hk+t6JQpb1g8WE9fhKHQ9OB4VWk+9wjRgjwJnF2+fE7Hat esaCRHry/QSTE8FxD1MI0cTRUb5Tids= X-MC-Unique: 6JdNDj7DMYaWHDqGEuN_Yw-1 From: Thomas Huth To: qemu-devel@nongnu.org Cc: Peter Maydell , Ilya Leoshkevich , Pavel Zbitskiy Subject: [PULL 07/12] tests/tcg/s390x: Test CONVERT TO BINARY Date: Tue, 6 Feb 2024 11:43:42 +0100 Message-ID: <20240206104347.238825-8-thuth@redhat.com> In-Reply-To: <20240206104347.238825-1-thuth@redhat.com> References: <20240206104347.238825-1-thuth@redhat.com> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-Scanned-By: MIMEDefang 3.4.1 on 10.11.54.10 Received-SPF: pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Received-SPF: pass client-ip=170.10.129.124; envelope-from=thuth@redhat.com; helo=us-smtp-delivery-124.mimecast.com X-Spam_score_int: -23 X-Spam_score: -2.4 X-Spam_bar: -- X-Spam_report: (-2.4 / 5.0 requ) BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.285, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: qemu-devel-bounces+importer=patchew.org@nongnu.org X-ZohoMail-DKIM: pass (identity @redhat.com) X-ZM-MESSAGEID: 1707216389292100004 Content-Type: text/plain; charset="utf-8" From: Ilya Leoshkevich Check the CVB's, CVBY's, and CVBG's corner cases. Co-developed-by: Pavel Zbitskiy Reviewed-by: Thomas Huth Tested-by: Thomas Huth Signed-off-by: Ilya Leoshkevich Message-ID: <20240205205830.6425-5-iii@linux.ibm.com> Signed-off-by: Thomas Huth --- tests/tcg/s390x/cvb.c | 102 ++++++++++++++++++++++++++++++++ tests/tcg/s390x/Makefile.target | 1 + 2 files changed, 103 insertions(+) create mode 100644 tests/tcg/s390x/cvb.c diff --git a/tests/tcg/s390x/cvb.c b/tests/tcg/s390x/cvb.c new file mode 100644 index 0000000000..e1735f6b81 --- /dev/null +++ b/tests/tcg/s390x/cvb.c @@ -0,0 +1,102 @@ +/* + * Test the CONVERT TO BINARY instruction. + * + * SPDX-License-Identifier: GPL-2.0-or-later + */ +#include +#include +#include +#include +#include + +static int signum; + +static void signal_handler(int n) +{ + signum =3D n; +} + +#define FAIL 0x1234567887654321 +#define OK32(x) (0x1234567800000000 | (uint32_t)(x)) + +static int64_t cvb(uint64_t x) +{ + int64_t ret =3D FAIL; + + signum =3D -1; + asm("cvb %[ret],%[x]" : [ret] "+r" (ret) : [x] "R" (x)); + + return ret; +} + +static int64_t cvby(uint64_t x) +{ + int64_t ret =3D FAIL; + + signum =3D -1; + asm("cvby %[ret],%[x]" : [ret] "+r" (ret) : [x] "T" (x)); + + return ret; +} + +static int64_t cvbg(__uint128_t x) +{ + int64_t ret =3D FAIL; + + signum =3D -1; + asm("cvbg %[ret],%[x]" : [ret] "+r" (ret) : [x] "T" (x)); + + return ret; +} + +int main(void) +{ + __uint128_t m =3D (((__uint128_t)0x9223372036854775) << 16) | 0x8070; + struct sigaction act; + int err; + + memset(&act, 0, sizeof(act)); + act.sa_handler =3D signal_handler; + err =3D sigaction(SIGFPE, &act, NULL); + assert(err =3D=3D 0); + err =3D sigaction(SIGILL, &act, NULL); + assert(err =3D=3D 0); + + assert(cvb(0xc) =3D=3D OK32(0) && signum =3D=3D -1); + assert(cvb(0x1c) =3D=3D OK32(1) && signum =3D=3D -1); + assert(cvb(0x25594c) =3D=3D OK32(25594) && signum =3D=3D -1); + assert(cvb(0x1d) =3D=3D OK32(-1) && signum =3D=3D -1); + assert(cvb(0x2147483647c) =3D=3D OK32(0x7fffffff) && signum =3D=3D -1); + assert(cvb(0x2147483648d) =3D=3D OK32(-0x80000000) && signum =3D=3D -1= ); + assert(cvb(0x7) =3D=3D FAIL && signum =3D=3D SIGILL); + assert(cvb(0x2147483648c) =3D=3D OK32(0x80000000) && signum =3D=3D SIG= FPE); + assert(cvb(0x3000000000c) =3D=3D OK32(0xb2d05e00) && signum =3D=3D SIG= FPE); + assert(cvb(0x2147483649d) =3D=3D OK32(0x7fffffff) && signum =3D=3D SIG= FPE); + assert(cvb(0x3000000000d) =3D=3D OK32(0x4d2fa200) && signum =3D=3D SIG= FPE); + + assert(cvby(0xc) =3D=3D OK32(0)); + assert(cvby(0x1c) =3D=3D OK32(1)); + assert(cvby(0x25594c) =3D=3D OK32(25594)); + assert(cvby(0x1d) =3D=3D OK32(-1)); + assert(cvby(0x2147483647c) =3D=3D OK32(0x7fffffff)); + assert(cvby(0x2147483648d) =3D=3D OK32(-0x80000000)); + assert(cvby(0x7) =3D=3D FAIL && signum =3D=3D SIGILL); + assert(cvby(0x2147483648c) =3D=3D OK32(0x80000000) && signum =3D=3D SI= GFPE); + assert(cvby(0x3000000000c) =3D=3D OK32(0xb2d05e00) && signum =3D=3D SI= GFPE); + assert(cvby(0x2147483649d) =3D=3D OK32(0x7fffffff) && signum =3D=3D SI= GFPE); + assert(cvby(0x3000000000d) =3D=3D OK32(0x4d2fa200) && signum =3D=3D SI= GFPE); + + assert(cvbg(0xc) =3D=3D 0); + assert(cvbg(0x1c) =3D=3D 1); + assert(cvbg(0x25594c) =3D=3D 25594); + assert(cvbg(0x1d) =3D=3D -1); + assert(cvbg(m + 0xc) =3D=3D 0x7fffffffffffffff); + assert(cvbg(m + 0x1d) =3D=3D -0x8000000000000000); + assert(cvbg(0x7) =3D=3D FAIL && signum =3D=3D SIGILL); + assert(cvbg(m + 0x1c) =3D=3D FAIL && signum =3D=3D SIGFPE); + assert(cvbg(m + 0x2d) =3D=3D FAIL && signum =3D=3D SIGFPE); + assert(cvbg(((__uint128_t)1 << 80) + 0xc) =3D=3D FAIL && signum =3D=3D= SIGFPE); + assert(cvbg(((__uint128_t)1 << 80) + 0xd) =3D=3D FAIL && signum =3D=3D= SIGFPE); + + return EXIT_SUCCESS; +} diff --git a/tests/tcg/s390x/Makefile.target b/tests/tcg/s390x/Makefile.tar= get index 04e4bddd83..e2aba2ec27 100644 --- a/tests/tcg/s390x/Makefile.target +++ b/tests/tcg/s390x/Makefile.target @@ -46,6 +46,7 @@ TESTS+=3Dlaalg TESTS+=3Dadd-logical-with-carry TESTS+=3Dlae TESTS+=3Dcvd +TESTS+=3Dcvb =20 cdsg: CFLAGS+=3D-pthread cdsg: LDFLAGS+=3D-pthread --=20 2.43.0