Re: [PATCH] A new reload-rewrite pattern recognizer for GCC vectorizer.

2014-05-22 Thread Cong Hou
Ping? thanks, Cong On Wed, Apr 30, 2014 at 1:28 PM, Cong Hou wrote: > Thank you for reminding me the omp possibility. Yes, in this case my > pattern is incorrect, because I assume all aliases will be resolved by > alias checks, which may not be true with omp. > > LOOP_VINFO_NO_DATA_DEPENDENCIE

Re: [PATCH] A new reload-rewrite pattern recognizer for GCC vectorizer.

2014-04-30 Thread Cong Hou
Thank you for reminding me the omp possibility. Yes, in this case my pattern is incorrect, because I assume all aliases will be resolved by alias checks, which may not be true with omp. LOOP_VINFO_NO_DATA_DEPENDENCIES or LOOP_REQUIRES_VERSIONING_FOR_ALIAS may not help here because vect_pattern_rec

Re: [PATCH] A new reload-rewrite pattern recognizer for GCC vectorizer.

2014-04-26 Thread Jakub Jelinek
On Thu, Apr 24, 2014 at 05:32:54PM -0700, Cong Hou wrote: > In this patch a new reload-rewrite pattern detector is composed to > handle the following pattern in the loop being vectorized: > >x = *p; >... >y = *p; > >or > >*p = x; >... >y = *p; > > In both cases, *p i

[PATCH] A new reload-rewrite pattern recognizer for GCC vectorizer.

2014-04-24 Thread Cong Hou
In this patch a new reload-rewrite pattern detector is composed to handle the following pattern in the loop being vectorized: x = *p; ... y = *p; or *p = x; ... y = *p; In both cases, *p is reloaded because there may exist other defs to another memref that may alias with p.