From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8802 invoked by alias); 9 Nov 2012 12:36:31 -0000 Received: (qmail 8616 invoked by uid 22791); 9 Nov 2012 12:36:29 -0000 X-SWARE-Spam-Status: No, hits=-6.5 required=5.0 tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,RCVD_IN_DNSWL_HI,RCVD_IN_HOSTKARMA_W,RP_MATCHES_RCVD,SPF_HELO_PASS,TW_ZJ X-Spam-Check-By: sourceware.org Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 09 Nov 2012 12:36:21 +0000 Received: from int-mx02.intmail.prod.int.phx2.redhat.com (int-mx02.intmail.prod.int.phx2.redhat.com [10.5.11.12]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id qA9CaKR8001644 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Fri, 9 Nov 2012 07:36:20 -0500 Received: from zalov.redhat.com (vpn1-7-249.ams2.redhat.com [10.36.7.249]) by int-mx02.intmail.prod.int.phx2.redhat.com (8.13.8/8.13.8) with ESMTP id qA9CaIE6014058 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 9 Nov 2012 07:36:20 -0500 Received: from zalov.cz (localhost [127.0.0.1]) by zalov.redhat.com (8.14.5/8.14.5) with ESMTP id qA9CaI1O005981; Fri, 9 Nov 2012 13:36:18 +0100 Received: (from jakub@localhost) by zalov.cz (8.14.5/8.14.5/Submit) id qA9CaHXY005980; Fri, 9 Nov 2012 13:36:17 +0100 Date: Fri, 09 Nov 2012 12:36:00 -0000 From: Jakub Jelinek To: Uros Bizjak Cc: Vladimir Yakovlev , "H.J. Lu" , Igor Zamyatin , gcc-patches@gcc.gnu.org Subject: Re: [off-list] Re: [PATCH] Vzeroupper placement/47440 Message-ID: <20121109123617.GA1886@tucnak.redhat.com> Reply-To: Jakub Jelinek References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) X-IsSubscribed: yes 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 X-SW-Source: 2012-11/txt/msg00737.txt.bz2 On Fri, Nov 09, 2012 at 01:29:18PM +0100, Uros Bizjak wrote: > On Fri, Nov 9, 2012 at 1:18 PM, Vladimir Yakovlev wrote: > >> These assert should tell you what is wrong with the control flow. > >> Please look at control_flow_insn_p, which condition returns true. > > > > There is a note after call insn. > > > > (call_insn:TI 908 35558 50534 1681 (call (mem:QI (symbol_ref:DI > > ("_gfortran_stop_string") [flags 0x41] > _gfortran_stop_string>) [0 _gfortran_stop_string S1 A8]) > > (const_int 0 [0])) huygens.fppized.f90:190 616 {*call} > > (expr_list:REG_DEAD (reg:DI 5 di) > > (expr_list:REG_DEAD (reg:SI 4 si) > > (expr_list:REG_NORETURN (const_int 0 [0]) > > (nil)))) > > (expr_list:REG_FRAME_RELATED_EXPR (use (reg:DI 5 di)) > > (expr_list:REG_BR_PRED (use (reg:SI 4 si)) > > (nil)))) > > (note 50534 908 909 1681 (expr_list:REG_DEP_TRUE (concat:DI (reg:DI 5 di) > > (const_int 0 [0])) > > (expr_list:REG_DEP_TRUE (concat:SI (reg:SI 4 si) > > (const_int 0 [0])) > > (nil))) NOTE_INSN_CALL_ARG_LOCATION) > > > > Huh, this RTX is ignored: NOTE_INSN_CALL_ARG_LOCATION is fine, even after a REG_NORETURN call. It is just a way how to pass call argument details to dwarf2out. If you have a pass after var-tracking, you need to skip over it. Jakub