Re: [PATCH] PR tree-optimization/102950: Improved EVRP for signed BIT_XOR_EXPR.

2022-05-02 Thread Richard Biener via Gcc-patches
On Tue, Feb 1, 2022 at 9:57 AM Roger Sayle wrote: > > > This patch fixes PR tree-optimization/102950, which is a P2 regression, > by providing better range bounds for BIT_XOR_EXPR, BIT_AND_EXPR and > BIT_IOR_EXPR on signed integer types. In general terms, any binary > bitwise operation on

[PATCH] PR tree-optimization/102950: Improved EVRP for signed BIT_XOR_EXPR.

2022-02-01 Thread Roger Sayle
This patch fixes PR tree-optimization/102950, which is a P2 regression, by providing better range bounds for BIT_XOR_EXPR, BIT_AND_EXPR and BIT_IOR_EXPR on signed integer types. In general terms, any binary bitwise operation on sign-extended or zero-extended integer types will produce results