Re: [PATCH] match.pd: Optimize X / bool_range_Y to X [PR96094]

[Jeff Law via Gcc-patches]

On 12/15/20 2:05 AM, Jakub Jelinek wrote:
> Hi!
>
> When the divisor is bool or has [0, 1] range, as division by
> 0 is UB, the only remaining option in valid programs is division by 1,
> so we can optimize X / bool_range_Y into X.
>
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
>
> 2020-12-15  Jakub Jelinek  <ja...@redhat.com>
>
>       PR tree-optimization/96094
>       * match.pd (X / bool_range_Y -> X): New simplification.
>
>       * gcc.dg/tree-ssa/pr96094.c: New test.
OK
jeff