From patchwork Wed Apr 8 12:48:47 2026 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Eikansh Gupta X-Patchwork-Id: 132810 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from vm01.sourceware.org (localhost [127.0.0.1]) by sourceware.org (Postfix) with ESMTP id C4A5B4BA2E15 for ; Wed, 8 Apr 2026 12:49:35 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C4A5B4BA2E15 Authentication-Results: sourceware.org; dkim=pass (2048-bit key, unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256 header.s=qcppdkim1 header.b=NhzaENQ5; dkim=pass (2048-bit key, unprotected) header.d=oss.qualcomm.com header.i=@oss.qualcomm.com header.a=rsa-sha256 header.s=google header.b=fF/22naD X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mx0a-0031df01.pphosted.com (mx0a-0031df01.pphosted.com [205.220.168.131]) by sourceware.org (Postfix) with ESMTPS id 6098F4BA2E04 for ; Wed, 8 Apr 2026 12:48:56 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 6098F4BA2E04 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=oss.qualcomm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=oss.qualcomm.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 6098F4BA2E04 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=205.220.168.131 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1775652536; cv=none; b=xHuznbS9XS7P8+qRD6xfSsNy92oFaE8YmpjwPBsj6fQtptBrax9ldlfH/hRNyMfSEme6etGVz8tCjpinvMQH2P8wg0Sz3tpe3iAtqYYAj/4K4uzw13dM8C3zZ9i8Gg1Y0QY3Vo7GYszLZlOuGtONBfvIzSDC1HzfoP8JwvSlXgM= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1775652536; c=relaxed/simple; bh=u3Es19IxQH8WwEUkxBau39KuWxGoDCJ6yJEWSNKpRd4=; h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-Id: MIME-Version; b=NQDIvMTkZ1//OuAVhJb9ly7MNItEV1c0tX963j3nRK14yfDss16NW9innHaB3rxV2KcTYi0+of2LaWYfwH5DDYwIy0A6tRLBxi7sOc2VxO+oiplktU4DocU0KV/FWNaPKE9eHjSkbJT3mA1U3rYShhZgS/fc01NZxaS88fsEeNk= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6098F4BA2E04 Received: from pps.filterd (m0279865.ppops.net [127.0.0.1]) by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id 638B3qAN1005869 for ; Wed, 8 Apr 2026 12:48:55 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h= cc:content-transfer-encoding:date:from:message-id:mime-version :subject:to; s=qcppdkim1; bh=rmNE2c2/SHSDiczFRLrxG2lmw+ZOxAoOu+S xwk4o8/g=; b=NhzaENQ5TS79fv/uli91SOmzayKe7qilhzNslp97V33IbqI0gcd sMOmE0XprrbJkpcsfUrjc1ofVsZjBgiANoYMQRUnBGNYQbIUtKLDTtdTGNaydkx0 l3WqTNUCKjps8J/Uw/DKTQ5l+xA8scyyNVcSfpeB+YY+BPguwJ6op+UVedlasNkq FQg+tfeGPjqoXlip2nZcAM4aBaD3JpnZIswAsN0yXXi9FPEyZP/kuHVxNV2H2YTP CuGfJ6Om963vgln2zO+sal+muc8Yo14gc6X10+r0HQmgW8Au8FlJuVzEoMOv41NG y/ASQavG8Qi17DM5ZqYdSHgph3UwF4kx5VQ== Received: from mail-pl1-f198.google.com (mail-pl1-f198.google.com [209.85.214.198]) by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4dd7tpbbew-1 (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT) for ; Wed, 08 Apr 2026 12:48:55 +0000 (GMT) Received: by mail-pl1-f198.google.com with SMTP id d9443c01a7336-2b24a00d12cso67586685ad.1 for ; Wed, 08 Apr 2026 05:48:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oss.qualcomm.com; s=google; t=1775652534; x=1776257334; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=rmNE2c2/SHSDiczFRLrxG2lmw+ZOxAoOu+Sxwk4o8/g=; b=fF/22naDbuklLnr4it1eWl9A92suBg6k7yaLx10dnmavG1gEdZmXlkqXod71HtTuP/ SQakwPNXkwUPVF4t2ZNdGL96m4jDBOguNA5eqnLf4WlSuXZRNE0n3zK8DqqpLfeDRN/h Kzk6s8NGCFTpvsOc7IdJEMB2MuWbzDGWUPMX8KYshFmnpOrSnB743svtN/vVjcfxufog 1WiI9mHMlezDwFQ/9EyjdNTiTQcZwLtmdlrm1OulqocfzXsw3XDoHd02yjduHyJshMZ6 yhNpt6B3AbXxpOO8HncPT7dAvNujGK8HnHMzB18GuvA1nRGWVqiD3ta4pbM5OXjxdEpp 3OtA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1775652534; x=1776257334; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=rmNE2c2/SHSDiczFRLrxG2lmw+ZOxAoOu+Sxwk4o8/g=; b=JgNHfi+TPJhLdBfSbWztL11mwFv8Qu+nCX21Gq2QDx7aUNcWk5pIN5zTy0MoGdywJd xHlQoteG7EeXr+4q/LciEOJuMcXeRzoyTCcxFHAeEeEso1+sOiv7n0at3ZCFbT46oPNc oi4wFqCiD4jZ9uyQQJUYsUjxiFhWkaSvl+/+RhsEQICtbyMWxZya0wNZfp6CGqxAlAr0 MxDziO6w2clVxs/QFtWbCnQ7z5hCyTew/L1PH7A8vwW1ua0zS8V0RidlSbYEOeUKWd0P hCh8TWEZqFrS4Xo5s/JQp+S6C0y2Auuq1eCkcwjxvOUbA4KyCEOxaaiUpboZfLMmAtL5 NMCA== X-Gm-Message-State: AOJu0YwkaaWhVn0eh8ustaqzc+80fodXkLHt+S6xvaVFIbMp3GYBIS/c Ynbd+sL9A0e2Cjyh91dIaWSZHExRKylKVyjPJZgEWDekWz5hEFoClrfOYSajXGLG5U97JmEcB4I qaUAQ+W3MLiHpv2DY7YUEC+F212LPu+EAFZY83v2eZcFF7/YJL34ZImx1ButNZrbOjVCx X-Gm-Gg: AeBDiety4AfHAxZgePbzCOFKZbWhAZjD2uZ4Efp5s9jftAZ2BDcKEWPQieYU6AOCAKX +ZvKdoK13s0sAnonAWAQaFkbps8t+aVDiq+UvOj0+J5AfBPt9ayo1NqBYhPqWrMQHWedgZq9aWu IhASm1WcPPvDGsDXrhDgdl1Ux3sk1sb+ukKNvq7cM3jzwhqzXDZagEscqquHCGxNIJqapuQAj2n bRFxcXidnolF3mzdS729cNdK8uvChu06KX48EtbUGXvNYtWD1o80jaMjJBD6rZHGSdUC5rd3e8E JU/a1M9ALxiv33GutNhjNTCzxZ+OG0ZfZvDb7RRmBuEBXud3hmBr5FP3VUhG6CeX6krkDPaVC5+ xsDdKGGncXAzlZRHakqrAdhEXDbHMQNOSr21tP1hLNaZJG5eeVJ/Yw/w= X-Received: by 2002:a17:903:32ca:b0:2b2:49a7:a5d0 with SMTP id d9443c01a7336-2b28167b42cmr216148765ad.11.1775652534039; Wed, 08 Apr 2026 05:48:54 -0700 (PDT) X-Received: by 2002:a17:903:32ca:b0:2b2:49a7:a5d0 with SMTP id d9443c01a7336-2b28167b42cmr216148515ad.11.1775652533519; Wed, 08 Apr 2026 05:48:53 -0700 (PDT) Received: from hu-eikagupt-hyd.qualcomm.com ([202.46.22.19]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-2b2749b66aasm214484695ad.68.2026.04.08.05.48.51 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); 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 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 X-Proofpoint-GUID: Bd1_coieK7DGkrgPpZFWOwhj9VUS8Ggq X-Proofpoint-Spam-Details-Enc: AW1haW4tMjYwNDA4MDExOCBTYWx0ZWRfX64+WvAgKsinf AYtS8uXWKTW/Tv1oHzdEgaPbyTWewYg5wepZdR1qOg3HwTt8fN4MFDm+HjXxizkRBlTKBW2v8iX 1Zo6YtB2UbzRzyiz11j3zvRefbrl87zyCSUt1l9z+NuF2yuJtl9bmgjmBsK7XiGtO+QaxdR1Q0v RO2qJSNFYEwvNLgftKqOejn8GR9A6VgG7D/g/KeKjzzlsAEh63vEhYcEH6TqPxaqnhcKJXuvwHr EFTAZ7JFFzcVtAcNGP2CS8T+jHkvJ2EuPM2Pg56di/qa7/0MIemt4ymTq2SPArtv7kV5Y9o2ONU 2ts0Fa8db4rv1uIEIxpx1/WtTMu3Jmdrw8xdmb3PfYVxhwnn8F7QSXtWOvf7QF5NvmOavPWLcQC /7MbcJZIADnMWuHHGGfzWZYieFpkOoG1mWuHT+NuurdlyKQpOlCEPwD5zDxz/i1eohQ+lHwqwYR 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 a=MTSHoo12Qbhz2p7MsH1ifg==:117 a=fChuTYTh2wq5r3m49p7fHw==:17 a=A5OVakUREuEA:10 a=s4-Qcg_JpJYA:10 a=VkNPw1HP01LnGYTKEx00:22 a=u7WPNUs3qKkmUXheDGA7:22 a=Um2Pa8k9VHT-vaBCBUpS:22 a=EUspDBNiAAAA:8 a=bVEYfrqySzzYK-VrGfIA:9 a=GvdueXVYPmCkWapjIL-Q:22 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1143,Hydra:6.1.51,FMLib:17.12.100.49 definitions=2026-04-08_04,2026-04-08_01,2025-10-01_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 suspectscore=0 spamscore=0 lowpriorityscore=0 adultscore=0 priorityscore=1501 impostorscore=0 clxscore=1015 bulkscore=0 phishscore=0 malwarescore=0 classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0 reason=mlx scancount=1 engine=8.22.0-2604010000 definitions=main-2604080118 X-Spam-Status: No, score=-14.0 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_LOW, RCVD_IN_VALIDITY_RPBL_BLOCKED, RCVD_IN_VALIDITY_SAFE_BLOCKED, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org Adds a pattern to fold (x - (x<0)) ^ -(x<0) into ABS_EXPR. PR 123514 gcc/ChangeLog: * match.pd (x - (x<0)) ^ -(x<0) into ABS_EXPR): New pattern. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/pr123514.c: New test. Signed-off-by: Eikansh Gupta --- gcc/match.pd | 8 ++++++++ gcc/testsuite/gcc.dg/tree-ssa/pr123514.c | 11 +++++++++++ 2 files changed, 19 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr123514.c diff --git a/gcc/match.pd b/gcc/match.pd index 7b652afb43d..211e5d99ae5 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -230,6 +230,14 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (abs @0))) #endif +/* (X - (X < 0)) ^ -(X < 0) -> abs (X) */ +(simplify + (bit_xor:c (minus @0 (convert@1 (lt @0 integer_zerop))) + (negate @1)) + (if (ANY_INTEGRAL_TYPE_P (TREE_TYPE (@0)) + && !TYPE_UNSIGNED (TREE_TYPE (@0))) + (abs @0))) + /* Simplifications of operations with one constant operand and simplifications to constants or single values. */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr123514.c b/gcc/testsuite/gcc.dg/tree-ssa/pr123514.c new file mode 100644 index 00000000000..4a09d859031 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr123514.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -fdump-tree-optimized" } */ + +int +bit_trick (int x) +{ + int mask = -(x < 0); + return ((x + mask) ^ mask); +} + +/* { dg-final { scan-tree-dump "ABS_EXPR" "optimized" } } */