From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 0ECTGqipA2KoGAEAgWs5BA (envelope-from ) for ; Wed, 09 Feb 2022 12:46:48 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id CHDoF6ipA2LB4wAA9RJhRA (envelope-from ) for ; Wed, 09 Feb 2022 12:46:48 +0100 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 DCBB91A95E for ; Wed, 9 Feb 2022 12:46:47 +0100 (CET) Received: from localhost ([::1]:43362 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nHlQs-0003d1-TC for larch@yhetil.org; Wed, 09 Feb 2022 06:46:46 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56520) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nHlNG-00021h-13 for guix-patches@gnu.org; Wed, 09 Feb 2022 06:43:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:56185) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nHlNF-0003xY-Nm for guix-patches@gnu.org; Wed, 09 Feb 2022 06:43:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nHlNF-00022q-JP for guix-patches@gnu.org; Wed, 09 Feb 2022 06:43:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53895] [PATCH 0/5] More CPU detection Resent-From: Efraim Flashner Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 09 Feb 2022 11:43:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53895 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 53895@debbugs.gnu.org Received: via spool by 53895-submit@debbugs.gnu.org id=B53895.16444069597826 (code B ref 53895); Wed, 09 Feb 2022 11:43:01 +0000 Received: (at 53895) by debbugs.gnu.org; 9 Feb 2022 11:42:39 +0000 Received: from localhost ([127.0.0.1]:50082 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nHlMs-00022A-K9 for submit@debbugs.gnu.org; Wed, 09 Feb 2022 06:42:38 -0500 Received: from flashner.co.il ([178.62.234.194]:51676) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nHlMb-00021g-TX for 53895@debbugs.gnu.org; Wed, 09 Feb 2022 06:42:37 -0500 Received: from localhost (unknown [37.46.46.251]) by flashner.co.il (Postfix) with ESMTPSA id 1E69D403CD; Wed, 9 Feb 2022 11:42:16 +0000 (UTC) Date: Wed, 9 Feb 2022 13:41:40 +0200 From: Efraim Flashner Message-ID: Mail-Followup-To: Efraim Flashner , Ludovic =?UTF-8?Q?Court=C3=A8s?= , 53895@debbugs.gnu.org References: <878ruk8gmu.fsf_-_@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="wFxBVcXySSaugCwf" Content-Disposition: inline In-Reply-To: <878ruk8gmu.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" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1644407208; 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; bh=B9oE25meiO969DmRROhW1yDq2wZoqYYPzFy+o1Q8ibE=; b=NfJ5WCCmky8Hiiq/kw9rGDNGPOAAGuavHgkRZ35901J+Ps9Byzm3Gs8hN6+dlk1L2sk+Fw 79QwQALd35rsdI6Unb1dt7Yn0EiP958HWc7vmrkohm49zDH3+ymMBjN7t8Vyiu6u8jlkTY DHGhoItBZrgDCa2JQt2d64jhreB0+1Hve2Y0U+HCzz1UuX/BVr8C421IkQ10PevvjWxDMm TngdeDFrhymDC/408rnzbsO7S1sx4/UsyBXNDzaPK1WnLLRyd3MCYxJDRZyh+1r3CEVTSd JsbihPLBJ5FoeF3NXOgUiFsSGRa/0CtnC/GmdKAG3LCWg+H2b6DfISpyLi5HVg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1644407208; a=rsa-sha256; cv=none; b=d07ZkK2DLrsTGbC66cs+VZQiVCiQf3cP3x3wuBq+ozpTmTzvAj/2uNRYSLIDsohpQXLpiQ qC0qs2oL+8Pjsy085MBsRSVjy1Stiaj+3J7mkx3S2vpX43w6qKtnb3rhMYy9sBps4aCKHR WFuYAhsImP9ppbN5gJ6nZ0Ker1PVlkPAcsfMWbQQldRv6H4H8qaQyzBEdplNv5WPx3fmz2 mrPZlOs5djVglPIAZG18ir7NbVcd/dZBcgWd9vOen0PK3j6ZlGEucO2aQgtpfdAvY8SzGJ hQUn4+9yoFauKoQ2mQ807YAV9UbYEIhykLc8s0pk9Ud9iLvQbCXfPu7OOfODcA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; 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" X-Migadu-Spam-Score: -6.23 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; 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" X-Migadu-Queue-Id: DCBB91A95E X-Spam-Score: -6.23 X-Migadu-Scanner: scn0.migadu.com X-TUID: zVhyBcWuvtZY --wFxBVcXySSaugCwf Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Feb 09, 2022 at 11:43:21AM +0100, Ludovic Court=C3=A8s wrote: > Efraim Flashner skribis: >=20 > > + (letrec-syntax ((if-flags (syntax-rules (=3D>) > > + ((_) > > + #f) > > + ((_ (flags ... =3D> name) re= st ...) > > + (if (every (lambda (flag) > > + (set-contains?= (cpu-flags cpu) > > + = flag)) > > + '(flags ...)) > > + name > > + (if-flags rest ...)))))) > > + > > + (when (=3D 22 (cpu-family cpu)) > > + (if-flags ("movbe" =3D> "btver2"))) > > + (when (=3D 6 (cpu-family cpu)) > > + (if-flags ("3dnowp" =3D> "athalon"))) >=20 > This has no effect (because =E2=80=98if-flags=E2=80=99 returns a value th= at is ignored > since it=E2=80=99s not returned.) >=20 > What we could do is extend =E2=80=98if-flags=E2=80=99 so that it can opti= onally check > for a family number: >=20 > (if-flags ((family 22) "movbe" =3D> "btver2") > =E2=80=A6) Another option would be to just move it to the bottom of the if-flags so it should take effect then. --=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 --wFxBVcXySSaugCwf Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmIDqHIACgkQQarn3Mo9 g1GkEA//X5bQvdreYN25pndzZvbrMOkKClSH4ixxxtv6nptrFa5RBeQrxc0mCTcP Ts0Zk/0WI0lMxmLt+xd/t4p9hkGwxbbw4AqhODhM7wCVcE8rAYSB+IYmpo1fw7qg unedMX8/iZXX5fRPGgkzMXjofeY1Mq19OO5WY+pt8u41UzgHuwd5TRDXbC2Z2JZf gHkrwwrl/C7QsQMYvC5DCGHwGGZpNfzD4FqlGYpaGtTRM8UOV9toZ7zJ2crbduwl O9kLfvtukWFXUa9UOGtCevQslQKOSQ2qjYTxD2ZXrc6YS5OBVd7e+5xDOUWojUTZ on07bwgi//Ny14JFe9vvJl8iaPGNjq0Ye82vokVzMFncCSG0aRzYq9lCBVdfg/Vx Vdfnjlv+MHgUXR7uEUiTKhSFYurKRADTU58WDIPqsHUlTvGhZMC0qmKE5gZ2/3NX ylOz/zZXlfy/NbaJMhJEOKiBcqO4itqpwgydJHjxwB8UBQgueyJ2bP0Fh7uSv2ay YwHtHsMxNaTXAEUEgKwbL4hFNH/Fq6IkbmvvmCL1M9AQd2TLvV5sI31wWwuu5wCp XGeC+C/SiK8DNLIukb0VNT6lm3+Fh6E8Hse5Jodcfr/lTn+EzLS50qbWgeQAnxG0 idwiMfUKCiFxoqdSK7hxU1yBLC8nnqN5ippMcIQLsFCXTpAedPo= =/isV -----END PGP SIGNATURE----- --wFxBVcXySSaugCwf--