https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107043

--- Comment #2 from Ulrich Drepper <drepper.fsp+rhbz at gmail dot com> ---
My original example and Andrew's g0 are handled by Aldy's patches

2022-09-26  Aldy Hernandez  <al...@redhat.com>

        PR tree-optimization/107009
        * range-op.cc (operator_bitwise_and::op1_range): Optimize 0 = x & MASK.
        (range_op_bitwise_and_tests): New test.

2022-09-26  Aldy Hernandez  <al...@redhat.com>

        PR tree-optimization/107009
        * tree-ssa-dom.cc
        (dom_opt_dom_walker::set_global_ranges_from_unreachable_edges):
        Iterate over exports.


The g1 test case isn't handled, yet.

Reply via email to