diff options
| author | vmakarov <vmakarov@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-27 22:01:14 +0000 |
|---|---|---|
| committer | vmakarov <vmakarov@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-27 22:01:14 +0000 |
| commit | 3729285ef1b5ea9ef42c953b904b41fb5ae0033e (patch) | |
| tree | 178d780989b410cd7feafda80a457db40e929d5e /gcc/lra-assigns.c | |
| parent | 264114a8dc7e9998dfd0feb492f94fd76a7035d2 (diff) | |
| download | gcc-3729285ef1b5ea9ef42c953b904b41fb5ae0033e.tar.gz | |
2012-11-27 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/55458
* lra-assigns.c: Include rtl-error.h.
(assign_by_spills): Report about asm inpossible constraints.
* Makefile.in (lra-assigns.c): Add $(RTL_ERROR_H).
2012-11-27 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/55458
* gcc.target/i386/pr55458.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193871 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/lra-assigns.c')
| -rw-r--r-- | gcc/lra-assigns.c | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/gcc/lra-assigns.c b/gcc/lra-assigns.c index b1a1c3d66ec..8b7dcffb523 100644 --- a/gcc/lra-assigns.c +++ b/gcc/lra-assigns.c @@ -81,6 +81,7 @@ along with GCC; see the file COPYING3. If not see #include "tm.h" #include "hard-reg-set.h" #include "rtl.h" +#include "rtl-error.h" #include "tm_p.h" #include "target.h" #include "insn-config.h" @@ -1209,7 +1210,34 @@ assign_by_spills (void) } if (nfails == 0) break; - lra_assert (iter == 0); + if (iter > 0) + { + /* We did not assign hard regs to reload pseudos after two + iteration. It means something is wrong with asm insn + constraints. Report it. */ + bool asm_p = false; + bitmap_head failed_reload_insns; + + bitmap_initialize (&failed_reload_insns, ®_obstack); + for (i = 0; i < nfails; i++) + bitmap_ior_into (&failed_reload_insns, + &lra_reg_info[sorted_pseudos[i]].insn_bitmap); + EXECUTE_IF_SET_IN_BITMAP (&failed_reload_insns, 0, u, bi) + { + insn = lra_insn_recog_data[u]->insn; + if (asm_noperands (PATTERN (insn)) >= 0) + { + asm_p = true; + error_for_asm (insn, + "%<asm%> operand has impossible constraints"); + /* Avoid further trouble with this insn. */ + PATTERN (insn) = gen_rtx_USE (VOIDmode, const0_rtx); + lra_invalidate_insn_data (insn); + } + } + lra_assert (asm_p); + break; + } /* This is a very rare event. We can not assign a hard register to reload pseudo because the hard register was assigned to another reload pseudo on a previous |