Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/1.1/patches/2230243/?format=api
{ "id": 2230243, "url": "http://patchwork.ozlabs.org/api/1.1/patches/2230243/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260429140629.3051323-1-michiel@synopsys.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": "<20260429140629.3051323-1-michiel@synopsys.com>", "date": "2026-04-29T14:06:29", "name": "niter: Make MAX_DOMINATORS_TO_WALK configurable at runtime", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "91846b1365aa963b5693be09013a61d231dddcad", "submitter": { "id": 93030, "url": "http://patchwork.ozlabs.org/api/1.1/people/93030/?format=api", "name": "Michiel Derhaeg", "email": "Michiel.Derhaeg@synopsys.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260429140629.3051323-1-michiel@synopsys.com/mbox/", "series": [ { "id": 502072, "url": "http://patchwork.ozlabs.org/api/1.1/series/502072/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=502072", "date": "2026-04-29T14:06:29", "name": "niter: Make MAX_DOMINATORS_TO_WALK configurable at runtime", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/502072/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2230243/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2230243/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=pass (2048-bit key;\n unprotected) header.d=synopsys.com header.i=@synopsys.com header.a=rsa-sha256\n header.s=pfptdkimsnps header.b=FxRR1OMy;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=synopsys.com header.i=@synopsys.com header.a=rsa-sha256\n header.s=mail header.b=ac7DNYVH;\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=synopsys.com header.i=@synopsys.com header.a=rsa-sha256\n header.s=pfptdkimsnps header.b=FxRR1OMy;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=synopsys.com header.i=@synopsys.com header.a=rsa-sha256\n header.s=mail header.b=ac7DNYVH", "sourceware.org; dmarc=pass (p=quarantine dis=none)\n header.from=synopsys.com", "sourceware.org; spf=pass smtp.mailfrom=synopsys.com", "server2.sourceware.org;\n arc=none smtp.remote-ip=148.163.158.9" ], "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 4g5Jzn271Nz1xqf\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 30 Apr 2026 00:08:05 +1000 (AEST)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 732B34BA7991\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 29 Apr 2026 14:08:03 +0000 (GMT)", "from mx0b-00230701.pphosted.com (mx0b-00230701.pphosted.com\n [148.163.158.9])\n by sourceware.org (Postfix) with ESMTPS id 452C64BB8F4D\n for <gcc-patches@gcc.gnu.org>; Wed, 29 Apr 2026 14:06:35 +0000 (GMT)", "from pps.filterd (m0297265.ppops.net [127.0.0.1])\n by mx0a-00230701.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 63TDPtYj3978699\n for <gcc-patches@gcc.gnu.org>; Wed, 29 Apr 2026 07:06:34 -0700", "from smtprelay-out1.synopsys.com (smtprelay-out1.synopsys.com\n [149.117.73.133])\n by mx0a-00230701.pphosted.com (PPS) with ESMTPS id 4dug2xhcgu-1\n (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT)\n for <gcc-patches@gcc.gnu.org>; Wed, 29 Apr 2026 07:06:34 -0700 (PDT)", "from mailhost.synopsys.com (badc-mailhost1.synopsys.com\n [10.192.0.17])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (2048 bits)\n client-signature RSA-PSS (2048 bits))\n (Client CN \"mailhost.synopsys.com\", Issuer \"SNPSica2\" (verified OK))\n by smtprelay-out1.synopsys.com (Postfix) with ESMTPS id CA386401D3\n for <gcc-patches@gcc.gnu.org>; Wed, 29 Apr 2026 14:06:29 +0000 (UTC)", "from us01arcgnu3.synopsys.com (unknown [10.194.34.166])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest\n SHA256)\n (Client did not present a certificate)\n by mailhost.synopsys.com (Postfix) with ESMTPS id 79C6FA00AC\n for <gcc-patches@gcc.gnu.org>; Wed, 29 Apr 2026 14:06:29 +0000 (UTC)", "by us01arcgnu3.synopsys.com (Postfix, from userid 10074339)\n id 43AFA2441D3DE; Wed, 29 Apr 2026 07:06:29 -0700 (PDT)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 732B34BA7991", "OpenDKIM Filter v2.11.0 sourceware.org 452C64BB8F4D" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 452C64BB8F4D", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 452C64BB8F4D", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1777471595; cv=none;\n b=OYuYMgdRPDU61HtIfp2DgPSMAkX8qbMYWXvceGNw83uRsbVJraLcSy9O6KXYqxnJdnKJxqeAIoKhnLzmHds1kZLI5McYWv/rUSxxTBWRFlDjSKIHWPGA3qhOVG7RPjyUyei0tcRYbkVoVNo92GhwFiHw++MxXLWQuwtaA1cBSX4=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777471595; c=relaxed/simple;\n bh=tl893zOddM/q3BZgBw6IyUcNakmnf2F/AKY9Fz3BKUM=;\n h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-Id:\n MIME-Version;\n b=Wb0BDVooKqCGt39u33EpZFjYp7Lw+E/hd8Hu0eL7xERKOYqkcgw2nSGrRuv9Tx2e2pSHdF0wLXPRldkBqexnTyiFQ5PZIAtggXcpGbKZwJSOs8CaiqMnuQfnQDAsB/1rWJ1lAyUI6T85jbEkbdikM4LN3L9QgMXyU2HS+TiXd7k=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": [ "v=1; a=rsa-sha256; c=relaxed/relaxed; d=synopsys.com; h=\n content-transfer-encoding:date:from:message-id:mime-version\n :subject:to; s=pfptdkimsnps; bh=08OkwedRmPxEkjvwa4uPhmRr/Ooe5d0C\n wbd7ZJW7Cw8=; b=FxRR1OMyYEnNO+x4+4gnZV6PC4L9z9U/U89oQ/i/FGjUq0Yo\n exHrfbBHpyBI5lfE1UM9X+xTNBIoLGBJnrGVc62lOyAEsaQ1rF1rkAElp4bEk2ZS\n +AdhoaNqkxw8Ah6BiiT8O5WUpox4cxZ3aXBq2aU/YgpXEqBnWYdLfQnYf4MIUJVG\n kkAu5XcXZAgEOUxa4mf65iWbJDT6Sh7LJgRPu2HLeyx8xHCtqq4zOZ+qepUxgFND\n IohWVY2LclnT2cvK1meYQGJY0o+oIkc9nM/bIhjMJbOZMN7ugk0TK3jFdNdIyHXd\n H+AtPfZqJKnWmhX4LmJ30Pmsecpai/CsyHK+zg==", "v=1; a=rsa-sha256; c=relaxed/simple; d=synopsys.com; s=mail;\n t=1777471589; bh=tl893zOddM/q3BZgBw6IyUcNakmnf2F/AKY9Fz3BKUM=;\n h=From:To:Subject:Date:From;\n b=ac7DNYVHsptWhe+ecdb2gma3KCFG1UrDrOY3UneydiHOuKKY4TG8SC1CbBW7z5JZn\n NWkunrlO5KLchPzKFHngN9APmY6yxQaY03uNyslNpbvGSr3vOoAtnD7umIb7M5w1JD\n UJ8TnHdmDgbJnPByQ5K6x8J4MUA6nj2s6nboiEKh1uHPGK/9iRzlW2SKwJs2JiOtL2\n rie637kyblt4nWiazyC4Q7yFXx3/XLBaJ+F6kabkCBgJUWwL25ZLJm3mMMjP8GS79u\n pD5g+pu+tPVWJncPBTzb6HyFgo0wqauY1ceeUfacrVOK/d7NYH+SCHjlqjr5IGdp9h\n w/uIDAIyXHA2w==" ], "X-SNPS-Relay": "synopsys.com", "From": "Michiel Derhaeg <Michiel.Derhaeg@synopsys.com>", "To": "gcc-patches@gcc.gnu.org", "Subject": "[PATCH] niter: Make MAX_DOMINATORS_TO_WALK configurable at runtime", "Date": "Wed, 29 Apr 2026 07:06:29 -0700", "Message-Id": "<20260429140629.3051323-1-michiel@synopsys.com>", "X-Mailer": "git-send-email 2.37.1", "MIME-Version": "1.0", "Content-Transfer-Encoding": "8bit", "X-Proofpoint-GUID": "OScLJIeqrIFt7rcc9-ZxGDxly0Pgu93V", "X-Proofpoint-ORIG-GUID": "OScLJIeqrIFt7rcc9-ZxGDxly0Pgu93V", "X-Authority-Analysis": "v=2.4 cv=SLZykuvH c=1 sm=1 tr=0 ts=69f2106a cx=c_pps\n a=8EbXvwLXkpGsT4ql/pYRAw==:117 a=8EbXvwLXkpGsT4ql/pYRAw==:17\n a=A5OVakUREuEA:10 a=qPHU084jO2kA:10 a=VkNPw1HP01LnGYTKEx00:22\n a=tU_645BZ7FZt8VqRJtHG:22 a=-4-sGo8i1FcW4KD7_GeR:22 a=jIQo8A4GAAAA:8\n a=qW7_Hq5JbdP9P6T10JMA:9", "X-Proofpoint-Spam-Details-Enc": "AW1haW4tMjYwNDI5MDE0MyBTYWx0ZWRfX18gUM0zc/YfF\n q9P+0N7w5dM7xBFUp3OvfXS1Dp4ZBqIGffoQdZxeEuyNuxjF6/yT4/LGomAFinR2xKHhsVf5Ia4\n mg8P/2F+5fAzXARU+q2NyYi4RSz0kiSdPVe6ynxnxkx8bQaDyZTEpDGMNbNjLAjwB9bjC++JXsI\n 3rTP+NRcVNOH4mTuJwJ0BtSwFGCyB7QPGsf7vkKBz4YPX/D/aiqzU5Y3oKOzG+W07t617lKNhhB\n 2c6/TLnhXVfpD+9tgYF/y9WSmPSyeKmNLYgbem/MmmDX4/MpGSeblopiIlNqBpcr9t5ae4wW5w+\n 4qIkkI0hmbdOZA1VuJMjgOF5xjQtk5GoaEKC43k/MJWt8EL6zlc8srXespu/6x2WudxkeWgLYm4\n zpOwbr+5rAT3//LeE7PvNSKGRFKGIoIFUhp5sp0Ki6xPYOQ95fiFeH0L/S+kNj8jpsapcuRRL+B\n YluOqlW8jkZaz+ZP9KA==", "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-28_05,2026-04-28_01,2025-10-01_01", "X-Proofpoint-Spam-Details": "rule=outbound_active_cloned_notspam\n policy=outbound_active_cloned score=0 priorityscore=1501 lowpriorityscore=0\n suspectscore=0 phishscore=0 adultscore=0 malwarescore=0 bulkscore=0\n clxscore=1015 impostorscore=0 spamscore=0 classifier=typeunknown authscore=0\n authtc= authcc= route=outbound adjust=0 reason=mlx scancount=1\n engine=8.22.0-2604200000 definitions=main-2604290143", "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": "MAX_DOMINATORS_TO_WALK can be too small for very large function bodies.\nMade it an option such that we can increase the value when needed.\n\ngcc/ChangeLog:\n\n * params.opt: Added --param=max-niter-dominators-walk.\n * tree-ssa-loop-niter.cc (MAX_DOMINATORS_TO_WALK): Removed.\n (determine_value_range): Updated.\n (bound_difference): Updated.\n (simplify_using_initial_conditions): Updated.\n\nSigned-off-by: Michiel Derhaeg <michiel@synopsys.com>\n---\n gcc/params.opt | 4 ++++\n gcc/tree-ssa-loop-niter.cc | 14 ++++++--------\n 2 files changed, 10 insertions(+), 8 deletions(-)", "diff": "diff --git a/gcc/params.opt b/gcc/params.opt\nindex b35ca688cdf..9eeb1f3fa64 100644\n--- a/gcc/params.opt\n+++ b/gcc/params.opt\n@@ -674,6 +674,10 @@ Bound on the cost of an expression to compute the number of iterations.\n Common Joined UInteger Var(param_max_iterations_to_track) Init(1000) Param Optimization\n Bound on the number of iterations the brute force # of iterations analysis algorithm evaluates.\n \n+-param=max-niter-dominators-walk=\n+Common Joined UInteger Var(param_max_niter_dominators_walk) Init(8) IntegerRange(1, 1024) Param Optimization\n+Maximum number of dominators BBs to walk when simplifying loop bounds and conditions.\n+\n -param=max-jump-thread-duplication-stmts=\n Common Joined UInteger Var(param_max_jump_thread_duplication_stmts) Init(15) Param Optimization\n Maximum number of statements allowed in a block that needs to be duplicated when threading jumps.\ndiff --git a/gcc/tree-ssa-loop-niter.cc b/gcc/tree-ssa-loop-niter.cc\nindex 00c4a9c81f8..c39401147ae 100644\n--- a/gcc/tree-ssa-loop-niter.cc\n+++ b/gcc/tree-ssa-loop-niter.cc\n@@ -48,11 +48,6 @@ along with GCC; see the file COPYING3. If not see\n #include \"sreal.h\"\n \n \n-/* The maximum number of dominator BBs we search for conditions\n- of loop header copies we use for simplifying a conditional\n- expression. */\n-#define MAX_DOMINATORS_TO_WALK 8\n-\n /*\n \n Analysis of number of iterations of an affine exit test.\n@@ -441,7 +436,8 @@ determine_value_range (class loop *loop, tree type, tree var, mpz_t off,\n /* Now walk the dominators of the loop header and use the entry\n \t guards to refine the estimates. */\n for (bb = loop->header;\n-\t bb != ENTRY_BLOCK_PTR_FOR_FN (cfun) && cnt < MAX_DOMINATORS_TO_WALK;\n+\t bb != ENTRY_BLOCK_PTR_FOR_FN (cfun)\n+\t && cnt < param_max_niter_dominators_walk;\n \t bb = get_immediate_dominator (CDI_DOMINATORS, bb))\n \t{\n \t edge e;\n@@ -769,7 +765,8 @@ bound_difference (class loop *loop, tree x, tree y, bounds *bnds)\n /* Now walk the dominators of the loop header and use the entry\n guards to refine the estimates. */\n for (bb = loop->header;\n- bb != ENTRY_BLOCK_PTR_FOR_FN (cfun) && cnt < MAX_DOMINATORS_TO_WALK;\n+ bb != ENTRY_BLOCK_PTR_FOR_FN (cfun)\n+\t && cnt < param_max_niter_dominators_walk;\n bb = get_immediate_dominator (CDI_DOMINATORS, bb))\n {\n if (!single_pred_p (bb))\n@@ -3100,7 +3097,8 @@ simplify_using_initial_conditions (class loop *loop, tree expr)\n the number of BBs times the number of loops in degenerate\n cases. */\n for (bb = loop->header;\n- bb != ENTRY_BLOCK_PTR_FOR_FN (cfun) && cnt < MAX_DOMINATORS_TO_WALK;\n+ bb != ENTRY_BLOCK_PTR_FOR_FN (cfun)\n+\t && cnt < param_max_niter_dominators_walk;\n bb = get_immediate_dominator (CDI_DOMINATORS, bb))\n {\n if (!single_pred_p (bb))\n", "prefixes": [] }