https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101267
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to rsand...@gcc.gnu.org from comment #5)
> (In reply to Richard Biener from comment #4)
> > So we're having
> >
> > (gdb) p debug (slp_node)
> > t.f90:1:21: note: node 0x39fbbc0 (max_nunits=2, refcnt=1)
> > t.f90:1:21: note: op template: _144 = .MASK_LOAD (_143, 32B, _142);
> > t.f90:1:21: note: stmt 0 _144 = .MASK_LOAD (_143, 32B, _142);
> > t.f90:1:21: note: stmt 1 _146 = .MASK_LOAD (_145, 32B, _142);
> > t.f90:1:21: note: children 0x39fbc48
> >
> > where vectorizable_load invokes
> >
> > 8500 if (!vect_check_scalar_mask (vinfo, stmt_info, mask,
> > &mask_dt,
> > 8501 &mask_vectype))
> > 8502 return false;
> >
> > but the SLP child is
> >
> > (gdb) p debug ((slp_tree)0x39fbc48)
> > t.f90:1:21: note: node (external) 0x39fbc48 (max_nunits=1, refcnt=1)
> > t.f90:1:21: note: { _142, _142 }
> >
> > so it won't have a vector type set. In fact vect_check_scalar_mask doesn't
> > seem to be prepared for SLP at all - we're lucky it "works" but then most
> > definitely it won't for externals. You'll note that the SLP variant for
> > vect_is_simple_use won't be applicable here since we only have SLP
> > representations for the mask operand which isn't even the first one.
> Seems like we should have a way of representing this kind of situation
> though. It doesn't seem unreasonable to have some operands (and especially
> call arguments) that don't need to be vectorised.
>
> Maybe a “fix” for now might be to pass separate SLP and non-SLP operand
> numbers to vect_is_simple_use.
Yes, I'm doing that for the single localized place where it should matter now,
see the patch posted. There's always the possibility to fill SLP operands
with NULL (as we do for PHIs in some cases). But then we do likely expect
the "missing" operands to be code-generated.
