From patchwork Tue Jan 16 21:41:23 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Vineet Gupta X-Patchwork-Id: 188622 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7300:42cf:b0:101:a8e8:374 with SMTP id q15csp539568dye; Tue, 16 Jan 2024 13:42:23 -0800 (PST) X-Google-Smtp-Source: AGHT+IFuRodcrL2a8OuDO4SyjCSK+p9iPtfWG4f9BnwiDirm06J9fSzWwvrmBZvlQw4Etj7rLSHo X-Received: by 2002:a67:ea54:0:b0:467:ec0f:efae with SMTP id r20-20020a67ea54000000b00467ec0fefaemr4572569vso.26.1705441343684; Tue, 16 Jan 2024 13:42:23 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1705441343; cv=pass; d=google.com; s=arc-20160816; b=f6RHLXmeCClQSr+JJ1uY3mbcaeqWo1G6NU+kOu7EC9LdY4Fi+JhdlgQZpynkNEKJJs hB8EfG2iN9nRIqyHVVng2IcQGXT1Z5YM8Enn5ajKrna1seOjoydHy9kSmIPFZOe9e69T 8ZK1/Por6uP5eqlpn5gOV2visndD5T0nupHlbHyc73ORhSouePduCPg47zP/8b6+SGZo FEQEFNvhjbyr041sdKF+UF/clEJF3uOYJCIyVc4uqb6fxiqMx54yP+wq9h/FLrLSX5J2 I8VrH7zuBW3P6mrZW8nduTFJJBfnYaauiL/o/wHYQ9Y/UHgMXC+Ve8d/Ykqpk9XGqyjW KTjw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:message-id:date:subject:cc:to:from:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=/KHGCI3KAcdjI/hhQbuv5BwcNuneGTJ9pJQvlFufXR4=; fh=Z0lR3jbVe3qRGcPMe7OmWdwrBpKNk2zpjSqGnY3qDHQ=; b=B4OYFbE1L0Nvie6k/7kQS/Fqp9LuA9BlbIMpnboac7v/PeIdMYIkySZxClZ/KVfQb2 PDYSZu0CJfkhmRRxbYIsPg4yiMIP/4ooS0gFRejB9WSvEZmnWYY4Ltzj9GCyymyDpjbM pvCwX2csOuDHzf36636FgvYbUXFY0LasNzDTd/JqfH35RMq2RM3cFzPgoFlJWRv1FJIo 3Vyw5ULzVmiFRz3t+2+5jYdkEjkfq1a1ghItGieHuE30UonHPTKDG2i7dO/qPr3tOiMU LHqV7cqOHc3pH134QSiLj1BejAIeX/5OrEde+g301E5TpCyFe5y0Yo5S8Ds/BdYMxeR1 Nf4A== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@rivosinc-com.20230601.gappssmtp.com header.s=20230601 header.b=QjYAdecr; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id a12-20020a0ca98c000000b0067f6f705a9asi10836741qvb.101.2024.01.16.13.42.23 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 16 Jan 2024 13:42:23 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@rivosinc-com.20230601.gappssmtp.com header.s=20230601 header.b=QjYAdecr; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 5E8873857BB7 for ; Tue, 16 Jan 2024 21:42:23 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-pf1-x42b.google.com (mail-pf1-x42b.google.com [IPv6:2607:f8b0:4864:20::42b]) by sourceware.org (Postfix) with ESMTPS id 7A61C3857C4A for ; Tue, 16 Jan 2024 21:41:29 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7A61C3857C4A Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=rivosinc.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=rivosinc.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 7A61C3857C4A Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::42b ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1705441292; cv=none; b=jkEVPiUupjt9I4bbrEolih3t+BuXoLqtuVopNDR3BCKrxfFP0KrCersd7JASNRG1PGPFhCEGCbx8Aq3sSMnJFIvQ0RkbVXx3/MSFI6CpO8b1gqn8SIG0GxSdsAU2Cyu7rfHKMHqjaM0JNmbwuqhNtRjeKz6vcCwUsA5z8XdPXUs= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1705441292; c=relaxed/simple; bh=CkACz2hVcQQyb6GC200Z+R8EgEfe7BwYEX5Q+ktN6Uk=; h=DKIM-Signature:From:To:Subject:Date:Message-Id:MIME-Version; b=GDEy8EEyZMeiVVk80Cdn1sdOjh+dl+Yj7wIy/uUtgfjiNJMFvUY4FgXaRGHTckSTYQ6POX9HJMaJBB9qQXAbxoDnf8m/m4qcT52tW0YKvlPnkUJU79iiyRDLPcAhHJpY7hyudm2MFElv5cF1PV590rk0BjlivCn9BZT6YbvrW+w= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-pf1-x42b.google.com with SMTP id d2e1a72fcca58-6d9f94b9186so8620358b3a.0 for ; Tue, 16 Jan 2024 13:41:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rivosinc-com.20230601.gappssmtp.com; s=20230601; t=1705441288; x=1706046088; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=/KHGCI3KAcdjI/hhQbuv5BwcNuneGTJ9pJQvlFufXR4=; b=QjYAdecr7345ocE7EgJk52+7OQbPdOYfdP6/TdxcNJXi+iN/j6EIW0Yf644lcBBd9R BNTuY/IMub/a2q3ni2rJCSuLWvtQNpf7rGzwihYZ6UaXXm5oLzKGXmiiFq2yBmpZ4eG2 TtRjhzBSeg4vI2vGKhUxMDL8P2xQsK+GLQlt3QaCckNTWAh9jCjaLkk2Tj0rvsz7j5hJ TVajRXOpHB6S6WKJSUKhXXWD2smMaVOOOQLnfHt+IhVUCmCaKAbEWOQVJLo2LXHLgHUr 2Y0PFErHk8FwMYFJPCLHdrk5xIwx6FL4Px3nbW3/vglvw/6vFsrnP1gj348RutFYuHhU ZdWQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1705441288; x=1706046088; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=/KHGCI3KAcdjI/hhQbuv5BwcNuneGTJ9pJQvlFufXR4=; b=uxERWFDvvUl6GxgRg7RO8aoGN65CjWyX67mMtyE+7CjB5x/PtpftTi0EoQYpT/+d8F TkQZM0X2sda9tDBXlbrAn9Ts7DEiUifrog5DGpPFAufwo+gmYp0mDhLKrO2iRC8bMPxb nS0ImzPS/3c61mRr2k7MZnFLE7XmvrqagTYwM4OAakuU9MxQdPzfBv9NNkBVLUCcgjQL Gc3vgRfM0uW2P0omvxhmx/Rf2b+6pNKMQJmKDmlTv7fey+S/8nyrWMDbITbt68VyB8NA IF0CSE0AaVLmIm7uC+9xwqVWCptgRbXS5a8XeZXAkvJ8HI6pABPyQHk6EAOl8mr0ko9V EfDw== X-Gm-Message-State: AOJu0Yzedf3TKH+NPlmIZtD8Krwiw1dl4gVCoeT+NKkCIYwIIjxhv3sd H/lei3J29dVy7waMHyO+Wiq8qACDCMcxxgSDa6DEdKKQxFQ= X-Received: by 2002:a05:6a20:3d95:b0:19a:29c4:aa75 with SMTP id s21-20020a056a203d9500b0019a29c4aa75mr8711154pzi.91.1705441288236; Tue, 16 Jan 2024 13:41:28 -0800 (PST) Received: from vineet-framework.hq.rivosinc.com ([12.44.203.122]) by smtp.gmail.com with ESMTPSA id d8-20020a62f808000000b006d9ce7d3258sm47183pfh.204.2024.01.16.13.41.27 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 16 Jan 2024 13:41:28 -0800 (PST) From: Vineet Gupta To: gcc-patches@gcc.gnu.org, Robin Dapp , "juzhe . zhong @ rivai . ai" Cc: Jeff Law , kito.cheng@gmail.com, gnu-toolchain@rivosinc.com, Vineet Gupta Subject: [PATCH] RISC-V: fix some vsetvl debug info in pass's Phase 2 code [NFC] Date: Tue, 16 Jan 2024 13:41:23 -0800 Message-Id: <20240116214123.22958-1-vineetg@rivosinc.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-Spam-Status: No, score=-11.3 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1788284862666041777 X-GMAIL-MSGID: 1788284862666041777 When staring at VSETVL pass for PR/113429, spotted some minor improvements. 1. For readablity, remove some redundant condition check in Phase 2 function earliest_fuse_vsetvl_info (). 2. Add iteration count in debug prints in same function. gcc/ChangeLog: * config/riscv/riscv-vsetvl.cc (earliest_fuse_vsetvl_info): Remove redundant checks in else condition for readablity. (earliest_fuse_vsetvl_info) Print iteration count in debug prints. (earliest_fuse_vsetvl_info) Fix misleading vsetvl info dump details in certain cases. Signed-off-by: Vineet Gupta Signed-off-by: Vineet Gupta --- gcc/config/riscv/riscv-vsetvl.cc | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/gcc/config/riscv/riscv-vsetvl.cc b/gcc/config/riscv/riscv-vsetvl.cc index 78a2f7b38faf..41d4b80648f6 100644 --- a/gcc/config/riscv/riscv-vsetvl.cc +++ b/gcc/config/riscv/riscv-vsetvl.cc @@ -2343,7 +2343,7 @@ public: void compute_lcm_local_properties (); void fuse_local_vsetvl_info (); - bool earliest_fuse_vsetvl_info (); + bool earliest_fuse_vsetvl_info (int iter); void pre_global_vsetvl_info (); void emit_vsetvl (); void cleaup (); @@ -2961,7 +2961,7 @@ pre_vsetvl::fuse_local_vsetvl_info () bool -pre_vsetvl::earliest_fuse_vsetvl_info () +pre_vsetvl::earliest_fuse_vsetvl_info (int iter) { compute_avl_def_data (); compute_vsetvl_def_data (); @@ -2984,7 +2984,8 @@ pre_vsetvl::earliest_fuse_vsetvl_info () if (dump_file && (dump_flags & TDF_DETAILS)) { - fprintf (dump_file, "\n Compute LCM earliest insert data:\n\n"); + fprintf (dump_file, "\n Compute LCM earliest insert data (lift %d):\n\n", + iter); fprintf (dump_file, " Expression List (%u):\n", num_exprs); for (unsigned i = 0; i < num_exprs; i++) { @@ -3032,7 +3033,7 @@ pre_vsetvl::earliest_fuse_vsetvl_info () if (dump_file && (dump_flags & TDF_DETAILS)) { - fprintf (dump_file, " Fused global info result:\n"); + fprintf (dump_file, " Fused global info result (lift %d):\n", iter); } bool changed = false; @@ -3142,8 +3143,7 @@ pre_vsetvl::earliest_fuse_vsetvl_info () if (src_block_info.has_info ()) src_block_info.probability += dest_block_info.probability; } - else if (src_block_info.has_info () - && !m_dem.compatible_p (prev_info, curr_info)) + else { /* Cancel lift up if probabilities are equal. */ if (successors_probability_equal_p (eg->src)) @@ -3151,11 +3151,11 @@ pre_vsetvl::earliest_fuse_vsetvl_info () if (dump_file && (dump_flags & TDF_DETAILS)) { fprintf (dump_file, - " Change empty bb %u to from:", + " Reset bb %u:", eg->src->index); prev_info.dump (dump_file, " "); fprintf (dump_file, - " to (higher probability):"); + " due to (same probability):"); curr_info.dump (dump_file, " "); } src_block_info.set_empty_info (); @@ -3170,7 +3170,7 @@ pre_vsetvl::earliest_fuse_vsetvl_info () if (dump_file && (dump_flags & TDF_DETAILS)) { fprintf (dump_file, - " Change empty bb %u to from:", + " Change bb %u from:", eg->src->index); prev_info.dump (dump_file, " "); fprintf (dump_file, @@ -3627,7 +3627,7 @@ pass_vsetvl::lazy_vsetvl () { if (dump_file) fprintf (dump_file, " Try lift up %d.\n\n", fused_count); - changed = pre.earliest_fuse_vsetvl_info (); + changed = pre.earliest_fuse_vsetvl_info (fused_count); fused_count += 1; } while (changed);