On Thu, Feb 03, 2022 at 10:40:10AM +0100, Richard Biener wrote:
> Yes, we definitely have multiple of those cases. I do think
> preserving "an idiom", for example literal 0/0 or all x/0 might be
> worth considering. But I also think we have to sort out different
> language standards requirements vs. the middle-end and whos
> responsible for making sure we adhere here.
I think we try to preserve literal 0/0 and x/0, including this
optimization which punts if the divisor is literal. But, for literal
0/0 and x/0 we alsy emit -Wdiv-by-zero warning, maybe that was the
reason why libgcc2.c did it differently.
Jakub
