On Wed, 09 Sep 2026 22:29:51 +0100, Dominic P <[email protected]> wrote: > diff --git a/gcc/match.pd b/gcc/match.pd > index 032f29dcbc2..641727e172a 100644 > --- a/gcc/match.pd > +++ b/gcc/match.pd > @@ -13390,6 +13390,25 @@ and, > [ ... skip 17 lines ... ] > + && wi::to_widest (@4) == TYPE_PRECISION (type) - 1 > + && wi::to_widest (@1) > 0 > + && wi::to_widest (@1) == wi::to_widest (@5)) > + (max (min @0 @5) { build_zero_cst (type); }))) > + > #if GIMPLE
Thanks for the patch. The tests hard-code >> 31. Please add dg-require-effective-target int32 to clip-canon-1.c, clip-canon-2.c, and clip-canon-3.c. -- Naveen <[email protected]>
