Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/1.1/patches/2230716/?format=api
{ "id": 2230716, "url": "http://patchwork.ozlabs.org/api/1.1/patches/2230716/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260430001824.758187-1-pengxuan.zheng@oss.qualcomm.com/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/1.1/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 }, "msgid": "<20260430001824.758187-1-pengxuan.zheng@oss.qualcomm.com>", "date": "2026-04-30T00:18:24", "name": "[v2] 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": "6784111c456ae3c552d00eea04db3a81463b1457", "submitter": { "id": 92245, "url": "http://patchwork.ozlabs.org/api/1.1/people/92245/?format=api", "name": "Pengxuan Zheng", "email": "pengxuan.zheng@oss.qualcomm.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260430001824.758187-1-pengxuan.zheng@oss.qualcomm.com/mbox/", "series": [ { "id": 502174, "url": "http://patchwork.ozlabs.org/api/1.1/series/502174/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=502174", "date": "2026-04-30T00:18:24", "name": "[v2] match: min|max(a+|-c, b+|-c) -> min|max(a, b)+|-c [PR116008, PR124560]", "version": 2, "mbox": "http://patchwork.ozlabs.org/series/502174/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2230716/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2230716/checks/", "tags": {}, "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=oeRUEPFm;\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=ARWGAffH;\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=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=oeRUEPFm;\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=ARWGAffH", "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\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 4g5ZXd4WYbz1yGq\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 30 Apr 2026 10:18:57 +1000 (AEST)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id C5D604358A52\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 30 Apr 2026 00:18:55 +0000 (GMT)", "from mx0a-0031df01.pphosted.com (mx0a-0031df01.pphosted.com\n [205.220.168.131])\n by sourceware.org (Postfix) with ESMTPS id 6B5D04358A45\n for <gcc-patches@gcc.gnu.org>; Thu, 30 Apr 2026 00:18:28 +0000 (GMT)", "from pps.filterd (m0279866.ppops.net [127.0.0.1])\n by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 63TKbLpD1809063\n for <gcc-patches@gcc.gnu.org>; Thu, 30 Apr 2026 00:18:27 GMT", "from mail-dy1-f197.google.com (mail-dy1-f197.google.com\n [74.125.82.197])\n by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4duj6tad02-1\n (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT)\n for <gcc-patches@gcc.gnu.org>; Thu, 30 Apr 2026 00:18:27 +0000 (GMT)", "by mail-dy1-f197.google.com with SMTP id\n 5a478bee46e88-2dd6fb4c867so1836781eec.0\n for <gcc-patches@gcc.gnu.org>; Wed, 29 Apr 2026 17:18:26 -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-2ed1bf8e268sm4404429eec.12.2026.04.29.17.18.24\n for <gcc-patches@gcc.gnu.org>\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Wed, 29 Apr 2026 17:18:24 -0700 (PDT)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org C5D604358A52", "OpenDKIM Filter v2.11.0 sourceware.org 6B5D04358A45" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 6B5D04358A45", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 6B5D04358A45", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1777508308; cv=none;\n b=H0dNi89MDtvDg6AvVSrnk9g2q+KW1ul1+xG/b1X4JRp6KH6gZAdyjrQRiYgimUcYNjAIhupf2RUj3JeXN1WPx7b7rwPYPIYzuF9jIGXrRPdiGZE7EJQvEdbV9+82yG4BCcCUli6Wf2FYHnE/Q1MyFNRo3vRs1fxIx0rQynmIvoI=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777508308; c=relaxed/simple;\n bh=ex6C8+Q9YMzmBCNTQNMCM+IjLO42WKkriB8+Kt/PlPc=;\n h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-Id:\n MIME-Version;\n b=J+GqrD6WAKKtY3KfHo1tjXZ6VgOuLKNxAiD+us4uw7f+VpSPbit4hegcftmTtQkyjO2ZoAOrgBv9O30aHzeiVBYUCUXqRPLxnWDGsbW1otbzM/5TYbrFmGrRRu0E7ZHI5kW0YbFNDzaUcCKFU1lXe6lWpbma0A82QhVxlgnCdFU=", "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=ReMrQpYXmcGEe+iQfBZ4Ub+hQfkSf7if4DE\n gTuyViB8=; b=oeRUEPFmMqVEBFvE/e3BHBSeZ8T+d37xXHLHpyteI103+DJUNS+\n WOiTwMJemLvDUTitDz0Azpw4t3ZXzg/KFiunOvnsE6AcBBIQkmDY7n5Q5K//vP3w\n BJYHWDzM3e8IposeP5FrKQiXtUq2yj2cW1teuIKbqE7SwFmdE/Nev85C3bJm0MKP\n Qcqm7bZB8W3jvhu8d1qA1886PHYI4a6TNIFZ8Jrs3qHOZN17LkQR4IWCpd+gKzCB\n SRRZd+x8By6q01V7tMQINxBuz5yHYvMlEXM9Vc/jdP2MGs+ISpHRRDjpcQRukdrR\n b2nymABBvSYGsGdlcKhGu/F6R40PRO8W+yQ==", "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=oss.qualcomm.com; s=google; t=1777508306; x=1778113106; 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=ReMrQpYXmcGEe+iQfBZ4Ub+hQfkSf7if4DEgTuyViB8=;\n b=ARWGAffHVBBh/KudlPfNAWBM8F2FnzkPcfpXQfd73/cV8YdTEdcTcCnLrTsmh3uiNf\n tQq2iIo3D+xQcOZZB3NovfqjkWyEBnDDO1hjOxHwjcq1zi/7m2v2TsPwaGe1oNZwxVlH\n 8T0EJuvu6i2QkABIKBRbB3FwFMmlem6a/XBo5bJv3Z9yUPgv5O4nUtFlAz7SlNgGOKDZ\n qP+ALGOQFOaBJ67UQ7lvYzwus2yoEHq0ykGgvyUOSODtOz3kKNmdhvYxWsFSbL8aRv8C\n JaichTFqtNsrSu8XvcBBd1YbeahJwplWB1n82umFlhan2N14n1SQKWxenmwUWFRwWpN0\n SZfg==" ], "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1777508306; x=1778113106;\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=ReMrQpYXmcGEe+iQfBZ4Ub+hQfkSf7if4DEgTuyViB8=;\n b=nWb0D+XhaAyZAqIaY2W/mqsgG/k/BcL4p44P/jG1jNyAqxYeHvdYImRuEcr9WkHYn0\n 13rnVidaetfUWfWj2ea2kV0OI0QXuCR/ePAEYu8rj58nFR159MoxR/5a7k9oY9ZywgXu\n u54Xm93v1p4Udd0/NhOUeisvNH0K8h09+GY4H+7q5+2N0dtZgZaEmeMs3g6V7SwC8A9/\n BMZ1YCaEMWrwXlICdCOklDrSYU3wO3FAMbh4Tqv2rB7/sGBgdONRJ8aQhh+/4PyiGpF0\n mokLN+0Wn/3/k0zVRhr4AYWspWzR95LLGiSIlOPvrMTAy4Uwv1v15T1Ikaib2TuZE3fq\n gThg==", "X-Gm-Message-State": "AOJu0Yy1BvRABVAelygwnkqEC1lSZRdhRx/nHiDFaTDoeJLyVOCyqnwX\n neBWgBSPC9D06uPOhYd6RCuDmUE03UWAlcQdFRX8r3bTwKFqGtl9o80U6U25vAhYwDXYJCRq9td\n yaI/qr16ni5Efsat4/PmRNZVgrVIwvNE0oaHq5fNHZtr0J8wCoUS+B55Mty2mjBN4Lfkv", "X-Gm-Gg": "AeBDietoZ+V1f/iJDpOkyYHvgrTmDft/pEPHvreEbEmoqexDYNi/cfI62HCLRnn6xDr\n 3AopilSA6fWX32XIM+sZ/hUL7qEir2o6rp4xZNR0NnmqbtUfeKhLE3m7JVvhzygElzEcruRhLTZ\n UJaeL6JfnqvgCdtf5iFSndOaQgc3GuZSNe4WzLsgts+XtSFjwzm6OlCZ81hIDOhhtKQql64f4xW\n HbehZgSV/SW7rnZUikB9urHaDg3N5fbq9d8iZ1gZg3u+Q28jVMZfjDTt/EuEmFOcd1kCrDvDWa8\n tYSOFWPj8l5krezK6SoNFxci083t0o6rqtZHzRnBrPIFb+UKOSHr+HGS3znsJc0U3nmZt+SoAMH\n tfxmPI5LVvl5xvXxaed414cXlYRtShUAyUg8i8iRWdR7EmHfonaTSmsfCfTjX1AvG79kgK5ROhZ\n VhsEA5HEpQEyU=", "X-Received": [ "by 2002:a05:7300:2149:b0:2ed:e17:d50e with SMTP id\n 5a478bee46e88-2ed3eb68caemr215071eec.33.1777508306011;\n Wed, 29 Apr 2026 17:18:26 -0700 (PDT)", "by 2002:a05:7300:2149:b0:2ed:e17:d50e with SMTP id\n 5a478bee46e88-2ed3eb68caemr215058eec.33.1777508305274;\n Wed, 29 Apr 2026 17:18:25 -0700 (PDT)" ], "From": "Pengxuan Zheng <pengxuan.zheng@oss.qualcomm.com>", "To": "gcc-patches@gcc.gnu.org", "Subject": "[PATCH v2] match: min|max(a+|-c, b+|-c) -> min|max(a,\n b)+|-c [PR116008,\n PR124560]", "Date": "Wed, 29 Apr 2026 17:18:24 -0700", "Message-Id": "<20260430001824.758187-1-pengxuan.zheng@oss.qualcomm.com>", "X-Mailer": "git-send-email 2.34.1", "MIME-Version": "1.0", "Content-Transfer-Encoding": "8bit", "X-Proofpoint-GUID": "_8wPlkdncxmJcwMv4_AKq3MZssIuZ8-6", "X-Authority-Analysis": "v=2.4 cv=KcHidwYD c=1 sm=1 tr=0 ts=69f29fd3 cx=c_pps\n a=Uww141gWH0fZj/3QKPojxA==:117 a=ouPCqIW2jiPt+lZRy3xVPw==:17\n a=A5OVakUREuEA:10 a=s4-Qcg_JpJYA:10 a=VkNPw1HP01LnGYTKEx00:22\n a=u7WPNUs3qKkmUXheDGA7:22 a=YMgV9FUhrdKAYTUUvYB2:22 a=EUspDBNiAAAA:8\n a=O8CB0NOSjpk1F5zVhroA:9 a=PxkB5W3o20Ba91AHUih5:22", "X-Proofpoint-ORIG-GUID": "_8wPlkdncxmJcwMv4_AKq3MZssIuZ8-6", "X-Proofpoint-Spam-Details-Enc": "AW1haW4tMjYwNDMwMDAwMSBTYWx0ZWRfX8BuvBdZYQ9jQ\n vWrpwrrcngunosO64t38M23Q510e9ONjEUjRI4vwgl9YQS+hxpjQXikUn0TQpUyjC8W2bcwlVu5\n E6quFosEwIPpLuxm/qzHpDMO8B0nj3+GpPiDC4pDg6HHJU7AwylSegPeBMUdOeuYlIvzRiweaIc\n yeMlvpW16VsqKv5lx6bNURaeJoLUf8jsG+3iG4XhFBDAcb+3MLvFBCjjbI5dzIMgOK0ODbK6GTL\n a/iOyGthQ09CpAo3LWGVdcL8t+P4vM2HlR3IP1uO7mklCtjotng1jbYJKCizkjAh0d247X6jvg8\n fBGlMeUjPsFpkcHzNI7L5i0JJf8aiSNZ58ZAP3BiiJYmmHIuS72Qw6taHzJ0W+7W3G/lHgMSwho\n bTexCtVIr8/ChM4o+cz0bRWgxICjFP0wP/sUeQaYkYwiZ0TlNY1e0KA7bHblAJCoSd9f9d5SdqP\n UK59tUWqeyY+8NwmEdw==", "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-29_02,2026-04-28_01,2025-10-01_01", "X-Proofpoint-Spam-Details": "rule=outbound_notspam policy=outbound score=0\n impostorscore=0 spamscore=0 phishscore=0 bulkscore=0 suspectscore=0\n malwarescore=0 lowpriorityscore=0 clxscore=1015 adultscore=0\n priorityscore=1501 classifier=typeunknown authscore=0 authtc= authcc=\n route=outbound adjust=0 reason=mlx scancount=1 engine=8.22.0-2604200000\n definitions=main-2604300001", "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 | 43 ++++++++++++++++++++++++\n 2 files changed, 59 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 df960a0cf29..d452ea548c4 100644\n--- a/gcc/match.pd\n+++ b/gcc/match.pd\n@@ -4987,6 +4987,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..cef7248b61b\n--- /dev/null\n+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr124560.c\n@@ -0,0 +1,43 @@\n+\n+/* { dg-do compile } */\n+/* { dg-options \"-O1 -fdump-tree-forwprop1-folding-raw\" } */\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 \"Applying pattern\" 4 \"forwprop1\" } } */\n+/* { dg-final { scan-tree-dump-times \"plus_expr\" 2 \"forwprop1\" } } */\n+/* { dg-final { scan-tree-dump-times \"minus_expr\" 2 \"forwprop1\" } } */\n", "prefixes": [ "v2" ] }