Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/patches/2217347/?format=api
{ "id": 2217347, "url": "http://patchwork.ozlabs.org/api/patches/2217347/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260328020133.3994701-1-pengxuan.zheng@oss.qualcomm.com/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/projects/17/?format=api", "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, "list_archive_url": "", "list_archive_url_format": "", "commit_url_format": "" }, "msgid": "<20260328020133.3994701-1-pengxuan.zheng@oss.qualcomm.com>", "list_archive_url": null, "date": "2026-03-28T02:01:33", "name": "match: min|max(a+|-c, b+|-c) -> min|max(a, b)+|-c [PR116008, PR124560]", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "41dfb182f8f0259cb63dd53faf77597a36602f72", "submitter": { "id": 92245, "url": "http://patchwork.ozlabs.org/api/people/92245/?format=api", "name": "Pengxuan Zheng", "email": "pengxuan.zheng@oss.qualcomm.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260328020133.3994701-1-pengxuan.zheng@oss.qualcomm.com/mbox/", "series": [ { "id": 497847, "url": "http://patchwork.ozlabs.org/api/series/497847/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=497847", "date": "2026-03-28T02:01:33", "name": "match: min|max(a+|-c, b+|-c) -> min|max(a, b)+|-c [PR116008, PR124560]", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/497847/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2217347/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2217347/checks/", "tags": {}, "related": [], "headers": { "Return-Path": "<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>", "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=fail reason=\"signature verification failed\" (2048-bit key;\n unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=W3Tqg4ec;\n\tdkim=fail reason=\"signature verification failed\" (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=fVdX+jJB;\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=fail reason=\"signature verification failed\" (2048-bit key,\n unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=W3Tqg4ec;\n\tdkim=fail reason=\"signature verification failed\" (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=fVdX+jJB", "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 4fjLP01hl6z1y1P\n\tfor <incoming@patchwork.ozlabs.org>; Sat, 28 Mar 2026 13:02:10 +1100 (AEDT)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 2DA6C4BA23F1\n\tfor <incoming@patchwork.ozlabs.org>; Sat, 28 Mar 2026 02:02:08 +0000 (GMT)", "from mx0a-0031df01.pphosted.com (mx0a-0031df01.pphosted.com\n [205.220.168.131])\n by sourceware.org (Postfix) with ESMTPS id B18A64BA2E16\n for <gcc-patches@gcc.gnu.org>; Sat, 28 Mar 2026 02:01:37 +0000 (GMT)", "from pps.filterd (m0279864.ppops.net [127.0.0.1])\n by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 62RN3oFN772186\n for <gcc-patches@gcc.gnu.org>; Sat, 28 Mar 2026 02:01:36 GMT", "from mail-dy1-f199.google.com (mail-dy1-f199.google.com\n [74.125.82.199])\n by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4d5sxhj7yp-1\n (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT)\n for <gcc-patches@gcc.gnu.org>; Sat, 28 Mar 2026 02:01:36 +0000 (GMT)", "by mail-dy1-f199.google.com with SMTP id\n 5a478bee46e88-2c0f6593ef5so2815326eec.1\n for <gcc-patches@gcc.gnu.org>; Fri, 27 Mar 2026 19:01:36 -0700 (PDT)", "from hu-pzheng-lv.qualcomm.com (Global_NAT1.qualcomm.com.\n [129.46.96.20]) by smtp.gmail.com with ESMTPSA id\n 5a478bee46e88-2c3c46a0d06sm924488eec.10.2026.03.27.19.01.34\n for <gcc-patches@gcc.gnu.org>\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Fri, 27 Mar 2026 19:01:34 -0700 (PDT)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 2DA6C4BA23F1", "OpenDKIM Filter v2.11.0 sourceware.org B18A64BA2E16" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org B18A64BA2E16", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org B18A64BA2E16", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1774663297; cv=none;\n b=kjGQi1o+YMYdwRTNR4/tEtS+feri9cVvirZCy5dh9PvdCOQhIr8fvfJ8yskql5jds8RdWR+RPiAefb56kQqAWjXs5ntWvicdxRJeBqUH28ensKaa2Gdkf2ASrmTdxR6r8nv+EjyFVxHXag5ap9F45dEhhhFn+/tEt+mCCGwLdxk=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1774663297; c=relaxed/simple;\n bh=E/Is1xbc4okxn0GpSL2qjdI5Is3ktWR81acljCIXnKA=;\n h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-Id:\n MIME-Version;\n b=nkhr+Cwy7A0EvojUYrJwIt0lSxkFC2nmq50A4zMGv+71XWVDYQFFySwzZCigeiUB8V+hIJ4j9/oo8O24xFKKcXe7xMja3em/qsgMOWCoAajpRVJgdjd6XFstjxRNTEbEZg4SbFbQjmbZctkTr6nPs7FQOMNOA+ZW9NoO1tCw7sE=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": [ "v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h=\n content-transfer-encoding:date:from:message-id:mime-version\n :subject:to; s=qcppdkim1; bh=jtjKlz2LQh2ZWEifbNa2VZASJfCC8lR67CU\n /J9ayr+0=; b=W3Tqg4ecBaiqrsSA92nig9vKaBqxS/652KYjqki1OzEXsudPbLq\n eOdNmkAIlbh3Akl6vf/ketoiJbiokKRVVOG2T7UlXunGPFUAGrtPykMEQOROUfgu\n rV23mEq4h5FYgei+beX0+PIzvNPFCUU7W2L9wazXoNfFup+TtvhNnj27/SPA+kqm\n rD+m72xwFNWCPu3AI3pxfAaT6o/cYyTdSGD/KOEzXfDbTicbQXf+EcL1xCz57S0o\n CDZUJpPnI126cibV2i7eiOvcFliI5C2u8OzAytXiFBGCXLVeEbspm8SI60WAPSro\n u/XLCK7E6E/QPTcsbEcghLYKAv263qK/91A==", "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=oss.qualcomm.com; s=google; t=1774663296; x=1775268096; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:message-id:date:subject:to\n :from:from:to:cc:subject:date:message-id:reply-to;\n bh=jtjKlz2LQh2ZWEifbNa2VZASJfCC8lR67CU/J9ayr+0=;\n b=fVdX+jJBMzBxDfNzNiyJU0fEfIPxM0Vqs0Tg8LERmikW5I8BsT54A/annnvERwg02w\n uNDgN8Y3iHZw/6e42qYC6yAvWxMa3xH0HQSjPcRvEcywY52/uXT+GfITZ/w9PbCewUpm\n bvxhu7u/BYzZYSjhNmmCtBOKOS052ffWWAbCwQdlxX8wJCO3ygJzmOkdjl8pUhlgGhaS\n 4E8V+uhc2PbA2/C43QmsFfvSpC0urH3FA/nbu42Gv/61M+J7Xv0cT2MG6q81f/bySY/L\n Q/6gJyt/kWHnWCtT0g8a9ToNmE0cTshjXO3dal124eSCHghM5OMcvgvZf0FlGOvJEUd6\n SYPw==" ], "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1774663296; x=1775268096;\n h=content-transfer-encoding:mime-version:message-id:date:subject:to\n :from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id\n :reply-to;\n bh=jtjKlz2LQh2ZWEifbNa2VZASJfCC8lR67CU/J9ayr+0=;\n b=W/Rv6nm58bxINHq/gYUicUlwA8z0mYEJZomFKwcv/d6xyBpe2t/s2J/SSdynjqRuO5\n rWIkR+70KGU074o8ClgcG104sb7HIh0T4YNOrxdie5mG7apC1/+k9SaTqgOIWGkyMB3E\n 8oZ7Q4GtiV5eEIbqDxncQkX4yH2zDmShBU/h+cE26qcYxYDlTlBsOzykBJKFuhB9Hs0A\n ZC5R5UXpLt5NxmWMnlKL+d4q8pZ/Q4hBXg/6Y/1Oq1PGSDHPRf1gSm2goOKkC0dWEz9y\n 8DYkjYrrI9HxQnmj0pCugPC/brTUGTviD6+pCmMA3ux9Un7a6DfK8eq5hOiBiJnYB4JN\n Yl/A==", "X-Gm-Message-State": "AOJu0YwMF3m8PU0/ArBb2xLicW3MRteQ/0TsMmHASrTX7/pG0Id7LF60\n hbQel7TW7XRvtSSzPaI9w+FaskNM2tr/kYx2lTnjm5Zu8m993eFTJ6mAuDtaTBr2lsHJQIK6QWu\n Tm/v3nCpvPRRKTgeLBfeiFHYJaVKT5ypqyp2yGsQxmAOF3gp8+iMNju8p/yfqYf5MD8mn", "X-Gm-Gg": "ATEYQzxgrugHdiKgXgeselDk4agVa8MCcMju6+3jeoeniecSMOolI73kNm5nAAfrY50\n KXkhiImnE4emgtyQpzGcyVlsytYrMIVst/+nDam1GsLTKLYICXYzgRsDqiC0AqHIsq3N3npbYNL\n pODMNOOTM2ukp8pa9XjQIyd1veBEGUmJq9LTux7yomHEVDRO3A5u0lrIBEeB7RZTGsmx+lxnBJJ\n emfJvylIT4JD9b79fUlcGk7b88YYdMHwh/9J+Dp2+DZLl/Q2YTusiFGe1UTHkDLFOvaLomkbTCM\n Ez0lr2EhpePuA8SpV8JNfpIOMA4vxPRyEDMkLRBcXiNRGdb6uW9dS/VxUzprMi4i1+P2QQ40m0u\n EYvHReopCoSrx67FJOyAuJeFMC7z3+3poeWZBVlgK89V5Hk5ewt1c5+cPDtwOPI3Of1i0slGv1U\n QL", "X-Received": [ "by 2002:a05:7301:1901:b0:2c1:27c:7598 with SMTP id\n 5a478bee46e88-2c185fa498bmr2332792eec.30.1774663295609;\n Fri, 27 Mar 2026 19:01:35 -0700 (PDT)", "by 2002:a05:7301:1901:b0:2c1:27c:7598 with SMTP id\n 5a478bee46e88-2c185fa498bmr2332786eec.30.1774663294972;\n Fri, 27 Mar 2026 19:01:34 -0700 (PDT)" ], "From": "Pengxuan Zheng <pengxuan.zheng@oss.qualcomm.com>", "To": "gcc-patches@gcc.gnu.org", "Subject": "[PATCH] match: min|max(a+|-c, b+|-c) -> min|max(a, b)+|-c [PR116008,\n PR124560]", "Date": "Fri, 27 Mar 2026 19:01:33 -0700", "Message-Id": "<20260328020133.3994701-1-pengxuan.zheng@oss.qualcomm.com>", "X-Mailer": "git-send-email 2.34.1", "MIME-Version": "1.0", "Content-Transfer-Encoding": "8bit", "X-Authority-Analysis": "v=2.4 cv=QZVrf8bv c=1 sm=1 tr=0 ts=69c73680 cx=c_pps\n a=cFYjgdjTJScbgFmBucgdfQ==:117 a=ouPCqIW2jiPt+lZRy3xVPw==:17\n a=Yq5XynenixoA:10 a=s4-Qcg_JpJYA:10 a=VkNPw1HP01LnGYTKEx00:22\n a=u7WPNUs3qKkmUXheDGA7:22 a=DJpcGTmdVt4CTyJn9g5Z:22 a=EUspDBNiAAAA:8\n a=O8CB0NOSjpk1F5zVhroA:9 a=scEy_gLbYbu1JhEsrz4S:22", "X-Proofpoint-ORIG-GUID": "GUpJrIy9JMKaiDEyw7iIff-4f6H6iWiL", "X-Proofpoint-Spam-Details-Enc": "AW1haW4tMjYwMzI4MDAxMyBTYWx0ZWRfX1epD68Qgtzbe\n +EHJWyhnmRja+eIcVihhPORDNdHXQMmgfZuwhRnT8wdyjz+wNGCfB+svEFw3R3EUYs4LglezCB6\n gChQkSkHug1w6pJUZ7ONjDxvQkxUej/1FBDg1Ag44vYuOZkHRfTK4TePnKLoviQz7YmfG9nTw6X\n +rUiZLTmlcGKVcgRMWMfUxuELgYXVhFZZoEnzxBBuGsecNAKjz0J9pTErK3f8w84qKl8/iGuyx9\n prKK8H3T8mA+EkBrY3F33kfNgdPs0tyALxvB4aT+bjXzXHWIKabXOlp3bx2Dku7eNryVRo1Ch8d\n Nt0dzPjb6+SlbYxxOrwiCfMGDHz4ZGoHp915GU4qYt79aQEOw/PUZVDBqR65y3ttvTrZv59hiN7\n uyt/58UQM9D6+9STlVdjLffC3TaqB5+s1Pqy23E/D0kPosrSWiMnw4rLz4bMiJvf2OPfhNQOtqv\n fZVrOJPLQZrSGI8N/Fg==", "X-Proofpoint-GUID": "GUpJrIy9JMKaiDEyw7iIff-4f6H6iWiL", "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-03-27_02,2026-03-26_01,2025-10-01_01", "X-Proofpoint-Spam-Details": "rule=outbound_notspam policy=outbound score=0\n malwarescore=0 suspectscore=0 clxscore=1015 spamscore=0 adultscore=0\n priorityscore=1501 impostorscore=0 phishscore=0 lowpriorityscore=0\n bulkscore=0 classifier=typeunknown authscore=0 authtc= authcc= route=outbound\n adjust=0 reason=mlx scancount=1 engine=8.22.0-2603050001\n definitions=main-2603280013", "X-BeenThere": "gcc-patches@gcc.gnu.org", "X-Mailman-Version": "2.1.30", "Precedence": "list", "List-Id": "Gcc-patches mailing list <gcc-patches.gcc.gnu.org>", "List-Unsubscribe": "<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>", "List-Archive": "<https://gcc.gnu.org/pipermail/gcc-patches/>", "List-Post": "<mailto:gcc-patches@gcc.gnu.org>", "List-Help": "<mailto:gcc-patches-request@gcc.gnu.org?subject=help>", "List-Subscribe": "<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>", "Errors-To": "gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org" }, "content": "The patch adds the following simplification patterns.\n\nmin|max (a +|- c, b +|- c) -> min|max (a, b) +|- c\n\nBootstrapped and tested on x86_64-linux-gnu and aarch64-linux-gnu.\n\n\tPR tree-optimization/116008\n\tPR tree-optimization/124560\n\ngcc/ChangeLog:\n\n\t* match.pd (min|max(a+|-c,b+|-c)): New patterns.\n\ngcc/testsuite/ChangeLog:\n\n\t* gcc.dg/tree-ssa/pr124560.c: New test.\n\nSigned-off-by: Pengxuan Zheng <pengxuan.zheng@oss.qualcomm.com>\n---\n gcc/match.pd | 16 +++++++++\n gcc/testsuite/gcc.dg/tree-ssa/pr124560.c | 42 ++++++++++++++++++++++++\n 2 files changed, 58 insertions(+)\n create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr124560.c", "diff": "diff --git a/gcc/match.pd b/gcc/match.pd\nindex 7b652afb43d..e9af83db3df 100644\n--- a/gcc/match.pd\n+++ b/gcc/match.pd\n@@ -4970,6 +4970,22 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)\n && operand_equal_p (@1, TYPE_MIN_VALUE (type), OEP_ONLY_CONST))\n @0)))\n \n+/* minmax (a + c, b + c) -> minmax (a, b) + c */\n+(for minmax (min max)\n+ (simplify\n+ (minmax:c (plus:cs @0 @2) (plus:s @1 @2))\n+ (if (TYPE_OVERFLOW_UNDEFINED (type)\n+\t&& !TYPE_OVERFLOW_SANITIZED (type))\n+ (plus (minmax @0 @1) @2))))\n+\n+/* minmax (a - c, b - c) -> minmax (a, b) - c */\n+(for minmax (min max)\n+ (simplify\n+ (minmax:c (minus:s @0 @2) (minus:s @1 @2))\n+ (if (TYPE_OVERFLOW_UNDEFINED (type)\n+\t&& !TYPE_OVERFLOW_SANITIZED (type))\n+ (minus (minmax @0 @1) @2))))\n+\n /* max (a, a + CST) -> a + CST where CST is positive. */\n /* max (a, a + CST) -> a where CST is negative. */\n (simplify\ndiff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr124560.c b/gcc/testsuite/gcc.dg/tree-ssa/pr124560.c\nnew file mode 100644\nindex 00000000000..761d64ee5a8\n--- /dev/null\n+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr124560.c\n@@ -0,0 +1,42 @@\n+\n+/* { dg-do compile } */\n+/* { dg-options \"-O1 -fdump-tree-optimized\" } */\n+\n+static inline int\n+min (int a, int b)\n+{\n+ return a < b ? a : b;\n+}\n+\n+static inline int\n+max (int a, int b)\n+{\n+ return a > b ? a : b;\n+}\n+\n+int\n+f1 (int x, int y, int z)\n+{\n+ return min (z + y, x + y);\n+}\n+\n+int\n+f2 (int x, int y, int z)\n+{\n+ return min (z - y, x - y);\n+}\n+\n+int\n+f3 (int x, int y, int z)\n+{\n+ return max (z + y, x + y);\n+}\n+\n+int\n+f4 (int x, int y, int z)\n+{\n+ return max (z - y, x - y);\n+}\n+\n+/* { dg-final { scan-tree-dump-times \"\\\\+\" 2 \"optimized\" } } */\n+/* { dg-final { scan-tree-dump-times \"\\\\-\" 2 \"optimized\" } } */\n", "prefixes": [] }