[Bug tree-optimization/65084] Lack of type narrowing/widening inhibits good vectorization

[law at redhat dot com]

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

--- Comment #5 from Jeffrey A. Law <law at redhat dot com> ---
Some of the stuff you're doing in that patch matches what I was poking at as
well (for a different BZ).  There's clearly much room for improvement here and
if we weren't in stage4, I'd be pushing harder on expanding what these patterns
do now rather than waiting.

I'm already of the mind that we're going to want to factor some of that type
testing so we're not repeating it in a half-dozen patterns.