On Thu, Mar 10, 2016 at 05:43:27AM -0800, H.J. Lu wrote: > > free_dominance_info (CDI_DOMINATORS); > > Since convert_scalars_to_vector may add instructions, dominance > info is no longer up to date.
Adding instructions doesn't change anything on the dominance info, just cfg manipulations that don't keep the dominators updated. You can try to verify the dominance info at the end of the stv pass, if it passes there, the bug is elsewhere, in whatever breaks the dominance info. See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68730#c7 and the related gcc-patches thread for more info. Jakub