From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 6A682C001DF for ; Fri, 4 Aug 2023 09:28:46 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender: Content-Transfer-Encoding:Content-Type:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:In-Reply-To:MIME-Version:References: Message-ID:Subject:Cc:To:From:Date:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=G4XTE+DETDyiGjggTmH3lL0AnXMDz2ZokUup0ubSJc8=; b=uwtyqzUFKDRxEe euyYng/b/M6rH4DjEvYQXOgtQ3QmoxeR2rePcUcfrA8d3oSaHbL9OJJpgf5N4jmKMEzWRkhFeW6oj e91qvTaeljiKeNDG5/JlFdxD5lXYaMebcCJVFBjgqdG21X0AcS84BlXSN+G1uMpw8c2xfXR7Et6L3 /vx4lfWfzswi7v/ziOJv4YjtGlYoHAWkfuCob95Q6MYUgPMCqPRatLIHZkKxns5JLlMtP3EH0O/P1 L2QXcWYLRM4tnNTV+i0AZDpwbSWxzwWBUc6piW+RtnclfBDksduM3EuvXU5UQ/RLiZj7SkSs5WEg/ XhF29k2ku28pRgBN5b8A==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.96 #2 (Red Hat Linux)) id 1qRr6t-00C0t3-0j; Fri, 04 Aug 2023 09:28:39 +0000 Received: from mail-ej1-x62e.google.com ([2a00:1450:4864:20::62e]) by bombadil.infradead.org with esmtps (Exim 4.96 #2 (Red Hat Linux)) id 1qRr6o-00C0rR-1L for linux-riscv@lists.infradead.org; Fri, 04 Aug 2023 09:28:36 +0000 Received: by mail-ej1-x62e.google.com with SMTP id a640c23a62f3a-99bed101b70so256632466b.3 for ; Fri, 04 Aug 2023 02:28:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ventanamicro.com; s=google; t=1691141310; x=1691746110; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=ZfqEgyUyGWV+uCR/G+Jp30EpbAjcXJAFKXc4wfVRnvc=; b=E5XARrnWgyw7Cl6ZED5yZTcAjZ31Ocmt/9ACuiwG3t25Jv8VSFbwPR0xS8/w6YDBWS jFraad9vh58ejKHgML+JfZPZLP6hZx6immp48/Ns5zgR1eVbrtVmIxwjpDjurBTZQLkZ 0la33KkRHDu0Sny+rPQjycd9YlzI3KNeLSdwoRjSh2x7GSGeRvrN+8/jv+SxRdnX4Mf2 5wLmtp9/XsJpk/EWdDbpwoNxWZsvCmxe0FRPzCVH7oKMxWd9yyKlyhyTQ6KTnoB2fiEt 192MzRXO2VNkgNOtCPU4sZx8wov6wXGgBZfbXDKB++JuQrVnIiKO3CXnkPFx07E5vDhY NsZw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1691141310; x=1691746110; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=ZfqEgyUyGWV+uCR/G+Jp30EpbAjcXJAFKXc4wfVRnvc=; b=R2veGKdCC3KLm/RaQvGPvMfgeSrgVAGtC/8bTcbEDwOZuBiqeXTUeVd2jNN9XWNdqy hL3vgpMpo76L9mnzAAvbl8TpHnzGI4HO14katvOntw/biX7HZcs9Rkcoqd+Vy0Mm9r+T psw3g+5/MxT+CX//jxGrZLTn9I6pcR2BPV2nq+zEu/qm7aRFRZvVNg9PPuDSM6bmb14w 6P0DGyQq+mEM13bJsQneyfh0IsdZIw+o6+c1I6yBWpjGScTGRa95oBk1kjud3CKPPLPh Q2vuOXdAl2rcQceuqOlh+U3/2B4hqvDlljTlPX+azq2RlyG1SOqkqFmw/pEeuv+FqW+A bN+Q== X-Gm-Message-State: AOJu0Yxot+tYho5wyLhG7phfVia7PPbzG7Cno9Lp4ibzQ3NTAYQx+MEE WdRvbznticiz/KVcTDQNncNfkg== X-Google-Smtp-Source: AGHT+IE6rLcJxJxn18Xxg19aKhaZkkPhYOGD3RLIstSvThFuRa9fmKxoji2QZX4Ve7Hm/5p2G7FBoA== X-Received: by 2002:a17:906:2012:b0:99b:f53c:3648 with SMTP id 18-20020a170906201200b0099bf53c3648mr991573ejo.72.1691141310471; Fri, 04 Aug 2023 02:28:30 -0700 (PDT) Received: from localhost (212-5-140-29.ip.btc-net.bg. [212.5.140.29]) by smtp.gmail.com with ESMTPSA id p7-20020a1709066a8700b009930042510csm1024394ejr.222.2023.08.04.02.28.29 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 04 Aug 2023 02:28:30 -0700 (PDT) Date: Fri, 4 Aug 2023 12:28:28 +0300 From: Andrew Jones To: Charlie Jenkins Cc: linux-riscv@lists.infradead.org, linux-kernel@vger.kernel.org, kvm@vger.kernel.org, kvm-riscv@lists.infradead.org, bpf@vger.kernel.org, Paul Walmsley , Palmer Dabbelt , Albert Ou , Peter Zijlstra , Josh Poimboeuf , Jason Baron , Steven Rostedt , Ard Biesheuvel , Anup Patel , Atish Patra , Alexei Starovoitov , Daniel Borkmann , Andrii Nakryiko , Martin KaFai Lau , Song Liu , Yonghong Song , John Fastabend , KP Singh , Stanislav Fomichev , Hao Luo , Jiri Olsa , =?utf-8?B?QmrDtnJuIFTDtnBlbA==?= , Luke Nelson , Xi Wang , Nam Cao Subject: Re: [PATCH 00/10] RISC-V: Refactor instructions Message-ID: <20230804-2c57bddd6e87fdebc20ff9d5@orel> References: <20230803-master-refactor-instructions-v4-v1-0-2128e61fa4ff@rivosinc.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <20230803-master-refactor-instructions-v4-v1-0-2128e61fa4ff@rivosinc.com> X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20230804_022835_229323_2F3ADD92 X-CRM114-Status: GOOD ( 24.74 ) X-BeenThere: linux-riscv@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-riscv" Errors-To: linux-riscv-bounces+linux-riscv=archiver.kernel.org@lists.infradead.org On Thu, Aug 03, 2023 at 07:10:25PM -0700, Charlie Jenkins wrote: > There are numerous systems in the kernel that rely on directly > modifying, creating, and reading instructions. Many of these systems > have rewritten code to do this. This patch will delegate all instruction > handling into insn.h and reg.h. All of the compressed instructions, RVI, > Zicsr, M, A instructions are included, as well as a subset of the F,D,Q > extensions. > > --- > This is modifying code that https://lore.kernel.org/lkml/20230731183925.152145-1-namcaov@gmail.com/ > is also touching. > > --- > Testing: > > There are a lot of subsystems touched and I have not tested every > individual instruction. I did a lot of copy-pasting from the RISC-V spec > so opcodes and such should be correct How about we create macros which generate each of the functions an instruction needs, e.g. riscv_insn_is_*(), etc. based on the output of [1]. I know basically nothing about that project, but it looks like it creates most the defines this series is creating from what we [hope] to be an authoritative source. I also assume that if we don't like the current output format, then we could probably post patches to the project to get the format we want. For example, we could maybe propose an "lc" format for "Linux C". I'd also recommend only importing the generated defines and generating the functions that will actually have immediate consumers or are part of a set of defines that have immediate consumers. Each consumer of new instructions will be responsible for generating and importing the defines and adding the respective macro invocations to generate the functions. This series can also take that approach, i.e. convert one set of instructions at a time, each in a separate patch. [1] https://github.com/riscv/riscv-opcodes Thanks, drew > , but the construction of every > instruction is not fully tested. > > vector: Compiled and booted > > jump_label: Ensured static keys function as expected. > > kgdb: Attempted to run the provided tests but they failed even without > my changes > > module: Loaded and unloaded modules > > patch.c: Ensured kernel booted > > kprobes: Used a kprobing module to probe jalr, auipc, and branch > instructions > > nommu misaligned addresses: Kernel boots > > kvm: Ran KVM selftests > > bpf: Kernel boots. Most of the instructions are exclusively used by BPF > but I am unsure of the best way of testing BPF. > > Signed-off-by: Charlie Jenkins > > --- > Charlie Jenkins (10): > RISC-V: Expand instruction definitions > RISC-V: vector: Refactor instructions > RISC-V: Refactor jump label instructions > RISC-V: KGDB: Refactor instructions > RISC-V: module: Refactor instructions > RISC-V: Refactor patch instructions > RISC-V: nommu: Refactor instructions > RISC-V: kvm: Refactor instructions > RISC-V: bpf: Refactor instructions > RISC-V: Refactor bug and traps instructions > > arch/riscv/include/asm/bug.h | 18 +- > arch/riscv/include/asm/insn.h | 2744 +++++++++++++++++++++++++++--- > arch/riscv/include/asm/reg.h | 88 + > arch/riscv/kernel/jump_label.c | 13 +- > arch/riscv/kernel/kgdb.c | 13 +- > arch/riscv/kernel/module.c | 80 +- > arch/riscv/kernel/patch.c | 3 +- > arch/riscv/kernel/probes/kprobes.c | 13 +- > arch/riscv/kernel/probes/simulate-insn.c | 100 +- > arch/riscv/kernel/probes/uprobes.c | 5 +- > arch/riscv/kernel/traps.c | 9 +- > arch/riscv/kernel/traps_misaligned.c | 218 +-- > arch/riscv/kernel/vector.c | 5 +- > arch/riscv/kvm/vcpu_insn.c | 281 +-- > arch/riscv/net/bpf_jit.h | 707 +------- > 15 files changed, 2825 insertions(+), 1472 deletions(-) > --- > base-commit: 5d0c230f1de8c7515b6567d9afba1f196fb4e2f4 > change-id: 20230801-master-refactor-instructions-v4-433aa040da03 > -- > - Charlie > > > -- > kvm-riscv mailing list > kvm-riscv@lists.infradead.org > http://lists.infradead.org/mailman/listinfo/kvm-riscv _______________________________________________ linux-riscv mailing list linux-riscv@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-riscv