From patchwork Mon Oct 14 10:52:11 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Tamar Christina X-Patchwork-Id: 1996799 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=arm.com header.i=@arm.com header.a=rsa-sha256 header.s=selector1 header.b=IN2n+Xg8; dkim=pass (1024-bit key) header.d=arm.com header.i=@arm.com header.a=rsa-sha256 header.s=selector1 header.b=IN2n+Xg8; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4XRvG969vhz1xvm for ; Mon, 14 Oct 2024 21:53:04 +1100 (AEDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 7CDEB385AC25 for ; Mon, 14 Oct 2024 10:53:02 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from EUR05-AM6-obe.outbound.protection.outlook.com (mail-am6eur05on20614.outbound.protection.outlook.com [IPv6:2a01:111:f403:2612::614]) by sourceware.org (Postfix) with ESMTPS id C1ED7385842A for ; Mon, 14 Oct 2024 10:52:28 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C1ED7385842A 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-Filter: OpenARC Filter v1.0.0 sourceware.org C1ED7385842A Authentication-Results: server2.sourceware.org; arc=pass smtp.remote-ip=2a01:111:f403:2612::614 ARC-Seal: i=3; a=rsa-sha256; d=sourceware.org; s=key; t=1728903154; cv=pass; b=bCpiuC1xZO7rjjCTIHZrVlrW3Yr5xH0Peu0ovvnwoyuNyO+IeINKVg2DCL1dww0hpZQrbTj7546uWXruRaIZMRaA/hB90d9+1OxBpQzM4W9frJ9fDOsgeaIBAa6S/JFqbo6efqljGte5rGvYMXLP07YiF32wPntuiQXGzlYEvRc= ARC-Message-Signature: i=3; a=rsa-sha256; d=sourceware.org; s=key; t=1728903154; c=relaxed/simple; bh=AZoUsK5Rdwmeh/N/dvwpsqwKjkvsBsQqjtrqbpsCYig=; h=DKIM-Signature:DKIM-Signature:Date:From:To:Subject:Message-ID: MIME-Version; b=EEY3lqOfAij/5BVtG3YBJilmPfbyxUD88dwXTbzlZaqzcAbRsM8B399tTPq7px9eWxj2c8+3yV3iVn6/o+melAImmqYYVdhBUQ6SLiLr1fmWDmQVH9OiPwL4iipULR7ZfVNUtDW3pNYct1yKKqpZJMyVW3poglzseHrVeY+5hyE= ARC-Authentication-Results: i=3; server2.sourceware.org ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=VkXBb+Dk7ZcLfd6mkW2tohmn2zQr4ge44C58MVnuY3yUMbYsyAMrvC8S8XN9bpEI0Xs3hN+7Cejjg3bnwOzY8Yt8qrhwoQrfAEgDa3rZoxP70Q66fc4UVWrc/up4+xp+Ailv65kan9jDQ+ZLzIwrywJ8M/FkKxpD83IF/09VPhTfR1Sjwt8Xe9pql6r2+xWSfiOzJSXvPzqjqxstsbygRzHLaRpgvTzFqvScJen49IHfk7y7TW494vGHNVMrcfhQnEjTY9m7cwDQEehougoHsIkyr9m2D0Q6am/O599YvuopYxq4gPsUGzSfVTd9gghXNCdMOSLMBizZ61VhJw2jwA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=hebypNKK3IuPUUnQj0dRl5iNgqSW+6GRFBo/cyqAMsM=; b=SUbFrv25JMOiU6DM8oJ6DfHYZJYLVKeKK6eblGE4DWw1kVNle7S1uckiK9DVhJh9JPrFoppZXzoiLxAExZyi3OSYALiQ1WavxXReMsyNBvqCH7ZBag7x199ec/DDuSEOzpIMY2EsMD9fMfZdYO/PnRfMNRFXxHdaSnTDGg21ZjamZjhpMLHET8uQtn2zOHZbCTBha6QAXwCQb3oAiZMREZUWliYyzcDtFVBbXGlKvDWaPBwt7WrINTO4BH2xigphPy8FV9y2x5BMplQZX9dP99UCL5TK73q3na0cfcVBDgkKfIfanDqn5cvsAimPEr2OEFeB5y0V+uvxBz7GqqgJaw== 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=arm.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=arm.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=hebypNKK3IuPUUnQj0dRl5iNgqSW+6GRFBo/cyqAMsM=; b=IN2n+Xg8/NjhRdET998QmdzCeHtgtWSKUuqneKUvv2v0Vu0Icj45T4KhHHe89WDWDZ31ayTRvQnM/DoV5A1cd9UeJAVlQcGQ4lMzloJ766LolMVr5/zUfa4CZeRFDh5hperdU9u3EtsUORlBiKFFPCABcaCeBwuiyGwIC6u+TnA= Received: from AM0PR08CA0018.eurprd08.prod.outlook.com (2603:10a6:208:d2::31) by PA4PR08MB6016.eurprd08.prod.outlook.com (2603:10a6:102:e3::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8048.26; Mon, 14 Oct 2024 10:52:23 +0000 Received: from AM3PEPF0000A79C.eurprd04.prod.outlook.com (2603:10a6:208:d2:cafe::36) by AM0PR08CA0018.outlook.office365.com (2603:10a6:208:d2::31) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8048.26 via Frontend Transport; Mon, 14 Oct 2024 10:52:23 +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=arm.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 AM3PEPF0000A79C.mail.protection.outlook.com (10.167.16.107) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8048.13 via Frontend Transport; Mon, 14 Oct 2024 10:52:23 +0000 Received: ("Tessian outbound 5e8afd4f8faf:v473"); Mon, 14 Oct 2024 10:52:23 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: 1c73e6360e1c02dc X-TessianGatewayMetadata: 2tvHuyxJUhzQrR9Mt5UGF+8mTBKBLGaUxCH91lCav7TPfEkpmBekA8Gst0NAsJqsPoQG2i1uC1MyScAMlJO/j89UIgcvazzBdu637Emev+YXuovUN1fp3tHh1LBY4K22m0YLosGyGMyp4R0HicWEww== X-CR-MTA-TID: 64aa7808 Received: from Lda5b8725f41c.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id 43615EA5-8267-41F4-B001-87D78197D83A.1; Mon, 14 Oct 2024 10:52:15 +0000 Received: from EUR05-DB8-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id Lda5b8725f41c.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Mon, 14 Oct 2024 10:52:15 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=JjMdudKMZoj8qEAIvTE9ZKLdMj6R8jlzsE7kjrN2FJzG3jF4jYEVcMwjIipHXxQ8azlLUJo41hzX+ampKQiA0BhCPLWQVPMU2AW4VW5x8hrDGlNYpWfc6cYJsEhbVIsZ5Tatr9NwXxJ/atuHms5BVrP2w5iG21592PCHiFLMgV/FbButGtAzQj2/fT7diLnLoaCh3g6U8XA81mXY0CV2OgWEPiR/XTT+eu8gkC9mF6kMLF16Z4O/+8lqIjpCJRULGMUoeI2a9reLEp7bAjewYORBxT3b1v/Y0HIeXGaPit4Mi9DGU9zA3vps4eOOcIQE70pTyhHJWw/i1sJvmazopw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=hebypNKK3IuPUUnQj0dRl5iNgqSW+6GRFBo/cyqAMsM=; b=h/qV/inP/VyNLqGCm0Bgrpjqrq+FzavCQyCPWIvIEOp3LlxxXmw26QaFrgbDo8gfHtPZlLlOllxA1EX673uFgJCT/avfwN/1wk1QtGcB8ePKmGg9It2N0UCN8n+3Pg0L1A2MYMk8hrGfvXZNS2vZq/s76TYXWRUYyqoUE+Axy9v5XwjKMXOOvs+QPKI16E3qHFRf32mSr5/NimwOsi3YsIDN9kr7YnqNC6iQ8A1Ect5nm6+3OBpRINWrkvXyFsJcSDIv/0psOHypBp+yYwG+Olqp///C4yzs61E28ZFjTQwYkUZDjc56xrrOEw3Svx13I7fCKrWA4QvO8KhiW9kizQ== 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=arm.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=hebypNKK3IuPUUnQj0dRl5iNgqSW+6GRFBo/cyqAMsM=; b=IN2n+Xg8/NjhRdET998QmdzCeHtgtWSKUuqneKUvv2v0Vu0Icj45T4KhHHe89WDWDZ31ayTRvQnM/DoV5A1cd9UeJAVlQcGQ4lMzloJ766LolMVr5/zUfa4CZeRFDh5hperdU9u3EtsUORlBiKFFPCABcaCeBwuiyGwIC6u+TnA= Authentication-Results-Original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com; Received: from VI1PR08MB5325.eurprd08.prod.outlook.com (2603:10a6:803:13e::17) by DB9PR08MB8227.eurprd08.prod.outlook.com (2603:10a6:10:39f::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8048.26; Mon, 14 Oct 2024 10:52:13 +0000 Received: from VI1PR08MB5325.eurprd08.prod.outlook.com ([fe80::89dc:c731:362b:7c69]) by VI1PR08MB5325.eurprd08.prod.outlook.com ([fe80::89dc:c731:362b:7c69%7]) with mapi id 15.20.8048.020; Mon, 14 Oct 2024 10:52:13 +0000 Date: Mon, 14 Oct 2024 11:52:11 +0100 From: Tamar Christina To: gcc-patches@gcc.gnu.org Cc: nd@arm.com, richard.sandiford@arm.com Subject: [PATCH][simplify-rtx]: Fix incorrect folding of shift and AND [PR117012] Message-ID: Content-Disposition: inline X-ClientProxiedBy: LO4P265CA0050.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2ac::16) To VI1PR08MB5325.eurprd08.prod.outlook.com (2603:10a6:803:13e::17) MIME-Version: 1.0 X-MS-TrafficTypeDiagnostic: VI1PR08MB5325:EE_|DB9PR08MB8227:EE_|AM3PEPF0000A79C:EE_|PA4PR08MB6016:EE_ X-MS-Office365-Filtering-Correlation-Id: 3e3b6a01-0805-4c54-82cf-08dcec3e48f6 x-checkrecipientrouted: true NoDisclaimer: true X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0;ARA:13230040|376014|366016|1800799024; X-Microsoft-Antispam-Message-Info-Original: 3w2yngo8OskwTHUYCTbN/CBkkFFKv6jOyxblEC/uUBo6TdYff0G2DxvfdRumiNbS+Q9pQR1w2T/qmwf+7OA/rrpI7kSp491vnKV1adXOzIlsMV+Bknhm3cmHYsJZ9mIyRhLDGQZl8Nvqynb/qGyuYqktzm8FGRtSvv2c1Y7wwTO6Oe6YwFk00rtJn/5J3Gvjkmlmk4Ux8OatZDOmbi2Pso3+sTgbdKreuLtQMTy/7Y1lL+/BL5sgyyDUtjg3c9rJC2NIYytG2TL2XFC+q+8zcmBWHEb6Tle+P0k1uJUXnxsLCCXCi6e0O6s/8dRv4GwQS7/w2NZa/+jJMaUwUmmxlxcOx3XkKRtdWEL4ee7Ma0jZwxg5RJfXPzOCXoQbCUfdD5oEEnKSTW5Rl04/adUfHB9wCztbK9ueDEaGCtdJhQB1pV2e7+ijZc96Va9DFYocZasdOzmj6m7UhbVW1pffKElgZhGYFrzeNM2f3JTOwhdaBfsfZN4ZsvVc6osXMDu1g6hvRxwKA9t3z0qIktPJ+kyL9V0L7tKJTWx4zPzUA75b7SVKXnvZ7waZl/gn6hCEs92DB7y3cCIzY128NIKDisw1BApOj5bTswUhmbdmYu+HzzWxVXDoTaq1FKHvth/TkJRpd2z9pzkc7EgbEJV1mi+GuYir7daJsQ+uKJ0OWJY79QnBWswb2Zt/0GpDofEfeeMtPEXIxvqz/gyMdDtl/XS678rBVb46WhraB9wq5pfjzGpXJWw8/jzKds6z/4E6j5EIu+qXNN6rbhexbqYzEaumJmopLp8DNKuqhL2FOT1kekr4r1q6q3XzyZskASfdfKZAyIztqgiMeGIq9tuvvVbNJHlH+T2yTPP48FyAz1ZLyN5SsJEaIXO34EhZMda1Vp6ws43ySDuSaW26pRZIXTYuzku8ibKGtkZSMXrcwxU83aFXfCxIYixvXLH3WI5cA8JDs0fgnaPxnF1gIqboep9SjyyUgKWNF//O3h+gue5XBIvSdrQAzLY3bbBQRUlh6UoUfIyXRDZdW7IK+w/FZFwpYKr0Cl2YvR89lNurj+nYQU+0oXPkbhXneOtqd/MFFM9yLOeMX/r3u/35mvkcgHPdRwPt4WtOhcEN/r+YhE2hBxGwxPLzKCc4giRaNGM4W5OUcIIUDxtv5FwDgaAMRGvf9Tfh0Z4gi8NRwL+wUACSKNkGQFG/qAU4ZPvXG6B4C2ZpSO/jE7P1pjNsDmNEFb5IaCOy41NTzjldi32Yp0s= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:VI1PR08MB5325.eurprd08.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230040)(376014)(366016)(1800799024); DIR:OUT; SFP:1101; X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR08MB8227 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-SkipListedInternetSender: ip=[2603:10a6:803:13e::17]; domain=VI1PR08MB5325.eurprd08.prod.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: AM3PEPF0000A79C.eurprd04.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: e761dd11-57c8-4f4f-8859-08dcec3e42f1 X-Microsoft-Antispam: BCL:0; ARA:13230040|36860700013|1800799024|82310400026|376014|35042699022; X-Microsoft-Antispam-Message-Info: =?utf-8?q?ZOBLdylMAbXwTMU6ltDSLpRf9VAx14F?= =?utf-8?q?ESL4GhVdTCHBO6xsfO2SkHmtRiDovGxazc1AUvYiCHpMkE8IawZscJyvqOzLmr2hs?= =?utf-8?q?Y6jQoESz2kbQQwE/zH6yIR8PAv35f1dbd/ezXo0VLWtVbYIArZJE3ylw84cHxzCW7?= =?utf-8?q?8wVG15ONFtDvHKvjAO1lsyhLcxuFHitJqpGyOdTZEc8POCPKg+e1QRYxV29ihh5Hs?= =?utf-8?q?Dl7IirrwWlJUxnnvO7OZgZ1CuD2OJmAb1NY79V3rwgOb1h1zkJFDKqWZyGUg3YAm9?= =?utf-8?q?LI9S0DDQLAVSKoUP89LXF40D1uX5bp69WBSdxHuYPKdKjmcq+3M0ygOCMYq29pedj?= =?utf-8?q?IGK7iDPxD0MIrmBrYrm5m19dC0GYSivxa1xrN0iprwMLj1JKXkkkBvkXky8BvPsCk?= =?utf-8?q?bPCFSuA0Kyzd9EUvx1HpCKVpBszVjdGF5GcbCeWFNj6jTWS83z9HS145QNy4Lrmz6?= =?utf-8?q?taqEcLVRTrQRMpuS3ZOKOgY8K8jrfYObyq6mahrbWXkOtzrkxM/Q+VOde1iZ68W52?= =?utf-8?q?dktpBO0sCgPkD5VqavcmfKkntfRrhT0RKMoTLhL+SY4LlSOETRdcj8Wb0mQWE/izm?= =?utf-8?q?/GlXUHoOVZMPwLlqHDqyuzwuu32RpwBKCtX6ko5pR4K6v/t2n9t1toO5tE6OS9yP5?= =?utf-8?q?mIxrwZldyjl+DQSubkIis/cO+RAbHUmFycmEAwruK9IdIqj2jrI8TkKv3k9r5XmxK?= =?utf-8?q?rjivcFFIOOfeSmMyXYagFyVnxW4qxpjc7Nw/dZwUZw3rgusiOfBs9CkCJWnKHqEtl?= =?utf-8?q?7qlxODv0QK/DYKeuSIK/V+OvPme9p2LkLTQbn68eVKz7vRUqxvN0w39878TXLiPUh?= =?utf-8?q?ksEUF6v4cR2o+v1LhpBJb+MF/MedYNRa59zh5xMPvBrrvVzgwtMxOAEWSm0SX96Pn?= =?utf-8?q?thVd5weafZrop2B9T97xdSi1tVePbC8+Jni4xwP6U2L9Y1eFAbf4fUAZET5xWDRXR?= =?utf-8?q?oIsZwIkjj62TKVXdWE6AnqjAbyy7/r/gOGz6MQpGA8yRCM0xlqZEaLi8MCBSu3fSr?= =?utf-8?q?QiARw9UoAHMrylza3QWYjJvv3eBYCj9gN0nTmC61G8qLNlpgBGkgxxG9FS0bs/BIG?= =?utf-8?q?3uGkeH9UeDIm5T7QrLKB0sUzqswWBlM0kGZm6Iz/9xoxJl12QO3JIsuWPf43VcR8L?= =?utf-8?q?KvM8Srs2HgDgOBRgeaVQyefLKHF77oI2JoYNFI4bV+XeHlVsrDpBIUXJ2x0kN0DYC?= =?utf-8?q?Hi3fxJFw83Utb9B9GMqK8s95G8NOw607gGvha5xbo0dNwa1M0VfRL7KzKtxCsfOi6?= =?utf-8?q?UnStWxqVPLgPb?= 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:(13230040)(36860700013)(1800799024)(82310400026)(376014)(35042699022); DIR:OUT; SFP:1101; X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Oct 2024 10:52:23.5385 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: 3e3b6a01-0805-4c54-82cf-08dcec3e48f6 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: AM3PEPF0000A79C.eurprd04.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA4PR08MB6016 X-Spam-Status: No, score=-12.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FORGED_SPF_HELO, GIT_PATCH_0, KAM_LOTSOFHASH, KAM_SHORT, SPF_HELO_PASS, SPF_NONE, TXREP, UNPARSEABLE_RELAY autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org Hi All, The optimization added in r15-1047-g7876cde25cbd2f is using the wrong operaiton to check for uniform constant vectors. The Author intended to check that all the lanes in the vector are the same and so used CONST_VECTOR_DUPLICATE_P. However this only checks that the vector is created from a pattern duplication, but doesn't say how many pattern alternatives make up the duplication. Normally would would need to check this separately or use const_vec_duplicate_p. Without this the optimization incorrectly triggers. Bootstrapped Regtested on aarch64-none-linux-gnu and no issues. Ok for master? Thanks, Tamar gcc/ChangeLog: PR rtl-optimization/117012 * simplify-rtx.cc (simplify_context::simplify_binary_operation_1): Use const_vec_duplicate_p instead of CONST_VECTOR_DUPLICATE_P. gcc/testsuite/ChangeLog: PR rtl-optimization/117012 * gcc.target/aarch64/pr117012.c: New test. --- -- diff --git a/gcc/simplify-rtx.cc b/gcc/simplify-rtx.cc index e8e60404ef62b891a68bc68645c4c349a1b12a7c..c304baa3c3ab6ada95b85961f34532966428e337 100644 --- a/gcc/simplify-rtx.cc +++ b/gcc/simplify-rtx.cc @@ -4084,10 +4084,10 @@ simplify_context::simplify_binary_operation_1 (rtx_code code, if (VECTOR_MODE_P (mode) && GET_CODE (op0) == ASHIFTRT && (CONST_INT_P (XEXP (op0, 1)) || (GET_CODE (XEXP (op0, 1)) == CONST_VECTOR - && CONST_VECTOR_DUPLICATE_P (XEXP (op0, 1)) + && const_vec_duplicate_p (XEXP (op0, 1)) && CONST_INT_P (XVECEXP (XEXP (op0, 1), 0, 0)))) && GET_CODE (op1) == CONST_VECTOR - && CONST_VECTOR_DUPLICATE_P (op1) + && const_vec_duplicate_p (op1) && CONST_INT_P (XVECEXP (op1, 0, 0))) { unsigned HOST_WIDE_INT shift_count diff --git a/gcc/testsuite/gcc.target/aarch64/pr117012.c b/gcc/testsuite/gcc.target/aarch64/pr117012.c new file mode 100644 index 0000000000000000000000000000000000000000..537c0fa566c6c930ebad3013e3adea9e9fdd1a23 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/pr117012.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +#define vector16 __attribute__((vector_size(16))) + +vector16 unsigned char +g (vector16 unsigned char a) +{ + vector16 signed char b = (vector16 signed char)a; + b = b >> 7; + vector16 unsigned char c = (vector16 unsigned char)b; + vector16 unsigned char d = { 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0 }; + return c & d; +} + +/* { dg-final { scan-assembler-times {and\tv[0-9]+\.16b, v[0-9]+\.16b, v[0-9]+\.16b} 1 } } */