From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pj1-x1036.google.com (mail-pj1-x1036.google.com [IPv6:2607:f8b0:4864:20::1036]) by sourceware.org (Postfix) with ESMTPS id 19F4D384F6C6 for ; Fri, 18 Nov 2022 04:29:09 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 19F4D384F6C6 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=rivosinc.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=rivosinc.com Received: by mail-pj1-x1036.google.com with SMTP id v3-20020a17090ac90300b00218441ac0f6so7346161pjt.0 for ; Thu, 17 Nov 2022 20:29:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rivosinc-com.20210112.gappssmtp.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:to:from:cc :in-reply-to:subject:date:from:to:cc:subject:date:message-id :reply-to; bh=cZVSRutVxFRPVQhgvU65vgPsL735UGjeEAeOJmb1AjM=; b=rTc8rVJh5oseLTGNxUZEWfWaqSnLG5T6hhyh6Og3uzlKDI1ZjjlogTmSKAj/+ViD/5 nUuus2IKc8hRvRzs8txSQO9m/wvAbjtwuTJcutpx+fGl0AdMFXN9Fxa+rGbQMAAstZOO n9wQcQloDeDRDWYsFqUXmSWfBanAmOhIhNW7DtAN70r2n1pirUSkD5gt6FJ+szYQuB9P a5R0KddYUUOTY4BUTiX+bmRlbzIJu8M+2H6xLgW50MmyPbevxb7TDP84eLROm4YehnCz 8Ok+aCwB7ikb93rJmxr7coiyPgJicOhhA74aiCSQsITZu2eA6CbILwWV+tmbExpc2enR /mOg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:to:from:cc :in-reply-to:subject:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=cZVSRutVxFRPVQhgvU65vgPsL735UGjeEAeOJmb1AjM=; b=4uvQvYzlFfvqIcGHGd4E12gcm09zsThWrjV/rjYqSOm2UHIJipV7ipg+xs2ou+uAhl zUnyXi8eh2MN8ZodyInyrrB79xCvnINVk/n60rl+dwH7AhSniIYnY5VUvvjiOX+zUK81 JjKOqO2UhaqfX4tEafgIrIg3oOxaxIMpElyrTXWIa3w5X9SudXUt9fxuMcDjn9Chktzz NUAWIfDj8TpIoTLL2Xo4/G8ejUQQ2R5F9vjy42UqYl161pVp+1ABQGfR5m/FCw1LigTO qYpMAzth/InjrJwU051x75hOyunEHyW0EcB7ZO4z/pOaSZii9VwcVr6zn/WqyKVSarkG feHw== X-Gm-Message-State: ANoB5pl/cE7YQ+lc/znnGoRvlOsyOtK9JxXC2F370C0lHsytj0hd4ukQ 09ALqgb4j/28ji60YkRyWSGKBgosFXWtmw== X-Google-Smtp-Source: AA0mqf4Nt6E6+uFE2sJytyiuNLw2WaRCrZJkJyok77pvXdL+mase7eAO5z6ZR+ouvfFstX3O2xPMJg== X-Received: by 2002:a17:90a:668b:b0:218:8666:e77f with SMTP id m11-20020a17090a668b00b002188666e77fmr1333240pjj.0.1668745747638; Thu, 17 Nov 2022 20:29:07 -0800 (PST) Received: from localhost ([50.221.140.188]) by smtp.gmail.com with ESMTPSA id c8-20020a170902b68800b00188b5d25438sm2366348pls.35.2022.11.17.20.29.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 17 Nov 2022 20:29:07 -0800 (PST) Date: Thu, 17 Nov 2022 20:29:07 -0800 (PST) X-Google-Original-Date: Thu, 17 Nov 2022 20:18:39 PST (-0800) Subject: Re: [PATCH] invoke: RISC-V's -march doesn't take ISA strings In-Reply-To: CC: gcc-patches@gcc.gnu.org, kito.cheng@sifive.com, philipp.tomsich@vrull.eu, wuwei2016@iscas.ac.cn, jiawei@iscas.ac.cn From: Palmer Dabbelt To: christoph.muellner@vrull.eu Message-ID: Mime-Version: 1.0 (MHng) Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-11.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Wed, 09 Nov 2022 01:52:12 PST (-0800), christoph.muellner@vrull.eu wrote: > On Wed, Nov 9, 2022 at 4:00 AM Palmer Dabbelt wrote: > >> On Tue, 08 Nov 2022 05:40:10 PST (-0800), christoph.muellner@vrull.eu >> wrote: >> > On Mon, Nov 7, 2022 at 8:01 PM Palmer Dabbelt >> wrote: >> > >> >> The docs say we take ISA strings, but that's never really been the case: >> >> at a bare minimum we've required lower case strings, but there's >> >> generally been some subtle differences as well in things like version >> >> handling and such. We talked about removing the lower case requirement >> >> in the last GNU toolchain meeting and we've always called other >> >> differences just bugs. We don't have profile support yet, but based on >> >> the discussions on the RISC-V lists it looks like we're going to have >> >> some differences there as well. >> > >> > >> >> So let's just stop pretending these are ISA strings. That's been a >> >> headache for years now, if we're meant to just be ISA-string-like here >> >> then we don't have to worry about all these long-tail ISA string parsing >> >> issues. >> >> >> > >> > You are right, we should first properly specify the -march string, >> > before we talk about the implementation details of the parser. >> > >> > I tried to collect all the recent change requests and undocumented >> > properties of the -march string and worked on a first draft >> specification. >> > As the -march flag should share a common behavior across different >> > compilers and tools, I've made a PR to the RISC-V toolchain-conventions >> > repo: >> > https://github.com/riscv-non-isa/riscv-toolchain-conventions/pull/26 >> > >> > Do you mind if we continue the discussion there? >> >> IMO trying to handle this with another RISC-V spec is a waste of time: >> we've spent many years trying to follow the specs here, it's pretty >> clear they're just not meant to be read in that level of detail. This >> sort of problem is all over the place in RISC-V land, moving to a >> different spec doesn't fix the problem. >> > > I created the documentation as a response of your comment in your patch > about > the flag being "woefully under-documented". > You can call my attempt to address this a "waste of time", but a more > constructive > approach would be appreciated. We need to document it in invoke (still .texi? Not sure if that's changing along with sphinx...). That's really been the case for quite a while now, we've had users complain about it. We've just sort of been lazy and called it an ISA string with some small exceptions, but if something like this goes in then we don't have that excuse any more. > The reason I created a PR over there in the riscv-toolchain-conventions > repo is, > that it is the agreed place to document the common behavior of RISC-V > compilers/tools (e.g. command line flags). > I.e. to ensure that LLVM developers can also contribute to a common > solution. That's very different than what you suggested. What GCC does needs to be discussed on the GCC mailing lists and documented along with GCC. If you want to document want all RISC-V compilers do that's up to you, but that PR describes things that neither GCC nor LLVM currently do. We've been through this a bunch of times, it's the same discussion again. > If I understand correctly, you want something between the documentation that > you wrote as part of this patch and the PR that I created. > If so, then please let me know the details you don't want to have documented > in my proposal. You can do whatever you want with your time, that's your decision. That said, I still consider this a waste of time, for two reasons: * We still need to document the GCC behavior along with GCC. Nothing from the RISC-V foundation changes that. Even if that documentation perfectly described the GCC behavior at any given time, there's all sorts of versioning and licensing issues that make it unusable in practice. * We tried using the RISC-V specs as a single point of agreement, that was the ISA string. There's been years worth of issues around this, we just have different definitions of some basic terms like "compatible". That's fine, every community does things their own way, but moving these definitions to a different RISC-V spec doesn't change anything. So if you want to go write something in that repo then you're more than welcome to. I just don't think it solves any problems -- we've got two standards, we can't fix that by adding a third. > Anyway, thanks for your feedback. > I'll quote/reference it in the PR so it won't get lost. > > >> >> >> Link: https://lists.riscv.org/g/sig-toolchains/message/486 >> >> >> >> gcc/ChangeLog >> >> >> >> doc/invoke.texi (RISC-V): -march doesn't take ISA strings. >> >> >> >> --- >> >> >> >> This is now woefully under-documented, as we can't even fall back on the >> >> "it's just an ISA string" excuse any more. I'm happy to go document >> >> that, but figured I'd just send this along now so we can have the >> >> discussion. >> >> --- >> >> gcc/doc/invoke.texi | 8 ++++---- >> >> 1 file changed, 4 insertions(+), 4 deletions(-) >> >> >> >> diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi >> >> index 94a2e20cfc1..780b0364c52 100644 >> >> --- a/gcc/doc/invoke.texi >> >> +++ b/gcc/doc/invoke.texi >> >> @@ -28617,11 +28617,11 @@ Produce code conforming to version 20191213. >> >> The default is @option{-misa-spec=20191213} unless GCC has been >> configured >> >> with @option{--with-isa-spec=} specifying a different default version. >> >> >> >> -@item -march=@var{ISA-string} >> >> +@item -march=@var{target-string} >> >> @opindex march >> >> -Generate code for given RISC-V ISA (e.g.@: @samp{rv64im}). ISA >> strings >> >> must be >> >> -lower-case. Examples include @samp{rv64i}, @samp{rv32g}, @samp{rv32e}, >> >> and >> >> -@samp{rv32imaf}. >> >> +Generate code for given target (e.g.@: @samp{rv64im}). Target strings >> >> are >> >> +similar to ISA strings, but must be lower-case. Examples include >> >> @samp{rv64i}, >> >> +@samp{rv32g}, @samp{rv32e}, and @samp{rv32imaf}. >> >> >> >> When @option{-march=} is not specified, use the setting from >> >> @option{-mcpu}. >> >> >> >> -- >> >> 2.38.1 >> >> >> >> >>