From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR05-AM6-obe.outbound.protection.outlook.com (mail-am6eur05on2062b.outbound.protection.outlook.com [IPv6:2a01:111:f403:2612::62b]) by sourceware.org (Postfix) with ESMTPS id B087638114E8 for ; Mon, 1 Jul 2024 20:14:15 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B087638114E8 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 B087638114E8 Authentication-Results: server2.sourceware.org; arc=pass smtp.remote-ip=2a01:111:f403:2612::62b ARC-Seal: i=3; a=rsa-sha256; d=sourceware.org; s=key; t=1719864857; cv=pass; b=ouuKDzKFJSub79ziMPwG6hlatX0roEbD3A53uqcWySvizb6Folg0+MzqvR2vg/4VmavT3yiw1MuztXRZytsWCWjozRFJ8/a8XPvS5zjKyMXn/4KO5xsWEydngVVR3Ip3eYcjbGV7PTG7UySPRdUixeHk0DmVU6mm4TKxwBgQO1M= ARC-Message-Signature: i=3; a=rsa-sha256; d=sourceware.org; s=key; t=1719864857; c=relaxed/simple; bh=OMdXMt2VUlXesRRJn3cBjAN3KU0OjbNx6d1JZskfdH8=; h=DKIM-Signature:DKIM-Signature:Date:From:To:Subject:Message-ID: MIME-Version; b=P6bg36SlENi7+Pzz87Ce/az8ireL9cxbKs8fdIiYbLHU953rQ8Et4xGNvolP8tnUFJGZUkQv4ddPtBzO78C4kv58P5tOCLQfROJgIvDtA3CFalW3dzqJ1vLlbsXb2tn07BeAb3qQResE2zkw3bryB8m6X/CHOwWfl7lLOug8yHQ= ARC-Authentication-Results: i=3; server2.sourceware.org ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=oDiy9re1qg6mjJeVUMr6ci+4db62gbR86DL0oFqT6VTtoNT+p87ar7MSSEz0VTUYeX8VeVIN9UBfuqIG8H8dR04XuA/sNB6OdsiupEZuy40pAVGGUO1Zq2r/yKpjK7TWJwiYsRG/+j2WYv3f7KpIBOAt6ohCtNUxvo+vkIPG0YLGKPlaFSWZrp9nDUy4Te1hb7oeasuS8E6rVaUdjB8VinhPhTux+SxCFX9al9IFoQL2Gv/8LFcNa0CX2s5A4sGrZ6lCFjnd5ruPcJZgliJp9XLcKWl1zbAY9k0eSmPJgOVpOCGNWac9hIJEqxYGNe3TSq5HOo5tT8FTs9PITSnjqQ== 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=sKkwkR3yAmhvoIyHWJE7tt37SnMeqR/4I76jz4VAcUU=; b=cx1w2VeAphkYChezcq6HTgXIgpU48v9lyYEg6n0eA+5Tx7lsTGENY83m6MrXGH2ceyEro47Rl2a+Km0gba0F81qLdkasExaUqNdqNArXS4Cx0o4RRkCUo1+T7XJmyoGNdjWQZ32evc7vxUTCYj3p6saqtHeuLq2YI8J/DTaQpIfuQ9mmghpL3xBVVcAGQiF6bGqt9TLArU+kkDPjh75GYf5U5OD23eq9Ry5i1NZ3MQLtYDnpTxioZJjyFgeqH2wd9dAvXBLomdmmfDN3h3Q2rArjvymEHQikZn44akbyMstv6NiM4vobA9gAZfJ+isc2vE9S+QWCGKu4SU0XPr5O3w== 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=sKkwkR3yAmhvoIyHWJE7tt37SnMeqR/4I76jz4VAcUU=; b=JBpPN3x//kn/8+Y3xFsQhjaSVebholdYMP0O24pzJXiNWiGs1gZGNFXkja18XadLJVK8ObZNyB4EIqjZdx/qWD3YHE7ZixWBDCJ5ba0KDfkUKa+O+lOjIpHkSG+AGNPLhXqeyoqZEFvrCCdI0Vh+bZA5AuSVJUzskzFM7rGQSe0= Received: from DUZPR01CA0150.eurprd01.prod.exchangelabs.com (2603:10a6:10:4bd::7) by PAWPR08MB9592.eurprd08.prod.outlook.com (2603:10a6:102:2ec::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.29; Mon, 1 Jul 2024 20:14:13 +0000 Received: from DB5PEPF00014B9A.eurprd02.prod.outlook.com (2603:10a6:10:4bd:cafe::eb) by DUZPR01CA0150.outlook.office365.com (2603:10a6:10:4bd::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.32 via Frontend Transport; Mon, 1 Jul 2024 20:14:13 +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 DB5PEPF00014B9A.mail.protection.outlook.com (10.167.8.167) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7741.18 via Frontend Transport; Mon, 1 Jul 2024 20:14:11 +0000 Received: ("Tessian outbound 826180819ba6:v357"); Mon, 01 Jul 2024 20:14:11 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: 29c7a1f8a90a0896 X-CR-MTA-TID: 64aa7808 Received: from 64f734714396.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id 7F350CE4-79E0-4544-BE6D-47BC928929CC.1; Mon, 01 Jul 2024 20:14:04 +0000 Received: from EUR03-DBA-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id 64f734714396.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Mon, 01 Jul 2024 20:14:04 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=oQtZy7xy49UzNYYATtxUA4OcUdbQMOCHBSsQpg8XiX4qljy/aSLQIa0fDjwDywbIlpLDZzAwLzisjS7228AzIV38dmJiUijRlVzaMqvtnx+xAS85J0Nto4oVTj3Rn9Ps6V6m+p22aGwfl1xtLEkSD0VYGDlZLvHpMyM4bYhs2qL6/DnYvzWuaEP7CFs23H6EV7J9JYysIYN8t1sg75biIPKDnqzVZ07V57S0WtA9FjbBn5nkF3dgJZGpimY7MaFQpiapkZTP6tnBnwHf+C1ZhnM2oW2iljr/14/H19IfVzSDBNdqREI6hT6FDgT5sNW3C5xoA84TAlzh84GocNSVVw== 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=sKkwkR3yAmhvoIyHWJE7tt37SnMeqR/4I76jz4VAcUU=; b=gsOBGJHRC1dKGdtGKG8cgdp5pDptzYE4oy93Bo1g+fXXFHyMmfE1DYXFAhT6FUaQ1etzpHfvfEUWyzQ85soS9B81VJq3NZwsshyf4TG8PeOZBkaWqZ/lZ6YscSofdu0/QwKJV3E7wBYUM4t1RyB+r+3/TkS+UDzpbcotkY6dBa8Gw+tLzatrip+8OOoG8Oll4CDwgm2DGOhwzRJbZQ/3oZ8AYcrnHdwjr7uRq3Z2eBqStxXEaZ34SnDTCAfhsIdN5czVPrN2Wl34nXWIVMLk4p1nolhvbPJFWBg5YZarMd9cgCEmjEPKoOMxvvUAlGCQzlll9XZntaHNPdqeCecYgA== 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=sKkwkR3yAmhvoIyHWJE7tt37SnMeqR/4I76jz4VAcUU=; b=JBpPN3x//kn/8+Y3xFsQhjaSVebholdYMP0O24pzJXiNWiGs1gZGNFXkja18XadLJVK8ObZNyB4EIqjZdx/qWD3YHE7ZixWBDCJ5ba0KDfkUKa+O+lOjIpHkSG+AGNPLhXqeyoqZEFvrCCdI0Vh+bZA5AuSVJUzskzFM7rGQSe0= 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 AS8PR08MB9043.eurprd08.prod.outlook.com (2603:10a6:20b:5c1::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.29; Mon, 1 Jul 2024 20:14:02 +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.7719.029; Mon, 1 Jul 2024 20:14:02 +0000 Date: Mon, 1 Jul 2024 21:14:00 +0100 From: Tamar Christina To: gcc-patches@gcc.gnu.org Cc: nd@arm.com, rguenther@suse.de, jlaw@ventanamicro.com Subject: [PATCH 2/2]middle-end: replace constant_multiple_of with aff_combination_constant_multiple_p [PR114932] Message-ID: Content-Type: multipart/mixed; boundary="BR7wzIYFzTyuGOW6" Content-Disposition: inline In-Reply-To: X-ClientProxiedBy: LO4P123CA0272.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:195::7) To VI1PR08MB5325.eurprd08.prod.outlook.com (2603:10a6:803:13e::17) MIME-Version: 1.0 X-MS-TrafficTypeDiagnostic: VI1PR08MB5325:EE_|AS8PR08MB9043:EE_|DB5PEPF00014B9A:EE_|PAWPR08MB9592:EE_ X-MS-Office365-Filtering-Correlation-Id: dbcb66bd-aaf4-4ad1-783a-08dc9a0a5f2e 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|1800799024|366016; X-Microsoft-Antispam-Message-Info-Original: =?us-ascii?Q?KF2Bp1SAvqHBPG/4tcWqtaYwZfqVcwKdDL1QK4+Mf5gHAie9J+Kxke3Q3I8d?= =?us-ascii?Q?UhGVw1HHLIpIRCfZWULIw66jLxm5xoB1+DyvCEjqd0Ak/B3DbdMxea5UtFLk?= =?us-ascii?Q?w2YUm71cfAZhk9vto4kyIwYpeNgn8SItgCvT067GqSsDK5Ggo5ylpydmcIw/?= =?us-ascii?Q?ZJKuUtlB9W+Tlkv7ItNfvWzF+yCbsX6lCdb5c8TX97bVJP9oW8uQ+VcEaJEK?= =?us-ascii?Q?mx8wxLFiSIQ9gr0W2GwaQjELra6jXqwp7dla5+F3MA0Fz7F11GVwRjBMBHKr?= =?us-ascii?Q?kpTfujgqfY1rV24OKEQF32gGrBXxLWgsbOswwC1WohTSMwrhBUdZ1x5tVgZ8?= =?us-ascii?Q?yzWgid829g7FYUUvuZfBC6+KSsG2t+NT/D+DPh58vntMoX5H5PfGd1K9Xu1e?= =?us-ascii?Q?BEQlpCQd8sFmz1NfUDYsTm5vx2RxQGEw8l6EmhRoz5dThPjudtuv25IM2Bxa?= =?us-ascii?Q?9pWptz+8IB8wXw5vxtNhDGtDdfI9X6IM6pAKA4rhqKyt8Gsiq+FJOHCayQMi?= =?us-ascii?Q?sy5wqNZ5MPjEa435nTvMqpZoenDVKGUaP+JWu96x5to0A7hWDU6ygIP+KMHC?= =?us-ascii?Q?hyG4hqWrUXX80TgYVqTv1qLZ8klmjqfDKR2+ttIFcSDSfCjczg9AMRC0dNze?= =?us-ascii?Q?739PXa8Hl3q+CvZkJX6kPW5YJUJJKcjPkGsubJ+xsoN1rNFipwwMs1/ASh0B?= =?us-ascii?Q?KIba5jPfMbauQW3a9g5O/jGBTaGwXz3NRi5fco9BI8/EiGQc1JV3YOUhDPjk?= =?us-ascii?Q?80meUg1xXnrbkgIxkx3pnCuXizxbLBvHNqOtVwVr/6obKxAzyHJDwAtAIky7?= =?us-ascii?Q?K/LR+Z1dczujIw8cTcoWQWFw8sGuctMfswRJDa3K24buoNBfjsCFJgy/LhYg?= =?us-ascii?Q?f9tlZoEA4/E3jruqlnIcLvL1Lv1sHE+2rjnVpxYmRx5MWXMYCS/hzE4KiIZy?= =?us-ascii?Q?HOi3OY1sIEbwELZ0wBdHUNoVD7TnZN0YvddLQbcKhA48rhhKAahq5fbG+I0r?= =?us-ascii?Q?CH8w8gB1Kyk0M2MsCf/XAtEywAB6CJNwjKWBBO0teXTLqcD3mL8QZfF3hLVT?= =?us-ascii?Q?kxDkT1U4ZfSptqlUWKsi8R38rvZX9cLHKU5+SDeTwfbTj7KD4G3+LQpDxFIH?= =?us-ascii?Q?EBZtLzMtQcJe218wxsOXUkZv/5h7gtKR6X0YX8gG+YY8LIkmg6Tj3Q4AlMt/?= =?us-ascii?Q?JpMEePLSFfDnwX4Fo1L8/bxdtYbK3HoB4a912VoubzZMxbpW0pXnKYJxti1F?= =?us-ascii?Q?dZw0s1dawzHcHu1sNTbJKpKE1GBgho/p/ZhP3d7/L9RQjSKtyFaqFdph+hug?= =?us-ascii?Q?e5p+xEhAKm84tNMJkoTVnLtkcpfmb4VLtBEK+8HkAwVLBw=3D=3D?= 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)(1800799024)(366016);DIR:OUT;SFP:1101; X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8PR08MB9043 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: DB5PEPF00014B9A.eurprd02.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 9bf10a67-cd13-42e7-e606-08dc9a0a59b3 X-Microsoft-Antispam: BCL:0;ARA:13230040|1800799024|35042699022|82310400026|376014|36860700013; X-Microsoft-Antispam-Message-Info: =?utf-8?B?QmxqWkhPcFY1WkFrOHZMN2NWYU01T1NYL3RCOCtRL0hHNW43VXVyc1NFeXky?= =?utf-8?B?amVtT0ltL3dFWFZqV1l6MHRqM082L2lUYjdGQzJxZlBaL1JtamlYNHR1QjlD?= =?utf-8?B?T3VIVDRNVlZUWldKeDZUNTZRUWdUZHo1Y2sxUnptY1RmSStIczY4MytzaVFS?= =?utf-8?B?VEswMlYrVmx4NitKMlZ3dElzc3RzK2xjMFBVdFRHVFRLQStLUVV1ZFZHVEY1?= =?utf-8?B?akpTNFZWWVQ1K0dpRkErbStGcXVrNWY2dFNFWnRzSmtuMWtjSWpLN0xlaThh?= =?utf-8?B?Y2Nsd3JWaTQrLzhZWUM0TTdOYlJBNU1XVUhUZStUUXJKSkVESDdLMUtrQmN4?= =?utf-8?B?bDBONlFCLzhKV3VxSE93RDhqWG1iYm1CWmsrTEdBb0laZk4vb25vUzVyUmUw?= =?utf-8?B?ancxWTJuL09kSGRHamxrcFBNTzdUb2Eza2ZuVWVEQmd2aGQ4bVhHTTVsVDAv?= =?utf-8?B?SVM2bFllcnYzeUhqRjlaeG8ranRONWY1RDJwUkdUd3k0aXVSL3ozUmtRcFJ1?= =?utf-8?B?VUIzS2h2eHFYT0JsZ2M0bWlpTW1henNqQ2ZTWVFPbjlMNFVFdVBEYnhMMkNy?= =?utf-8?B?cTdiRHB0TDlZdWZ2R01KYXdLVGdEV1RxZk1lSWxoaFN3eVM0ZEZtNjFwV0x6?= =?utf-8?B?NUhFelNDbTZpeFJ0b3plZUMzdUdtOG9SUVV0QURydVNhdEkzTFRnUWZpYTdE?= =?utf-8?B?Z1ArcHRKZEwxZkdnODNNaGVacG1XaXVHSFN6T3o5R240dnpPVElrYUNRRjAr?= =?utf-8?B?RndoUHFib0RNVnd0aWU3enZodWM0aTJlVnBzbkdScXVMcSsyRUhuMDUvY3RY?= =?utf-8?B?dldTRFV3WFZ2NFdySENqTGRkdElpL1F1ZWY0ekRIZWxSdjJXRGl6NVhIc29Q?= =?utf-8?B?MVZ0L0RlbWlYSmNWMWRxZFNLb0lMVlNML3VKdlhBY1FaR1hmeHp4a2UwamlX?= =?utf-8?B?YkxHMjdzekRiQmtpaVBLMjR5VG5UMVZaYklxYUltZUxlVFdTUkdCNzMvRWdk?= =?utf-8?B?ZUdEMThVd0lsZEs1QUN5d1k3ZWRaQW4rYWdVSHkvUTA5L3Q5ZEdKTFAxT29h?= =?utf-8?B?R0drZWVoRnVJRU5KRnFRWEZqM3ZQdXQ4alBFWmRSVmNKT0ZLcVNYem01aFRN?= =?utf-8?B?MnBsQ1prQjgwd0lNRy9tU3NyNzJGZVJxLzhwU0puU2daZ0paczFJclVyWjYz?= =?utf-8?B?MFV1SU9SRUM3QktPNmMyS21DOFpOaGJlY2laUEVNcHE3ZzdldjNvTUorSDVG?= =?utf-8?B?Q2NyUTM5MWJtWGxyNHNIY050STcvZmkxTElNdUpESzN4Sks0RzczQ2lsWlNn?= =?utf-8?B?TnlNVnlqcE5oeUkxQ2dPNEFTMERMTDNHYlF3NmpscHJpam42eUpqYTEzT1ZU?= =?utf-8?B?NXh2dWVjaGY2RFY2RDArU0dGYnkwNmZwMy9UWmpXOExqclFhUjFwZWlvSDJU?= =?utf-8?B?c3RRV2xPelZMcHVjWWlrai9DclNEUDBnWFdIdnJXaklwTXV5akNrV3dzYmZr?= =?utf-8?B?ODNaZHBsV25MZzc1TkVjSUJodW1Lc0I3Q0FmWHgvb3lnbkhpbWNMbGF1TDVS?= =?utf-8?B?cXhUakhQMWJXbEFycEZFY2VibzYzNnF5d3RVY3JpajBnS0pLdk5jTTg0d1gz?= =?utf-8?B?eVhhVW94YmlIOGZ0YWZZQ2ZpM1hVNHFRYWQwd2hKR2k5WEpXbGpBY2w0MDcr?= =?utf-8?B?UDZMWndPd3FpT25xd20wek5BaHkydGpSRXJhOS9iSHU1MHlYQWVrdVJ6dTJq?= =?utf-8?B?TnpmTU9VSWhTY1NvMi9EN21OUkQremQwT3NMbm5RbjdUTTZwcHZiWlZRMVds?= =?utf-8?B?QURwSTN0eW90OTNPblRNSU5jNWJSU0xqSXZ6dXBjeVlpRm8vU1lEN2ZkVEVl?= =?utf-8?B?L1EvZUJkckRFVndlMVI5VGZ1RlZUdTVLSGR6anF5VkJNU0xLNk85OWlmNEFU?= =?utf-8?Q?Ue5KmzppK7vqtHl6D7qrbMxAtyFSay0d?= 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)(1800799024)(35042699022)(82310400026)(376014)(36860700013);DIR:OUT;SFP:1101; X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 01 Jul 2024 20:14:11.6843 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: dbcb66bd-aaf4-4ad1-783a-08dc9a0a5f2e 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: DB5PEPF00014B9A.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: PAWPR08MB9592 X-Spam-Status: No, score=-12.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FORGED_SPF_HELO,GIT_PATCH_0,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 List-Id: --BR7wzIYFzTyuGOW6 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Hi All, The current implementation of constant_multiple_of is doing a more limited version of aff_combination_constant_multiple_p. The only non-debug usage of constant_multiple_of will proceed with the values as affine trees. There is scope for further optimization here, namely I believe that if constant_multiple_of returns the aff_tree after the conversion then get_computation_aff_1 can use it instead of manually creating the aff_tree. However I think it makes sense to first commit this smaller change and then incrementally change things. Bootstrapped Regtested on aarch64-none-linux-gnu, x86_64-pc-linux-gnu -m32, -m64 and no issues. Ok for master? Thanks, Tamar gcc/ChangeLog: PR tree-optimization/114932 * tree-ssa-loop-ivopts.cc (constant_multiple_of): Use aff_combination_constant_multiple_p instead. --- diff --git a/gcc/tree-ssa-loop-ivopts.cc b/gcc/tree-ssa-loop-ivopts.cc index 7cae5bdefea3648ddde238a357af527a934a569e..c3218a3e8eedbb8d0a7f14c01eeb069cb6024c29 100644 --- a/gcc/tree-ssa-loop-ivopts.cc +++ b/gcc/tree-ssa-loop-ivopts.cc @@ -2146,65 +2146,15 @@ idx_record_use (tree base, tree *idx, static bool constant_multiple_of (tree top, tree bot, widest_int *mul) { - tree mby; - enum tree_code code; - unsigned precision = TYPE_PRECISION (TREE_TYPE (top)); - widest_int res, p0, p1; - - STRIP_NOPS (top); - STRIP_NOPS (bot); - - if (operand_equal_p (top, bot, 0)) - { - *mul = 1; - return true; - } - - code = TREE_CODE (top); - switch (code) - { - case MULT_EXPR: - mby = TREE_OPERAND (top, 1); - if (TREE_CODE (mby) != INTEGER_CST) - return false; - - if (!constant_multiple_of (TREE_OPERAND (top, 0), bot, &res)) - return false; - - *mul = wi::sext (res * wi::to_widest (mby), precision); - return true; - - case PLUS_EXPR: - case MINUS_EXPR: - if (!constant_multiple_of (TREE_OPERAND (top, 0), bot, &p0) - || !constant_multiple_of (TREE_OPERAND (top, 1), bot, &p1)) - return false; - - if (code == MINUS_EXPR) - p1 = -p1; - *mul = wi::sext (p0 + p1, precision); - return true; - - case INTEGER_CST: - if (TREE_CODE (bot) != INTEGER_CST) - return false; - - p0 = widest_int::from (wi::to_wide (top), SIGNED); - p1 = widest_int::from (wi::to_wide (bot), SIGNED); - if (p1 == 0) - return false; - *mul = wi::sext (wi::divmod_trunc (p0, p1, SIGNED, &res), precision); - return res == 0; - - default: - if (POLY_INT_CST_P (top) - && POLY_INT_CST_P (bot) - && constant_multiple_p (wi::to_poly_widest (top), - wi::to_poly_widest (bot), mul)) - return true; + aff_tree aff_top, aff_bot; + tree_to_aff_combination (top, TREE_TYPE (top), &aff_top); + tree_to_aff_combination (bot, TREE_TYPE (bot), &aff_bot); + poly_widest_int poly_mul; + if (aff_combination_constant_multiple_p (&aff_top, &aff_bot, &poly_mul) + && poly_mul.is_constant (mul)) + return true; - return false; - } + return false; } /* Return true if memory reference REF with step STEP may be unaligned. */ -- --BR7wzIYFzTyuGOW6 Content-Type: text/x-diff; charset=utf-8 Content-Disposition: attachment; filename="rb18603.patch" diff --git a/gcc/tree-ssa-loop-ivopts.cc b/gcc/tree-ssa-loop-ivopts.cc index 7cae5bdefea3648ddde238a357af527a934a569e..c3218a3e8eedbb8d0a7f14c01eeb069cb6024c29 100644 --- a/gcc/tree-ssa-loop-ivopts.cc +++ b/gcc/tree-ssa-loop-ivopts.cc @@ -2146,65 +2146,15 @@ idx_record_use (tree base, tree *idx, static bool constant_multiple_of (tree top, tree bot, widest_int *mul) { - tree mby; - enum tree_code code; - unsigned precision = TYPE_PRECISION (TREE_TYPE (top)); - widest_int res, p0, p1; - - STRIP_NOPS (top); - STRIP_NOPS (bot); - - if (operand_equal_p (top, bot, 0)) - { - *mul = 1; - return true; - } - - code = TREE_CODE (top); - switch (code) - { - case MULT_EXPR: - mby = TREE_OPERAND (top, 1); - if (TREE_CODE (mby) != INTEGER_CST) - return false; - - if (!constant_multiple_of (TREE_OPERAND (top, 0), bot, &res)) - return false; - - *mul = wi::sext (res * wi::to_widest (mby), precision); - return true; - - case PLUS_EXPR: - case MINUS_EXPR: - if (!constant_multiple_of (TREE_OPERAND (top, 0), bot, &p0) - || !constant_multiple_of (TREE_OPERAND (top, 1), bot, &p1)) - return false; - - if (code == MINUS_EXPR) - p1 = -p1; - *mul = wi::sext (p0 + p1, precision); - return true; - - case INTEGER_CST: - if (TREE_CODE (bot) != INTEGER_CST) - return false; - - p0 = widest_int::from (wi::to_wide (top), SIGNED); - p1 = widest_int::from (wi::to_wide (bot), SIGNED); - if (p1 == 0) - return false; - *mul = wi::sext (wi::divmod_trunc (p0, p1, SIGNED, &res), precision); - return res == 0; - - default: - if (POLY_INT_CST_P (top) - && POLY_INT_CST_P (bot) - && constant_multiple_p (wi::to_poly_widest (top), - wi::to_poly_widest (bot), mul)) - return true; + aff_tree aff_top, aff_bot; + tree_to_aff_combination (top, TREE_TYPE (top), &aff_top); + tree_to_aff_combination (bot, TREE_TYPE (bot), &aff_bot); + poly_widest_int poly_mul; + if (aff_combination_constant_multiple_p (&aff_top, &aff_bot, &poly_mul) + && poly_mul.is_constant (mul)) + return true; - return false; - } + return false; } /* Return true if memory reference REF with step STEP may be unaligned. */ --BR7wzIYFzTyuGOW6--