From patchwork Sat Jul 29 01:56:19 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Tsukasa OI X-Patchwork-Id: 127958 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:918b:0:b0:3e4:2afc:c1 with SMTP id s11csp797029vqg; Fri, 28 Jul 2023 18:57:25 -0700 (PDT) X-Google-Smtp-Source: APBJJlGSWgH19hmr2SCqkMsp644xbPU7aRWgka/wyWNnn/e9o1z4AOlYkmqODQtls91Dh3HxoWwW X-Received: by 2002:a17:906:7788:b0:99b:dfe5:74f5 with SMTP id s8-20020a170906778800b0099bdfe574f5mr890764ejm.41.1690595845678; Fri, 28 Jul 2023 18:57:25 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1690595845; cv=none; d=google.com; s=arc-20160816; b=KyuMpcwFJHc/bNyjli2cdsGQ/Z9MXSYq3aK4MDREmfdA43Kx8s/e3VvCHjYZfmDqb5 cI2hx5ONU0St/Iru63U6AmAc6a3LFdY+Mi1SwaFh4b28TgJyASRC8a+Ux4tbmcbgYUS7 plEZQe+HFMEXO9icYM9qVFgO/Rlqo2K4B4P5gGG9Iel1eatePKi8B4aufu6QQH5rwO7V zhd4QVCA73jVtb3vKtB9qeTONlxu+VkW3ImTdjX7Xcn6/IyY81KcO1OpNVYtOMp1eWp/ T4nSQBxluHE6ga0tpU77LGBTosknkEudsKdsgqt8hffHD+DloKJfRpGpvT0ueGSPjPwl MzMg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:reply-to:from:list-subscribe:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence :content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:dmarc-filter:delivered-to :dkim-signature:dkim-filter; bh=XzSFHtN8gxcGT2WleCXzYbCAtMevue4z1HMXZNHW6Lc=; fh=KnRutd7BouZxRY+6M5qDe08RppVkf82SqeNz44ywgXI=; b=s6nrr3zHzWtzifEs45bhp/vHCjLHPxq+0QAar3YqMKciw21kCEdJODQ19nskyIyaFW eJALmR6p35TpUTo6wrIomedUgM0C8U0XG99No2K9CgGi2OK9AW1TKoDGSJT2e9Z9CXRe FNIuycpYXldaNjDuZsuIuSboX/giF7AeC3xcTL+ZlzxnOSFsjlccbHn1qMRTFsq754uH 7f5L2LLvZOM/QuStrt6QIj8piH1wKoZbeFwG1aIgX7iFBMf+HW2ZXctubfvH8gS2aAhi i3i9pV8/u/7tc1nQeA9WmnmYU8sIOMibbyPJzteq+wuIYoBJ23AZ3S3gAbdMYKFjMRaW NRTQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@sourceware.org header.s=default header.b=vJqYR86G; spf=pass (google.com: domain of binutils-bounces+ouuuleilei=gmail.com@sourceware.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="binutils-bounces+ouuuleilei=gmail.com@sourceware.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=sourceware.org Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id n11-20020a170906088b00b009937e7c4e50si3439405eje.546.2023.07.28.18.57.25 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 28 Jul 2023 18:57:25 -0700 (PDT) Received-SPF: pass (google.com: domain of binutils-bounces+ouuuleilei=gmail.com@sourceware.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@sourceware.org header.s=default header.b=vJqYR86G; spf=pass (google.com: domain of binutils-bounces+ouuuleilei=gmail.com@sourceware.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="binutils-bounces+ouuuleilei=gmail.com@sourceware.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 0AD3D385C414 for ; Sat, 29 Jul 2023 01:57:08 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0AD3D385C414 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1690595828; bh=XzSFHtN8gxcGT2WleCXzYbCAtMevue4z1HMXZNHW6Lc=; h=To:Cc:Subject:Date:In-Reply-To:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=vJqYR86GdmmhKhu56tltswhYauLenVVwNczBCraIEyuguylGA42aDEc0svsD43nfK XFvyHrAiieR/n+DpXsrUwGIMnmfHmVYC+TsMaZ91sOpiS8dv5/8wlEyUFTDO1yPGDY bc9/b0GtkHxAVdI8QwqWTw+R4cIbA/aAMZEpWMN4= X-Original-To: binutils@sourceware.org Delivered-To: binutils@sourceware.org Received: from mail-sender-0.a4lg.com (mail-sender-0.a4lg.com [IPv6:2401:2500:203:30b:4000:6bfe:4757:0]) by sourceware.org (Postfix) with ESMTPS id 7E74338555AF for ; Sat, 29 Jul 2023 01:56:57 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7E74338555AF Received: from [127.0.0.1] (localhost [127.0.0.1]) by mail-sender-0.a4lg.com (Postfix) with ESMTPSA id 4B34D300089; Sat, 29 Jul 2023 01:56:55 +0000 (UTC) To: Tsukasa OI , Palmer Dabbelt , Andrew Waterman , Jim Wilson , Nelson Chu , Kito Cheng , Jiawei Cc: binutils@sourceware.org Subject: [REVIEW ONLY 2/3] MOCK: RISC-V: Add 'Zce' extension support Date: Sat, 29 Jul 2023 01:56:19 +0000 Message-ID: <8d7e2380a4ebb6795b33559ab98c5ca4e3881dcb.1690595772.git.research_trasio@irq.a4lg.com> In-Reply-To: References: Mime-Version: 1.0 X-Spam-Status: No, score=-12.0 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, GIT_PATCH_0, KAM_MANYTO, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: binutils@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Binutils mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Tsukasa OI via Binutils From: Tsukasa OI Reply-To: Tsukasa OI Errors-To: binutils-bounces+ouuuleilei=gmail.com@sourceware.org Sender: "Binutils" X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1772718229558977044 X-GMAIL-MSGID: 1772718229558977044 From: Tsukasa OI It adds a support for the 'Zce' superset compressed instruction extension for embedded systems. **THIS IS A MOCKUP** Since 'Zcmp' and 'Zcmt' are not added to GNU Binutils yet, this commit is just a mockup. However, it outlines what will be required on the 'Zce' support along with new complex implication design. bfd/ChangeLog: * elfxx-riscv.c (check_implicit_for_f_zce): New function to check whether adding implication 'F' -> 'Zcf' is appropriate. (riscv_implicit_subsets): Add conditional implication from 'F' -> 'Zcf'. (riscv_supported_std_z_ext): [MOCK] Add 'Zce' to the supported 'Z' extension list. --- bfd/elfxx-riscv.c | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/bfd/elfxx-riscv.c b/bfd/elfxx-riscv.c index 06ac521bdf27..94487306fae5 100644 --- a/bfd/elfxx-riscv.c +++ b/bfd/elfxx-riscv.c @@ -1099,6 +1099,20 @@ check_implicit_for_i (const riscv_parse_subset_t *rps ATTRIBUTE_UNUSED, && subset->minor_version < 1)); } +/* Add the IMPLICIT only when the 'Zce' extension is also available + and XLEN is 32. */ + +static bool +check_implicit_for_f_zce (const riscv_parse_subset_t *rps, + const riscv_implicit_subset_t *implicit + ATTRIBUTE_UNUSED, + const riscv_subset_t *subset ATTRIBUTE_UNUSED) +{ + riscv_subset_t *tmp = NULL; + return *rps->xlen == 32 + && riscv_lookup_subset (rps->subset_list, "zce", &tmp); +} + /* All extension implications. */ static riscv_implicit_subset_t riscv_implicit_subsets[] = @@ -1184,6 +1198,10 @@ static riscv_implicit_subset_t riscv_implicit_subsets[] = {"zvksg", "zvkg", check_implicit_always}, {"zvksc", "zvks", check_implicit_always}, {"zvksc", "zvbc", check_implicit_always}, + {"zce", "zca", check_implicit_always}, + {"zce", "zcb", check_implicit_always}, + {"zce", "zcmp", check_implicit_always}, + {"zce", "zcmt", check_implicit_always}, {"zcf", "zca", check_implicit_always}, {"zcd", "zca", check_implicit_always}, {"zcb", "zca", check_implicit_always}, @@ -1194,6 +1212,9 @@ static riscv_implicit_subset_t riscv_implicit_subsets[] = {"sscofpmf", "zicsr", check_implicit_always}, {"ssstateen", "zicsr", check_implicit_always}, {"sstc", "zicsr", check_implicit_always}, + /* Complex implications (that should be checked after others). */ + {"f", "zcf", check_implicit_for_f_zce}, + /* Tail of the list. */ {NULL, NULL, NULL} }; @@ -1325,6 +1346,10 @@ static struct riscv_supported_ext riscv_supported_std_z_ext[] = {"zcb", ISA_SPEC_CLASS_DRAFT, 1, 0, 0 }, {"zcf", ISA_SPEC_CLASS_DRAFT, 1, 0, 0 }, {"zcd", ISA_SPEC_CLASS_DRAFT, 1, 0, 0 }, + /* MOCK: uncomment those lines once ready. */ + // {"zce", ISA_SPEC_CLASS_DRAFT, 1, 0, 0 }, + // {"zcmp", ISA_SPEC_CLASS_DRAFT, 1, 0, 0 }, + // {"zcmt", ISA_SPEC_CLASS_DRAFT, 1, 0, 0 }, {NULL, 0, 0, 0, 0} };