expr: Move reduce_bit_field target mode check [PR96151]
authorRichard Sandiford <richard.sandiford@arm.com>
Fri, 10 Jul 2020 18:06:46 +0000 (19:06 +0100)
committerRichard Sandiford <richard.sandiford@arm.com>
Fri, 10 Jul 2020 18:06:46 +0000 (19:06 +0100)
commit510125d2272175f47b26227fbe9b8c8c5abfd988
treec728707640fde946dd6dc9c70d7b624799a1f2ec
parentefe99cca78215e339ba79f0a900a896b4c0a3d36
expr: Move reduce_bit_field target mode check [PR96151]

In some cases, expand_expr_real_2 prefers to use the mode of the
caller-suggested target instead of the mode of the expression when
passing values to reduce_to_bit_field_precision.  E.g.:

      else if (target == 0)
        op0 = convert_to_mode (mode, op0,
                               TYPE_UNSIGNED (TREE_TYPE
                                              (treeop0)));
      else
        {
          convert_move (target, op0,
                        TYPE_UNSIGNED (TREE_TYPE (treeop0)));
          op0 = target;
        }

where “op0” might not have “mode” for the “else” branch,
but does for all the others.

reduce_to_bit_field_precision discards the suggested target if it
has the wrong mode.  This patch moves that to expand_expr_real_2
instead (conditional on reduce_bit_field).

gcc/
PR middle-end/96151
* expr.c (expand_expr_real_2): When reducing bit fields,
clear the target if it has a different mode from the expression.
(reduce_to_bit_field_precision): Don't do that here.  Instead
assert that the target already has the correct mode.
gcc/expr.c