Richard Biener <rguent...@suse.de> writes: > That said, the overall flow is OK now, some details about the > max_vf check and where to compute the unrolled VF needs to be > fleshed out. And then there's the main analysis loop which, > frankly, is a mess right now, even before your patch :/
Yeah, the loop is certainly ripe for a rewrite :-) > I'm thinking of rewriting the analysis loop in vect_analyze_loop > to use a worklist initially seeded by the vector_modes[] but > that we can push things like as-main-loop, unrolled and > epilogue analysis to. Maybe have the worklist specify > pairs of mode and kind or tuples of mode, min-VF and kind where > 'kind' is as-main/epilogue/unroll (though maybe 'kind' is > redundant there). Possibly as preparatory step. Sounds good. I think we can also drop some of the complexity if we're prepared to analyse candidate replacements for the main loop separately from candidate epilogue loops (even if the two candidates have the same mode and VF, meaning that a lot of work would be repeated). Thanks, Richard
