On 29/07/2022 11:31, Jakub Jelinek wrote:
On Fri, Jul 29, 2022 at 09:57:29AM +0100, Andre Vieira (lists) via Gcc-patches
wrote:
The 'only on the vectorized code path' remains the same though as vect_recog
also only happens on the vectorized code path right?
if conversion (in some cases) duplicates a loop and guards one copy with
an ifn which resolves to true if that particular loop is vectorized and
false otherwise. So, then changes that shouldn't be done in case of
vectorization failure can be done on the for vectorizer only copy of the
loop.
Jakub
I'm pretty sure vect_recog patterns have no effect on scalar codegen if
the vectorization fails too. The patterns live as new vect_stmt_info's
and no changes are actually done to the scalar loop. That was the point
I was trying to make, but it doesn't matter that much, as I said I am
happy to do this in if convert.
