https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118727

--- Comment #2 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
line 1408, tree-vect-patterns.cc:

      if (gimple_call_internal_fn (abd_stmt) == IFN_ABD)
        {    
          if (!vect_look_through_possible_promotion (vinfo, abd_oprnd0,
                                                     &unprom[0])
              || !vect_look_through_possible_promotion (vinfo, abd_oprnd1,
                                                        &unprom[1]))
            return NULL;
        }    

it seems suspicious: the sign of ABD operands matters so we cannot let
vect_look_through_possible_promotion strip away the sign changes.

Reply via email to