[{"id":3688087,"web_url":"http://patchwork.ozlabs.org/comment/3688087/","msgid":"","list_archive_url":null,"date":"2026-05-07T22:47:54","subject":"Re: [PATCH v2] match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0)\n into ABS_EXPR [PR123514]","submitter":{"id":92310,"url":"http://patchwork.ozlabs.org/api/people/92310/","name":"Jeffrey Law","email":"jeffrey.law@oss.qualcomm.com"},"content":"On 5/4/2026 4:15 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 and I've pushed this to the trunk.  I was concerned about what \nhappens around INT_MIN, but ultimately convinced myself they both have \nthe same behavior WRT INT_MIN.\n\nThanks,\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=jeUqNHy8;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=oss.qualcomm.com header.i=@oss.qualcomm.com\n header.a=rsa-sha256 header.s=google header.b=CPo5xuT4;\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=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=jeUqNHy8;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=oss.qualcomm.com header.i=@oss.qualcomm.com\n header.a=rsa-sha256 header.s=google header.b=CPo5xuT4","sourceware.org; dmarc=none (p=none dis=none)\n header.from=oss.qualcomm.com","sourceware.org;\n spf=pass smtp.mailfrom=oss.qualcomm.com","sourceware.org;\n arc=none smtp.remote-ip=205.220.180.131"],"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 4gBS8d07mcz1yCg\n\tfor ; Fri, 08 May 2026 08:48:31 +1000 (AEST)","from vm01.sourceware.org (localhost [IPv6:::1])\n\tby sourceware.org (Postfix) with ESMTP id 632C24BA23C2\n\tfor ; Thu, 7 May 2026 22:48:29 +0000 (GMT)","from mx0b-0031df01.pphosted.com (mx0b-0031df01.pphosted.com\n [205.220.180.131])\n by sourceware.org (Postfix) with ESMTPS id 689C14BA2E37\n for ; Thu, 7 May 2026 22:47:58 +0000 (GMT)","from pps.filterd (m0279870.ppops.net [127.0.0.1])\n by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 647JrPDq2199545\n for ; Thu, 7 May 2026 22:47:57 GMT","from mail-dy1-f200.google.com (mail-dy1-f200.google.com\n [74.125.82.200])\n by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4e119sgfxk-1\n (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT)\n for ; Thu, 07 May 2026 22:47:57 +0000 (GMT)","by mail-dy1-f200.google.com with SMTP id\n 5a478bee46e88-2bda35eab74so1154576eec.0\n for ; Thu, 07 May 2026 15:47:57 -0700 (PDT)","from [192.168.1.109] ([143.105.105.61])\n by smtp.gmail.com with ESMTPSA id\n 5a478bee46e88-2f86486db35sm267856eec.4.2026.05.07.15.47.55\n (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);\n Thu, 07 May 2026 15:47:55 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 632C24BA23C2","OpenDKIM Filter v2.11.0 sourceware.org 689C14BA2E37"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 689C14BA2E37","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 689C14BA2E37","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1778194078; cv=none;\n b=QMxd8VEOxke2ZYV/obWIaFOkw+a32F1ZQFLycqKjmOBQs1aYhvL5Y0jeg5Qui255QRiGRt0FGWWosfL/1cLvpznsA94L45cF8MHdCn1U+jR/XBhEgschRfaAo/L2Jd7T1bZ7ghE8kppEdWkSvcBhJ8bK5yhU41sXE+hmU1cgjws=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1778194078; c=relaxed/simple;\n bh=1LslY3LoEIo3co5ep3eiqIeGL6J3X+deOhxn+3XdcPk=;\n h=DKIM-Signature:DKIM-Signature:Message-ID:Date:MIME-Version:\n Subject:To:From;\n b=kvSJSd4sPevCVE00mlzk7crP6mLKTh6Mve9mBdZqk80rjQpexagiln5GqwoCZJNO6Bt3K4k9l5kSW9rUj6NB1vabfHSIy+0Uce3VnVbpgQ8yMPf0ilUG7tSHRudvntAv9yMy9KNEFQBIOE5+ifNd+HejjWiiiaZYSu//NZohin0=","ARC-Authentication-Results":"i=1; sourceware.org;\n dkim=pass (2048-bit key, unprotected)\n header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=jeUqNHy8;\n dkim=pass (2048-bit key, unprotected) header.d=oss.qualcomm.com\n header.i=@oss.qualcomm.com header.a=rsa-sha256 header.s=google\n header.b=CPo5xuT4","DKIM-Signature":["v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h=\n content-transfer-encoding:content-type:date:from:in-reply-to\n :message-id:mime-version:references:subject:to; s=qcppdkim1; bh=\n eR+ZDE1q3dISXHMtOL/4Rfv8MahWSKx4+IHM44E5GUo=; b=jeUqNHy8DBRThJMP\n ghcX2cZOtDx383zToxcymkKW/VnetEwHebwvB5UqRCVtdpJW413D8sBlJy1YVuqM\n F4vJo1HOS7paSfa3RB4SSLIId9mJ1Je3REH70Fg9Xp15cG3nNSqWBY6PdXUE9fy1\n OjnAorcDUxdhXZeY/dFqPq/3fEMXlkhVIDBY3UyS6+7KxN8hfttJ9lQv98cMeneJ\n LD39vBOUOLWTaNgArwAcI2SW1ycFvNUfSSK1qB58mjm6qq0Mm4C+9bSUy1XbIWAk\n kMu5gTZZmgC2NRNXh6K+esCVRlCs8p7y3OgkWKkUxBTpHreY1QPqEPrb2ZvaZPJ5\n YjzMbA==","v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=oss.qualcomm.com; s=google; t=1778194077; x=1778798877; darn=gcc.gnu.org;\n h=content-transfer-encoding:in-reply-to:from:content-language\n :references:to:subject:user-agent:mime-version:date:message-id:from\n :to:cc:subject:date:message-id:reply-to;\n bh=eR+ZDE1q3dISXHMtOL/4Rfv8MahWSKx4+IHM44E5GUo=;\n b=CPo5xuT4CkTpo1ZeZbY+60UOCgYsxeWDl+gOWIv2YZpPMnOrx/KQNktqR4QG7epLHK\n aUkff5203X7E/nFEYOX8NF+MsaCC6Evstgq2UADygug1UZNcpgD+VCQiwwLWEIEX8j/8\n KPyd5xbnpALmyAoT4OsDnRPrAU2rUY0nbusdFC4AKhYdri9qM/j7xoi4Q6MLf5NCyZ1f\n SSYnL5itqEb9jrVXET7z9EXo5XM1cddVIfGVEPZMMEawRJwFxi0s1CbYu0wlbLEyZZHa\n XAnZd1KuxAGgzGYRxHa5I8UPXZPqhGC4tRcJN0UcGXj0kzndEUUaRg6VJUm297U4zKUh\n 6S1A=="],"X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1778194077; x=1778798877;\n h=content-transfer-encoding:in-reply-to:from:content-language\n :references:to:subject:user-agent:mime-version:date:message-id\n :x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id\n :reply-to;\n bh=eR+ZDE1q3dISXHMtOL/4Rfv8MahWSKx4+IHM44E5GUo=;\n b=MZlqMNEmnKsRf4TlNHFFAZRG9c9gEkHnJJD1jB7tm4wjcr67JGVN1QuEEtOVZy9kcL\n ASUPDm3Gq0C+OswfF2Yc9qS56798y2sZ2ws7UgAHHTynSMoJQSYuTW9np3NunkOmFzza\n RiiU4ZP6j8WVBfx+7YtEeQD7+ostFphYhUTdWR1w0hVnSaNPmEO0FF4wo+f9E6SNf0td\n sNJrJGIiWTEe3T3UIFgBwj9vst2vSboSBl8ZslI90lTRYrhgFIxRmkSb1Fm/KHSP6+Tc\n GiNXpLzGTR2sV6up2W9UGwnOiGy2OKQDeQAcK0Er8YSbbxUS846gMmLmSanfS+Wyp/fw\n Gl1Q==","X-Forwarded-Encrypted":"i=1;\n AFNElJ+EAnMrwSa+Nox5vB+j2mryXHhhiSDfkrlmK+mf5HNvOQ97MC7PXP7rOxLy1MOCRcjiRE+U8aV40MP94A==@gcc.gnu.org","X-Gm-Message-State":"AOJu0YwKiUdxxzPHRnRK2mOdseagmceY55NxAAuDbRxggEO4R1dEzQJO\n Xt7pyLJqVhOfo73l1Ib8yrH7yK3q3kV532DBSvo9sNeok/o1ozHHEbbrQ/tC2BmZkXgaKzGTDOI\n aOgN/KerAksPDWVtCmlF6Qgin8jt2XPTziZMU03BDP8xVFvi7RgWQP63NndzE","X-Gm-Gg":"Acq92OF6kO63OnyBKlFzXZkdsbQnpxoptECM02iZxATs/d/4aMCBHl5yTEGP1hRsdk4\n D9Dwpjsx7h337LUeXpC9BuoR51JZYtgOzncfqVpWKHX1cefq2zH2OPXdSFjcoSfmydvoW9lEUvQ\n o0W9aNsg5r9+GRwA8EPWc9R3y6dZlB8kiVjMcre3H/TIV3scQW7nhY7u7jWeSGXdx8o0SqQlWQc\n wjmz2W7UFQvnDWGOy+JzFR1a2gJF4dkRM+kEo9kG/7KA1b+qcCVFmIBDMnhvqRuooku8EAVUXGo\n ncXHl4lf6gvkCvqkmxNorrv/F+vlQT6wRL7H7KJk0eSUWK15SFXtc92MIdTbmujM3E8JXQE2Nzi\n 5Jr915PSS/TFrVApTn13kgt9ptJUz3e5k6Nf/8VIVwUXai6QrC+p/18pt/jukBXs=","X-Received":["by 2002:a05:7300:2d07:b0:2d3:9c91:6c45 with SMTP id\n 5a478bee46e88-2f6e24f93acmr2026321eec.6.1778194076687;\n Thu, 07 May 2026 15:47:56 -0700 (PDT)","by 2002:a05:7300:2d07:b0:2d3:9c91:6c45 with SMTP id\n 5a478bee46e88-2f6e24f93acmr2026302eec.6.1778194076038;\n Thu, 07 May 2026 15:47:56 -0700 (PDT)"],"Message-ID":"","Date":"Thu, 7 May 2026 16:47:54 -0600","MIME-Version":"1.0","User-Agent":"Mozilla Thunderbird","Subject":"Re: [PATCH v2] match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0)\n into ABS_EXPR [PR123514]","To":"Eikansh Gupta , gcc-patches@gcc.gnu.org","References":"<20260504101556.1565434-1-eikansh.gupta@oss.qualcomm.com>","Content-Language":"en-US","From":"Jeffrey Law ","In-Reply-To":"<20260504101556.1565434-1-eikansh.gupta@oss.qualcomm.com>","Content-Type":"text/plain; charset=UTF-8; format=flowed","Content-Transfer-Encoding":"8bit","X-Proofpoint-Spam-Details-Enc":"AW1haW4tMjYwNTA3MDIzMSBTYWx0ZWRfX3GfwBNkwiZ1y\n IM0doAzeB+BGm4IfvfiNWvR4Z0Uj0twAWy1EIF18FqX//vDE3SdbafS9d/pQMvFfdwO1rqlxjYw\n NEY3mOQl633BepTaQCIWeOpOpSTTiyE9SME3WfQAJ2ox216rzF5BZmGI8UJjFuHP5YrdoAHJGB4\n gA2nKU+6Cv5nco1gHLpEHCSZUVA3aQeAflCZDIyZRyroFXau4Yu3rr20wgI9Y6nHmuf5YisDYVO\n LpaWxPUrDPnrBLjQhOXmqtJQTBGOOViUvvW15F7X5PJfO55J1JEKlTLMfoiIT3NQLZiDm0CcjOr\n Zdun4O7bStBQo22+S6vYwvpkYk5HUhr0ofSv2j9Bn1+GKWt3gGaGbGh+K3FvKeWXjuFbpaU8aA8\n s0rRrarHjIHM4len0hErXJs4uvAkdm9ja7wa9L1Cqas1j4XV5V6jTI6AcCCkfl3tlV1EoHEfiHE\n ebv11c+WuMluvDALpmQ==","X-Proofpoint-ORIG-GUID":"bm1-0VAAKuRI9H8JpAhMLhsUkEZ2LKCJ","X-Proofpoint-GUID":"bm1-0VAAKuRI9H8JpAhMLhsUkEZ2LKCJ","X-Authority-Analysis":"v=2.4 cv=Dd4nbPtW c=1 sm=1 tr=0 ts=69fd169d cx=c_pps\n a=PfFC4Oe2JQzmKTvty2cRDw==:117 a=UJIC50gv+ZPgOnKk85Fheg==:17\n a=IkcTkHD0fZMA:10 a=NGcC8JguVDcA:10 a=s4-Qcg_JpJYA:10\n a=VkNPw1HP01LnGYTKEx00:22 a=u7WPNUs3qKkmUXheDGA7:22 a=gowsoOTTUOVcmtlkKump:22\n a=JIF7Jxpmx5mDAxHQgPQA:9 a=3ZKOabzyN94A:10 a=QEXdDO2ut3YA:10\n a=6Ab_bkdmUrQuMsNx7PHu:22","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-05-07_02,2026-05-06_01,2025-10-01_01","X-Proofpoint-Spam-Details":"rule=outbound_notspam policy=outbound score=0\n malwarescore=0 bulkscore=0 clxscore=1015 adultscore=0 lowpriorityscore=0\n suspectscore=0 spamscore=0 impostorscore=0 phishscore=0 priorityscore=1501\n classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0\n reason=mlx scancount=1 engine=8.22.0-2604200000 definitions=main-2605070231","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"}}]