Re: [PATCH 1/2] PHI-OPT [PR 110984]: Add support for NE_EXPR/EQ_EXPR with casts to spaceship_replacement

2023-08-11 Thread Richard Biener via Gcc-patches
On Fri, Aug 11, 2023 at 11:17 AM Andrew Pinski via Gcc-patches wrote: > > So with my next VRP patch, VRP causes: > ``` > # c$_M_value_18 = PHI <-1(3), 0(2), 1(4)> > _11 = (unsigned int) c$_M_value_18; > _16 = _11 <= 1; > ``` > To be changed to: > ``` > # c$_M_value_18 = PHI <-1(3), 0(2), 1

[PATCH 1/2] PHI-OPT [PR 110984]: Add support for NE_EXPR/EQ_EXPR with casts to spaceship_replacement

2023-08-11 Thread Andrew Pinski via Gcc-patches
So with my next VRP patch, VRP causes: ``` # c$_M_value_18 = PHI <-1(3), 0(2), 1(4)> _11 = (unsigned int) c$_M_value_18; _16 = _11 <= 1; ``` To be changed to: ``` # c$_M_value_18 = PHI <-1(3), 0(2), 1(4)> _11 = (unsigned int) c$_M_value_18; _16 = _11 != 4294967295; ``` So let's add sup