From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id 6PAQFjlv7WUqzQAAe85BDQ:P1 (envelope-from ) for ; Sun, 10 Mar 2024 09:28:41 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id 6PAQFjlv7WUqzQAAe85BDQ (envelope-from ) for ; Sun, 10 Mar 2024 09:28:41 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=PWKtHLEg; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1710059321; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=6ZYBa8XMCAwySYgLK9HrtCYCIj5PJDhqbnaa3yhzeqU=; b=B1KfP9gdlR79dOCsi1sLU5oR9bwVEL94Wk1e9mZjbZHMEagcc1zOQqpg6jtHpRFwmpI/QL YtNFdXT9VSXryMUuimqQB25w+oaeN2E3nCg8u48AyTfr/pYZxYxo7+23ZH3ijUlJpmESYl FWL0FFTmaEKGy+99GZ68JI43aqy/e6ARrVzqNXDeRUM3s0ifC1P25OZsivoDAR6s4I2/rW r6D+Ajxh01BTb6fo3HlaCBvpLzUyD40TaO4qlrGmMh6bHE5xK+W2F4NRn/LAQCgWOMcUaz FxcMo4bADXroYs3o7OyysOKGaQQdCcxaoG6LLv+p+DXw1YkVw15ttDXu8lyU+Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1710059321; a=rsa-sha256; cv=none; b=d4sp1NLriFfdACX5Z4LnvPKVx84qYbxbTICF8lBc8R/ZwKhKiuMTyDV9ynKBUSQirIjrCL YkoFEpHQUDSKlX4vYA4bJjfeOKvReMpAldkYFY6AkZUJHXJu+RWTbCd8YJZ3ifmilAJMK7 zO5+2UqSkguKIVzx7ICidIjbYO4/NrliHNm4pv0sSmlkWapoTrm1++toHSlunRWJfCa6D9 68yBZL8yb8HwjAIi8n1RI6Bj+QxRDfz+ma+d3cAVhNMnbnbjAqoSiG4jmCPHFgOHoGVPOt VhIB2VT7N3QKNubPWSDxzHPNGfDc+VWVBtTg8I3QMQGUX2hOt+lUnZXXcjvQhQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=PWKtHLEg; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id B97663B109 for ; Sun, 10 Mar 2024 09:28:40 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rjEXn-00022k-Te; Sun, 10 Mar 2024 04:28:31 -0400 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 1rjEXk-00022Y-SX for guix-patches@gnu.org; Sun, 10 Mar 2024 04:28:29 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rjEXk-0007yB-Kb for guix-patches@gnu.org; Sun, 10 Mar 2024 04:28:28 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rjEYH-0005sf-N0 for guix-patches@gnu.org; Sun, 10 Mar 2024 04:29:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#69581] [PATCH 07/11] gnu: rust: Add tuning information. Resent-From: Efraim Flashner Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 10 Mar 2024 08:29:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69581 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 69581@debbugs.gnu.org Received: via spool by 69581-submit@debbugs.gnu.org id=B69581.171005929822554 (code B ref 69581); Sun, 10 Mar 2024 08:29:01 +0000 Received: (at 69581) by debbugs.gnu.org; 10 Mar 2024 08:28:18 +0000 Received: from localhost ([127.0.0.1]:35588 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjEXa-0005rh-Fx for submit@debbugs.gnu.org; Sun, 10 Mar 2024 04:28:18 -0400 Received: from mail-wr1-f53.google.com ([209.85.221.53]:52608) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjEXV-0005rR-U2 for 69581@debbugs.gnu.org; Sun, 10 Mar 2024 04:28:17 -0400 Received: by mail-wr1-f53.google.com with SMTP id ffacd0b85a97d-33e796cc90dso1724014f8f.1 for <69581@debbugs.gnu.org>; Sun, 10 Mar 2024 00:27:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1710059195; x=1710663995; darn=debbugs.gnu.org; h=in-reply-to:content-disposition:mime-version:references :mail-followup-to:message-id:subject:cc:to:from:date:sender:from:to :cc:subject:date:message-id:reply-to; bh=6ZYBa8XMCAwySYgLK9HrtCYCIj5PJDhqbnaa3yhzeqU=; b=PWKtHLEg6xo2QrbfoYiFan+BAO60aG85HOCYLe1irFXmPW2sll10qU/mRW26w1C/Vk 4HhI8BgLsJ/OqhbuAKVMo7tkYYPpZSP5bIhIu648P2ne9y7rAA+T8ohKLSw5B+fiR1K9 2oQUB0Q4IcFpQYQ06N0jiiDPgaWAyGueIeMSGdEs566Ykaeo9QfnbAD+8EYPldYOjHap U2YU7Z+g5i7TQW/ygtnxXLHM7oovrfOfBpx7UZz23UgTNKStB/l0djCp31/4SnTy0qKr 23XY+xs+HjWD+pNemQx78Jplak5/Rz9b4fxRllL9XvM6Oggw38ZW2JP6s4mOL3pCaE3G OtuQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710059195; x=1710663995; h=in-reply-to:content-disposition:mime-version:references :mail-followup-to:message-id:subject:cc:to:from:date:sender :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=6ZYBa8XMCAwySYgLK9HrtCYCIj5PJDhqbnaa3yhzeqU=; b=pw2P94d3r1jYYrjGs6sMZdBRulM78KuNON5BI4lHQML8PwM/vxiDFqRgf07BsywTUJ rh5N+PucxCrlahkIcf82lgmYeGK1CUbP3EgiPpYjWYMzib06IHlmylVz8t4EOTA7Rur+ Y5gSCz12P2nEI3ANjETH8/UDqNvPKpHhAuL7vIRSPkR60CkYN+pEFayCBJz5pi0OQK7C t09CfLCDk4gc2ySujsW406ySDqNKhFlXenkM7y62u0S2cnzgTVsvBJYsGxxAb3/I2k+6 fdJUvEy7ITASnizyHgssl4xOFbAuszOWv/TV/8RnZK2buo7U+Jcm4sMqc53Paq0+FQ0z /SNg== X-Gm-Message-State: AOJu0YyivwRNO015WBfyw3lZGjbXR6XkQn6vuixqiIi8KUqqM4+bqO2l wTNG2j20iD2yAb+KcnZtHLo6qJ4HOL1otRYvFJDpHZnH2s0vPuEyltnBALCAZAU= X-Google-Smtp-Source: AGHT+IF7kdrwdMGVKNpTcFJ54DTFtEt7MlK7+kyIT6E9cF4Py3qL3TSR/KLhbeo6Vr+8zbK4WKOiIA== X-Received: by 2002:a05:600c:358f:b0:413:216c:9d67 with SMTP id p15-20020a05600c358f00b00413216c9d67mr2353229wmq.14.1710059194411; Sun, 10 Mar 2024 00:26:34 -0800 (PST) Received: from localhost ([141.226.12.177]) by smtp.gmail.com with ESMTPSA id w11-20020a05600c474b00b004130fef5134sm10992833wmo.11.2024.03.10.00.26.33 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 10 Mar 2024 00:26:33 -0800 (PST) Date: Sun, 10 Mar 2024 10:26:31 +0200 From: Efraim Flashner Message-ID: Mail-Followup-To: Efraim Flashner , Ludovic =?UTF-8?Q?Court=C3=A8s?= , 69581@debbugs.gnu.org References: <87a5nb9qoh.fsf@gnu.org> <87o7bp67up.fsf@gnu.org> <87y1as2xqo.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="gHYpOKj9w3CqhIs9" Content-Disposition: inline In-Reply-To: <87y1as2xqo.fsf@gnu.org> X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -6.86 X-Spam-Score: -6.86 X-Migadu-Queue-Id: B97663B109 X-Migadu-Scanner: mx11.migadu.com X-TUID: 1PtSnqAp+BcJ --gHYpOKj9w3CqhIs9 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, Mar 08, 2024 at 10:57:03PM +0100, Ludovic Court=C3=A8s wrote: > Hi, >=20 > Efraim Flashner skribis: >=20 > > On Thu, Mar 07, 2024 at 10:38:06PM +0100, Ludovic Court=C3=A8s wrote: >=20 > [...] >=20 > >> Then it should be declared in a module that=E2=80=99s not in a cycle w= ith its > >> users (that=E2=80=99s annoying!). Maybe a separate =E2=80=98llvm-meta= =2Escm=E2=80=99? > > > > How about moving it into (guix cpu) together with the ones from gcc? > > There are apparently some CPUs that are identical but have different > > names that we could map together and would allow us to make any changes > > to them in one place. We've already pretty much done that with the > > search paths. >=20 > To me, the whole point of the =E2=80=98compiler-cpu-architectures=E2=80= =99 property is > that this info can be stored in the compiler package itself rather than > in some remote unrelated place (the same goes for search paths). My > instinct would be to preserve that, hence the suggestion of a new (gnu > packages llvm-meta) or (=E2=80=A6 llvm-infra) module, something like that. >=20 > We should also keep in mind that those CPU names are those defined by > compilers themselves; they don=E2=80=99t have to match the vendor-chosen = name or > the name chosen by some other compiler. >=20 > WDYT? Does that make sense? That makes sense to me. I'm also going to look at moving system->llvm-target to llvm-meta. I think its used with dlang.scm and maybe elsewhere, or could be used at least. All these languages using llvm as a backend means we keep on wanting to use these functions elsewhere. --=20 Efraim Flashner =D7=A8=D7=A0=D7=A9=D7=9C=D7=A4 = =D7=9D=D7=99=D7=A8=D7=A4=D7=90 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --gHYpOKj9w3CqhIs9 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmXtbrQACgkQQarn3Mo9 g1GKoRAAp6XkyqyM+ht7vLIT1VLFWUBfLSto1DeVRei9al8ACA8xYNz+Ca75cXER Oo4WcI8XNIsb9EDcqx3/wjEHpQS2O8G7rHpyDVsoGzAvTXEHJcmCpRjIA7iqo9Np vBAPjNYKk2uxVyksAZh6ukVDIFlcoJMxyLSUaetoXuD8jlWIKbQVm7qlH3Jf3+68 jizRQoytEJssv/QcE072dIHPpHocdreWJn3fMRv0c4Xh+AzVUOFCSiF2lEyxTGbc lax0Gf5U3RzKLlU40P5M6UuSMf8lMYbjKST2ayJxhxuHRtEnHSLUPHsuXyGykLFR 0V4vjGHDH3/NUdEbBn8UeIO78avhohrOLfbXEFZbHK2vP+RT7uhpGF3HzqX6FEEV 1UyXSApsoLbRy/TAU8XpZd7M2zEABpFAN9+TY1CPfXRi/UlCPtU+gbo6RSKmDFh/ BgJGU4jV5G0ryLrQuNfsoaMscgNDSicIHzSJUwt/HxNKTGVGPeqpApcHZjs6ayU6 seMrRqMBMbTgzC7PgSdwTu0+zxSBNGxg0qDrJFD5RHuGXp1xfGcVjMIT2lqIOvdd nP5uMGnC7yPgagdSivMARM1v59CIM2c4qjadRrIBkkIqhTfeWeAesRaJ/TOqDCUQ 9aQZcyvA1hB0sJcMtsTdQ/FvfIBGk8LPKQor8r7hJKaCCqnKBEc= =ZSmz -----END PGP SIGNATURE----- --gHYpOKj9w3CqhIs9--