Re: [PATCH] rewrite undefined overflow to defined in ifcombine

2022-05-05 Thread Jakub Jelinek via Gcc-patches
On Thu, May 05, 2022 at 11:44:59AM +0200, Richard Biener wrote: > When we make stmts to execute unconditionally in ifcombine we have > to make sure to rewrite stmts that can invoke undefined behavior > on overflow into a form with defined overflow. That's possible > for all but signed division for

[PATCH] rewrite undefined overflow to defined in ifcombine

2022-05-05 Thread Richard Biener via Gcc-patches
When we make stmts to execute unconditionally in ifcombine we have to make sure to rewrite stmts that can invoke undefined behavior on overflow into a form with defined overflow. That's possible for all but signed division for which we have to avoid the transform. Bootstrapped and tested on x86_6