Re: [PATCH] Improved handling of division/modulus in bit CCP.

2021-08-22 Thread Jeff Law via Gcc-patches
On 8/22/2021 8:50 AM, Roger Sayle wrote: This patch implements support for TRUNC_MOD_EXPR and TRUNC_DIV_EXPR in tree-ssa's bit CCP pass. This is mostly for completeness, as the VRP pass already provides better bounds for these operations, but seeing mask values of all_ones in my debugging/ins

[PATCH] Improved handling of division/modulus in bit CCP.

2021-08-22 Thread Roger Sayle
This patch implements support for TRUNC_MOD_EXPR and TRUNC_DIV_EXPR in tree-ssa's bit CCP pass. This is mostly for completeness, as the VRP pass already provides better bounds for these operations, but seeing mask values of all_ones in my debugging/instrumentation logs seemed overly pessimistic.