diff options
| -rw-r--r-- | gcc/reload1.cc | 29 |
1 files changed, 26 insertions, 3 deletions
diff --git a/gcc/reload1.cc b/gcc/reload1.cc index 7dcef50..9ec2cb9 100644 --- a/gcc/reload1.cc +++ b/gcc/reload1.cc @@ -8377,11 +8377,11 @@ emit_reload_insns (class insn_chain *chain) reg_reloaded_dead |= reg_reloaded_died; } -/* Go through the motions to emit INSN and test if it is strictly valid. - Return the emitted insn if valid, else return NULL. */ + +/* Helper for emit_insn_if_valid_for_reload. */ static rtx_insn * -emit_insn_if_valid_for_reload (rtx pat) +emit_insn_if_valid_for_reload_1 (rtx pat) { rtx_insn *last = get_last_insn (); int code; @@ -8403,6 +8403,29 @@ emit_insn_if_valid_for_reload (rtx pat) return NULL; } +/* Go through the motions to emit INSN and test if it is strictly valid. + Return the emitted insn if valid, else return NULL. */ + +static rtx_insn * +emit_insn_if_valid_for_reload (rtx pat) +{ + rtx_insn *insn = emit_insn_if_valid_for_reload_1 (pat); + + if (insn) + return insn; + + /* If the pattern is a SET, and this target has a single + flags-register, try again with a PARALLEL that clobbers that + register. */ + if (targetm.flags_regnum == INVALID_REGNUM || GET_CODE (pat) != SET) + return NULL; + + rtx flags_clobber = gen_hard_reg_clobber (CCmode, targetm.flags_regnum); + rtx parpat = gen_rtx_PARALLEL (VOIDmode, gen_rtvec (2, pat, flags_clobber)); + + return emit_insn_if_valid_for_reload (parpat); +} + /* Emit code to perform a reload from IN (which may be a reload register) to OUT (which may also be a reload register). IN or OUT is from operand OPNUM with reload type TYPE. |