From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR02-DB5-obe.outbound.protection.outlook.com (mail-db5eur02on20601.outbound.protection.outlook.com [IPv6:2a01:111:f403:2608::601]) by sourceware.org (Postfix) with ESMTPS id 8951B388456D for ; Wed, 19 Jun 2024 14:59:05 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 8951B388456D 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 8951B388456D Authentication-Results: server2.sourceware.org; arc=pass smtp.remote-ip=2a01:111:f403:2608::601 ARC-Seal: i=3; a=rsa-sha256; d=sourceware.org; s=key; t=1718809147; cv=pass; b=MKw8epahDXDnoWKaPL0kyuaSSmn/krF+Zv/3nwMgtdVy6LtIkQxp+GfYxMr0cBgivq7zB3+goK4Y+dkzMKKZQT5Iq7MUJwSY3MHYx0BfoJLoimhxvZkn/Mfyy4F0JF12FmqoMXyHteGxJ1v1NtY5VQf2o6sJA4YaQYjzHdmnwNY= ARC-Message-Signature: i=3; a=rsa-sha256; d=sourceware.org; s=key; t=1718809147; c=relaxed/simple; bh=ultump255BvxlryyOZuheIjIXvpGRVPo4JMhtUjub8Y=; h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-ID: MIME-Version; b=m6y8dA9yRkNZnUlhODLRnMs/eJOsPF+rjrzw3N2OhIM8sD6Hafdlo1lRFa1jRKjI28Pg1WPDW8SmqTmDA/gV+yyEObn/j92kUa/yAo0Z/PdtFw+2Y7QqhMTLijP1yvaWciuWE8HuxhlWDpdTXiMibfyQJdCItp5ev7L3TYu9BTA= ARC-Authentication-Results: i=3; server2.sourceware.org ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Hxv8z/B9HJ9eVaKGMqwb+nFDL8SMuOtkfX0gjcwB/gh+3cqE/7KrVWfASm2llxz7cwY75D2GQaub+rxERFfpaUHqnKF54r20o1uVwkMIAw2cngzFawWTG85TeKfTDGf1gmVih5eSZQJrl6BnN4noOqiPYQ3uKrXfzLNUl7o58ZPVVWfQqUVD8r+cl7JJ3nkkOmucdN8stmARBs1a5NGs2dKBZbsQ7pkWBD91VAvTc8mbD+1v+JR13uYRKuuHSRqf+7MrXN3VhrZrkCOGk7w03B8QXdjXRp5YAD1+KUm8TRzdcMPw07qSVpfuNymOGLBd8dm18FbUQHzoMjaLc/GDeA== 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=3GloSC2Qubvg+CH6hutNuTOBsi+4mZNIDKyINlV6YFs=; b=VZinWvLHSdgAm1bFjwtRTotbACGltyOzSsjp6SrYjkQdNfUsxzsHRLyAqBqH6I3Bgka+HakT0sB3O8T2ExTnekUa8Fz2jzs1HGlnLum6gnws24UVBGloG+n3EOg2B0jTRn189aMPcBW9OMJb7KA/EtPgjld9WQ+2yBH+0wm4QtEpmaf4JfGlcdiOGm+3VVEIhat332B+L0S1s78+PZqXdbXjHqFLbZek9PiUhLQI/95H/loq0f3lcIhgP4JJrGexFkVfhBuQPvS/Zlf0CEzt5tb9IWSvFRkKBlLecR4PRYLBXZNCWnZUzNptBij8Tksfv6xyIBJTsHDEYf6QyqPGIg== 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=3GloSC2Qubvg+CH6hutNuTOBsi+4mZNIDKyINlV6YFs=; b=YwOCXx/x3bFKj7RQrH5COwSX7+75AB9xeuW9g6i56afkd0sUC9DLPUOd+ZYagX7rAKssJW0JeYuOrMqTvT5ev3JuBC/UTArbsDpKMoACKXU0Fqry95MS3ANjJLoeaSKtshA1z5NU7md9/bVWQkOF0wXm91DD9FW4QZl8s0/S7xQ= Received: from DU2PR04CA0338.eurprd04.prod.outlook.com (2603:10a6:10:2b4::8) by AS8PR08MB8222.eurprd08.prod.outlook.com (2603:10a6:20b:52a::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7677.31; Wed, 19 Jun 2024 14:59:01 +0000 Received: from DB1PEPF000509E5.eurprd03.prod.outlook.com (2603:10a6:10:2b4:cafe::bc) by DU2PR04CA0338.outlook.office365.com (2603:10a6:10:2b4::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7677.32 via Frontend Transport; Wed, 19 Jun 2024 14:59:01 +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 DB1PEPF000509E5.mail.protection.outlook.com (10.167.242.55) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7677.15 via Frontend Transport; Wed, 19 Jun 2024 14:59:00 +0000 Received: ("Tessian outbound fcd698738a24:v339"); Wed, 19 Jun 2024 14:59:00 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: 141c41a2d3b087f3 X-CR-MTA-TID: 64aa7808 Received: from 061fd23785a7.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id D4352DCC-99FF-47EF-B69F-D7A7C6ED4575.1; Wed, 19 Jun 2024 14:58:54 +0000 Received: from EUR05-DB8-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id 061fd23785a7.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Wed, 19 Jun 2024 14:58:54 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=d+/Nt829kv3unuZbRAzmsXk1WF/e5VaAKw0pfVnyS3JdS7yAP1p9/zCI/a+eqmz0/3OLhlnV+vV0M917waCsMM5UaRq0Zxy+iz3BA9JJBb0W1TGqEllXgAcQItdTIR2SNaJ7wKxUlw9WbzfZsUqN+qBiz6UHlL9Vd6YGL3XhN6Rr/gxRaNCZPcjCcvcAr9YAe2p+jp7KT0wbXtZcHVBQeQnLfWxM6kclwIefKn5krR8FBSn10qDSFtooj60YFdWSr/yt9mgmdoIn2lQmaZ5FEwavrqvLImmEAwgub5N8GDByhRpOlJbJUY+gClTcWYP4kNmKY4SbkaTHPhx1WAZe5A== 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=3GloSC2Qubvg+CH6hutNuTOBsi+4mZNIDKyINlV6YFs=; b=hpBcoXxh45zjzi4Bi8vOPCC69c8HIFR6U3J3goyNI+hpDeMSIm7BaocFfpCSY6f4QL5dBrdUZS6MynEVlzOJSH3zdBnDtytpB0Rr2AQoCRXN4A8Wb6Dn970JU+8iISAsZPWevFpIsas+n743t8skYv6nBYyqwQKCVmvyj3c90Db9wc7uWNguL0NuJe75mHUg7OvjfunkNcn8rfQ+ArJ9JYPwg1W9nqAfVg4zBNb5I+FyPvzJTSHjCac00VNuA/q0hGHE4k2ZnEwJjN6uuTQ6UA/Q8NarSowdLiU5xOcYnf9sK6KapDGqiUmkGfw8nJsb/UrzIgeAQ8p0XOxhEODRvQ== 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=3GloSC2Qubvg+CH6hutNuTOBsi+4mZNIDKyINlV6YFs=; b=YwOCXx/x3bFKj7RQrH5COwSX7+75AB9xeuW9g6i56afkd0sUC9DLPUOd+ZYagX7rAKssJW0JeYuOrMqTvT5ev3JuBC/UTArbsDpKMoACKXU0Fqry95MS3ANjJLoeaSKtshA1z5NU7md9/bVWQkOF0wXm91DD9FW4QZl8s0/S7xQ= Received: from VI1PR08MB5325.eurprd08.prod.outlook.com (2603:10a6:803:13e::17) by VI0PR08MB10620.eurprd08.prod.outlook.com (2603:10a6:800:1b8::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7698.19; Wed, 19 Jun 2024 14:58:52 +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.7698.017; Wed, 19 Jun 2024 14:58:52 +0000 From: Tamar Christina To: Michael Matz CC: Richard Biener , "gcc-patches@gcc.gnu.org" , nd , "bin.cheng@linux.alibaba.com" Subject: RE: [PATCH][ivopts]: use affine_tree when comparing IVs during candidate selection [PR114932] Thread-Topic: [PATCH][ivopts]: use affine_tree when comparing IVs during candidate selection [PR114932] Thread-Index: AQHavlD6Y3B2TEU5E0WvQJSCOisIL7HPAkAAgAAYtJCAABdSgIAAAuzA Date: Wed, 19 Jun 2024 14:58:52 +0000 Message-ID: References: <22rq444p-s3o0-o4p2-2778-3467oq6rq92o@fhfr.qr> <594c2336-25fa-bee8-d1fb-7e0e2be493e4@suse.de> In-Reply-To: <594c2336-25fa-bee8-d1fb-7e0e2be493e4@suse.de> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Authentication-Results-Original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com; x-ms-traffictypediagnostic: VI1PR08MB5325:EE_|VI0PR08MB10620:EE_|DB1PEPF000509E5:EE_|AS8PR08MB8222:EE_ X-MS-Office365-Filtering-Correlation-Id: c836535e-6689-44cd-8742-08dc90705a92 x-checkrecipientrouted: true nodisclaimer: true X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0;ARA:13230037|1800799021|366013|376011|38070700015; X-Microsoft-Antispam-Message-Info-Original: =?us-ascii?Q?ArljVwNo5WAbMo90at2vdZxbz5Xglbe3fB95Q0+J1Gex0k+8gIEKceAcfw6z?= =?us-ascii?Q?MHi6AqS3v2m3+Kuvx9/8maBaKhKYHoaAffMsTS/euOgjd8as6s6wGLErZ7HT?= =?us-ascii?Q?x4+GtSdS1JbTdTOTe+U8rV8aeSUjvfpq7cub+62k7JxYeGRMNbS0LdchJTF5?= =?us-ascii?Q?0Gutbqonm7hDsT/tuM45ti5cFCcKe3MEnpv2PS/ms0BvCTbjZGIt1jgo4BUX?= =?us-ascii?Q?IKX1uKj9j/Jy19pD6CxblaN95wnYMR4NJgnVqihb5ub2VyT40w0BUS2x1Lom?= =?us-ascii?Q?z7hrC3Jay1hcYR7bvLh/xjc7ZN2keFEEwdZ49PcZQeFTiFQuoItd0TARi0Dk?= =?us-ascii?Q?6eoehZyJcLaZJgvOXSJ7AJM5eqfA1bbzXjGSypq5yXN8TGIvSQpGW47f11yJ?= =?us-ascii?Q?hBsQFW5f7z6kXXbXlr5HUsGA45CVfTp3PUaOk0nPb6I8khQBZhVRMaxUj/lD?= =?us-ascii?Q?lv45F0W6+4vS/eLyB4qCjmpNkkLZ3I7R7ekwNz8heajKue4+ZT1mxIt2Hs0+?= =?us-ascii?Q?PXBjPAgEVnQHD0U/MvL55OqVSErPnboavGL7OBZNwyWm9rXIFNNmWWjLSXbG?= =?us-ascii?Q?MtKcPRh+MIn/kLACDyuKV+KQAsc5Z9BWR1wtcQbhIKsbW3iV/4WaOKiNcM7A?= =?us-ascii?Q?O277CYFivNiqlTWjkBvHgh8VnACNauWRA4mqaWanpSDNzCAxs0y/MTq0kh87?= =?us-ascii?Q?UXxOXsyVaGl0CSn/k1kNVz7YJQcJobUQ7d6gz7imUEQYWgwrC0lmhLBuYO+F?= =?us-ascii?Q?ApABqtFLpg6383gLNilbP2TdtWPNfVNSB6qw+ZLNNaih+/qwdzjFHSrfqdEr?= =?us-ascii?Q?2D4rEL0WGhU1TG0fPgAGsnQBHQzEUMzGrHumI5GR3W98XNTUUcjY1v0wZ4KO?= =?us-ascii?Q?qhik0i8uU9cABPyzxXnsfifK7x2Gw4kiBWzD5i54RD6CnI8nec/r1UfK/qSO?= =?us-ascii?Q?zPm1ZwChLIlhFd5RS68NiDkWdAsNhwi5RV4cSUJWsZm4WGm0edUvrxpCgYac?= =?us-ascii?Q?XCxfhZ712miGDXLfZiXdPlWTX1YDgNRdtveeul1q2S0KNYlYm4lDfxjs8IdO?= =?us-ascii?Q?0xk+0cLsH7S5K2JQbnQFe1Tex5fM5hKAQrC4zQMbpStIZIiKXylt9WL7QxFE?= =?us-ascii?Q?M6WwuoHnKqXFAQu7cmQkVIhWVXILfEBtaLzEQJGKZdq5T4xkqks2fQr5djbB?= =?us-ascii?Q?73hmywYIaUfhF+I0ZD4Z4vtTjdxgY76aBB+oqhGd87YBNndSEAcXnLF0qsSI?= =?us-ascii?Q?Ma+kzuGYd+mFHh0IYoxrxFAm4Mw75ms3+CzD6fr39KZpNOLccmZolcz6CG8l?= =?us-ascii?Q?pNyeB/uUjzcA/naFipjl0FTPQL+dCFffAvOzSERnQXM+YzCqZwRE3MOIY0be?= =?us-ascii?Q?iZdQo2c=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:(13230037)(1800799021)(366013)(376011)(38070700015);DIR:OUT;SFP:1101; Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI0PR08MB10620 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: DB1PEPF000509E5.eurprd03.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 87577da7-8e1c-4472-cff4-08dc907055b4 X-Microsoft-Antispam: BCL:0;ARA:13230037|35042699019|376011|36860700010|1800799021|82310400023|34020700013; X-Microsoft-Antispam-Message-Info: =?us-ascii?Q?u30rEVZk2sXHlS+xBzbi2ruN0WrJzZkjFKSy8QBFL2WDh8x22gIsJ+aaKVg5?= =?us-ascii?Q?7rMFHVoNBD8JCl6EkxzkAQUmDCemSpH8wC/lB6Hv0ORmW40sW/q1H5oWwvSi?= =?us-ascii?Q?JGa94girLBGiwotfMGaSiJAPPQdv5712clVL0MvxIQODDXQ/JzbaGCi4cL3N?= =?us-ascii?Q?GZ0Y9BpENgnpaRZOL51NAPnEkI2DwcXzF+3gGzEQa2Yhkwz7TDC8pYYAuMWQ?= =?us-ascii?Q?j6zFR4HZ3WiTBSZwLE2cWtSNlDvl7v9gpGZ3nnYDDIe8HUTMkOy57X9Z8dhz?= =?us-ascii?Q?CRd7hfzWOxIW1StI41gXSXfrUjAF1hhxdklCX9iukYoNO/DJyI6xsDaulJhu?= =?us-ascii?Q?Uh/V5bSX65F52DgNtjtmCsc7maAN5EOIe3YwPYNP1WGQvAcVd5AjW8SfgneB?= =?us-ascii?Q?LDAeqekYBmT2cxpTgBgW8iKb1alFk3KM7b+ZQzw2tlSsk5dCwvLf1LrxIIWQ?= =?us-ascii?Q?Zy4Z3hG7mDcFsvqzGTRjuiefA4cIt//R1iL37rXnjis5PJJz9g85A+wV2a03?= =?us-ascii?Q?W1Joos9X+N9ELu5h0gX3rSl4NlMS+HBSQ6/pj6LneM5YFVrRr3z+CelQQk68?= =?us-ascii?Q?6h8jnwv8ndpQQkhkx6LxIrOzFqeakYo8RKQ+n8pgCIcf4tNevnA3ageajqGT?= =?us-ascii?Q?JH7wWNa6VlsbrsFTQ2NVVXW1Ob0ClLRFrjnkkc1VmzdjJl9lMgdRdnFpfP5k?= =?us-ascii?Q?O7vVl37GSnP4Zk55zVB4IkSzU1VUXmeOeP7yow/3Hfrx5nS4bm5YmJZ0seJt?= =?us-ascii?Q?A1ZrP03NFRao2c+wKp9qhMqjp4MF0XQeMGGhhjLy0xu9006xv2ggsDF4JDa7?= =?us-ascii?Q?kk3EhAH+1H7Nh6Y1mAmJShlpK29U3TSYQcRI6pvAE5fss3TcIJtpll4bVJE2?= =?us-ascii?Q?0BsJWnRzLg8jYm7AzOGt/s5OB43TbAI5+X0c+g6K6ykA1Ao9i0OUWcg63arr?= =?us-ascii?Q?sxDV9qYILnfz7/wrhOnLRFIflNQG0wxD5z0OwzXjUF/WglmAfw1OXl7SScIs?= =?us-ascii?Q?vSfgmH+4t8f9RF9Ii+J5WRxmQFoRjXV/pgOn+wIf3t7scPN1HMC934cEjRAs?= =?us-ascii?Q?tH/yFAwtTyd3a3GXxa3bSpvgf1e3/oRMxtt7QnD/XbusJrVNhUf8jOvy1JXh?= =?us-ascii?Q?1onw9vB4sZzy6sBYdOnRG/Psc+8j8uCYJVcvicDS0eXywwkLWWXP+HNFj/Rz?= =?us-ascii?Q?C22/KpzVreL0aTTuQZdEQoFNx+DVYK6phXXW45M3c9rCwCB8tTPRsFUbdueD?= =?us-ascii?Q?ssJZ64Oy9Go4mcc/FSRd1/koNIc3yRtGZ8dQ0XVrqdjP69aHf0lxoPTq8O99?= =?us-ascii?Q?vOxPE2ktEVhhfma4o5ganUWJWUeDXMuNwobUTb5mzO1PPFgUiviFK7VL/cvU?= =?us-ascii?Q?6bzLcX5z0FsRbecMFiCnCllWh+wH645afJsDxK1r2bB7RcBgIQ=3D=3D?= 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:(13230037)(35042699019)(376011)(36860700010)(1800799021)(82310400023)(34020700013);DIR:OUT;SFP:1101; X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Jun 2024 14:59:00.9744 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: c836535e-6689-44cd-8742-08dc90705a92 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: DB1PEPF000509E5.eurprd03.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8PR08MB8222 X-Spam-Status: No, score=-6.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FORGED_SPF_HELO,SPF_HELO_PASS,SPF_NONE,TXREP,T_SCC_BODY_TEXT_LINE,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: > -----Original Message----- > From: Michael Matz > Sent: Wednesday, June 19, 2024 3:46 PM > To: Tamar Christina > Cc: Richard Biener ; gcc-patches@gcc.gnu.org; nd > ; bin.cheng@linux.alibaba.com > Subject: RE: [PATCH][ivopts]: use affine_tree when comparing IVs during c= andidate > selection [PR114932] >=20 > Hello, >=20 > On Wed, 19 Jun 2024, Tamar Christina wrote: >=20 > > So this is where we compare different IV expressions to determine which > > IVs compute the same thing and thus can be in the same group. > > > > The STRIP_NOPS don't work because while the incoming types are the same > > the casts are different. So: > > > > >>> p debug (ustep) > > (unsigned long) stride.3_27 * 4 > > $3 =3D void > > >>> p debug (cstep) > > (unsigned long) (stride.3_27 * 4) > > $4 =3D void > > > > Which is of course stripped to: > > > > >>> p debug (top) > > (unsigned long) stride.3_27 * 4 > > $1 =3D void > > >>> p debug (bot) > > stride.3_27 * 4 > > > > Both of these compute the same thing >=20 > In isolation these are _not_ computing the same when strides type is > smaller than ulong, namely when stride is either negative or larger than > its max-value/4. I.e. when comparing IVs not only the overflow behaviour > for the whole {base,+,step} revolution matters, but also the behaviour on > the constituent expressions. (It's possible that stride is known to be > non-problematic here, I haven't checked. I was just triggered by the > claim of same-ness :) ) The only use of this method is to determine whether the two expressions can possibly be the same. After this IVops forcibly converts them to an unsigned type though an affine fold in get_computation_aff_1. So in the end it doesn't care about the sign and uses them all as unsigned. Tamar >=20 >=20 > Ciao, > Michael.