{"id":2226338,"url":"http://patchwork.ozlabs.org/api/1.2/patches/2226338/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhubwh7m90.gcc.gcc-TEST.pinskia.33.1.14@forge-stage.sourceware.org/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/1.2/projects/17/?format=json","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":"","list_archive_url":null,"date":"2026-04-22T10:49:23","name":"[v1,14/15] gimple-fold: Implement copy prop for function call arguments","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"7163f8a03de845ebc44b46826fb93e22295248d4","submitter":{"id":93219,"url":"http://patchwork.ozlabs.org/api/1.2/people/93219/?format=json","name":"Andrew Pinski via Sourceware Forge","email":"forge-bot+pinskia@forge-stage.sourceware.org"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhubwh7m90.gcc.gcc-TEST.pinskia.33.1.14@forge-stage.sourceware.org/mbox/","series":[{"id":500990,"url":"http://patchwork.ozlabs.org/api/1.2/series/500990/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=500990","date":"2026-04-22T10:49:12","name":"copy-prop-arg","version":1,"mbox":"http://patchwork.ozlabs.org/series/500990/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2226338/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2226338/checks/","tags":{},"related":[],"headers":{"Return-Path":"","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 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; dmarc=none (p=none dis=none)\n header.from=forge-stage.sourceware.org","sourceware.org;\n spf=pass smtp.mailfrom=forge-stage.sourceware.org","server2.sourceware.org;\n arc=none smtp.remote-ip=38.145.34.39"],"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 4g0xsk44WDz1y2d\n\tfor ; Wed, 22 Apr 2026 21:32:42 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 5F6CC4BC897F\n\tfor ; Wed, 22 Apr 2026 11:32:24 +0000 (GMT)","from forge-stage.sourceware.org (vm08.sourceware.org [38.145.34.39])\n by sourceware.org (Postfix) with ESMTPS id 2308741627F4\n for ; Wed, 22 Apr 2026 10:50:35 +0000 (GMT)","from forge-stage.sourceware.org (localhost [IPv6:::1])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange x25519 server-signature ECDSA (prime256v1) server-digest SHA256)\n (No client certificate requested)\n by forge-stage.sourceware.org (Postfix) with ESMTPS id 0FE3842BE3\n for ; Wed, 22 Apr 2026 10:50:32 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 5F6CC4BC897F","OpenDKIM Filter v2.11.0 sourceware.org 2308741627F4"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 2308741627F4","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 2308741627F4","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776855035; cv=none;\n b=xc21Q532IkT/3cdf08ovGeExeDYDH7nDv/s20ThyjMJXL0oSohiGlZEYCmFaFzKYJTSf4Xa9Gq3dmp4uZrYqWPebFtxUiavmjhDP2WgnexZsTbCitssPB0nSjrplo3aPvKNrHMkg0YTwtRHNF0OL4qSuXcIXpkVivCJYYn72cCU=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776855035; c=relaxed/simple;\n bh=9UcHvooHTx1bkwSvaSxv4nMzLlpSIzpACmwfwZzAFkM=;\n h=From:Date:Subject:To:Message-ID;\n b=ZWX3HwHIr6ucmU5OLd+yYSweaHWRn+TlGrRWDz6mK4L4Ttn21M1kLAyCMM0p2IUtDnhBYuvPfjV/15R1tSkLVMUlYh3q+zwlHOnN31mSbp5MU0xwqcys4iic+saGuEeQ3kqioFy2fPJeDCzvm8/SQ1yiUoq6GmhyeZy7iLlNg4o=","ARC-Authentication-Results":"i=1; server2.sourceware.org","From":"Andrew Pinski via Sourceware Forge\n ","Date":"Wed, 22 Apr 2026 10:49:23 +0000","Subject":"[PATCH v1 14/15] gimple-fold: Implement copy prop for function call\n arguments","To":"gcc-patches mailing list ","Message-ID":"\n ","X-Mailer":"batrachomyomachia","X-Pull-Request-Organization":"gcc","X-Pull-Request-Repository":"gcc-TEST","X-Pull-Request":"https://forge.sourceware.org/gcc/gcc-TEST/pulls/33","References":"\n ","In-Reply-To":"\n ","X-Patch-URL":"\n https://forge.sourceware.org/pinskia/gcc-TEST/commit/6da9d46a83ff3c13171d94bedf7d3a6fdc1339f0","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Reply-To":"gcc-patches mailing list ,\n pinskia@gcc.gnu.org","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"From: Andrew Pinski \n\nThis extends the current copy prop for aggregate to call arguments.\n\ngcc/ChangeLog:\n\n\t* gimple-fold.cc (optimize_agr_copyprop):\n\t(gimple_fold_call):\n\t(fold_stmt_1):\n\t(gimple_stmt_integer_valued_real_p):\n\nSigned-off-by: Andrew Pinski \n---\n gcc/gimple-fold.cc | 25 +++++++++++++++++--------\n 1 file changed, 17 insertions(+), 8 deletions(-)","diff":"diff --git a/gcc/gimple-fold.cc b/gcc/gimple-fold.cc\nindex 3d718de6e19c..db9d47868d18 100644\n--- a/gcc/gimple-fold.cc\n+++ b/gcc/gimple-fold.cc\n@@ -1049,11 +1049,12 @@ optimize_memcpy_to_memset (gimple_stmt_iterator *gsip, tree dest, tree src, tree\n into\n a = c;\n b = c;\n- GSIP is the second statement and SRC is the common\n- between the statements.\n+ GSIP is the second statement and *SRC is the common\n+ between the statements and is the location of what\n+ will be replaced.\n */\n static bool\n-optimize_agr_copyprop (gimple_stmt_iterator *gsip, tree dest, tree src)\n+optimize_agr_copyprop (gimple_stmt_iterator *gsip, tree dest, tree *src)\n {\n gimple *stmt = gsi_stmt (*gsip);\n if (gimple_has_volatile_ops (stmt))\n@@ -1072,10 +1073,10 @@ optimize_agr_copyprop (gimple_stmt_iterator *gsip, tree dest, tree src)\n \n tree dest2 = gimple_assign_lhs (defstmt);\n tree src2 = gimple_assign_rhs1 (defstmt);\n- if (!operand_equal_p (src, dest2, 0))\n+ if (!operand_equal_p (*src, dest2, 0))\n return false;\n /* If replacing with the same thing, just skip it. */\n- if (operand_equal_p (src, src2, 0))\n+ if (operand_equal_p (*src, src2, 0))\n return false;\n \n /* For 2 memory refences and using a temporary to do the copy,\n@@ -1088,7 +1089,7 @@ optimize_agr_copyprop (gimple_stmt_iterator *gsip, tree dest, tree src)\n t = *a;\n *b = *a;\n */\n- if (!DECL_P (dest) && DECL_P (src) && !DECL_P (src2))\n+ if (dest && !DECL_P (dest) && DECL_P (*src) && !DECL_P (src2))\n return false;\n \n if (dump_file && (dump_flags & TDF_DETAILS))\n@@ -1098,7 +1099,7 @@ optimize_agr_copyprop (gimple_stmt_iterator *gsip, tree dest, tree src)\n fprintf (dump_file, \"after previous\\n \");\n print_gimple_stmt (dump_file, defstmt, 0, dump_flags);\n }\n- gimple_assign_set_rhs_from_tree (gsip, unshare_expr (src2));\n+ *src = unshare_expr (src2);\n update_stmt (stmt);\n \n if (dump_file && (dump_flags & TDF_DETAILS))\n@@ -6010,6 +6011,14 @@ gimple_fold_call (gimple_stmt_iterator *gsi, bool inplace)\n \t}\n }\n \n+ /* Copy prop arguments in if possible. */\n+ for (unsigned arg = 0; arg < gimple_call_num_args (stmt); arg++)\n+ {\n+ tree *a = gimple_call_arg_ptr (stmt, arg);\n+ if (TREE_CODE (*a) != SSA_NAME && !is_gimple_min_invariant (*a))\n+\tchanged |= optimize_agr_copyprop (gsi, nullptr, a);\n+ }\n+\n if (inplace)\n return changed;\n \n@@ -6763,7 +6772,7 @@ fold_stmt_1 (gimple_stmt_iterator *gsi, bool inplace, tree (*valueize) (tree),\n \t\tbreak;\n \t }\n \t if (optimize_agr_copyprop (gsi, gimple_assign_lhs (stmt),\n-\t\t\t\t gimple_assign_rhs1 (stmt)))\n+\t\t\t\t gimple_assign_rhs1_ptr (stmt)))\n \t {\n \t\tchanged = true;\n \t\tbreak;\n","prefixes":["v1","14/15"]}