https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110992
Xi Ruoyao <xry111 at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |xry111 at gcc dot gnu.org See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=111126 --- Comment #14 from Xi Ruoyao <xry111 at gcc dot gnu.org> --- (In reply to Jeffrey A. Law from comment #13) > So like the other bug involving multiplies against objects with a known > range [0,1], we should very seriously consider turning the multiply into a > conditional move. ie x * b where b is known to have the range [0,1] we can > turn that into > > dest = b ? x : 0 > > Some processors that don't have generalized conditional moves do have > conditional zero instructions. ie, zicond on RISC-V. It's PR111126.