Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/patches/2217355/?format=api
{ "id": 2217355, "url": "http://patchwork.ozlabs.org/api/patches/2217355/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260328053935.4088081-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": "<20260328053935.4088081-1-pengxuan.zheng@oss.qualcomm.com>", "list_archive_url": null, "date": "2026-03-28T05:39:35", "name": "match: Add MIN<a, b> {<=, >, <, >=} MAX<a, b> simplifications [PR113379]", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "9c3ee61199a448b7d0f64f1f7160a61da7235aa8", "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/20260328053935.4088081-1-pengxuan.zheng@oss.qualcomm.com/mbox/", "series": [ { "id": 497850, "url": "http://patchwork.ozlabs.org/api/series/497850/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=497850", "date": "2026-03-28T05:39:35", "name": "match: Add MIN<a, b> {<=, >, <, >=} MAX<a, b> simplifications [PR113379]", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/497850/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2217355/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2217355/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=K+X37te5;\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=dZTNwt/5;\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=K+X37te5;\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=dZTNwt/5", "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 4fjRDq4xqdz1xy1\n\tfor <incoming@patchwork.ozlabs.org>; Sat, 28 Mar 2026 16:40:25 +1100 (AEDT)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 0E05B4BA23E8\n\tfor <incoming@patchwork.ozlabs.org>; Sat, 28 Mar 2026 05:40: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 205674BA2E16\n for <gcc-patches@gcc.gnu.org>; Sat, 28 Mar 2026 05:39:39 +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 62S29Af1855043\n for <gcc-patches@gcc.gnu.org>; Sat, 28 Mar 2026 05:39:38 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 4d65xqgb85-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 05:39:38 +0000 (GMT)", "by mail-dy1-f200.google.com with SMTP id\n 5a478bee46e88-2c166ac27c6so3014059eec.0\n for <gcc-patches@gcc.gnu.org>; Fri, 27 Mar 2026 22:39:38 -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-2c3c6e9c088sm1290699eec.21.2026.03.27.22.39.35\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 22:39:36 -0700 (PDT)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 0E05B4BA23E8", "OpenDKIM Filter v2.11.0 sourceware.org 205674BA2E16" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 205674BA2E16", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 205674BA2E16", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1774676379; cv=none;\n b=TGqray6QDDb1E2MrujVe/SHqenSbYnb2JPqQa41lo58BfHhzUu078oyuw0txeF+GVdxGsX0BXKNXkG30C9Q4hYhUHRBjt/SW3+nTskXk3uK3ix6mnFnOWLf0qPE2zff9WfjPEAa/d4RcKwfaM2RlvCsIpgsjowKbZ85/6a1IpEg=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1774676379; c=relaxed/simple;\n bh=LpjpLkSwAE//nEbPfEMZlRs9C3xwuBIyC8NpcrV/aNU=;\n h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-Id:\n MIME-Version;\n b=Qe1wgVEuLFSzP0+qw1fHxKYw2DW8HPJdNrHJQtJpHCqk76QB/Ni+a2B5jyeZmnFobCymeb0RTcYvDVpR9BIyKKHQ1XfFPo8rjGKTXzt102vAvhYXQ8veRp7WIlSX6zfz1pN9Pgg8wCr1fTsXy04TO0rGtvgqtg6rqfRZooLsfo8=", "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=z2C6GhAMoVPuDIbvXPiBWVHv0ilx6vhe0EH\n 9uLwM1sU=; b=K+X37te5u8io/3VrScxCTVEHrr/ZOMeKURqfujs49qc7M9tRt08\n IlHhlQ87aB8DAAj/cEnIv99Vggrx373sU0TPMpKMVEcVStmvtPkccyTpUVcr67Ef\n 6vcFVsJadV0MgAbhr4qTjPBGewNZby5CR7o+YS/DExoelxEnyaeSmlOmiwIVtXq+\n XZWqyRSgZqtBiKOvBMmw+nWoQE4tf6GvXXHcvK3W/NUBlMI3pJ9pT4FMZc0hmdf8\n PxM/r6aixBdJHC0Vppr4wPtGNyKUAIpGij8G/1ZzHav4Leb7hlgy20MCqneYz8rF\n 33gXQv2YDXGY8XljFFl1mO10E39Llxy21jw==", "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=oss.qualcomm.com; s=google; t=1774676377; x=1775281177; 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=z2C6GhAMoVPuDIbvXPiBWVHv0ilx6vhe0EH9uLwM1sU=;\n b=dZTNwt/5WIBUk+EPly/Ij+brXlLPI5+gTehoKKBDsfh3t9v/aIGbv6NNhk/0m96rvp\n DmkIYx4mFxd0zhvaazuWTe2/TtrN2WWJ4gPAzUmK4ihumlHgqqpBP5zO5R6tgV/KPYCm\n pDaNUMk/mo+eTHNeCvMr3zXeG2wr7oD87nmdxswsWZB8tXe0I17yQv/b/VaMOUpvssqe\n 6ReqT+UUHkjLZtLMu3exUuee5mG60N37fci2yTKrLbmxdmNsqed8Wcx7tltHYdyC8QlR\n K420iba76w4V9UPv+nPMyxQD34cCQGyVzHhsHm8+Zyy++dzBomeo4IHV1G8MO4kLWOPE\n AQRw==" ], "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1774676377; x=1775281177;\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=z2C6GhAMoVPuDIbvXPiBWVHv0ilx6vhe0EH9uLwM1sU=;\n b=Z39cMvQtZ75TAARcRStfU+SK+oEL9HiB3XTmyJmcOy+QfmE/nBbbfKdq3gt+u5KAYe\n XriUQoS7ayzU+2Nx8C3EgIcbcz/xUiKp+JvAOKBa/9Em35tWAlJsinG0zQ1/ivinpDzT\n EeQ+vnmFPkMcieTsWsyMsnQivkhzjtZDYtmcWIBrqcY2DRDx4/tzlR7UlePhoN+GjgKS\n p2ewHCi8xKJY6N3PtuAP+7/lK1Drp/cuVmUE/2dW4feG0zhY2gnuYjK6Mp2qGNG1gO2m\n RL0Y55iinC0go4PB4NHkafVJpbuc2AmMnMfbc/gZWDkCWu80H1CK03AKvhwJuifInQsO\n qnLg==", "X-Gm-Message-State": "AOJu0Yx3ZcQwvT9wvaK2au+Jj8l5ipL4BY+K//QDNs/BMbiNoca3hCSC\n ASzkD8aNwp1O+80dXNh4/ClrrVcTuxYvLUJJKgoVLHPoqSfemEPs4q9y9NjgR28mEdNMdkYnkJm\n 0svkMCz7X6YqRU34oQ8KWTPHKbt8wkyGcBTegTrcCqbZXG0uTAJY4RdhaJj6UBLUKC37n", "X-Gm-Gg": "ATEYQzwudbMa1Zi/EgMSai9+U39oIv9zVhQs+4zy0eiP1vqv1IUcHVpCboaCthWW4N5\n fzwM4r2TNegoN0Ti248r4plyFBk6fMqHUxmNirRUR9WS8SmzxcvGX6hfZxffybgZaKZAIYW9Zj9\n Q16SIVOvKr7PNk8cny8HDcDXY+GsYwnm7Bbu7Veh7e8gnAJn5EZSCy+siqupD8DIIAvStQRyz1Y\n KrcfDGLEyUUayNQzjTqdBXknkSkENoXAFEC1U3ZljcaWKtK9nm/xuvdOPcmOiCAy0hfB+yO7Rbn\n iCm2KgC55ahN8vz6g1yZQmK1AAm+1vQib8pIlF5a7hR0Ot4aVDDgZbuKfy51gtBczltsvN3Y9d6\n ZMEBzRT4mAqeTvHM+xBS1q8yJaO08KsE/oSeiY8RBTrBpLNucXgYpRbFeXk8+6MfZr77vv9GuGq\n Bk", "X-Received": [ "by 2002:a05:7300:6423:b0:2c1:7a0e:394 with SMTP id\n 5a478bee46e88-2c185cd4f6amr3100553eec.12.1774676377160;\n Fri, 27 Mar 2026 22:39:37 -0700 (PDT)", "by 2002:a05:7300:6423:b0:2c1:7a0e:394 with SMTP id\n 5a478bee46e88-2c185cd4f6amr3100542eec.12.1774676376493;\n Fri, 27 Mar 2026 22:39:36 -0700 (PDT)" ], "From": "Pengxuan Zheng <pengxuan.zheng@oss.qualcomm.com>", "To": "gcc-patches@gcc.gnu.org", "Subject": "[PATCH] match: Add MIN<a, b> {<=, >, <, >=} MAX<a,\n b> simplifications [PR113379]", "Date": "Fri, 27 Mar 2026 22:39:35 -0700", "Message-Id": "<20260328053935.4088081-1-pengxuan.zheng@oss.qualcomm.com>", "X-Mailer": "git-send-email 2.34.1", "MIME-Version": "1.0", "Content-Transfer-Encoding": "8bit", "X-Proofpoint-ORIG-GUID": "MeuAlNmxzBLCv3SSKfGj7LZ3FcMfFA8E", "X-Proofpoint-GUID": "MeuAlNmxzBLCv3SSKfGj7LZ3FcMfFA8E", "X-Authority-Analysis": "v=2.4 cv=evLSD4pX c=1 sm=1 tr=0 ts=69c7699a cx=c_pps\n a=PfFC4Oe2JQzmKTvty2cRDw==:117 a=ouPCqIW2jiPt+lZRy3xVPw==:17\n a=Yq5XynenixoA:10 a=s4-Qcg_JpJYA:10 a=VkNPw1HP01LnGYTKEx00:22\n a=u7WPNUs3qKkmUXheDGA7:22 a=Um2Pa8k9VHT-vaBCBUpS:22 a=EUspDBNiAAAA:8\n a=0tU1t5D1b-gDNrEKOTwA:9 a=6Ab_bkdmUrQuMsNx7PHu:22", "X-Proofpoint-Spam-Details-Enc": "AW1haW4tMjYwMzI4MDAzOCBTYWx0ZWRfX6f0scI3ftmPt\n 1GmWyVQNXgaJEVPWb5ENXJ8DVUJdMMblE8/18uznwSZ5N3Ukav18RkhCU4sGsRAnq/bjbTJ4u3o\n +dM7poZkasqiQeWl582s89bm4V/Jn8Wuo2eNBAsxkZshzNaxsKTrnRJVJpXwJ3XddCsaY2BVidr\n HPrReaNBOMAGPBM8feZSyTamcrELLHT799bQjgl+acEIvqbwoKIkac1c5bNtvvDhEWBsKdUXE1L\n ndX05obXJg4yaGVoSy+SJzYSUbOAORyb3TJJDPwzlEQS0IOSAAs/JsQ6bKcSIVQWJ4FGIHGLYpr\n 9OBC+8YD2cqv4j0b12yIg6MqLJ09+SERYV90hiGgCQGdnhVvVSmaH526K+r8y/TAzPp3Tuc/abB\n 2tXbewpDutxgm26zo0osAaJlulk4lBavevDnO5gTBpqgBBu0SYUQ3Mi1foICMDHpOuNDVWSxkms\n 1rIvksnvrBw/8lxRJyA==", "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 phishscore=0 malwarescore=0 bulkscore=0 priorityscore=1501 adultscore=0\n lowpriorityscore=0 suspectscore=0 clxscore=1015 impostorscore=0 spamscore=0\n classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0\n reason=mlx scancount=1 engine=8.22.0-2603050001 definitions=main-2603280038", "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 following patterns and their variants are added.\n\nmin(a,b) {<=,>,<,>=} max(a,b) -> {true,false,a!=b,a==b}\n\nBootstrapped and tested on x86_64-linux-gnu and aarch64-linux-gnu.\n\n\tPR tree-optimization/113379\n\ngcc/ChangeLog:\n\n\t* match.pd (min(a,b) {<=,>,<,>=} max(a,b)): New patterns.\n\ngcc/testsuite/ChangeLog:\n\n\t* gcc.dg/tree-ssa/pr113379.c: New test.\n\nSigned-off-by: Pengxuan Zheng <pengxuan.zheng@oss.qualcomm.com>\n---\n gcc/match.pd | 21 ++++++++\n gcc/testsuite/gcc.dg/tree-ssa/pr113379.c | 69 ++++++++++++++++++++++++\n 2 files changed, 90 insertions(+)\n create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr113379.c", "diff": "diff --git a/gcc/match.pd b/gcc/match.pd\nindex 7b652afb43d..89580a858c5 100644\n--- a/gcc/match.pd\n+++ b/gcc/match.pd\n@@ -4995,6 +4995,27 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)\n (if (!HONOR_NANS (@0))\n (op @0 @1))))\n \n+/* min (a, b) <= max (a, b) -> true\n+ max (a, b) >= min (a, b) -> true\n+ min (a, b) > max (a, b) -> false\n+ max (a, b) < min (a, b) -> false */\n+(for legt (le gt)\n+ (simplify\n+ (legt:c (min:c @0 @1) (max @0 @1))\n+ (if (!HONOR_NANS (@0))\n+ { constant_boolean_node (legt == LE_EXPR, type); })))\n+\n+/* min (a, b) < max (a, b) -> a != b\n+ max (a, b) > min (a, b) -> a != b\n+ min (a, b) >= max (a, b) -> a == b\n+ max (a, b) <= min (a, b) -> a == b */\n+(for ltge (lt ge)\n+ neeq (ne eq)\n+ (simplify\n+ (ltge:c (min:c @0 @1) (max @0 @1))\n+ (if (!HONOR_NANS (@0))\n+ (neeq @0 @1))))\n+\n /* Simplify min (&var[off0], &var[off1]) etc. depending on whether\n the addresses are known to be less, equal or greater. */\n (for minmax (min max)\ndiff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr113379.c b/gcc/testsuite/gcc.dg/tree-ssa/pr113379.c\nnew file mode 100644\nindex 00000000000..5a34d919acf\n--- /dev/null\n+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr113379.c\n@@ -0,0 +1,69 @@\n+/* { dg-do compile } */\n+/* { dg-options \"-O1 -fdump-tree-optimized\" } */\n+\n+int\n+f1 (int a, int b)\n+{\n+ int min = a < b ? a : b;\n+ int max = a > b ? a : b;\n+ return min <= max;\n+}\n+\n+int\n+f2 (int a, int b)\n+{\n+ int min = a < b ? a : b;\n+ int max = a > b ? a : b;\n+ return min > max;\n+}\n+\n+int\n+f3 (int a, int b)\n+{\n+ int max = a > b ? a : b;\n+ int min = a < b ? a : b;\n+ return max >= min;\n+}\n+\n+int\n+f4 (int a, int b)\n+{\n+ int max = a > b ? a : b;\n+ int min = a < b ? a : b;\n+ return max < min;\n+}\n+\n+int\n+f5 (int a, int b)\n+{\n+ int min = a < b ? a : b;\n+ int max = a > b ? a : b;\n+ return min < max;\n+}\n+\n+int\n+f6 (int a, int b)\n+{\n+ int min = a < b ? a : b;\n+ int max = a > b ? a : b;\n+ return min >= max;\n+}\n+\n+int\n+f7 (int a, int b)\n+{\n+ int max = a > b ? a : b;\n+ int min = a < b ? a : b;\n+ return max > min;\n+}\n+\n+int\n+f8 (int a, int b)\n+{\n+ int max = a > b ? a : b;\n+ int min = a < b ? a : b;\n+ return max <= min;\n+}\n+\n+/* { dg-final { scan-tree-dump-times \"MIN_EXPR\" 0 \"optimized\" } } */\n+/* { dg-final { scan-tree-dump-times \"MAX_EXPR\" 0 \"optimized\" } } */\n", "prefixes": [] }