From 1b51df94425a71e9f0ee1d53559e2063a29e85cc Mon Sep 17 00:00:00 2001 From: Matthew Fortune Date: Mon, 20 Feb 2017 12:07:23 +0000 Subject: [PATCH] Ensure the mode used to create split registers is suppported gcc/ PR target/78012 * lra-constraints.c (split_reg): Check requested split mode is supported by the register. From-SVN: r245601 --- gcc/ChangeLog | 6 ++++++ gcc/lra-constraints.c | 20 ++++++++++++++++++++ 2 files changed, 26 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index aa7bb847734..57857eeb357 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-02-20 Matthew Fortune + + PR target/78012 + * lra-constraints.c (split_reg): Check requested split mode + is supported by the register. + 2017-02-20 Matthew Fortune * lra-constraints.c (simplify_operand_subreg): Remove early diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c index a7de40b7fc6..bd5fbcd7dea 100644 --- a/gcc/lra-constraints.c +++ b/gcc/lra-constraints.c @@ -5396,6 +5396,26 @@ split_reg (bool before_p, int original_regno, rtx_insn *insn, } return false; } + /* Split_if_necessary can split hard registers used as part of a + multi-register mode but splits each register individually. The + mode used for each independent register may not be supported + so reject the split. Splitting the wider mode should theoretically + be possible but is not implemented. */ + if (! HARD_REGNO_MODE_OK (hard_regno, mode)) + { + if (lra_dump_file != NULL) + { + fprintf (lra_dump_file, + " Rejecting split of %d(%s): unsuitable mode %s\n", + original_regno, + reg_class_names[lra_get_allocno_class (original_regno)], + GET_MODE_NAME (mode)); + fprintf + (lra_dump_file, + " ))))))))))))))))))))))))))))))))))))))))))))))))\n"); + } + return false; + } new_reg = lra_create_new_reg (mode, original_reg, rclass, "split"); reg_renumber[REGNO (new_reg)] = hard_regno; } -- 2.30.2