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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
So we end up scheduling

t.ii:4:6: note: node 0x45e58d0 (max_nunits=16, refcnt=1) vector(8)
<signed-boolean:1>
t.ii:4:6: note: op template: patt_99 = _20 & patt_346;
t.ii:4:6: note:         stmt 0 patt_99 = _20 & patt_346;
t.ii:4:6: note:         stmt 1 patt_68 = _94 & patt_59;
t.ii:4:6: note:         stmt 2 patt_71 = _108 & patt_70;
t.ii:4:6: note:         stmt 3 patt_2 = _124 & patt_1;
t.ii:4:6: note:         stmt 4 patt_78 = _140 & patt_45;
t.ii:4:6: note:         stmt 5 patt_37 = _156 & patt_86;
t.ii:4:6: note:         stmt 6 patt_40 = _172 & patt_39;
t.ii:4:6: note:         stmt 7 patt_115 = _188 & patt_114;
t.ii:4:6: note:         stmt 8 patt_121 = _204 & patt_117;
t.ii:4:6: note:         stmt 9 patt_132 = _220 & patt_131;
t.ii:4:6: note:         stmt 10 patt_146 = _236 & patt_137;
t.ii:4:6: note:         stmt 11 patt_149 = _252 & patt_148;
t.ii:4:6: note:         stmt 12 patt_163 = _268 & patt_162;
t.ii:4:6: note:         stmt 13 patt_169 = _284 & patt_165;
t.ii:4:6: note:         stmt 14 patt_180 = _300 & patt_179;
t.ii:4:6: note:         stmt 15 patt_194 = _316 & patt_185;
t.ii:4:6: note:         children 0x45e5958 0x45e5af0

where the children are vectorized with mismatching vector types of
vector(16) <signed-boolean:1> vs. vector(8) <signed-boolean:1>

Oddly enough vectorizable_operation nowhere tests for compatible vector
types of its operands ...

Reply via email to