From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wr1-f54.google.com (mail-wr1-f54.google.com [209.85.221.54]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 4B0275579F for ; Tue, 21 May 2024 07:58:29 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.221.54 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1716278312; cv=none; b=ir0Kgyy4YFw8whEpf79lU9UOORxp1ktCecnYij3QdHv9q6kwrBVmRkYJ4AVEMt/x2OgHAErAYvO0cn5le5jFIea7D/Qu99W7sx1n0M0oEWqEz70gUej8yQSAeNDLeMYBKFNDwC4pHssEWSiOKRVc67uZGHndjDSYjzwlj0saYOM= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1716278312; c=relaxed/simple; bh=YbW/ijAGccFQlQTqAfJm9lN3VLgscw+sw3OGEMReWk8=; h=Message-ID:Date:MIME-Version:Subject:To:Cc:References:From: In-Reply-To:Content-Type; b=F4YeAMNlw5xqvtKL31YFqNMs2HT9N32iJyCTv+SsGvNSzcilAIeHHZLXBMd37h5O0BVcVss6c4826b9L1ErL4d5h/7WZIyxOlCImkBfifRLLXxKsPQR64J2DJZgV9evRKamYpyVk6AcpXovJs5DzQSyCaLeNBmm5or8bgFaYlew= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=none (p=none dis=none) header.from=rivosinc.com; spf=pass smtp.mailfrom=rivosinc.com; dkim=pass (2048-bit key) header.d=rivosinc-com.20230601.gappssmtp.com header.i=@rivosinc-com.20230601.gappssmtp.com header.b=tRSIHZVI; arc=none smtp.client-ip=209.85.221.54 Authentication-Results: smtp.subspace.kernel.org; dmarc=none (p=none dis=none) header.from=rivosinc.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=rivosinc.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=rivosinc-com.20230601.gappssmtp.com header.i=@rivosinc-com.20230601.gappssmtp.com header.b="tRSIHZVI" Received: by mail-wr1-f54.google.com with SMTP id ffacd0b85a97d-354ba9ae540so128960f8f.3 for ; Tue, 21 May 2024 00:58:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rivosinc-com.20230601.gappssmtp.com; s=20230601; t=1716278307; x=1716883107; darn=vger.kernel.org; h=content-transfer-encoding:in-reply-to:from:content-language :references:cc:to:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=GBb6iShuxHaV7v6bJv2LipIX1/0KjJPEPWALv2DbLcM=; b=tRSIHZVIGlH4zuEM4xjxevPKjIjyEAC7TRQMEzuN/x7oZnnoRXErQdwagNObslHH9Q 4o/O20kCD3/rOzIDpSRuQBNHLC6F0eKPsWpJ+j2bkiBL5mY5DtjNMGfrbxOWWUN9J2f9 SiK0EvVLTRBDnq8+NF3PKD/iE9F0ztId7AlHJc/k8DbgtdSeAPcYAWvCBR+N4vQirYg9 3bQ4Aj19SyPzZo9Rh5lhxH4VhCsCEpv9kCyh985X/wmyy4hXj/tpiBZyu0pQIJShKUQf D2bj4QGrUQzjNCBXlVGxfM7OHMnIIyfaUW9MNRMpvgFuDHLRDQ+eJTqTJAuMS0A2v+Mh /Jrw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1716278307; x=1716883107; h=content-transfer-encoding:in-reply-to:from:content-language :references:cc:to:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=GBb6iShuxHaV7v6bJv2LipIX1/0KjJPEPWALv2DbLcM=; b=lfUM8Ut+3peFwvcoGFAcV1xUNgfNSMl89fOLjmQGSyXs2TbbTCFUxpDPBXTEUfswln p5iPDeJRD3qKFxFDjm5acvAcGkxxws8PgQKzo55EAGHjxIBMyPb0hZajBeUqtOcFvjr1 lX4TY2CDHFu0EBA+/efcicAxH5Z7UgxN10XMLT9vQAFnSv2pyEzplmDioL3fOPPnTCIH WJsd0MtB6FQe02RzEwInTqtoLY5w5gMPnV64TE8jvbv+bv4m0NIExIMXM5Lb09BECMdE fVWOiATcCC+vHmIPIPe6UsS5BTX6wu7IurBI6AwGvbDJCGFrlzM12XyepLFXLyyqGmJY 9sOw== X-Forwarded-Encrypted: i=1; AJvYcCWFlHDwtt6hOAQxcvYVXBX7bUvP+hQaREsQsuzSjTk3/0ZCwzEnQmz1nRuWnr+WEgR/0fTkYMgjYVqTVsgVHqXFocozN4oO49/Kvg== X-Gm-Message-State: AOJu0YyIjlNwgG9o0gGJZJgDCMGtRNxJebKsElQ9+/vuZU0XKCTMZNcS a1g6WxJKxqLjRxzz7ukj/2LwMPbtlCZaPvyEdTjPyXuYk50OTE/+1GSn7ZZdMeU= X-Google-Smtp-Source: AGHT+IHfRRdzTlFAebZ7wRlj20qZMeakja/n64TG1vwKypRDd/Ir6iJk3WrsYiVjjhgxZ9RFdOvn+A== X-Received: by 2002:adf:eed1:0:b0:34d:7201:460a with SMTP id ffacd0b85a97d-3504a10f308mr21256806f8f.0.1716278307420; Tue, 21 May 2024 00:58:27 -0700 (PDT) Received: from ?IPV6:2a01:e0a:999:a3a0:813a:5863:97f7:aca7? ([2a01:e0a:999:a3a0:813a:5863:97f7:aca7]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3502bbbbefdsm31017829f8f.94.2024.05.21.00.58.26 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 21 May 2024 00:58:26 -0700 (PDT) Message-ID: <6d2eb1ec-010d-4390-a25e-afd2fca0311d@rivosinc.com> Date: Tue, 21 May 2024 09:58:25 +0200 Precedence: bulk X-Mailing-List: devicetree@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v5 07/16] riscv: add ISA extensions validation callback To: Conor Dooley Cc: Jonathan Corbet , Paul Walmsley , Palmer Dabbelt , Albert Ou , Rob Herring , Krzysztof Kozlowski , Anup Patel , Shuah Khan , Atish Patra , linux-doc@vger.kernel.org, linux-riscv@lists.infradead.org, linux-kernel@vger.kernel.org, devicetree@vger.kernel.org, kvm@vger.kernel.org, kvm-riscv@lists.infradead.org, linux-kselftest@vger.kernel.org References: <20240517145302.971019-1-cleger@rivosinc.com> <20240517145302.971019-8-cleger@rivosinc.com> <20240517-scrunch-palace-2f83aa8cc3ce@spud> Content-Language: en-US From: =?UTF-8?B?Q2zDqW1lbnQgTMOpZ2Vy?= In-Reply-To: <20240517-scrunch-palace-2f83aa8cc3ce@spud> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit On 17/05/2024 18:44, Conor Dooley wrote: > On Fri, May 17, 2024 at 04:52:47PM +0200, Clément Léger wrote: >> Since a few extensions (Zicbom/Zicboz) already needs validation and >> future ones will need it as well (Zc*) add a validate() callback to >> struct riscv_isa_ext_data. This require to rework the way extensions are >> parsed and split it in two phases. First phase is isa string or isa >> extension list parsing and consists in enabling all the extensions in a >> temporary bitmask (source isa) without any validation. The second step >> "resolves" the final isa bitmap, handling potential missing dependencies. >> The mechanism is quite simple and simply validate each extension >> described in the source bitmap before enabling it in the resolved isa >> bitmap. validate() callbacks can return either 0 for success, >> -EPROBEDEFER if extension needs to be validated again at next loop. A >> previous ISA bitmap is kept to avoid looping multiple times if an >> extension dependencies are never satisfied until we reach a stable >> state. In order to avoid any potential infinite looping, allow looping >> a maximum of the number of extension we handle. Zicboz and Zicbom >> extensions are modified to use this validation mechanism. > > I wish we weren't doin' it at all, but since we have to, I think what > you've got here is good. Yup, this is what you got with a fast evolving architecture I guess ;) > Reviewed-by: Conor Dooley > > Do you want me to send some patches for the F/V stuff we discussed > previously? Sure go ahead, I did not have anything written yet. Thanks, Clément > > Cheers, > Conor.