From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 78637 invoked by alias); 31 Jul 2018 12:06:45 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 78617 invoked by uid 89); 31 Jul 2018 12:06:44 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-11.0 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,GIT_PATCH_2,GIT_PATCH_3,KAM_ASCII_DIVIDERS,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy= X-HELO: mail-lj1-f176.google.com Received: from mail-lj1-f176.google.com (HELO mail-lj1-f176.google.com) (209.85.208.176) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 31 Jul 2018 12:06:43 +0000 Received: by mail-lj1-f176.google.com with SMTP id s12-v6so13490528ljj.0 for ; Tue, 31 Jul 2018 05:06:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=xAU/eONYqYiVyJhXzIIQySRbUFDrBG3CPfUjHuQoAQU=; b=QS6KJrXMUE9UgXG5Zmwn7/Wmsz7LmfWZfdwgIPSPryt15nH1J3rZX9zrEBH8GOij5Z wn0nqkunFbjGdMF2y7yp51Y9vMfCRa2wri+xgn/pWtD0g73nATMOAl1pXFOOd7o8sEAE zi/ut0z/bWk9RVm/ToGoIzs2kfQlUM9dTKrc0PqtNQwrpnJog7VwUd4AKKQoMMsYQjXd Wi15/vgsFmVOXaTwfSI+BK69qOv4kNO0ElzWmMwuQMd+iaPnFIEJhpz1FfSsh8Pu4LET bBieJcPBhFeZdlzqt9MyP9mMPSc/PzyBFoq1m6acRc7gYyJIVvRNVJfKjfYOW9IqoQKX UYBg== MIME-Version: 1.0 References: <87wotlrmen.fsf@arm.com> <87in55kkpg.fsf@arm.com> In-Reply-To: <87in55kkpg.fsf@arm.com> From: Richard Biener Date: Tue, 31 Jul 2018 12:06:00 -0000 Message-ID: Subject: Re: [45/46] Remove vect_stmt_in_region_p To: GCC Patches , richard.sandiford@arm.com Content-Type: text/plain; charset="UTF-8" X-IsSubscribed: yes X-SW-Source: 2018-07/txt/msg01926.txt.bz2 On Tue, Jul 24, 2018 at 12:11 PM Richard Sandiford wrote: > > Unlike the old vinfo_for_stmt, vec_info::lookup_stmt can cope with > any statement, so there's no need to check beforehand that the statement > is part of the vectorisable region. This means that there are no longer > any calls to vect_stmt_in_region_p. OK. Richard. > > 2018-07-24 Richard Sandiford > > gcc/ > * tree-vectorizer.h (vect_stmt_in_region_p): Delete. > * tree-vectorizer.c (vect_stmt_in_region_p): Likewise. > > Index: gcc/tree-vectorizer.h > =================================================================== > --- gcc/tree-vectorizer.h 2018-07-24 10:24:29.300253129 +0100 > +++ gcc/tree-vectorizer.h 2018-07-24 10:24:32.472224947 +0100 > @@ -1609,7 +1609,6 @@ void vect_pattern_recog (vec_info *); > > /* In tree-vectorizer.c. */ > unsigned vectorize_loops (void); > -bool vect_stmt_in_region_p (vec_info *, gimple *); > void vect_free_loop_info_assumptions (struct loop *); > > #endif /* GCC_TREE_VECTORIZER_H */ > Index: gcc/tree-vectorizer.c > =================================================================== > --- gcc/tree-vectorizer.c 2018-07-24 10:24:29.300253129 +0100 > +++ gcc/tree-vectorizer.c 2018-07-24 10:24:32.472224947 +0100 > @@ -700,33 +700,6 @@ vect_free_loop_info_assumptions (struct > loop_constraint_clear (loop, LOOP_C_FINITE); > } > > -/* Return whether STMT is inside the region we try to vectorize. */ > - > -bool > -vect_stmt_in_region_p (vec_info *vinfo, gimple *stmt) > -{ > - if (!gimple_bb (stmt)) > - return false; > - > - if (loop_vec_info loop_vinfo = dyn_cast (vinfo)) > - { > - struct loop *loop = LOOP_VINFO_LOOP (loop_vinfo); > - if (!flow_bb_inside_loop_p (loop, gimple_bb (stmt))) > - return false; > - } > - else > - { > - bb_vec_info bb_vinfo = as_a (vinfo); > - if (gimple_bb (stmt) != BB_VINFO_BB (bb_vinfo) > - || gimple_uid (stmt) == -1U > - || gimple_code (stmt) == GIMPLE_PHI) > - return false; > - } > - > - return true; > -} > - > - > /* If LOOP has been versioned during ifcvt, return the internal call > guarding it. */ >