{"id":2226310,"url":"http://patchwork.ozlabs.org/api/1.2/patches/2226310/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhubwh7m90.gcc.gcc-TEST.pinskia.33.1.5@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:14","name":"[v1,05/15] rtl-ssa: Add support for *_extend/subreg of a comparison to recog","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"b1b036fa602ceac3f45910af7591dd16eae985e4","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.5@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/2226310/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2226310/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 4g0xjL4YlNz1yCv\n\tfor ; Wed, 22 Apr 2026 21:25:26 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id C086B485A2A5\n\tfor ; Wed, 22 Apr 2026 11:25:24 +0000 (GMT)","from forge-stage.sourceware.org (vm08.sourceware.org [38.145.34.39])\n by sourceware.org (Postfix) with ESMTPS id 1A97841627DE\n for ; Wed, 22 Apr 2026 10:50:34 +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 9169D42BDA\n for ; Wed, 22 Apr 2026 10:50:31 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org C086B485A2A5","OpenDKIM Filter v2.11.0 sourceware.org 1A97841627DE"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 1A97841627DE","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 1A97841627DE","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776855034; cv=none;\n b=MQcm/sJMKsVp30rwm7HZ2unOG25MRRhJ6eizf9qJWaCgUIueKu0NWYDDy7hHKwRl3sMfkqgbXLU6Hr99WCNCth5FG/7mxMVrFI1ZYtm12Naac4+g2sNF/jRF5RqF5aRuBbQlwvwoa67vf409fyWjDSKpH+4bZ8udj7inTYxWEAE=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776855034; c=relaxed/simple;\n bh=cj6SHIenAHvtFpJuJJ0GJTcW4dbBDHMibJpbMG1WvVg=;\n h=From:Date:Subject:To:Message-ID;\n b=wC7iQsEeNZEhMIN0XwStzCkUVC9geFiENReeHmdgiemGf1Uw3UC7ew7w3IPCkZYJMCAa2S/GQXVzaAD7rBfCX9LXqy909/9Vf4Dw+w2DmTAbV7dbZ4yoaOEy5MhZaWGv3ceBRHWGENPOQdTj4di4EUyTDKtBjd0gKLViZ4GuAHk=","ARC-Authentication-Results":"i=1; server2.sourceware.org","From":"Andrew Pinski via Sourceware Forge\n ","Date":"Wed, 22 Apr 2026 10:49:14 +0000","Subject":"[PATCH v1 05/15] rtl-ssa: Add support for *_extend/subreg of a\n comparison to recog","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/7bd8d0c0171e2348e4003d12ad3352af1d180b2b","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\nCombine tries to change the mode of a comparison so for both late_combine and fwprop,\nit would be useful if rtl-ssa handles this case too.\nI am not 100% sure this is the best place to do this but it should be in shared code.\n\ngcc/ChangeLog:\n\n\t* rtl-ssa/changes.cc (recog_level2):\n\t(recog_level3):\n\t(rtl_ssa::recog_internal):\n\nSigned-off-by: Andrew Pinski \n---\n gcc/rtl-ssa/changes.cc | 47 ++++++++++++++++++++++++++++++++++++++++--\n 1 file changed, 45 insertions(+), 2 deletions(-)","diff":"diff --git a/gcc/rtl-ssa/changes.cc b/gcc/rtl-ssa/changes.cc\nindex eb579ad3ad7e..9d86f304c6da 100644\n--- a/gcc/rtl-ssa/changes.cc\n+++ b/gcc/rtl-ssa/changes.cc\n@@ -982,7 +982,7 @@ find_clobbered_access (access_array accesses, rtx pat)\n // ADD_REGNO_CLOBBER is a specialization of function_info::add_regno_clobber\n // for a specific caller-provided predicate.\n static bool\n-recog_level2 (insn_change &change, add_regno_clobber_fn add_regno_clobber)\n+recog_level3 (insn_change &change, add_regno_clobber_fn add_regno_clobber)\n {\n insn_change_watermark insn_watermark;\n rtx_insn *rtl = change.rtl ();\n@@ -1146,6 +1146,50 @@ recog_level2 (insn_change &change, add_regno_clobber_fn add_regno_clobber)\n return true;\n }\n \n+// Try to recognize the new form of the insn associated with CHANGE,\n+// adding any clobbers that are necessary to make the instruction match\n+// an .md pattern. Return true on success.\n+//\n+// ADD_REGNO_CLOBBER is a specialization of function_info::add_regno_clobber\n+// for a specific caller-provided predicate.\n+static bool\n+recog_level2 (insn_change &change, add_regno_clobber_fn add_regno_clobber)\n+{\n+ if (recog_level3 (change, add_regno_clobber))\n+ return true;\n+ insn_info *insn = change.insn ();\n+ rtx_insn *rtl = insn->rtl ();\n+ rtx pat = PATTERN (rtl);\n+ // Skip over the \n+ //if (GET_CODE (pat) == PARALLEL && asm_noperands (pat) < 0)\n+ // {\n+ // }\n+ if (GET_CODE (pat) != SET)\n+ return false;\n+ rtx src = SET_SRC (pat);\n+ if (GET_CODE (src) != ZERO_EXTEND\n+ && GET_CODE (src) != SIGN_EXTEND\n+ && (GET_CODE (src) != SUBREG\n+\t || subreg_lowpart_p (src)))\n+ return false;\n+ if (!COMPARISON_P (XEXP (src, 0)))\n+ return false;\n+ rtx x = XEXP (src, 0);\n+ machine_mode imode = GET_MODE (x);\n+ machine_mode omode = GET_MODE (src);\n+ if (!SCALAR_INT_MODE_P (imode)\n+ || !SCALAR_INT_MODE_P (omode))\n+ return false;\n+ rtx newsrc = gen_rtx_fmt_ee (GET_CODE (x), omode, XEXP (x, 0), XEXP (x, 1));\n+\n+ int old_num_changes = num_validated_changes ();\n+ validate_change (rtl, &SET_SRC (pat), newsrc, true);\n+ if (recog_level3 (change, add_regno_clobber))\n+ return true;\n+ cancel_changes (old_num_changes);\n+ return false;\n+}\n+\n // Try to recognize the new form of the insn associated with CHANGE,\n // adding and removing clobbers as necessary to make the instruction\n // match an .md pattern. Return true on success, otherwise leave\n@@ -1197,7 +1241,6 @@ rtl_ssa::recog_internal (insn_change &change,\n \t}\n return false;\n }\n-\n return recog_level2 (change, add_regno_clobber);\n }\n \n","prefixes":["v1","05/15"]}