From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7924) id 4A3A23858415; Thu, 25 Jan 2024 09:20:30 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4A3A23858415 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1706174430; bh=XGGr95jRszIhxYSNsHAbovl097Fp6+A4wZkti4MinVk=; h=From:To:Subject:Date:From; b=EKAMxhdP7dRecPkvqRlQdTFW5UKAcv2Kq9GkHpwsyJAMcrbVhiAk/VkTZXsv+cgVc RSgAFcWtElRI/wMEgq8QSNLK3j4eN7XdgsouHQDoaIfa6EngU98swvud72+fYwOKG5 cqHRdJtEoTKevyBBlw4LKfXwpl5i+oetm7qaNDKc= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pan Li To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-8419] RISC-V: Add LCM delete block predecessors dump information X-Act-Checkin: gcc X-Git-Author: Juzhe-Zhong X-Git-Refname: refs/heads/master X-Git-Oldrev: 5ee45f5e2838caf9180af1702349daa017a032f5 X-Git-Newrev: c6c2a1d79eb333a00124bf67820a7f405d0d8641 Message-Id: <20240125092030.4A3A23858415@sourceware.org> Date: Thu, 25 Jan 2024 09:20:30 +0000 (GMT) List-Id: https://gcc.gnu.org/g:c6c2a1d79eb333a00124bf67820a7f405d0d8641 commit r14-8419-gc6c2a1d79eb333a00124bf67820a7f405d0d8641 Author: Juzhe-Zhong Date: Thu Jan 25 16:59:42 2024 +0800 RISC-V: Add LCM delete block predecessors dump information While looking into PR113469, I notice the LCM delete a vsetvl incorrectly. This patch add dump information of all predecessors for LCM delete vsetvl block for better debugging. Tested no regression. gcc/ChangeLog: * config/riscv/riscv-vsetvl.cc (get_all_predecessors): New function. (pre_vsetvl::pre_global_vsetvl_info): Add LCM delete block all predecessors dump information. Diff: --- gcc/config/riscv/riscv-vsetvl.cc | 42 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) diff --git a/gcc/config/riscv/riscv-vsetvl.cc b/gcc/config/riscv/riscv-vsetvl.cc index 72c5a127d9e..da258b964fc 100644 --- a/gcc/config/riscv/riscv-vsetvl.cc +++ b/gcc/config/riscv/riscv-vsetvl.cc @@ -654,6 +654,31 @@ invalid_opt_bb_p (basic_block cfg_bb) return false; } +/* Get all predecessors of BB. */ +static hash_set +get_all_predecessors (basic_block bb) +{ + hash_set blocks; + auto_vec work_list; + hash_set visited_list; + work_list.safe_push (bb); + + while (!work_list.is_empty ()) + { + basic_block new_bb = work_list.pop (); + visited_list.add (new_bb); + edge e; + edge_iterator ei; + FOR_EACH_EDGE (e, ei, new_bb->preds) + { + if (!visited_list.contains (e->src)) + work_list.safe_push (e->src); + blocks.add (e->src); + } + } + return blocks; +} + /* This flags indicates the minimum demand of the vl and vtype values by the RVV instruction. For example, DEMAND_RATIO_P indicates that this RVV instruction only needs the SEW/LMUL ratio to remain the same, and does not @@ -3142,6 +3167,23 @@ pre_vsetvl::pre_global_vsetvl_info () const vsetvl_block_info &block_info = get_block_info (info.get_bb ()); gcc_assert (block_info.get_entry_info () == info); info.set_delete (); + if (dump_file && (dump_flags & TDF_DETAILS)) + { + fprintf (dump_file, + "\nLCM deleting vsetvl of block %d, it has predecessors: \n", + bb->index ()); + hash_set all_preds + = get_all_predecessors (bb->cfg_bb ()); + int i = 0; + for (const auto pred : all_preds) + { + fprintf (dump_file, "%d ", pred->index); + i++; + if (i % 32 == 0) + fprintf (dump_file, "\n"); + } + fprintf (dump_file, "\n"); + } } /* Remove vsetvl infos if all precessors are available to the block. */