https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113144
--- Comment #12 from Tamar Christina <tnfchris at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #11) > (In reply to Zdenek Sojka from comment #10) > > Created attachment 57009 [details] > > simpler testcase using _BitInt() > > > > $ x86_64-pc-linux-gnu-gcc -O3 -mavx2 testcase.c > > testcase.c: In function 'foo': > > testcase.c:5:1: error: dominator of 24 should be 57, not 12 > > 5 | foo (void) > > | ^~~ > > testcase.c:5:1: error: dominator of 25 should be 57, not 12 > > during GIMPLE pass: vect > > testcase.c:5:1: internal compiler error: in verify_dominators, at > > dominance.cc:1194 > > 0x742528 verify_dominators(cdi_direction) > > ... > > that might be a different issue ... It's the same issue, but also fixed by the patch. It's however not simpler :) this expands into a series of loops, and one of the loops has 3 exits which is why it triggers. The fixes that I am re-spinning fixes this and correctly vectorizes the loops.
