Re: [PATCH] poly_int: Handle more can_div_trunc_p cases

On Thu, 3 Aug 2023 at 18:15, Richard Sandiford wrote: > > can_div_trunc_p (a, b, &Q, &r) tries to compute a Q and r that > satisfy the usual conditions for truncating division: > > (1) a = b * Q + r > (2) |b * Q| <= |a| > (3) |r| < |b| > > We can compute Q using the constant compone

Re: [PATCH] poly_int: Handle more can_div_trunc_p cases

On Thu, Aug 3, 2023 at 2:46 PM Richard Sandiford via Gcc-patches wrote: > > can_div_trunc_p (a, b, &Q, &r) tries to compute a Q and r that > satisfy the usual conditions for truncating division: > > (1) a = b * Q + r > (2) |b * Q| <= |a| > (3) |r| < |b| > > We can compute Q using th