[{"id":3683675,"web_url":"http://patchwork.ozlabs.org/comment/3683675/","msgid":"","list_archive_url":null,"date":"2026-04-28T19:05:24","subject":"Re: [PATCH] match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0) into\n ABS_EXPR [PR123514]","submitter":{"id":92871,"url":"http://patchwork.ozlabs.org/api/people/92871/","name":"Jeffrey Law","email":"jefflaw@qti.qualcomm.com"},"content":"On 4/8/2026 6:48 AM, Eikansh Gupta wrote:\n> Adds a pattern to fold (x - (x<0)) ^ -(x<0) into ABS_EXPR.\n>\n> \tPR 123514\n>\n> gcc/ChangeLog:\n>\n> \t* match.pd (x - (x<0)) ^ -(x<0) into ABS_EXPR): New pattern.\n>\n> gcc/testsuite/ChangeLog:\n>\n> \t* gcc.dg/tree-ssa/pr123514.c: New test.\nOK.\n\nJeff","headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=Bc7NBsaz;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=Bc7NBsaz","sourceware.org; dmarc=none (p=none dis=none)\n header.from=qti.qualcomm.com","sourceware.org;\n spf=pass smtp.mailfrom=qti.qualcomm.com","server2.sourceware.org;\n arc=pass smtp.remote-ip=205.220.180.131"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g4qf61CtZz1yHv\n\tfor ; Wed, 29 Apr 2026 05:06:04 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 7BA914BBC08C\n\tfor ; Tue, 28 Apr 2026 19:06:02 +0000 (GMT)","from mx0b-0031df01.pphosted.com (mx0b-0031df01.pphosted.com\n [205.220.180.131])\n by sourceware.org (Postfix) with ESMTPS id B19B34BB8F48\n for ; Tue, 28 Apr 2026 19:05:29 +0000 (GMT)","from pps.filterd (m0279872.ppops.net [127.0.0.1])\n by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 63SFsBuj3634312\n for ; Tue, 28 Apr 2026 19:05:28 GMT","from dm2pr04cu003.outbound.protection.outlook.com\n (mail-dm2pr04cu00301.outbound.protection.outlook.com [40.93.13.57])\n by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4dty87rxje-2\n (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT)\n for ; Tue, 28 Apr 2026 19:05:28 +0000 (GMT)","from LV2PR02MB11156.namprd02.prod.outlook.com\n (2603:10b6:408:350::22) by MN6PR02MB10776.namprd02.prod.outlook.com\n (2603:10b6:208:4f4::15) with Microsoft SMTP Server (version=TLS1_2,\n cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9846.26; Tue, 28 Apr\n 2026 19:05:24 +0000","from LV2PR02MB11156.namprd02.prod.outlook.com\n ([fe80::ca5:a90e:7b8a:3905]) by LV2PR02MB11156.namprd02.prod.outlook.com\n ([fe80::ca5:a90e:7b8a:3905%2]) with mapi id 15.20.9846.025; Tue, 28 Apr 2026\n 19:05:24 +0000"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 7BA914BBC08C","OpenDKIM Filter v2.11.0 sourceware.org B19B34BB8F48"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org B19B34BB8F48","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org B19B34BB8F48","ARC-Seal":["i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1777403129; cv=pass;\n b=cYO3E5KZP7FUA2InWpMFfLmJs3U7L0j4bqTR4RSdsNh1Wl23QRX5ywxEqN+I51RehahxYNMf9EVeS+4BV4h4xRi+E5bmh0QlsziEZC8x6G2lORxgDxj38ABSvu69QZDvaYCdD961GxDMe2Js9L1MlJVPUkUegUD12OemQ21szrA=","i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none;\n b=N8+iMj8lvnDaP8YoKwGVi/x69eaWyKyHK6kI+xfaZ1E3jkZVdG4l0FDyPIdi7t1YDUcw6HGf5tyqytI2Qaw/7gkSLNxNQ3L7TVTOZi10ckh7PAEFQEcIg6fn1D8GFRfhKUb1rekFQyC7vedXu9WjWU6mcOAv+rT19stCDddglXLkndbDr2JowzzmkZoA9YoHGxkTRX2RHb1q3xDwhwcSH3fbXHFlrMv8GDJZuH/kh3kjNUqnbqyVqXhqblMcBe8izQ6eeAuIBZiAqihX6fELdOq22VqGMxTQmNi2u+IMOYLUkQa39LTAUihaBssyKhFFLdWSYy9DhnPpTgh40LscnA=="],"ARC-Message-Signature":["i=2; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777403129; c=relaxed/simple;\n bh=8zK843UiMwl6XPBhfdjX7xGv+MPXkQUjKS+Tl2gSmRw=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=o+xtgZMfEvaSRJ4M63ungLXo3MxVNeaiSUr3vZ4O9rtFjYB2JakllV5lVlbzy+Vkl4cfSk87neQdS5v/v1Jq4H2CzCTtrccvYQITyOc9s66q+wHqe/c1/v1zJAhr2tYGb+mzdKE/PKjI5TWC5sC/VewtESbSR5z227aDNqja2Ps=","i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com;\n s=arcselector10001;\n 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;\n bh=8zK843UiMwl6XPBhfdjX7xGv+MPXkQUjKS+Tl2gSmRw=;\n b=cQoFvCTCUWOPPbR21TkagyjcXb0wmal5jGJ7p3q1b2y/YH8/JymeEbauhLePfybW1AmBbxXDJQgfnELc40C3KVeQQVK3T8vW3IL0uoCFaLLdFuFpQG/OMBLHOd13so/ARQ/2qnWbhfaj4fZiDBYPO4KmMACWca++1RDP/BeRW6kDNeTOGX1u8dZFjexsid24d837rBnHARPMqwuBSSytFwjmJTMYYQ8cUOnB7gu4HUskMsVSlUfsW4X1V9c2L7Otvgoi7wS8vZ3ilh7BexiAu8hon77LWDJCjBgRwqRWw7b/50qJlvUZVROlWC1y+rZVjXfVPVmr4pXUBu9ArbwtnQ=="],"ARC-Authentication-Results":["i=2; server2.sourceware.org","i=1; mx.microsoft.com 1; spf=pass\n smtp.mailfrom=qti.qualcomm.com; dmarc=pass action=none\n header.from=qti.qualcomm.com; dkim=pass header.d=qti.qualcomm.com; arc=none"],"DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h=\n content-id:content-transfer-encoding:content-type:date:from\n :in-reply-to:message-id:mime-version:references:subject:to; s=\n qcppdkim1; bh=8zK843UiMwl6XPBhfdjX7xGv+MPXkQUjKS+Tl2gSmRw=; b=Bc\n 7NBsazQHpvrowIiHFOJgEjlKlaesrhpQMbJ3zPVFoThyg8S35p/AJ03X9hU9xf85\n wzDl/ib0NRut7xAYdQ5J2mc0jZgJDZYBqxWtIgywDQd2DX0ejy0lZf2cg7EsNQ7A\n rAhIrkr+k42RPq3sP/HxW+llGt02O2tuU4c+VEinnEisK7i4iQeEVhg4rpMtPo8f\n BAr9mcCUtNHpo+dcp4bzs8peT02HdrWTkksAWuBE2Fjp7j6lt8hsClSpa6IkAE4R\n KK/d5f2sYvgR8YkWnDaTyUWoRcArPykT221L+TiFXx/6GW9G0jlWC0xbg16Rb3G/\n toRO4O7prUMMhehDQErw==","From":"Jeffrey Law ","To":"Eikansh Gupta , \"gcc-patches@gcc.gnu.org\"\n ","Subject":"Re: [PATCH] match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0) into\n ABS_EXPR [PR123514]","Thread-Topic":"[PATCH] match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0) into\n ABS_EXPR [PR123514]","Thread-Index":"AQHc10H39X2OAAaWy0+s3ipX1getCA==","Date":"Tue, 28 Apr 2026 19:05:24 +0000","Message-ID":"","References":"<20260408124847.1911596-1-eikansh.gupta@oss.qualcomm.com>","In-Reply-To":"<20260408124847.1911596-1-eikansh.gupta@oss.qualcomm.com>","Accept-Language":"en-US","Content-Language":"en-US","X-MS-Has-Attach":"","X-MS-TNEF-Correlator":"","x-ms-publictraffictype":"Email","x-ms-traffictypediagnostic":"LV2PR02MB11156:EE_|MN6PR02MB10776:EE_","x-ms-office365-filtering-correlation-id":"c9919612-95d1-49e7-ba64-08dea5591a49","x-ms-exchange-senderadcheck":"1","x-ms-exchange-antispam-relay":"0","x-microsoft-antispam":"BCL:0;\n ARA:13230040|1800799024|366016|376014|56012099003|18002099003|22082099003|38070700021;","x-microsoft-antispam-message-info":"\n 7yPGbvidrSyf6dhHG6/5xtiYXXxBWo4dJ41lnKCbd5HUfyk3I+zTlPiefF/VIfFm4PO+ySe6NXxkpMMWh+7n+F2RxsEsU4BtsL7mGyP9kwwsdOhAhbkBOA3XGMLgBAXFQ57lGGg4DTlfUlFSeYn1pqLsUrVEz6CPkZuiljmi7Mm1+6O7EvCWkQDdAoIkFzbPmY25ReWZqJIwYvsQYvFX2AKwjqTgbbv5HCxzGDot/oeV2gmbSXyMr423egvwsQ9SEBEHbb189TN5TWbp3ZT/JjczY3ctL6LSLEN3Enz79N1XeaOu3XYxpxETdn8T8evQXsdX4H1kI5VHB/pxvQRWRYsWCox82SRf8LcSkFksQK3qqcKgX0eqmdMufbf6k4eM/d6lMk7TexR+tpn9dPLFYO8z9E5jY4mrbqaOpN+ySZrahUPdge8AYVnKClf+01OuNgric8UjolBpQIqAD/YAXy5n3jasB8YXgfCAS42c/m3HakNiBic5z2IBjlYcrW8zP2C2P3tZ5P6lMv3exhvJAS3Elt8CvTy51Fi3QX2FxUbRLKFga8ldkbxn0aRoJt1pg24LNMcgqp/ikfgHY8ip7JSAUGp6vJrckvhcF+AtFffaloaseTpswyNj2qXj/F+wBP0rezliAZPcC6Qdm1iWVDuoAt+LQj7T+rvVCfnD0XzTBOsXrFxE+ySM1HjjXfPI1Z0XlckwKc54Dk1QVvqD9dgGe4RZqcsSqEfAwUCsEKmag70ODtnEZlK1EZyCukrk","x-forefront-antispam-report":"CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;\n IPV:NLI; SFV:NSPM; H:LV2PR02MB11156.namprd02.prod.outlook.com; PTR:;\n CAT:NONE;\n SFS:(13230040)(1800799024)(366016)(376014)(56012099003)(18002099003)(22082099003)(38070700021);\n DIR:OUT; SFP:1101;","x-ms-exchange-antispam-messagedata-chunkcount":"1","x-ms-exchange-antispam-messagedata-0":"=?utf-8?q?krTp934c26/gk+TvuIwVysejcK5K?=\n\t=?utf-8?q?KbViactYSgFE3DlaklDsNIQZEwACIDcLK0doyaXw3Hx8ycSPrRU1FWiTJ+EOQMMxD?=\n\t=?utf-8?q?xRgtw2ZCiygPIJwBgcTU7IJYc75jFwZg1uAo+HsHzIKemj/fMPPHupkyC8zKee/kw?=\n\t=?utf-8?q?u8BZNxUeJKDfeQVzo1x1pDNeoqYPzPct/XruYrYFb307vo+PGjJCgc/Nmfm1SsKkn?=\n\t=?utf-8?q?dQZIMhNwn9VTaEweaEBa9xUvlgHw9TQ6RHGT2Z03zBf2mr+043ox+TagdjMSbuhIL?=\n\t=?utf-8?q?fjz5SSwN47k7COD9f8xU6fRXYWFNkhf31w0eucomAsRmk7GIaCvmlAPp/e9gpXLVO?=\n\t=?utf-8?q?m4OxYJ7EJZ9mt/k3o7JwPbxWZ+I2jxxRnsK31YmUp+pzc5MZK43qOEGol5iFZp32n?=\n\t=?utf-8?q?q78d3pxGtC47yzFfW6iOPZcVOrniNXickkG2B9e4JczPuwlaQZTY6ARL2mqpi2UCY?=\n\t=?utf-8?q?+oHKYam2T7AWDlU0awN9J8naPDTAaJ/QTyfm0f5LkJLdHWZ39sYgm8CwVeOrZD+w4?=\n\t=?utf-8?q?5CGbXf5m8ga28pYy3mQOPH8QcbWTGqtPfA1mOnURCOrMDT+M0EEufz13AEKNi/Tl2?=\n\t=?utf-8?q?K/jT9HHuTQD+/dQnp5gpv0sQCeISYI6QdRHt830O4NFEHlXLPOxVQfbVl8JCN+aPV?=\n\t=?utf-8?q?6SqEtFXJTANSO7zq7PPvB6elzYx/JXGIpMWszLBZBqwnNc9Dfqtn7XiLJPXx+gesj?=\n\t=?utf-8?q?1K3NHAUXccCmUtlid0LAwQYeG6qq6mS0sPE/ggSV2/pxFAZFT4cw8WeDRSMh+P9su?=\n\t=?utf-8?q?tdn8uQbFB/T1OWcwqr4paRcza5UtCKDrlxiJVqlQeBfBYOwOZ6q+axiuXgPOCBq6o?=\n\t=?utf-8?q?XYY4tEX9rO/sCY0NBaNZPX52SeionRbM8C6rOnF3xk+jg+FgjnGevwdCOw3cW9Nb7?=\n\t=?utf-8?q?J3tynLbK1OW5QtPPHfH9rT3f+OWElFekan1VcbnH7JBGfjXAzGueqEPR66JBL33OQ?=\n\t=?utf-8?q?k4EvAB5qZX2tFrVMEzniap6FzZsrgsNBEO2CvJxcEYmtcE/u+NZJrhvnaOmWkQywa?=\n\t=?utf-8?q?j70xPrFVQ/dmyl0u0Uud9QKNfvNePsonjUX+mClY3b4vzIjpOfuo7DslybwKwMJqd?=\n\t=?utf-8?q?0lbClm+/tefSpgQfOgHjPhFq9SSxfN3NKxqlzfpXKpM5h8g7EBFUk3ECl+8LlNHZt?=\n\t=?utf-8?q?NPc2gcyoyUFIgFh+4eXZ/JiEnQJ27/LWYDUOzsr/GCuuBaCgnY5iHyzfrIUTLttDH?=\n\t=?utf-8?q?nBJoipBCP84KwtmW+498n9aWExWSj3yPUm+kM7Fcpgfx/2s+zF45Cj9j5u2cbBMig?=\n\t=?utf-8?q?+uN6GMWazbqqLNsiR+dUSODxhVPTP7EYw786dC9uPnmUIllzzamKpqfo9v0+Wn4Oe?=\n\t=?utf-8?q?3sK4kgF+SkZztU9GRV0ad3se8I+LxsE9TrDRDPCBQM1LtyU059UZHDwShqzGAevDR?=\n\t=?utf-8?q?FO2P98P2GuWkECnEnsgAYTWKoZ8bozodLJe1JhQzhPqmNxlwx8WlOuTtIO0Z3hsS5?=\n\t=?utf-8?q?eD5qyFTn40VMYzEl2mO/isWQrNmAMyULOrXON5mm5rVmDyvnmy8A/ROnn0OC1iqQr?=\n\t=?utf-8?q?Z/qXPtY8RvV60OMe8bpjcTxsD5JaZ/SHig/pGBUTTOqjwJ0yGDJXYeci+zIv3b0I7?=\n\t=?utf-8?q?f1EpmOcma8Ay59NWhB0282T+A87w3vX8dC6/3usFisDqelBi7r9zWeIusaAsw4uKv?=\n\t=?utf-8?q?sDoo+djRhgLbMjSxU9dfkhcSNiNjajWEVDM4vInXzx9JHliWh9NJE=3D?=","Content-Type":"text/plain; charset=\"utf-8\"","Content-ID":"<2C404E69B7697749AD7FCDFD4AB66097@namprd02.prod.outlook.com>","Content-Transfer-Encoding":"base64","MIME-Version":"1.0","X-Exchange-RoutingPolicyChecked":"\n ucjS2zA4XAcmPnH5DsJsTGZjO7Dhi8edx25OiJLqX+OiBuVxma8eAkBVZpOOydU/Zzxs621OCr1tGDZBubQJFL+dp2hZUjTw6z3+gbJObTHArNob7U/AXKtSpDhcweTS1VQOcMgkG72rwugZUhTF5xRLAwBEY5CE4yCn8/6/NSTcwW02mv6UGRUQ3achGtqc5JVddGN9xNXTiAUWBo76Psxl9WZQVOQsPGhyPiPU4diDOyE66Pv5dKeMv7YQ9vG4fIF/YtK+HGH2vQS66RA+P2sllKNPMv3fhwElzBCslTMIOWk7zXqpfDtBtyXAV1tF0afTh4xj+OPfsbB7Yl1I6g==","X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount":"1","X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0":"\n s+5GsEQqg3rRInrJIEJjm4urWg8+cNRkHFVWoO8wTqNAnL+Rn+FTMp9KVUySX22K6FcZpebGp/W8zossGLJE3BgUDfoLziXqwNm/jlzasJzb6fZ5x8sPwYBs9INyNNjEOj9JVrlMMatsiN+Hfl8wOAT5gOATh66TdtjjfYNmjkZCfKS1qElisoa6WzP7c5+4qnC+xBp4YYH/GPQEveMstkA+o/4vPpnWYFdsperv9wr4CZz0Jhfc+Uei4KYuL3HPC9J3CToqDeggho6S/sQNmwm7YGtlxkEPaRYSRUoPBUXtD6aj2rWwZy8zQ9PsbUJTnNy0ncGsFkKORU20Hf/heUFL4QNfptRF0wOclL3pHonV9d4pyoL00tSn8rO2K/2fTnmGOR9qhSu2RukAlonPG5CBPEuZr9Jax7/W8d9zBsAqFmKgCMY/AlhSQb3PzEPzJWa1i8ygaw2GGlB/xD+XkbFrey1l219vUFlF7BrzcCjr490vZFM6Ouxn2sl678wnLkUhI0vGaP0DEgMLhLtB99X6CzMK3RqVV65mJ8fZxOdrl/rijm2TkJHFDONp2Z+JD1L1/myiKNNmFsT7ZAE8EdOXVCjXY3KHv0Zk0PdAdqlTidZNSyQQktwGnnMFznjG","X-OriginatorOrg":"qti.qualcomm.com","X-MS-Exchange-CrossTenant-AuthAs":"Internal","X-MS-Exchange-CrossTenant-AuthSource":"LV2PR02MB11156.namprd02.prod.outlook.com","X-MS-Exchange-CrossTenant-Network-Message-Id":"\n c9919612-95d1-49e7-ba64-08dea5591a49","X-MS-Exchange-CrossTenant-originalarrivaltime":"28 Apr 2026 19:05:24.4705 (UTC)","X-MS-Exchange-CrossTenant-fromentityheader":"Hosted","X-MS-Exchange-CrossTenant-id":"98e9ba89-e1a1-4e38-9007-8bdabc25de1d","X-MS-Exchange-CrossTenant-mailboxtype":"HOSTED","X-MS-Exchange-CrossTenant-userprincipalname":"\n 8iS9ZwQ6tYQxJ7dWv8i0yW2Bh/7yVTncYwzpEhVuXmFzsHRnqLK4yMZgJ+stQ28ZZCDs3gnHDOGtSxIKkZFDNB3KWUlTIi/QUY/vbfkzz8I=","X-MS-Exchange-Transport-CrossTenantHeadersStamped":"MN6PR02MB10776","X-Authority-Analysis":"v=2.4 cv=abJRWxot c=1 sm=1 tr=0 ts=69f104f8 cx=c_pps\n a=y3Q9mg33rxtftU4vhVNh8Q==:117 a=z/mQ4Ysz8XfWz/Q5cLBRGdckG28=:19\n a=lCpzRmAYbLLaTzLvsPZ7Mbvzbb8=:19 a=xqWC_Br6kY4A:10 a=IkcTkHD0fZMA:10\n a=A5OVakUREuEA:10 a=VkNPw1HP01LnGYTKEx00:22 a=u7WPNUs3qKkmUXheDGA7:22\n a=yx91gb_oNiZeI1HMLzn7:22 a=JIF7Jxpmx5mDAxHQgPQA:9 a=QEXdDO2ut3YA:10","X-Proofpoint-GUID":"Nwspn5IKexlyD19uyRNGhN7jyKAINBc0","X-Proofpoint-ORIG-GUID":"Nwspn5IKexlyD19uyRNGhN7jyKAINBc0","X-Proofpoint-Spam-Details-Enc":"AW1haW4tMjYwNDI4MDE4NSBTYWx0ZWRfX3iwKAAtjcEIe\n tSouGNxn16Y3rBTbd2dLJ05NTaijAPqnyuuhKcAQA+bSWIzXp85fwFoJOurUoh6CV4eb4dt+Zgn\n 1oWPYMABaZiXuSqKJSGo8xWGYoYfejMvySfjmhnSKqwyyWPgF93Fx6T9cndgNIgDEH8RXZrzIMb\n 7f7o2x2dA3rFnvQ2wbcV5t/7ZoJs5uddToJ1fbjI+wY8ZA1tF4oFJ0MrvMSITFKUwK9SDAe9jeB\n aCMLvACVEytO7Y1Q45cnDw+xPlMjXC/hvTOSruN5PiX5pHlHHIK4C+FvKXPMoy3wgZOYZWVJN2G\n +5XXYBjLZ162z2D5gXIk0t5h72iRDsPpKqw2mVpHdwiYlOyTHZ2cEBcstWztRVUdir7PPzPo6sX\n bAR+O+bsHTDKxKWt5DQFmnYtS/QaNjWwZ8VHMwtVaDHX/sIA4SS7NJKAcXXx84hcb31hXp+au92\n yzr8z2CGCLz2OKIMfwA==","X-Proofpoint-Virus-Version":"vendor=baseguard\n engine=ICAP:2.0.293,Aquarius:18.0.1143,Hydra:6.1.51,FMLib:17.12.100.49\n definitions=2026-04-28_05,2026-04-28_01,2025-10-01_01","X-Proofpoint-Spam-Details":"rule=outbound_notspam policy=outbound score=0\n suspectscore=0 priorityscore=1501 malwarescore=0 impostorscore=0 spamscore=0\n phishscore=0 bulkscore=0 clxscore=1015 adultscore=0 lowpriorityscore=0\n classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0\n reason=mlx scancount=1 engine=8.22.0-2604200000 definitions=main-2604280185","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"}},{"id":3683889,"web_url":"http://patchwork.ozlabs.org/comment/3683889/","msgid":"","list_archive_url":null,"date":"2026-04-29T08:14:08","subject":"Re: [PATCH] match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0) into\n ABS_EXPR [PR123514]","submitter":{"id":1765,"url":"http://patchwork.ozlabs.org/api/people/1765/","name":"Richard Biener","email":"richard.guenther@gmail.com"},"content":"On Wed, Apr 8, 2026 at 2:49 PM Eikansh Gupta\n wrote:\n>\n> Adds a pattern to fold (x - (x<0)) ^ -(x<0) into ABS_EXPR.\n>\n> PR 123514\n>\n> gcc/ChangeLog:\n>\n> * match.pd (x - (x<0)) ^ -(x<0) into ABS_EXPR): New pattern.\n>\n> gcc/testsuite/ChangeLog:\n>\n> * gcc.dg/tree-ssa/pr123514.c: New test.\n>\n> Signed-off-by: Eikansh Gupta \n> ---\n> gcc/match.pd | 8 ++++++++\n> gcc/testsuite/gcc.dg/tree-ssa/pr123514.c | 11 +++++++++++\n> 2 files changed, 19 insertions(+)\n> create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr123514.c\n>\n> diff --git a/gcc/match.pd b/gcc/match.pd\n> index 7b652afb43d..211e5d99ae5 100644\n> --- a/gcc/match.pd\n> +++ b/gcc/match.pd\n> @@ -230,6 +230,14 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)\n> (abs @0)))\n> #endif\n>\n> +/* (X - (X < 0)) ^ -(X < 0) -> abs (X) */\n> +(simplify\n> + (bit_xor:c (minus @0 (convert@1 (lt @0 integer_zerop)))\n> + (negate @1))\n> + (if (ANY_INTEGRAL_TYPE_P (TREE_TYPE (@0))\n> + && !TYPE_UNSIGNED (TREE_TYPE (@0)))\n> + (abs @0)))\n\nIf you use ANY_INTEGRAL_TYPE_P you need to check for\ntarget support of abs for the vector type case. But I believe\nthe (convert (lt ...)) will not match there, so please just\nuse INTEGRAL_TYPE_P here.\n\n> +\n> /* Simplifications of operations with one constant operand and\n> simplifications to constants or single values. */\n>\n> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr123514.c b/gcc/testsuite/gcc.dg/tree-ssa/pr123514.c\n> new file mode 100644\n> index 00000000000..4a09d859031\n> --- /dev/null\n> +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr123514.c\n> @@ -0,0 +1,11 @@\n> +/* { dg-do compile } */\n> +/* { dg-options \"-O1 -fdump-tree-optimized\" } */\n> +\n> +int\n> +bit_trick (int x)\n> +{\n> + int mask = -(x < 0);\n> + return ((x + mask) ^ mask);\n> +}\n> +\n> +/* { dg-final { scan-tree-dump \"ABS_EXPR\" \"optimized\" } } */\n> --\n> 2.34.1\n>","headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=c7++vbff;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=38.145.34.32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=c7++vbff","sourceware.org;\n dmarc=pass (p=none dis=none) header.from=gmail.com","sourceware.org; spf=pass smtp.mailfrom=gmail.com","server2.sourceware.org;\n arc=pass smtp.remote-ip=209.85.208.41"],"Received":["from vm01.sourceware.org (vm01.sourceware.org [38.145.34.32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g59962Gdxz1yHX\n\tfor ; Wed, 29 Apr 2026 18:15:17 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 9F6274BB24D7\n\tfor ; Wed, 29 Apr 2026 08:15:14 +0000 (GMT)","from mail-ed1-f41.google.com (mail-ed1-f41.google.com\n [209.85.208.41])\n by sourceware.org (Postfix) with ESMTPS id 5CDF34BB1C37\n for ; Wed, 29 Apr 2026 08:14:22 +0000 (GMT)","by mail-ed1-f41.google.com with SMTP id\n 4fb4d7f45d1cf-6729c6f0ca7so15104598a12.0\n for ; Wed, 29 Apr 2026 01:14:22 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 9F6274BB24D7","OpenDKIM Filter v2.11.0 sourceware.org 5CDF34BB1C37"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 5CDF34BB1C37","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 5CDF34BB1C37","ARC-Seal":["i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1777450476; cv=pass;\n b=PjSaAaTw2v7SzxLB3rfcwcutMrIAu4uv6Kiu1xJVClYGYiiWyPFawIQ9AghWMS3MOVRIlz9sPCn46ZvjccmL3WB/3h2Q9BsjpWL3ZE20s85zYi8O/5ZdCV6iNgFEzPtQRVpnX7ZSZ7eHjUdaXwDQgMaQXNuIz4b9Bf45U7x4S8E=","i=1; a=rsa-sha256; t=1777450461; cv=none;\n d=google.com; s=arc-20240605;\n b=G4GlHRTGM9c9L46cDMxCSM/Uh9GCQiVo6w2VqhKgiFGlF25aoHdpK943+gOl/6nUpJ\n NuDAVajq4QK+dJc5GLVwQ6X+4dQvdfoMMud/iqLpwu9CCAcbddyJfH/jBpQF0S2ftfg1\n Pa28DLWkQVA9Us39csYJVRc0wqS8IPebALa2suxYcozw/4byq58KNDkqhZrzVsOmpdFv\n 3BRL+w/H/WKjo3Qj7TwcIeFPNQJJ0K4vDPase77xkmM/s3OL6wD72cdWKfIOCha0xnV1\n VUVptuLKlgwpgJdudULbHWxQUER+fGxTs3SS2F7oQp+Xgreg6mXvh17uHiVlexPSDo4v\n vxWQ=="],"ARC-Message-Signature":["i=2; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777450476; c=relaxed/simple;\n bh=H+viq/FnxDaF5cc7jiudQ9zqtzwzfUAkDqh1aBhJEY0=;\n h=DKIM-Signature:MIME-Version:From:Date:Message-ID:Subject:To;\n b=ktTJruwpxfeEiM8TEae7tMkvPsY0aLYXc1P1JBI/GTROX7TDVYIoPoPEKnXIepsUbe1xzHNPz0z5ppiheoXb/JPy4MpRoc9JY+B9oqnWaKmIC/pFjDEEGSJE/WEtfvj0vl/97B4UoRHtRAWflSn5nvrDAl5YZGm1eyf638MDj4o=","i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com;\n s=arc-20240605;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:dkim-signature;\n bh=vqxkp6Zrs05eTMuHchIIzooIwBFswilLQAOiLxK82ko=;\n fh=8ZHhM+Vf0igST2/4uO+kHSh9ULNuoz2EzFn0p4RjPzk=;\n b=ltZ/xpsJkIXoAoEW5f+aqP91GZXUnaxS7VkuJmRiVAG96eg2RRnJrvYEDpPdlEtAbV\n pCLmeo2ZCQ2djoqf5NGABxheDT4jgstsOhGzPbST0GjQZEjL1o4hvpxmA8hD3GoJUfBB\n Qil1NGKHD0KBxfw29CjxPUgZg8EcKXhdCIsWEgMpL4aC3rG/wu1yYTIzEjAJMy4WhqEP\n ANQbQTHOc1RBnbK22v/MhK5kx0BFbjrSLpEqK5ixuMg2KeAgUMoAD2JJpMtXP5VALgbc\n SJOh6onifbsM6ytGcz4ndisgNY6TXxRgXBnxJQomTOtF0sVhgiu76EQBqcazD88PU8CX\n 8Wig==; darn=gcc.gnu.org"],"ARC-Authentication-Results":["i=2; server2.sourceware.org","i=1; mx.google.com; arc=none"],"DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=gmail.com; s=20251104; t=1777450461; x=1778055261; darn=gcc.gnu.org;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:from:to:cc:subject:date\n :message-id:reply-to;\n bh=vqxkp6Zrs05eTMuHchIIzooIwBFswilLQAOiLxK82ko=;\n b=c7++vbff37S59Z6G3d7bZT3AHDMIKEzyCLZhDFWuehW+8X+vYtiw00D4hBhKZlBSoY\n np48hfaS2g/AoaLaK4dr+MXclrQRBCqyeP9/avjnlPSv1DiUNDP6uxvExboozwiXSw/A\n 7/i1rIPw2EZVFGTKTSGUA2gqiFOuFCwiD36O45SCXcKV1b4FGQZKaMN9Ky56xFe2F5qW\n ifo/KUz2Jo7RnJiHfJaLr/q2IB8grSASGXd3S4vTXie18xeEu/l8Lkygd0cpCLa6wTjE\n hjzR4ZM4j6d1irqqxNWaOIJn4urKZBZdhDDRC6a4gld9LAIqZZ29eZWfKKeQiJlBhUnQ\n 6kaQ==","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1777450461; x=1778055261;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:x-gm-gg:x-gm-message-state:from\n :to:cc:subject:date:message-id:reply-to;\n bh=vqxkp6Zrs05eTMuHchIIzooIwBFswilLQAOiLxK82ko=;\n b=mFW8/ch1+zygVg4fTacrgVql5c96iqCatnhIkIjPYiQVxQjVA7fQ49M7RkinGVTpou\n B/HsXqNTMt1GCum4CW20TATQRm2Kk2HGOWOJI6H5IX5Epm0hInY2QbHnFwzL46qZjbKE\n VVP0p+esxjEWJq/zTMYsthISbXY6aRBG1IxXeF6KYJ5M0dmnpt1gTyRn33qr8zspd2O1\n d6agdjRDKeYiM523qRuJx96cpXDihKSLn/rSAI2UxTy65U4CDBIHSARNkffw0dmm8NuP\n 2w7ArmcryqOuAXl8V8MNfeyaUEbENqMXIuNt+h8G8Buc21qUeQ/jFtBAUbkcF2Cfn0Vx\n 83Vw==","X-Gm-Message-State":"AOJu0Yy2InYJLvHWpGRBQjj+jyOZXXHQBWidAlBVI8CKkoYyxxJzvvuT\n jjSEGwYP0vnEFXFRUfYceSWqOzCMRLmPFFqkKFyyqhMjQ4RiegWU9WVbPmC7bHFYTVYyqimwyOV\n ReMP7ZapI9bsnUoFIoCMx7DRw/Fx4Ebk=","X-Gm-Gg":"AeBDiesRyZnSpbuNb0fTocaB5u8twfVEXVAIu9QBVpJ/JxNvqExhJC2T26OCbMpQo0a\n kq7YpDCpwrk6wlNSVAlY9fcUl7hgd+CK+UIucF4iJQUI6+ksRn6A9k4H///AMLuWeOGQmoS3y0T\n u/bGiTRgHfeUqjZVOy/thxTQUn3Y38AHUHDxty77tN3tQivS/CMcBBz8ZHETQyn9efUxG9cuSYI\n FLDMADYp/MskV1fDqmzesC+q/163KgsBNXP2nH5xBWa8wSyDySHw8/wh6hS0UgkRajptd8tAfjf\n 8e9sueUUgfwxYt6H","X-Received":"by 2002:a05:6402:312d:b0:674:837f:9249 with SMTP id\n 4fb4d7f45d1cf-67b1fd7fa54mr1135843a12.2.1777450460960; Wed, 29 Apr 2026\n 01:14:20 -0700 (PDT)","MIME-Version":"1.0","References":"<20260408124847.1911596-1-eikansh.gupta@oss.qualcomm.com>","In-Reply-To":"<20260408124847.1911596-1-eikansh.gupta@oss.qualcomm.com>","From":"Richard Biener ","Date":"Wed, 29 Apr 2026 10:14:08 +0200","X-Gm-Features":"AVHnY4Jy9sr-HakYOxlftz7Q2O0cdUwdMmCFlJBigxbIU2UaTPnm4Hc3kp-uV34","Message-ID":"\n ","Subject":"Re: [PATCH] match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0) into\n ABS_EXPR [PR123514]","To":"Eikansh Gupta ","Cc":"gcc-patches@gcc.gnu.org","Content-Type":"text/plain; charset=\"UTF-8\"","Content-Transfer-Encoding":"quoted-printable","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"}}]