{"id":2220937,"url":"http://patchwork.ozlabs.org/api/1.1/patches/2220937/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/20260408124847.1911596-1-eikansh.gupta@oss.qualcomm.com/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/1.1/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null},"msgid":"<20260408124847.1911596-1-eikansh.gupta@oss.qualcomm.com>","date":"2026-04-08T12:48:47","name":"match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0) into ABS_EXPR [PR123514]","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"c8e67a3c3a73ce60bd253ec02d76446f743d35ed","submitter":{"id":92956,"url":"http://patchwork.ozlabs.org/api/1.1/people/92956/?format=json","name":"Eikansh Gupta","email":"eikansh.gupta@oss.qualcomm.com"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/20260408124847.1911596-1-eikansh.gupta@oss.qualcomm.com/mbox/","series":[{"id":499135,"url":"http://patchwork.ozlabs.org/api/1.1/series/499135/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=499135","date":"2026-04-08T12:48:47","name":"match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0) into ABS_EXPR [PR123514]","version":1,"mbox":"http://patchwork.ozlabs.org/series/499135/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2220937/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2220937/checks/","tags":{},"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=NhzaENQ5;\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=fF/22naD;\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=NhzaENQ5;\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=fF/22naD","sourceware.org; dmarc=none (p=none dis=none)\n header.from=oss.qualcomm.com","sourceware.org;\n spf=pass smtp.mailfrom=oss.qualcomm.com","server2.sourceware.org;\n arc=none smtp.remote-ip=205.220.168.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 4frNDm3N1Vz1xv0\n\tfor ; Wed, 08 Apr 2026 22:49:26 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id DA2134BA2E0E\n\tfor ; Wed, 8 Apr 2026 12:49:23 +0000 (GMT)","from mx0a-0031df01.pphosted.com (mx0a-0031df01.pphosted.com\n [205.220.168.131])\n by sourceware.org (Postfix) with ESMTPS id 6098F4BA2E04\n for ; Wed, 8 Apr 2026 12:48:56 +0000 (GMT)","from pps.filterd (m0279865.ppops.net [127.0.0.1])\n by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 638B3qAN1005869\n for ; Wed, 8 Apr 2026 12:48:55 GMT","from mail-pl1-f198.google.com (mail-pl1-f198.google.com\n [209.85.214.198])\n by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4dd7tpbbew-1\n (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT)\n for ; Wed, 08 Apr 2026 12:48:55 +0000 (GMT)","by mail-pl1-f198.google.com with SMTP id\n d9443c01a7336-2b24a00d12cso67586685ad.1\n for ; Wed, 08 Apr 2026 05:48:55 -0700 (PDT)","from hu-eikagupt-hyd.qualcomm.com ([202.46.22.19])\n by smtp.gmail.com with ESMTPSA id\n d9443c01a7336-2b2749b66aasm214484695ad.68.2026.04.08.05.48.51\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Wed, 08 Apr 2026 05:48:53 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org DA2134BA2E0E","OpenDKIM Filter v2.11.0 sourceware.org 6098F4BA2E04"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 6098F4BA2E04","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 6098F4BA2E04","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1775652536; cv=none;\n b=xHuznbS9XS7P8+qRD6xfSsNy92oFaE8YmpjwPBsj6fQtptBrax9ldlfH/hRNyMfSEme6etGVz8tCjpinvMQH2P8wg0Sz3tpe3iAtqYYAj/4K4uzw13dM8C3zZ9i8Gg1Y0QY3Vo7GYszLZlOuGtONBfvIzSDC1HzfoP8JwvSlXgM=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1775652536; c=relaxed/simple;\n bh=u3Es19IxQH8WwEUkxBau39KuWxGoDCJ6yJEWSNKpRd4=;\n h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-Id:\n MIME-Version;\n b=NQDIvMTkZ1//OuAVhJb9ly7MNItEV1c0tX963j3nRK14yfDss16NW9innHaB3rxV2KcTYi0+of2LaWYfwH5DDYwIy0A6tRLBxi7sOc2VxO+oiplktU4DocU0KV/FWNaPKE9eHjSkbJT3mA1U3rYShhZgS/fc01NZxaS88fsEeNk=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":["v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h=\n cc:content-transfer-encoding:date:from:message-id:mime-version\n :subject:to; s=qcppdkim1; bh=rmNE2c2/SHSDiczFRLrxG2lmw+ZOxAoOu+S\n xwk4o8/g=; b=NhzaENQ5TS79fv/uli91SOmzayKe7qilhzNslp97V33IbqI0gcd\n sMOmE0XprrbJkpcsfUrjc1ofVsZjBgiANoYMQRUnBGNYQbIUtKLDTtdTGNaydkx0\n l3WqTNUCKjps8J/Uw/DKTQ5l+xA8scyyNVcSfpeB+YY+BPguwJ6op+UVedlasNkq\n FQg+tfeGPjqoXlip2nZcAM4aBaD3JpnZIswAsN0yXXi9FPEyZP/kuHVxNV2H2YTP\n CuGfJ6Om963vgln2zO+sal+muc8Yo14gc6X10+r0HQmgW8Au8FlJuVzEoMOv41NG\n y/ASQavG8Qi17DM5ZqYdSHgph3UwF4kx5VQ==","v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=oss.qualcomm.com; s=google; t=1775652534; x=1776257334; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:message-id:date:subject:cc\n :to:from:from:to:cc:subject:date:message-id:reply-to;\n bh=rmNE2c2/SHSDiczFRLrxG2lmw+ZOxAoOu+Sxwk4o8/g=;\n b=fF/22naDbuklLnr4it1eWl9A92suBg6k7yaLx10dnmavG1gEdZmXlkqXod71HtTuP/\n SQakwPNXkwUPVF4t2ZNdGL96m4jDBOguNA5eqnLf4WlSuXZRNE0n3zK8DqqpLfeDRN/h\n Kzk6s8NGCFTpvsOc7IdJEMB2MuWbzDGWUPMX8KYshFmnpOrSnB743svtN/vVjcfxufog\n 1WiI9mHMlezDwFQ/9EyjdNTiTQcZwLtmdlrm1OulqocfzXsw3XDoHd02yjduHyJshMZ6\n yhNpt6B3AbXxpOO8HncPT7dAvNujGK8HnHMzB18GuvA1nRGWVqiD3ta4pbM5OXjxdEpp\n 3OtA=="],"X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1775652534; x=1776257334;\n h=content-transfer-encoding:mime-version:message-id:date:subject:cc\n :to:from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date\n :message-id:reply-to;\n bh=rmNE2c2/SHSDiczFRLrxG2lmw+ZOxAoOu+Sxwk4o8/g=;\n b=JgNHfi+TPJhLdBfSbWztL11mwFv8Qu+nCX21Gq2QDx7aUNcWk5pIN5zTy0MoGdywJd\n xHlQoteG7EeXr+4q/LciEOJuMcXeRzoyTCcxFHAeEeEso1+sOiv7n0at3ZCFbT46oPNc\n oi4wFqCiD4jZ9uyQQJUYsUjxiFhWkaSvl+/+RhsEQICtbyMWxZya0wNZfp6CGqxAlAr0\n MxDziO6w2clVxs/QFtWbCnQ7z5hCyTew/L1PH7A8vwW1ua0zS8V0RidlSbYEOeUKWd0P\n hCh8TWEZqFrS4Xo5s/JQp+S6C0y2Auuq1eCkcwjxvOUbA4KyCEOxaaiUpboZfLMmAtL5\n NMCA==","X-Gm-Message-State":"AOJu0YwkaaWhVn0eh8ustaqzc+80fodXkLHt+S6xvaVFIbMp3GYBIS/c\n Ynbd+sL9A0e2Cjyh91dIaWSZHExRKylKVyjPJZgEWDekWz5hEFoClrfOYSajXGLG5U97JmEcB4I\n qaUAQ+W3MLiHpv2DY7YUEC+F212LPu+EAFZY83v2eZcFF7/YJL34ZImx1ButNZrbOjVCx","X-Gm-Gg":"AeBDiety4AfHAxZgePbzCOFKZbWhAZjD2uZ4Efp5s9jftAZ2BDcKEWPQieYU6AOCAKX\n +ZvKdoK13s0sAnonAWAQaFkbps8t+aVDiq+UvOj0+J5AfBPt9ayo1NqBYhPqWrMQHWedgZq9aWu\n IhASm1WcPPvDGsDXrhDgdl1Ux3sk1sb+ukKNvq7cM3jzwhqzXDZagEscqquHCGxNIJqapuQAj2n\n bRFxcXidnolF3mzdS729cNdK8uvChu06KX48EtbUGXvNYtWD1o80jaMjJBD6rZHGSdUC5rd3e8E\n JU/a1M9ALxiv33GutNhjNTCzxZ+OG0ZfZvDb7RRmBuEBXud3hmBr5FP3VUhG6CeX6krkDPaVC5+\n xsDdKGGncXAzlZRHakqrAdhEXDbHMQNOSr21tP1hLNaZJG5eeVJ/Yw/w=","X-Received":["by 2002:a17:903:32ca:b0:2b2:49a7:a5d0 with SMTP id\n d9443c01a7336-2b28167b42cmr216148765ad.11.1775652534039;\n Wed, 08 Apr 2026 05:48:54 -0700 (PDT)","by 2002:a17:903:32ca:b0:2b2:49a7:a5d0 with SMTP id\n d9443c01a7336-2b28167b42cmr216148515ad.11.1775652533519;\n Wed, 08 Apr 2026 05:48:53 -0700 (PDT)"],"From":"Eikansh Gupta ","To":"gcc-patches@gcc.gnu.org","Cc":"Eikansh Gupta ","Subject":"[PATCH] match.pd: Add pattern to fold (X - (X<0)) ^ -(X<0) into\n ABS_EXPR [PR123514]","Date":"Wed, 8 Apr 2026 18:18:47 +0530","Message-Id":"<20260408124847.1911596-1-eikansh.gupta@oss.qualcomm.com>","X-Mailer":"git-send-email 2.34.1","MIME-Version":"1.0","Content-Transfer-Encoding":"8bit","X-Proofpoint-GUID":"Bd1_coieK7DGkrgPpZFWOwhj9VUS8Ggq","X-Proofpoint-Spam-Details-Enc":"AW1haW4tMjYwNDA4MDExOCBTYWx0ZWRfX64+WvAgKsinf\n AYtS8uXWKTW/Tv1oHzdEgaPbyTWewYg5wepZdR1qOg3HwTt8fN4MFDm+HjXxizkRBlTKBW2v8iX\n 1Zo6YtB2UbzRzyiz11j3zvRefbrl87zyCSUt1l9z+NuF2yuJtl9bmgjmBsK7XiGtO+QaxdR1Q0v\n RO2qJSNFYEwvNLgftKqOejn8GR9A6VgG7D/g/KeKjzzlsAEh63vEhYcEH6TqPxaqnhcKJXuvwHr\n EFTAZ7JFFzcVtAcNGP2CS8T+jHkvJ2EuPM2Pg56di/qa7/0MIemt4ymTq2SPArtv7kV5Y9o2ONU\n 2ts0Fa8db4rv1uIEIxpx1/WtTMu3Jmdrw8xdmb3PfYVxhwnn8F7QSXtWOvf7QF5NvmOavPWLcQC\n /7MbcJZIADnMWuHHGGfzWZYieFpkOoG1mWuHT+NuurdlyKQpOlCEPwD5zDxz/i1eohQ+lHwqwYR\n SwsCVsERgfSnAgl7o5A==","X-Proofpoint-ORIG-GUID":"Bd1_coieK7DGkrgPpZFWOwhj9VUS8Ggq","X-Authority-Analysis":"v=2.4 cv=DNS/JSNb c=1 sm=1 tr=0 ts=69d64eb7 cx=c_pps\n a=MTSHoo12Qbhz2p7MsH1ifg==:117 a=fChuTYTh2wq5r3m49p7fHw==:17\n a=A5OVakUREuEA:10 a=s4-Qcg_JpJYA:10 a=VkNPw1HP01LnGYTKEx00:22\n a=u7WPNUs3qKkmUXheDGA7:22 a=Um2Pa8k9VHT-vaBCBUpS:22 a=EUspDBNiAAAA:8\n a=bVEYfrqySzzYK-VrGfIA:9 a=GvdueXVYPmCkWapjIL-Q: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-04-08_04,2026-04-08_01,2025-10-01_01","X-Proofpoint-Spam-Details":"rule=outbound_notspam policy=outbound score=0\n suspectscore=0 spamscore=0 lowpriorityscore=0 adultscore=0 priorityscore=1501\n impostorscore=0 clxscore=1015 bulkscore=0 phishscore=0 malwarescore=0\n classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0\n reason=mlx scancount=1 engine=8.22.0-2604010000 definitions=main-2604080118","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"},"content":"Adds a pattern to fold (x - (x<0)) ^ -(x<0) into ABS_EXPR.\n\n\tPR 123514\n\ngcc/ChangeLog:\n\n\t* match.pd (x - (x<0)) ^ -(x<0) into ABS_EXPR): New pattern.\n\ngcc/testsuite/ChangeLog:\n\n\t* gcc.dg/tree-ssa/pr123514.c: New test.\n\nSigned-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","diff":"diff --git a/gcc/match.pd b/gcc/match.pd\nindex 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+\t (negate @1))\n+ (if (ANY_INTEGRAL_TYPE_P (TREE_TYPE (@0))\n+ && !TYPE_UNSIGNED (TREE_TYPE (@0)))\n+ (abs @0)))\n+\n /* Simplifications of operations with one constant operand and\n simplifications to constants or single values. */\n \ndiff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr123514.c b/gcc/testsuite/gcc.dg/tree-ssa/pr123514.c\nnew file mode 100644\nindex 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","prefixes":[]}