From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR02-VE1-obe.outbound.protection.outlook.com (mail-eopbgr20046.outbound.protection.outlook.com [40.107.2.46]) by sourceware.org (Postfix) with ESMTPS id 411F53858C55 for ; Thu, 13 Oct 2022 13:41:06 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 411F53858C55 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=arm.com ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=eSHmNyjULVrsH1w3N+G8QWCk7JdgHhfcvliy+ObeaGemHUPRToAgUMBhNhU5NjVUMLH3IYu3QZvVLu6EjXfr7bJLYHjIaViVuPlGYOlzLUJA0J/0NwiUaavX2Od5FUNAg96KcUeKUZAJKLUgIDe5FEl7yBma/V2Nbq95isHshPOEBQfAo8190yiBf1GjEyPOT3BDvoJ0spPEpvx4RSpJyLg9dVzvYKeR0lp0+3Ajs/AoCOBhlKU5Y+TGM620dnSLfRbkJpgbJVo6VeHvOclzIsuDLufSOkEb1tpJvxsg6VbTiG5WPMeI3IULeptIN3eCybhhG+TLb07X4Q4nB7mQ/g== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=sfk0lxb5LIwHIeFLYanpUqdNBw2PdpFRsr2KeW6U43w=; b=TFIeKiEYyfzb2UCVzm7pUfRfXQrgNdYC0szhe9k9H94PnhDs+J84iN1cGqwdKLw72FNBNT+cgbhV4BTXfBoU0sQhgYsDITo95e/ykNE4yjnec/nf6s2NK8EqNxzAnD8p0zsQgHYKVqLqhHwTagZCH2SJ8mia57Fact/nhD0wAfotusuonRp++Yl4kyMJt4FmxavI1cyspcEsThsR8VDTteKHqSYg3XivBE/ymNxWENYZrv6LLYYSJEfBMoeu3+H+22BPNndDWVrsgWZKkAuAnOsC4N2RaFLg7lgjswvznzpmIkNLRyfbTjrvyVmbx/YASFwlpFBlYcJdwZmyH1gRsA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 63.35.35.123) smtp.rcpttodomain=gcc.gnu.org smtp.mailfrom=arm.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=arm.com; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com; arc=pass (0 oda=1 ltdi=1 spf=[1,1,smtp.mailfrom=arm.com] dkim=[1,1,header.d=arm.com] dmarc=[1,1,header.from=arm.com]) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=sfk0lxb5LIwHIeFLYanpUqdNBw2PdpFRsr2KeW6U43w=; b=HR4TaQZTsBJpZRMXdM4C/3tBRXkNPv9QhbNXJB4mdx+yM+RvZ/kHzEBds6uHzMuF90pJ6D/kvLVVB73MRcB3uvOULXeBohiMhjSR4Snvi1V9XekxYD/8OwYAJxY2dwU9jua/LyZmJ/SLhOwlsvAbYxi7KMUhHmT9lFlEzlXFoi4= Received: from DB6PR1001CA0042.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:4:55::28) by DB9PR08MB7771.eurprd08.prod.outlook.com (2603:10a6:10:397::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5723.26; Thu, 13 Oct 2022 13:41:03 +0000 Received: from DBAEUR03FT039.eop-EUR03.prod.protection.outlook.com (2603:10a6:4:55:cafe::46) by DB6PR1001CA0042.outlook.office365.com (2603:10a6:4:55::28) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5709.21 via Frontend Transport; Thu, 13 Oct 2022 13:41:03 +0000 X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 63.35.35.123) smtp.mailfrom=arm.com; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com;dmarc=pass action=none header.from=arm.com; Received-SPF: Pass (protection.outlook.com: domain of arm.com designates 63.35.35.123 as permitted sender) receiver=protection.outlook.com; client-ip=63.35.35.123; helo=64aa7808-outbound-1.mta.getcheckrecipient.com; pr=C Received: from 64aa7808-outbound-1.mta.getcheckrecipient.com (63.35.35.123) by DBAEUR03FT039.mail.protection.outlook.com (100.127.142.225) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5709.10 via Frontend Transport; Thu, 13 Oct 2022 13:41:03 +0000 Received: ("Tessian outbound ce981123c49d:v128"); Thu, 13 Oct 2022 13:41:03 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: 2c416aa26dd1ef19 X-CR-MTA-TID: 64aa7808 Received: from b6c61b4c173f.2 by 64aa7808-outbound-1.mta.getcheckrecipient.com id 65D001A6-62F9-4379-8E40-969FB7D3572A.1; Thu, 13 Oct 2022 13:40:52 +0000 Received: from EUR01-DB5-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id b6c61b4c173f.2 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Thu, 13 Oct 2022 13:40:51 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=c3aG7Ta7iqdia9OfJJxVqa7fHiEaQh4bSh7jMaHZ3wGmQD9LAVYpgFBqNdjhEFWdlrg9+KXYbGch62+kYkjy0bJ8vezcWjVRfwH9NppBnFYHo9sZMqzWjbFz+pLCnJDZKSkHRAsKJ0f3GuJeackR1aNCMb/dW8zyWVrwGju+Sb16UXbtJVpWjpDujrQszCmHFwzTJy6x0keQfGqGff2DpYR1yzypfyFmUBaC3aUYzmp3GvEmmVqAFX6nco5+n/UD4mwQSqzVdhz4BVdQD69pn1e8QQOm0L5hSGlTJxkMVnBwtijoqNFOeo7zYcSkRGf8MUec5RgOUREBQh9VjzPOPw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=sfk0lxb5LIwHIeFLYanpUqdNBw2PdpFRsr2KeW6U43w=; b=CBaC+ZCQjmKJybnYBMoGZN4GiClcJTGPqnkivdXDajMryIiLxSiH5wUm/cxMhgp5wMsdCbWy8lVMbiGfvMuMTWtuJYvyVlEw0mMO0HDOmrnBSDybe+MqTirXDxwNCzI/698zs3g4fcW6LzhBK+dXPY8XpyTYY8D+nE1NXX8pnLTLjC+/uB2COL+V3EOFTxnpiJtn7JOeutXgx3/XKDpN+78NR6AC6Z2QeoSXD/CYDPgmPhygMDPY9U9WzWjnsLXb2sYgx+25iw15/EWyzLdTOwq45JCxeNg/6z1TF3UuwsA1l8fVgRujjPj8Vw67VhYtyUA+tM4322PTIXcrtK5c6w== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=sfk0lxb5LIwHIeFLYanpUqdNBw2PdpFRsr2KeW6U43w=; b=HR4TaQZTsBJpZRMXdM4C/3tBRXkNPv9QhbNXJB4mdx+yM+RvZ/kHzEBds6uHzMuF90pJ6D/kvLVVB73MRcB3uvOULXeBohiMhjSR4Snvi1V9XekxYD/8OwYAJxY2dwU9jua/LyZmJ/SLhOwlsvAbYxi7KMUhHmT9lFlEzlXFoi4= Received: from AS4PR08MB7901.eurprd08.prod.outlook.com (2603:10a6:20b:51c::16) by AS8PR08MB6229.eurprd08.prod.outlook.com (2603:10a6:20b:295::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5723.26; Thu, 13 Oct 2022 13:40:50 +0000 Received: from AS4PR08MB7901.eurprd08.prod.outlook.com ([fe80::3991:ebed:c15b:de1e]) by AS4PR08MB7901.eurprd08.prod.outlook.com ([fe80::3991:ebed:c15b:de1e%5]) with mapi id 15.20.5723.026; Thu, 13 Oct 2022 13:40:44 +0000 From: Wilco Dijkstra To: Richard Sandiford CC: GCC Patches , Kyrylo Tkachov Subject: Re: [PATCH][AArch64] Improve bit tests [PR105773] Thread-Topic: [PATCH][AArch64] Improve bit tests [PR105773] Thread-Index: AQHY2LXhPGQzp4WWbkOKTP58dpaxFa4ABQOLgArXJQqAABst94ABZKb/ Date: Thu, 13 Oct 2022 13:40:44 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: Authentication-Results-Original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com; x-ms-traffictypediagnostic: AS4PR08MB7901:EE_|AS8PR08MB6229:EE_|DBAEUR03FT039:EE_|DB9PR08MB7771:EE_ X-MS-Office365-Filtering-Correlation-Id: adca8a88-9ff7-44e7-b61c-08daad209299 x-checkrecipientrouted: true nodisclaimer: true X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0; X-Microsoft-Antispam-Message-Info-Original: ehL0YUmL4a6O8gCEfFKiPwhZnQPFBi7jd8GnRYH7LF6cSSsij6K9XvJNdj5zqZWzjpmMAOCf7xpJ14Fz6f0KYtE7AD5bUIMN3Lh6NYStWxRlhwq9mUtDFSRquDv3eW2LzBDHBDSuOWXS+UlvSCXwdbgKB5knedJ0WXsQihIBt47iUdDM5Qz25L8YpJNqa+EYAbsJNu6E1llU/F7ktY/aXmJFKqdEVWX6B0Gr2PRXf4uPxSnNdsb8HvgGJ7hkSsyeHK2XKFloVM3nfm0rBHl4zZgZcQclWElptw1EIJPE0G8FN/tgZYITR0w0tV8CKdDxGEzqTwdo71dF29lFDVUlj8hxlu8PfuNzTsJoe8fBLZGC6qd+TzbNr7KwtWMSm6siYxI84v/DQ+quoXYqQMqYN2eUNNgZdIyvGZ61/Gg5Fd63l2e1JXP+pSudCaXZn+MB+2UgiljdRsfqRjlPUZ9Stfd+YklesAAIl7J1ykRJ+1fJRRvEW/UQMdk+AY8iQBl9NA2zh7MfX//k7HjYhG9FxcQNJ3VLAlMzUzxA+CDaO8Rt4m6OBBhYuUXkWp2jmYplY+qrAA3rBimLmZPmHNN79cOflj0vB/o7Z3cZrR8BUwYAPSrL2Yp90dSuLpajtjdiEVLlelRfIqF5jrWBuT1EU7aDTbxyIvvRGeKu+xKPexKaaBWFWbh07pXqsawdqiAS3UyAVjlo61MpEW+TCXpYJHGWk+4TosYJVRNTxoCKqvNlOUHiBKqb8MXJvIcWr7i8WKK87zA2He59Cxnsph1+iQ== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AS4PR08MB7901.eurprd08.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230022)(4636009)(396003)(366004)(346002)(136003)(39860400002)(376002)(451199015)(7696005)(5660300002)(186003)(4744005)(2906002)(6506007)(41300700001)(9686003)(52536014)(26005)(8936002)(6862004)(38100700002)(33656002)(86362001)(38070700005)(55016003)(83380400001)(122000001)(478600001)(316002)(54906003)(6636002)(76116006)(91956017)(66476007)(66446008)(64756008)(8676002)(4326008)(66946007)(66556008)(71200400001);DIR:OUT;SFP:1101; Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8PR08MB6229 Original-Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com; X-EOPAttributedMessage: 0 X-MS-Exchange-Transport-CrossTenantHeadersStripped: DBAEUR03FT039.eop-EUR03.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 44e454da-db6b-4e25-9273-08daad208778 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: Qi4mrlcteUTuRhhVCGJbaY+snWVTGgFbE3XOclKxI6UsgoyrqOpDO19IL69fJbFdVdb8ReiRgl5KO+97F4B9gEs0YFxLiLZVolP+KszSIE8j9w5zekbkBG//+JDhPwDmI2oMRmkXcQ8yDMdu9IVwRPn/14aNpjaFVyWaf1iubyiuFbFb1dbvZEra3BdnLXCO15LU5DAok5ElIE7LEyYcNJCTOt8ZIzXsU2OVZy6HnAi0aQWeRldqYeDy6YCl5jQvXLoY4kI4eF1n24SrEuIByZHrYPBfqPVrvyh921S1HHWtuvSu0Jnt8/sx3W+7rANWVEMd621Mu022HZUC+TELIUnCd/EJ5Svfs8uizSocg4butQ9epNJqvWL5+U3//qs7tiwGHa18oI5vzhzLun+YFsU78kvPXp7fJM2X3dYKn14lrYvONIQnSsQHlA2ILjgkAEBgsVOqB3fxP3RV2ZTJVEFtE+aU0P0GDUQZzBb3umRopjlGyLDg0G+eqyzafWB/2W9HAB5W31vNjbPYzoEVdeDabSGQ6mfuIHsIBvZ0qCUINmMwXtuKmoXOCZnhJD4HJK8pOgswBzWYg+5ITPtOeB+9XR6paIZ6mv/uyX2VKrZ3J0L6xSctlmqyFaNMU6RXb9+Bm0ZMDUiN/6LC5QTWmqmP6vVNBrqJaS806+5tCFiuZSfg7RnkWjqvdWJkCWm3gHp2sftrDQmqak+Blv3NNGRmluiUfbt858hXy0rskc/zvhynQ1/Kx1tqa1p0kWmTpyKJJm1dwcFIMyvhFd6Yew== X-Forefront-Antispam-Report: CIP:63.35.35.123;CTRY:IE;LANG:en;SCL:1;SRV:;IPV:CAL;SFV:NSPM;H:64aa7808-outbound-1.mta.getcheckrecipient.com;PTR:ec2-63-35-35-123.eu-west-1.compute.amazonaws.com;CAT:NONE;SFS:(13230022)(4636009)(376002)(346002)(396003)(136003)(39860400002)(451199015)(46966006)(40470700004)(36840700001)(478600001)(36860700001)(82310400005)(86362001)(54906003)(41300700001)(6636002)(83380400001)(70586007)(70206006)(8676002)(4744005)(4326008)(7696005)(6506007)(356005)(26005)(47076005)(40460700003)(336012)(81166007)(316002)(55016003)(186003)(2906002)(82740400003)(40480700001)(8936002)(6862004)(9686003)(52536014)(5660300002)(33656002);DIR:OUT;SFP:1101; X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Oct 2022 13:41:03.6452 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: adca8a88-9ff7-44e7-b61c-08daad209299 X-MS-Exchange-CrossTenant-Id: f34e5979-57d9-4aaa-ad4d-b122a662184d X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=f34e5979-57d9-4aaa-ad4d-b122a662184d;Ip=[63.35.35.123];Helo=[64aa7808-outbound-1.mta.getcheckrecipient.com] X-MS-Exchange-CrossTenant-AuthSource: DBAEUR03FT039.eop-EUR03.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR08MB7771 X-Spam-Status: No, score=-5.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,FORGED_SPF_HELO,KAM_DMARC_NONE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_NONE,TXREP,UNPARSEABLE_RELAY autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi Richard,=0A= =0A= > Maybe pre-existing, but are ordered comparisons safe for the=0A= > ZERO_EXTRACT case?=A0 If we extract the top 8 bits (say), zero extend,=0A= > and compare with zero, the result should be >=3D 0, whereas TST would=0A= > set N to the top bit.=0A= =0A= Yes in principle zero extract should always be positive assuming we never= =0A= extract all bits (=3D nop). GCC never generates a zero extend of the top bi= ts=0A= (it becomes a shift), so I don't think it can be generated.=0A= =0A= However I'll change it to use CC_Z in the commit since signed comparisons= =0A= of zero extend seem to be folded to equality (or true/false), so there is n= o=0A= point in supporting anything but equality comparisons anyway.=0A= =0A= Cheers,=0A= Wilco=