Hello, On Wed, 3 Aug 2022, Jeff Law via Gcc-patches wrote:
> > .optimized dump shows: > > _1 = ABS_EXPR <x_2(D)>; > > _3 = _1 & 1; > > return _3; > > > > altho combine simplifies it to x & 1 on RTL, resulting in code-gen: > > f1: > > and w0, w0, 1 > > ret > Doesn't the abs(x) & mask simplify to x & mask for any mask where the sign bit > of x is off No. Only the lowest bit remains the same between x and -x, all others might or might not be inverted (first counter example: x=-3, mask=3). Ciao, Michael.
