From patchwork Tue Aug 29 15:40:30 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Joern Rennecke X-Patchwork-Id: 1827317 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (2048-bit key; unprotected) header.d=embecosm.com header.i=@embecosm.com header.a=rsa-sha256 header.s=google header.b=DpPRu7iN; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces+incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4RZs9k34clz1yZs for ; Wed, 30 Aug 2023 01:42:02 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 7CF813858426 for ; Tue, 29 Aug 2023 15:42:00 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-pj1-x102b.google.com (mail-pj1-x102b.google.com [IPv6:2607:f8b0:4864:20::102b]) by sourceware.org (Postfix) with ESMTPS id 9A18E3858D20 for ; Tue, 29 Aug 2023 15:40:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 9A18E3858D20 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=embecosm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=embecosm.com Received: by mail-pj1-x102b.google.com with SMTP id 98e67ed59e1d1-26b44247123so2892658a91.2 for ; Tue, 29 Aug 2023 08:40:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=embecosm.com; s=google; t=1693323641; x=1693928441; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=gVB6oZP+Ta50BndoEJ+D1Rh9sG0Jj1HRcPFjPDcGpiI=; b=DpPRu7iNhUdMmNoXGB6AtziV7J/E77OJ+PDY4w8Mhq11ouiee33kP52Ao8p/3ZDCAO 7/TZ8a/rIfXVjzgUAIGQx22VhNUamDzpAlKFH6BACFW3ucVlA3q9nSsuiHK2TQLvnWAM RqsTFcHz22q0gu9Bu/Z93TOfMhFIquvRaeE1UJPPdU+Wq/dMuHRbG0CLVU/Vahki1t/D JChJIrpOB73bFkvuTEZ3NyOTrw0NmORGtq6aSIfSsed3VmBmJAM5hx4rebLVWvZMG2m5 rLz67iPq4rpR94YC3JaBG/u9VFUmW1lpoSBP2gOp/RJrhHeMWJwU36cew8EKgYgSmCGn wgEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693323641; x=1693928441; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=gVB6oZP+Ta50BndoEJ+D1Rh9sG0Jj1HRcPFjPDcGpiI=; b=W5RCYmy3Mz7zGZ8KzHDMglY5PfW3Q7MDH3hH3iuHKSV7Ss/A6xuGm4o/MRcUMCAGb3 oyGqePO19h9QtnFHP2EmdubaSC7/kSkKSXUB7k36KP2NstrrM87A1plXZlSODk+A7s0v MbUl+O88eI3wWFzroLgMWSwLpGTI2gQ1Dp1DUYAXqScHxdzABePx4zImSNZFObE+ylms HsL81U2udZ8dS4Sa+h/fNVLqdxirso/3yzjwEZ3+KBA/IrcGJziYMiFUgDhKQwGHD4RZ 7fe83DvXU+27i4b4RYUREsLJ3SdPxJCKP7ixydiRMOfoQii4hqEPajAG/wmG2Uugzxc4 sGnA== X-Gm-Message-State: AOJu0YxnGGLI0dqy/yZx9PJkm3BcXE4pAh9PoapkOzaVuhrT0SW69M59 6urHfm32OP5txR/17TL8lMrPrZ8Z4BPJgCfqMJ174z/qQa9uSzjL X-Google-Smtp-Source: AGHT+IGZPqpmAbFouIguZIcM8jzXTTn3vDHZSuCzfu6JoRNsJPv3jpI/XdsY8JjauYFNXpzIZV06xUvxFjDeP3XiquE= X-Received: by 2002:a17:90b:1011:b0:268:29cf:3231 with SMTP id gm17-20020a17090b101100b0026829cf3231mr25897937pjb.3.1693323641406; Tue, 29 Aug 2023 08:40:41 -0700 (PDT) MIME-Version: 1.0 From: Joern Rennecke Date: Tue, 29 Aug 2023 16:40:30 +0100 Message-ID: Subject: RFC: RISC-V sign extension dead code elimination To: GCC Patches X-Spam-Status: No, score=-9.8 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_SHORT, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP 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+incoming=patchwork.ozlabs.org@gcc.gnu.org Sender: "Gcc-patches" In the patch call we talked about sign extsnsion elimination, so I dug up this patch set that I did a while ago. It is still lacking some documentation and testing in a more recent base version; I only adjusted the common.opt part context for the patch to apply. Author: Joern Rennecke Date: Thu Mar 10 12:22:45 2022 +0000 Added ext-dce.cc pass, for deleting dead sign / zero extensions. diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 31ff95500c9..6e7ad5ff966 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -1374,6 +1374,7 @@ OBJS = \ explow.o \ expmed.o \ expr.o \ + ext-dce.o \ fibonacci_heap.o \ file-prefix-map.o \ final.o \ diff --git a/gcc/common.opt b/gcc/common.opt index c69205f936a..27d6d15fe6d 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -3620,4 +3620,12 @@ Widen induction variables that have undefined overflow behaviour where convenien Common Var(flag_ipa_ra) Optimization Use caller save register across calls if possible. +fext-dce +Common Var(flag_ext_dce, 1) Optimization Init(0) +Perform dead code elimination on zero and sign extensions with special dataflow analysis. + +fext-dce-pre +Common Var(flag_ext_dce, 2) +Perform dead code elimination on zero and sign extensions with special dataflow analysis. Insert extensions on edges for partial redundancy elimination. + ; This comment is to ensure we retain the blank line above. diff --git a/gcc/config/riscv/bitmanip.md b/gcc/config/riscv/bitmanip.md index 0ab9ffe3c0b..d30464a913c 100644 --- a/gcc/config/riscv/bitmanip.md +++ b/gcc/config/riscv/bitmanip.md @@ -166,6 +166,20 @@ [(set_attr "type" "bitmanip,load") (set_attr "mode" "")]) +;; Combine has a different idea about canonical rtl. +;; Example: int f (int i) { return (short)i; } +(define_insn_and_split "*extendhidi_combine" + [(set (match_operand:DI 0 "register_operand") + (sign_extend:DI + (ashiftrt:SI + (subreg:SI (ashift:DI (match_operand:DI 1 "register_operand") + (const_int 16)) 0) + (const_int 16))))] + "TARGET_ZBB" + "#" + "&& 1" + [(set (match_dup 0) (sign_extend:DI (subreg:HI (match_dup 1) 0)))]) + (define_insn "*zero_extendhi2_zbb" [(set (match_operand:GPR 0 "register_operand" "=r,r") (zero_extend:GPR diff --git a/gcc/df-scan.cc b/gcc/df-scan.cc index 9b2375d561b..59b0a82dcc9 100644 --- a/gcc/df-scan.cc +++ b/gcc/df-scan.cc @@ -78,7 +78,6 @@ static void df_get_eh_block_artificial_uses (bitmap); static void df_record_entry_block_defs (bitmap); static void df_record_exit_block_uses (bitmap); -static void df_get_exit_block_use_set (bitmap); static void df_get_entry_block_def_set (bitmap); static void df_grow_ref_info (struct df_ref_info *, unsigned int); static void df_ref_chain_delete_du_chain (df_ref); @@ -3638,7 +3637,7 @@ df_epilogue_uses_p (unsigned int regno) /* Set the bit for regs that are considered being used at the exit. */ -static void +void df_get_exit_block_use_set (bitmap exit_block_uses) { unsigned int i; diff --git a/gcc/df.h b/gcc/df.h index bd329205d08..9807a3e87f9 100644 --- a/gcc/df.h +++ b/gcc/df.h @@ -1090,6 +1090,7 @@ extern bool df_epilogue_uses_p (unsigned int); extern void df_set_regs_ever_live (unsigned int, bool); extern void df_compute_regs_ever_live (bool); extern void df_scan_verify (void); +extern void df_get_exit_block_use_set (bitmap); /*---------------------------------------------------------------------------- diff --git a/gcc/ext-dce.cc b/gcc/ext-dce.cc new file mode 100644 index 00000000000..9d264972c7f --- /dev/null +++ b/gcc/ext-dce.cc @@ -0,0 +1,545 @@ +/* RTL dead zero/sign extension (code) elimination. + Copyright (C) 2000-2022 Free Software Foundation, Inc. + +This file is part of GCC. + +GCC is free software; you can redistribute it and/or modify it under +the terms of the GNU General Public License as published by the Free +Software Foundation; either version 3, or (at your option) any later +version. + +GCC is distributed in the hope that it will be useful, but WITHOUT ANY +WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with GCC; see the file COPYING3. If not see +. */ + +#include "config.h" +#include "system.h" +#include "coretypes.h" +#include "backend.h" +#include "rtl.h" +#include "tree.h" +#include "memmodel.h" +#include "insn-config.h" +#include "emit-rtl.h" +#include "recog.h" +#include "cfganal.h" +#include "tree-pass.h" +#include "cfgrtl.h" +#include "rtl-iter.h" +#include "df.h" + +/* We consider four bit groups for liveness: + bit 0..7 (least significant byte) + bit 8..15 (second least significant byte) + bit 16..31 + bit 32..BITS_PER_WORD-1 */ + +bitmap +ext_dce_process_bb (basic_block bb, bitmap livenow, bool modify) +{ + rtx_insn *insn; + + FOR_BB_INSNS_REVERSE (bb, insn) + { + subrtx_iterator::array_type array; + + if (!INSN_P (insn)) + continue; + + bitmap live_tmp = BITMAP_ALLOC (NULL); + int seen_fusage = 0; + + /* First, process the sets. */ + for (rtx pat = PATTERN (insn);;) + { + FOR_EACH_SUBRTX (iter, array, pat, NONCONST) + { + const_rtx x = *iter; + /* An EXPR_LIST (from call fusage) ends in NULL_RTX. */ + if (x == NULL_RTX) + continue; + if (GET_CODE (x) == SET || GET_CODE (x) == CLOBBER) + { + unsigned bit = 0; + x = SET_DEST (x); + unsigned HOST_WIDE_INT mask = GET_MODE_MASK (GET_MODE (x)); + if (GET_CODE (x) == SUBREG) + { + bit = SUBREG_BYTE (x).to_constant () * BITS_PER_UNIT; + if (WORDS_BIG_ENDIAN) + bit = (GET_MODE_BITSIZE (GET_MODE (x)).to_constant () + - BITS_PER_WORD - bit); + mask = GET_MODE_MASK (GET_MODE (SUBREG_REG (x))) << bit; + if (!mask) + mask = -0x100000000ULL; + x = SUBREG_REG (x); + } + else if (GET_CODE (x) == STRICT_LOW_PART) + { + x = XEXP (x, 0); + } + else if (GET_CODE (x) == ZERO_EXTRACT) + { + /* If we are not sure what is being overwritten, + assume nothing is. */ + if (!CONST_INT_P (XEXP (x, 1)) + || !CONST_INT_P (XEXP (x, 2))) + continue; + mask = (1ULL << INTVAL (XEXP (x, 1))) - 1; + bit = INTVAL (XEXP (x, 2)); + if (BITS_BIG_ENDIAN) + bit = (GET_MODE_BITSIZE (GET_MODE (x)) + - INTVAL (XEXP (x, 1)) - bit).to_constant (); + x = XEXP (x, 0); + } + if (REG_P (x)) + { + HOST_WIDE_INT rn = REGNO (x); + for (HOST_WIDE_INT i = 4 * rn; i < 4 * rn + 4; i++) + if (bitmap_bit_p (livenow, i)) + bitmap_set_bit (live_tmp, i); + int start = (bit == 0 ? 0 : bit == 8 ? 1 + : bit == 16 ? 2 : 3); + int end = ((mask & ~0xffffffffULL) ? 4 + : (mask & 0xffff0000ULL) ? 3 + : (mask & 0xff00) ? 2 : 1); + bitmap_clear_range (livenow, 4 * rn + start, end - start); + } + else + gcc_assert (MEM_P (x) || x == pc_rtx + || GET_CODE (x) == SCRATCH); + iter.skip_subrtxes (); + } + else if (GET_CODE (x) == COND_EXEC) + { + iter.skip_subrtxes (); + } + } + if (GET_CODE (insn) != CALL_INSN || seen_fusage > 0) + break; + pat = CALL_INSN_FUNCTION_USAGE (insn); + seen_fusage++; + } + /* Now, process the uses. */ + if (JUMP_P (insn) && find_reg_note (insn, REG_NON_LOCAL_GOTO, NULL_RTX)) + { + /* The frame ptr is used by a non-local goto. */ + bitmap_set_range (livenow, FRAME_POINTER_REGNUM * 4, 4); + if (!HARD_FRAME_POINTER_IS_FRAME_POINTER) + bitmap_set_range (livenow, HARD_FRAME_POINTER_REGNUM * 4, 4); + } + + for (rtx pat = PATTERN (insn);;) + { + subrtx_var_iterator::array_type array_var; + FOR_EACH_SUBRTX_VAR (iter, array_var, pat, NONCONST) + { + rtx x = *iter; + /* An EXPR_LIST (from call fusage) ends in NULL_RTX. */ + if (x == NULL_RTX) + continue; + enum rtx_code xcode = GET_CODE (x); + + if (GET_CODE (x) == SET) + { + const_rtx dst = SET_DEST (x); + rtx src = SET_SRC (x); + const_rtx y; + unsigned HOST_WIDE_INT bit = 0; + enum rtx_code code = GET_CODE (src); + if (GET_CODE (dst) == SUBREG) + { + bit = SUBREG_BYTE (dst).to_constant () * BITS_PER_UNIT; + if (WORDS_BIG_ENDIAN) + bit = (GET_MODE_BITSIZE (GET_MODE (dst)).to_constant () + - BITS_PER_WORD - bit); + if (bit >= HOST_BITS_PER_WIDE_INT) + bit = HOST_BITS_PER_WIDE_INT - 1; + dst = SUBREG_REG (dst); + } + else if (GET_CODE (dst) == ZERO_EXTRACT + || GET_CODE (dst) == STRICT_LOW_PART) + dst = XEXP (dst, 0); + if (REG_P (dst) + && (code == PLUS || code == MINUS || code == MULT + || code == ASHIFT + || code == ZERO_EXTEND || code == SIGN_EXTEND + || code == AND || code == IOR || code == XOR + || code == REG + || (code == SUBREG && REG_P (SUBREG_REG (src))))) + { + unsigned HOST_WIDE_INT mask_array[] + = { 0xff, 0xff00, 0xffff0000ULL, -0x100000000ULL }; + HOST_WIDE_INT mask = 0; + HOST_WIDE_INT rn = REGNO (dst); + for (int i = 0; i < 4; i++) + if (bitmap_bit_p (live_tmp, 4 * rn + i)) + mask |= mask_array[i]; + mask >>= bit; + + /* ??? Could also handle ZERO_EXTRACT / SIGN_EXTRACT + of the source specially to improve optimization. */ + + if (code == SIGN_EXTEND || code == ZERO_EXTEND) + { + rtx inner = XEXP (src, 0); + HOST_WIDE_INT mask2 + = GET_MODE_MASK (GET_MODE (inner)); + + /* Delete dead sign / zero extensions. */ + if (0 && modify) +{ +debug_rtx(insn); +debug_bitmap (live_tmp); + fprintf (stderr, "m " HOST_WIDE_INT_PRINT_HEX " m2 " HOST_WIDE_INT_PRINT_HEX "\n", mask, mask2); +} + if (modify && (mask & ~mask2) == 0) + validate_change + (insn, &SET_SRC (x), + simplify_gen_subreg + (GET_MODE (src), inner, GET_MODE (inner), 0), + false); + + mask &= mask2; + src = XEXP (src, 0); + code = GET_CODE (src); + } + if (code == PLUS || code == MINUS || code == MULT + || code == ASHIFT) + mask = mask ? ((2ULL << floor_log2 (mask)) - 1) : 0; + if (BINARY_P (src)) + y = XEXP (src, 0); + else + y = src; + for (;;) + { + if (GET_CODE (y) == SUBREG) + { + bit = (SUBREG_BYTE (y).to_constant () + * BITS_PER_UNIT); + if (WORDS_BIG_ENDIAN) + bit = (GET_MODE_BITSIZE + (GET_MODE (y)).to_constant () + - BITS_PER_WORD - bit); + if (mask) + { + mask <<= bit; + if (!mask) + mask = -0x100000000ULL; + } + y = SUBREG_REG (y); + } + if (REG_P (y)) + { + rn = 4 * REGNO (y); + if (mask & 0xff) + bitmap_set_bit (livenow, rn); + if (mask & 0xff00) + bitmap_set_bit (livenow, rn+1); + if (mask & 0xffff0000ULL) + bitmap_set_bit (livenow, rn+2); + if (mask & -0x100000000ULL) + bitmap_set_bit (livenow, rn+3); + } + else if (!CONSTANT_P (y)) + break; + if (!BINARY_P (src)) + break; + y = XEXP (src, 1), src = pc_rtx; + } + if (REG_P (y) || CONSTANT_P (y)) + iter.skip_subrtxes (); + } + else if (REG_P (dst)) + iter.substitute (src); + } + else if (xcode == SUBREG + && GET_MODE_BITSIZE (GET_MODE (x)).to_constant () <= 32 + && SUBREG_BYTE (x).to_constant () == 0 + && REG_P (SUBREG_REG (x))) + { + HOST_WIDE_INT size + = GET_MODE_BITSIZE (GET_MODE (x)).to_constant (); + HOST_WIDE_INT rn = 4 * REGNO (SUBREG_REG (x)); + bitmap_set_bit (livenow, rn); + if (size > 8) + bitmap_set_bit (livenow, rn+1); + if (size > 16) + bitmap_set_bit (livenow, rn+2); + iter.skip_subrtxes (); + } + else if (REG_P (x)) + bitmap_set_range (livenow, REGNO (x) * 4, 4); + else if (GET_CODE (x) == CLOBBER) + continue; + } + if (GET_CODE (insn) != CALL_INSN || seen_fusage > 1) + break; + pat = CALL_INSN_FUNCTION_USAGE (insn); + seen_fusage++; + if (!FAKE_CALL_P (insn)) + bitmap_set_range (livenow, STACK_POINTER_REGNUM * 4, 4); + /* Unless this is a call to a const function, it can read any + global register. */ + if (RTL_CONST_CALL_P (insn)) + for (unsigned i = 0; i < FIRST_PSEUDO_REGISTER; i++) + if (global_regs[i]) + bitmap_set_range (livenow, i * 4, 4); + } + //BITMAP_FREE (live_tmp); + } + return livenow; +} + +void +ext_dce (void) +{ + /* Proper PRE is hard, so for now just extend return values without + checking if that'll help. + (To check if it'd help, we'd have to do a dataflow computation to check + if a highpart computed from an extension that could be changed into a + no-op move reaches the return value copy.) + If a function is inlined, the return value should already be used + just in the mode needed, so normal ext-dce should work just fine. */ + if (flag_ext_dce == 2) + { + edge_iterator ei; + edge e; + rtx_insn *insn; + bool need_commit = false; + + FOR_EACH_EDGE (e, ei, EXIT_BLOCK_PTR_FOR_FN (cfun)->preds) + FOR_BB_INSNS (e->src, insn) + { + rtx set = single_set (insn); + if (!set + || !REG_P (SET_SRC (set)) + || !REG_P (SET_DEST (set))) + continue; + tree decl = REG_EXPR (SET_SRC (set)); + if (!decl || TREE_CODE (decl) != RESULT_DECL + || TREE_CODE (TREE_TYPE (decl)) != INTEGER_TYPE + || maybe_ge (TYPE_PRECISION (TREE_TYPE (decl)), + GET_MODE_BITSIZE (GET_MODE (SET_SRC (set))))) + continue; + + rtx ext = gen_rtx_SUBREG (TYPE_MODE (TREE_TYPE (decl)), + SET_SRC (set), 0); + ext = gen_rtx_fmt_e ((TYPE_UNSIGNED (TREE_TYPE (decl)) + ? ZERO_EXTEND : SIGN_EXTEND), + GET_MODE (SET_DEST (set)), ext); + + /* Filter out a trivial case of a useless extension: + if the register was just set to a constant or memory value. */ + rtx_insn *prev = prev_nonnote_nondebug_insn (insn); + if ((!prev || LABEL_P (prev)) && !bb_has_abnormal_pred (e->src)) + { + edge_iterator ei2; + edge e2; + auto_vec live_preds; + + FOR_EACH_EDGE (e2, ei2, e->src->preds) + { + prev = BB_END (e2->src); + if (NOTE_P (prev) || DEBUG_INSN_P (prev)) + prev = prev_nonnote_nondebug_insn (prev); + rtx prev_set = NULL_RTX; + if (prev) + prev_set = single_set (prev); + if (prev_set + && rtx_equal_p (SET_DEST (prev_set), SET_SRC (set)) + && (CONSTANT_P (SET_SRC (prev_set)) + || MEM_P (SET_SRC (prev)))) + continue; + live_preds.safe_push (e2); + } + if (!live_preds.length ()) + continue; + + start_sequence (); + rtx_insn *ext_insn + = emit_insn (gen_rtx_SET (SET_SRC (set), ext)); + if (recog (PATTERN (ext_insn), ext_insn, NULL) < 0) + ext_insn = NULL; + end_sequence (); + + if (ext_insn + && live_preds.length () < EDGE_COUNT (e->src->preds) + && find_regno_note (insn, REG_DEAD, REGNO (SET_SRC (set)))) + { + unsigned int i; + FOR_EACH_VEC_ELT (live_preds, i, e2) + insert_insn_on_edge (copy_rtx (PATTERN (ext_insn)), e2); + need_commit = true; + continue; + } + } + else + { + rtx prev_set = NULL_RTX; + if (prev) + prev_set = single_set (prev); + if (prev_set + && rtx_equal_p (SET_DEST (prev_set), SET_SRC (set)) + && (CONSTANT_P (SET_SRC (prev_set)) + || MEM_P (SET_SRC (prev)))) + continue; + } + + validate_change (insn, &SET_SRC (set), ext, false); + } + if (need_commit) + commit_edge_insertions(); + } + + basic_block bb, *worklist, *qin, *qout, *qend; + unsigned int qlen; + vec livein; + bitmap livenow; + + livein.create (last_basic_block_for_fn (cfun)); + livein.quick_grow (last_basic_block_for_fn (cfun)); + for (int i = 0; i < last_basic_block_for_fn (cfun); i++) + bitmap_initialize (&livein[i], &bitmap_default_obstack); + + auto_bitmap refs (&bitmap_default_obstack); + df_get_exit_block_use_set (refs); + + unsigned i; + bitmap_iterator bi; + EXECUTE_IF_SET_IN_BITMAP (refs, 0, i, bi) + { + for (int j = 0; j < 4; j++) + bitmap_set_bit (&livein[EXIT_BLOCK], i * 4 + j); + } + + livenow = BITMAP_ALLOC (NULL); + + worklist + = XNEWVEC (basic_block, n_basic_blocks_for_fn (cfun) - NUM_FIXED_BLOCKS); + + int modify = 0; + + do + { + qin = qout = worklist; + + /* Put every block on the worklist. */ + auto_vec postorder; + inverted_post_order_compute (&postorder); + for (unsigned int i = 0; i < postorder.length (); ++i) + { + bb = BASIC_BLOCK_FOR_FN (cfun, postorder[i]); + if (bb == EXIT_BLOCK_PTR_FOR_FN (cfun) + || bb == ENTRY_BLOCK_PTR_FOR_FN (cfun)) + continue; + *qin++ = bb; + bb->aux = bb; + } + + qin = worklist; + qend = &worklist[n_basic_blocks_for_fn (cfun) - NUM_FIXED_BLOCKS]; + qlen = n_basic_blocks_for_fn (cfun) - NUM_FIXED_BLOCKS; + + /* Iterate until the worklist is empty. */ + while (qlen) + { + /* Take the first entry off the worklist. */ + bb = *qout++; + qlen--; + + if (qout >= qend) + qout = worklist; + + /* Clear the aux field of this block so that it can be added to + the worklist again if necessary. */ + bb->aux = NULL; + + bitmap_clear (livenow); + /* Make everything live that's live in the successors. */ + edge_iterator ei; + edge e; + + FOR_EACH_EDGE (e, ei, bb->succs) + bitmap_ior_into (livenow, &livein[e->dest->index]); + + livenow = ext_dce_process_bb (bb, livenow, modify > 0); + + if (!bitmap_equal_p (&livein[bb->index], livenow)) + { + gcc_assert (!modify); + bitmap tmp = BITMAP_ALLOC (NULL); + gcc_assert (!bitmap_and_compl (tmp, &livein[bb->index], livenow)); + + bitmap_copy (&livein[bb->index], livenow); + + edge_iterator ei; + edge e; + + FOR_EACH_EDGE (e, ei, bb->preds) + if (!e->src->aux && e->src != ENTRY_BLOCK_PTR_FOR_FN (cfun)) + { + *qin++ = e->src; + e->src->aux = e; + qlen++; + if (qin >= qend) + qin = worklist; + } + } + } + } while (!modify++); + + /* Clean up. */ + BITMAP_FREE (livenow); + unsigned len = livein.length (); + for (unsigned i = 0; i < len; i++) + bitmap_clear (&livein[i]); + livein.release (); + clear_aux_for_blocks (); + free (worklist); +} + +namespace { + +const pass_data pass_data_ext_dce = +{ + RTL_PASS, /* type */ + "ext_dce", /* name */ + OPTGROUP_NONE, /* optinfo_flags */ + TV_NONE, /* tv_id */ + PROP_cfglayout, /* properties_required */ + 0, /* properties_provided */ + 0, /* properties_destroyed */ + 0, /* todo_flags_start */ + TODO_df_finish, /* todo_flags_finish */ +}; + +class pass_ext_dce : public rtl_opt_pass +{ +public: + pass_ext_dce (gcc::context *ctxt) + : rtl_opt_pass (pass_data_ext_dce, ctxt) + {} + + /* opt_pass methods: */ + virtual bool gate (function *) { return flag_ext_dce != 0; } + virtual unsigned int execute (function *) + { + ext_dce (); + return 0; + } + +}; // class pass_combine + +} // anon namespace + +rtl_opt_pass * +make_pass_ext_dce (gcc::context *ctxt) +{ + return new pass_ext_dce (ctxt); +} diff --git a/gcc/passes.def b/gcc/passes.def index 375d3d62d51..c805a386c19 100644 --- a/gcc/passes.def +++ b/gcc/passes.def @@ -471,6 +471,7 @@ along with GCC; see the file COPYING3. If not see NEXT_PASS (pass_inc_dec); NEXT_PASS (pass_initialize_regs); NEXT_PASS (pass_ud_rtl_dce); + NEXT_PASS (pass_ext_dce); NEXT_PASS (pass_combine); NEXT_PASS (pass_if_after_combine); NEXT_PASS (pass_jump_after_combine); diff --git a/gcc/tree-pass.h b/gcc/tree-pass.h index 606d1d60b85..4b25814e2ed 100644 --- a/gcc/tree-pass.h +++ b/gcc/tree-pass.h @@ -582,6 +582,7 @@ extern rtl_opt_pass *make_pass_reginfo_init (gcc::context *ctxt); extern rtl_opt_pass *make_pass_inc_dec (gcc::context *ctxt); extern rtl_opt_pass *make_pass_stack_ptr_mod (gcc::context *ctxt); extern rtl_opt_pass *make_pass_initialize_regs (gcc::context *ctxt); +extern rtl_opt_pass *make_pass_ext_dce (gcc::context *ctxt); extern rtl_opt_pass *make_pass_combine (gcc::context *ctxt); extern rtl_opt_pass *make_pass_if_after_combine (gcc::context *ctxt); extern rtl_opt_pass *make_pass_jump_after_combine (gcc::context *ctxt);