Re: [PATCH] CCP: handle division by a power of 2 as a right shift.

On Tue, Nov 8, 2022 at 3:25 PM Aldy Hernandez wrote: > > We have some code in range-ops that sets better maybe nonzero bits for > TRUNC_DIV_EXPR by a power of 2 than CCP does, by just shifting the > mask. I'd like to offload this functionality into the CCP mask > tracking code, which already does

[PATCH] CCP: handle division by a power of 2 as a right shift.

We have some code in range-ops that sets better maybe nonzero bits for TRUNC_DIV_EXPR by a power of 2 than CCP does, by just shifting the mask. I'd like to offload this functionality into the CCP mask tracking code, which already does the right thing for right shifts. The testcase for this change