[Bug middle-end/105874] [13 Regression] Incorrect codegen and ICE since g:ed6fd2aed58f2cca99f15331bf68999c0e6df370

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Roger Sayle <sayle@gcc.gnu.org>:

https://gcc.gnu.org/g:b6e1373bd34aebbb512a03ea9a4e3c7acd955382

commit r13-1016-gb6e1373bd34aebbb512a03ea9a4e3c7acd955382
Author: Roger Sayle <roger@nextmovesoftware.com>
Date:   Wed Jun 8 20:43:03 2022 +0100

    PR middle-end/105874: Use EXPAND_MEMORY to fix ada bootstrap.

    Many thanks to Tamar Christina for filing PR middle-end/105874 indicating
    that SPECcpu 2017's Leela is failing on x86_64 due to a miscompilation
    of FastBoard::is_eye.  This function is much smaller and easier to work
    with than my previous hunt for the cause of the Ada bootstrap failures
    due to miscompilation somewhere in GCC (or one of the 131 places that
    the problematic form of optimization triggers during an ada bootstrap).

    It turns out the source of the miscompilation introduced by my recent
    patch is the distinction (during RTL expansion) of l-values and r-values.
    According to the documentation above expand_modifier, EXPAND_MEMORY
    should be used for lvalues (when a memory is required), and EXPAND_NORMAL
    for rvalues when a constant is permissible.  In what I'd like to consider
    a latent bug, the recursive call to expand_expr_real on line 11188 of
    expr.cc, in the case handling ARRAY_REF, COMPONENT_REF, BIT_FIELD_REF
    and ARRARY_RANGE_REF was passing EXPAND_NORMAL when it really required
    (the semantics of) EXPAND_MEMORY.  All the time that VAR_DECLs were
    being returned as memory this was fine, but as soon as we're able to
    optimize sort arrays into immediate constants, bad things happen.

    In the test case from Leela, we notice that the array s_eyemask
    always has DImode constant value { 4, 64 }, which is useful as
    an rvalue, but not when we need to index it as an lvalue, as in
    s_eyemask[color].  This also explains why everything being accepted
    by immediate_const_ctor_p (during an ada bootstrap) looks reasonable,
    what's incorrect is that we don't know how these structs/arrays are
    to be used.

    The fix is to ensure that we call expand_expr with EXPAND_MEMORY
    when processing the VAR_DECL's returned by get_inner_reference.

    2022-06-08  Roger Sayle  <roger@nextmovesoftware.com>

    gcc/ChangeLog
            PR middle-end/105874
            * expr.cc (expand_expr_real_1) <normal_inner_ref>:  New local
            variable tem_modifier for calculating the expand_modifier enum to
            use for expanding tem.  If tem is a VAR_DECL, use EXPAND_MEMORY.

    gcc/testsuite/ChangeLog
            PR middle-end/105874
            * g++.dg/opt/pr105874.C: New test case.