Re: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-25 Thread Richard Biener
t; Bingfeng > > -Original Message- > From: Jeff Law [mailto:l...@redhat.com] > Sent: 22 November 2013 16:58 > To: Bingfeng Mei; Andrew Pinski > Cc: gcc@gcc.gnu.org > Subject: Re: Jump threading in tree dom pass prevents if-conversion & > following vectorization &g

Re: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Steven Bosscher
On Fri, Nov 22, 2013 at 6:16 PM, Jeff Law wrote: >> I am still not convinced jump threading is good for target with predicated >> execution (assuming no fix for if-conversion). I am doing benchmarking on >> our target now. Try disabling only jump threading of back edges, loop latches, and jump thr

Re: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Alec Teal
: Jeff Law [mailto:l...@redhat.com] Sent: 22 November 2013 17:17 To: Bingfeng Mei; Andrew Pinski; Richard Biener Cc: gcc@gcc.gnu.org Subject: Re: Jump threading in tree dom pass prevents if-conversion & following vectorization On 11/22/13 10:13, Bingfeng Mei wrote: So if we are about to

RE: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Bingfeng Mei
n be fixed without disabling jump threading. Bingfeng -Original Message- From: Jeff Law [mailto:l...@redhat.com] Sent: 22 November 2013 17:17 To: Bingfeng Mei; Andrew Pinski; Richard Biener Cc: gcc@gcc.gnu.org Subject: Re: Jump threading in tree dom pass prevents if-conversion &

Re: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Jeff Law
On 11/22/13 10:13, Bingfeng Mei wrote: So if we are about to fix this in if-conversion, we need to do both in tree & rtl as both ifcvt & ce passes cannot handle it. I am still not convinced jump threading is good for target with predicated execution (assuming no fix for if-conversion). I am do

RE: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Bingfeng Mei
rget now. Bingfeng -Original Message- From: Jeff Law [mailto:l...@redhat.com] Sent: 22 November 2013 16:58 To: Bingfeng Mei; Andrew Pinski Cc: gcc@gcc.gnu.org Subject: Re: Jump threading in tree dom pass prevents if-conversion & following vectorization On 11/22/13 04:03, Bingfeng Mei w

Re: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Jeff Law
On 11/22/13 04:03, Bingfeng Mei wrote: Well, in your modified example, it is still due to jump threading that produce code of bad control flow that cannot be if-converted and vectorized, though in tree-vrp pass this time. Try this ~/install-4.8/bin/gcc vect-ifconv-2.c -O2 -fdump-tree-ifcvt-deta

Re: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Richard Biener
vember 2013 21:26 > To: Bingfeng Mei > Cc: gcc@gcc.gnu.org > Subject: Re: Jump threading in tree dom pass prevents if-conversion & > following vectorization > > On Thu, Nov 21, 2013 at 7:11 AM, Bingfeng Mei wrote: >> Hi, >> I am doing some investigation on l

RE: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Bingfeng Mei
[mailto:james.greenha...@arm.com] Sent: 22 November 2013 11:50 To: Bingfeng Mei Cc: Andrew Pinski; gcc@gcc.gnu.org Subject: Re: Jump threading in tree dom pass prevents if-conversion & following vectorization On Fri, Nov 22, 2013 at 11:03:22AM +, Bingfeng Mei wrote: > Well, in your modified example

Re: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread James Greenhalgh
On Fri, Nov 22, 2013 at 11:03:22AM +, Bingfeng Mei wrote: > Well, in your modified example, it is still due to jump threading that produce > code of bad control flow that cannot be if-converted and vectorized, though in > tree-vrp pass this time. > > Try this > ~/install-4.8/bin/gcc vect-ifc

RE: Jump threading in tree dom pass prevents if-conversion & following vectorization

2013-11-22 Thread Bingfeng Mei
@gmail.com] Sent: 21 November 2013 21:26 To: Bingfeng Mei Cc: gcc@gcc.gnu.org Subject: Re: Jump threading in tree dom pass prevents if-conversion & following vectorization On Thu, Nov 21, 2013 at 7:11 AM, Bingfeng Mei wrote: > Hi, > I am doing some investigation on loops can be vectorize