https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118342
--- Comment #11 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Jakub Jelinek from comment #10) > Guess the first question is if we want to change this for GCC 15 or if that > is too late for that. I think this is just tricky enough to leave it for GCC 16. > As you wrote, the DImode with SImode result pattern could be also using > if_then_else, and then for the zext one we could just have a combine pattern > which has the expected constant in the input instead of a register and split > that later into UNSPEC or something like that. Due to the "may" part, I'd just skip zero_extend cases.
