From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-409794-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 106063 invoked by alias); 9 Oct 2015 19:05:37 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 106050 invoked by uid 89); 9 Oct 2015 19:05:36 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-1.5 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2
X-HELO: mail-ob0-f173.google.com
Received: from mail-ob0-f173.google.com (HELO mail-ob0-f173.google.com) (209.85.214.173) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Fri, 09 Oct 2015 19:05:35 +0000
Received: by obcgx8 with SMTP id gx8so69457854obc.3        for <gcc-patches@gcc.gnu.org>; Fri, 09 Oct 2015 12:05:33 -0700 (PDT)
MIME-Version: 1.0
X-Received: by 10.60.36.202 with SMTP id s10mr9519246oej.0.1444417533085; Fri, 09 Oct 2015 12:05:33 -0700 (PDT)
Received: by 10.76.175.132 with HTTP; Fri, 9 Oct 2015 12:05:32 -0700 (PDT)
In-Reply-To: <CAEoMCqSqfYyGS7acvna5z=+Jo5CUskj_qGEt3K6PC9=NuXMhtA@mail.gmail.com>
References: <CAEoMCqRi+=wqTGyJaYa+vQiYcxTz8SQGCk1KDjHTX9Ws2+sp6w@mail.gmail.com>	<CAFiYyc3P5Pzy+dbJp1_j6wo8NKJFQGJJP_tntt5vX74xwXo0cw@mail.gmail.com>	<CAEoMCqTX7Jw+uLy9MzrsygBKNjLKk2hfZKrCV7exD9kCD1SWAg@mail.gmail.com>	<CAFiYyc30yxVbLVYCLX2bEszOP7J00+FZWL8DVvw+Eb7-T63epw@mail.gmail.com>	<CAEoMCqTBc5ZJ7OeOGKzt_VZiRU_aJbF39QmYNxF4F8eYJ415PA@mail.gmail.com>	<CAFiYyc1_ejfLt8ef7JLe3Vwrs7WoTLHR2nD8JxkdNoXWJ_2miQ@mail.gmail.com>	<CAEoMCqSorkh1WmFtVB_huC2hbcVr8uc1EYaRaNVe1g+5hVuzPw@mail.gmail.com>	<CAFiYyc1nCCyF-4BH2hPWkKpmXnaQFQ34RMM5TTuHjZxZ25crrA@mail.gmail.com>	<CAEoMCqSRsER9ZGgnX9eJgZJyN4EwkpxzWWk1FHRxWNiEW0HVCg@mail.gmail.com>	<CAFiYyc2O9i690A0LZ0+jEOP8nkyz8Btc0YAb469aMgnRaVsmsQ@mail.gmail.com>	<CAEoMCqQzyKtyT5N_LCsO3w9W65Tz4RcWXFp52ek=Z3r06AFdJQ@mail.gmail.com>	<CAFiYyc1RS-Yjr=J__J3u5=nmbD+d9vxJgc198um8ZA_EHn-v2g@mail.gmail.com>	<CAEoMCqRbAtXebLQMghQvUE8Sc2YiYH3KYEmhb_OcrCR47NBZoQ@mail.gmail.com>	<CAFiYyc02z_P4YvuVY=vDifeRdOrFfszF6NLzHydYxn=DNnmG9w@mail.gmail.com>	<CAEoMCqS5icR=0DA=vbYOVwZ633e46bXuhh-VuZT+QLpVw67JsA@mail.gmail.com>	<CAFiYyc2W5_u4EYgmPrUicWRR8SVkfhFNB-+S-E4jA2MvStcwmA@mail.gmail.com>	<CAEoMCqSqfYyGS7acvna5z=+Jo5CUskj_qGEt3K6PC9=NuXMhtA@mail.gmail.com>
Date: Fri, 09 Oct 2015 19:05:00 -0000
Message-ID: <CAMe9rOrstM_H1sGvYHoEys3Lf+gOiKbaD-MeH2Vu=LYGBO+mqg@mail.gmail.com>
Subject: Re: [PATCH] Unswitching outer loops.
From: "H.J. Lu" <hjl.tools@gmail.com>
To: Yuri Rumyantsev <ysrumyan@gmail.com>
Cc: Richard Biener <richard.guenther@gmail.com>, gcc-patches <gcc-patches@gcc.gnu.org>, 	Igor Zamyatin <izamyatin@gmail.com>
Content-Type: text/plain; charset=UTF-8
X-IsSubscribed: yes
X-SW-Source: 2015-10/txt/msg01015.txt.bz2

On Wed, Oct 7, 2015 at 2:53 AM, Yuri Rumyantsev <ysrumyan@gmail.com> wrote:
> Richard,
>
> I've fixed adding virtual phi argument and add check on irreducible basic block.
> New patch is attached.
>
> I checked it for bootstrap and regression testing, no new failures.
>
> ChangeLog:
> 2015-10-07  Yuri Rumyantsev  <ysrumyan@gmail.com>
>
> * tree-ssa-loop-unswitch.c: Include "gimple-iterator.h" and
> "cfghooks.h", add prototypes for introduced new functions.
> (tree_ssa_unswitch_loops): Use from innermost loop iterator, move all
> checks on ability of loop unswitching to tree_unswitch_single_loop;
> invoke tree_unswitch_single_loop or tree_unswitch_outer_loop depending
> on innermost loop check.
> (tree_unswitch_single_loop): Add all required checks on ability of
> loop unswitching under zero recursive level guard.
> (tree_unswitch_outer_loop): New function.
> (find_loop_guard): Likewise.
> (empty_bb_without_guard_p): Likewise.
> (used_outside_loop_p): Likewise.
> (get_vop_from_header): Likewise.
> (hoist_guard): Likewise.
> (check_exit_phi): Likewise.
>
>    gcc/testsuite/ChangeLog:
> * gcc.dg/loop-unswitch-2.c: New test.
> * gcc.dg/loop-unswitch-3.c: Likewise.
> * gcc.dg/loop-unswitch-4.c: Likewise.
>

This caused:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67909


H.J.