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.