From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out2.suse.de (smtp-out2.suse.de [IPv6:2001:67c:2178:6::1d]) by sourceware.org (Postfix) with ESMTPS id C15AD3858D37 for ; Thu, 20 Apr 2023 12:05:54 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C15AD3858D37 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=suse.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=suse.de Received: from relay2.suse.de (relay2.suse.de [149.44.160.134]) by smtp-out2.suse.de (Postfix) with ESMTP id CC5401FDB3; Thu, 20 Apr 2023 12:05:53 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_rsa; t=1681992353; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=yoDJOZK8zzWQJ02gEBt5IbFemBQefsmbmug1Nbo0L5I=; b=Fy5Io4tYla3pj40I+enhQs0/Y0M3LuzzuM0b/cKTusXcePViKoatbKMH8TK1yYf5kPROJc QFNdQVxfQ2B2mDKL71tRdPXhoE/aGNW+sycdddg4z1pmngmvkA4rKi1q+yJA7+CoSnxrGh TqLgj0RQn+536aZ+Q2iYFVYZLF9yj+Y= DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_ed25519; t=1681992353; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=yoDJOZK8zzWQJ02gEBt5IbFemBQefsmbmug1Nbo0L5I=; b=3bEXMTIsJ92NdlFWV/bEaLAQyHFyTJmGeHBVcrLpqoPrN/HOIE+SNU6j9bzDj7L04mxUkI qcLzgcoyg++DraAA== Received: from wotan.suse.de (wotan.suse.de [10.160.0.1]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by relay2.suse.de (Postfix) with ESMTPS id B4A3D2C141; Thu, 20 Apr 2023 12:05:53 +0000 (UTC) Date: Thu, 20 Apr 2023 12:05:53 +0000 (UTC) From: Richard Biener To: "juzhe.zhong@rivai.ai" cc: "richard.sandiford" , gcc-patches , jeffreyalaw Subject: Re: Re: [PATCH] VECT: Add WHILE_LEN pattern for decrement IV support for auto-vectorization In-Reply-To: <1BBA9C2D55F679B5+2023042018384651598477@rivai.ai> Message-ID: References: <20230407014741.139387-1-juzhe.zhong@rivai.ai>, <5B48D6D344CE6158+202304200553419571591@rivai.ai>, , <0AAC8392021A279F+2023042016574579562748@rivai.ai>, , , , , <1BBA9C2D55F679B5+2023042018384651598477@rivai.ai> User-Agent: Alpine 2.22 (LSU 394 2020-01-19) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Spam-Status: No, score=-5.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,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 List-Id: On Thu, 20 Apr 2023, juzhe.zhong@rivai.ai wrote: > Thanks Richards (Sandiford && Biener). > I have a technique question: > In case of support variable IVs for memory address calculation, is it right I should make output of WHILE_LEN > visible in tree-ssa-loop-ivopts.cc ? Since the address calculation is not in the loop control handling function. Well, it is visible, no? It's going to be not different from SVE testing the mask for all zeros. I'd leave trying to make IVOPTs eliminate other counting IVs with the WHILE_LEN result as a followup exercise - you will likely have address IVs that do not depend on the WHILE_LEN result for all of the memory accesses. Richard. > Thanks. > > > juzhe.zhong@rivai.ai > > From: Richard Sandiford > Date: 2023-04-20 17:54 > To: Richard Biener > CC: juzhe.zhong\@rivai.ai; gcc-patches; jeffreyalaw > Subject: Re: [PATCH] VECT: Add WHILE_LEN pattern for decrement IV support for auto-vectorization > Richard Biener writes: > > On Thu, 20 Apr 2023, Richard Sandiford wrote: > > > >> "juzhe.zhong@rivai.ai" writes: > >> > OK. Thanks Richard. > >> > So let me conclude: > >> > 1. Community agree that I should support variable IV in the middle-end. > >> > 2. We can keep WHILE_LEN pattern when "not only final iteration is partial". > >> > And I should describe it more clearly in the doc. > >> > > >> > I should do these 2 things in the later update patch. > >> > >> Sounds good to me, but Richi is the maintainer. > > > > But I happily defer to you for designing VL stuff. I suppose it's > > time to make you maintainer as well ... (you are global reviewer). > > Heh, wasn't trying to bag an extra maintainership :-) I just got a > bit lost in the thread and wasn't sure whether I was contradicting > something you'd said (in which case I'd defer to that). > > Richard > > > > -- Richard Biener SUSE Software Solutions Germany GmbH, Frankenstrasse 146, 90461 Nuernberg, Germany; GF: Ivo Totev, Andrew Myers, Andrew McDonald, Boudien Moerman; HRB 36809 (AG Nuernberg)