diff options
| -rw-r--r-- | gcc/lra-constraints.cc | 13 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/mips/pr106462.c | 12 |
2 files changed, 24 insertions, 1 deletions
diff --git a/gcc/lra-constraints.cc b/gcc/lra-constraints.cc index d92ab76..02b5ab4 100644 --- a/gcc/lra-constraints.cc +++ b/gcc/lra-constraints.cc @@ -4582,7 +4582,18 @@ curr_insn_transform (bool check_only_p) || (partial_subreg_p (mode, GET_MODE (reg)) && known_le (GET_MODE_SIZE (GET_MODE (reg)), UNITS_PER_WORD) - && WORD_REGISTER_OPERATIONS))) + && WORD_REGISTER_OPERATIONS)) + /* Avoid the situation when there are no available hard regs + for the pseudo mode but there are ones for the subreg + mode: */ + && !(goal_alt[i] != NO_REGS + && REGNO (reg) >= FIRST_PSEUDO_REGISTER + && (prohibited_class_reg_set_mode_p + (goal_alt[i], reg_class_contents[goal_alt[i]], + GET_MODE (reg))) + && !(prohibited_class_reg_set_mode_p + (goal_alt[i], reg_class_contents[goal_alt[i]], + mode)))) { /* An OP_INOUT is required when reloading a subreg of a mode wider than a word to ensure that data beyond the diff --git a/gcc/testsuite/gcc.target/mips/pr106462.c b/gcc/testsuite/gcc.target/mips/pr106462.c new file mode 100644 index 0000000..c910540 --- /dev/null +++ b/gcc/testsuite/gcc.target/mips/pr106462.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-mabi=64 -msingle-float" } */ + +extern void bar (float x, short y); + +void foo (int argc) +{ + short c = argc * 2; + float a = (float)(short)c, b = 9.5; + + bar (b/a, c); +} |