From: Segher Boessenkool Date: Tue, 19 Jan 2021 23:43:56 +0000 (+0000) Subject: rs6000: Fix rs6000_emit_le_vsx_store (PR98549) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f8c677776617ab91826af1d950b00d853eaff622;p=gcc.git rs6000: Fix rs6000_emit_le_vsx_store (PR98549) One of the advantages of LRA is that you can create new pseudos from it just fine. The code in rs6000_emit_le_vsx_store was not aware of this. This patch changes that, in the process fixing PR98549 (where it is shown that we do call rs6000_emit_le_vsx_store during LRA, which we used to assert can not happen). 2021-01-20 Segher Boessenkool * config/rs6000/rs6000.c (rs6000_emit_le_vsx_store): Change assert. Adjust comment. Simplify code. --- diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c index b9e90ae0468..57bf7f7828e 100644 --- a/gcc/config/rs6000/rs6000.c +++ b/gcc/config/rs6000/rs6000.c @@ -9932,10 +9932,8 @@ rs6000_emit_le_vsx_load (rtx dest, rtx source, machine_mode mode) void rs6000_emit_le_vsx_store (rtx dest, rtx source, machine_mode mode) { - /* This should never be called during or after LRA, because it does - not re-permute the source register. It is intended only for use - during expand. */ - gcc_assert (!lra_in_progress && !reload_completed); + /* This should never be called after LRA. */ + gcc_assert (can_create_pseudo_p ()); /* Use V2DImode to do swaps of types with 128-bit scalar parts (TImode, V1TImode). */ @@ -9946,7 +9944,7 @@ rs6000_emit_le_vsx_store (rtx dest, rtx source, machine_mode mode) source = gen_lowpart (V2DImode, source); } - rtx tmp = can_create_pseudo_p () ? gen_reg_rtx_and_attrs (source) : source; + rtx tmp = gen_reg_rtx_and_attrs (source); rs6000_emit_le_vsx_permute (tmp, source, mode); rs6000_emit_le_vsx_permute (dest, tmp, mode); }