diff options
| author | Vladimir Makarov <vmakarov@redhat.com> | 2018-12-13 20:54:27 +0000 |
|---|---|---|
| committer | Vladimir Makarov <vmakarov@gcc.gnu.org> | 2018-12-13 20:54:27 +0000 |
| commit | 11067dee85df4812303ebda57642675a0b89ef67 (patch) | |
| tree | 9ad654ea7adca3344fcf62deb2226109e55539ea /gcc/lra-assigns.c | |
| parent | b46e1a69975d64ad436ff1c928e008105b2b2a8d (diff) | |
| download | gcc-11067dee85df4812303ebda57642675a0b89ef67.zip gcc-11067dee85df4812303ebda57642675a0b89ef67.tar.gz gcc-11067dee85df4812303ebda57642675a0b89ef67.tar.bz2 | |
re PR rtl-optimization/88414 (ICE in lra_assign, at lra-assigns.c:1624)
2018-12-13 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/88414
* lra-int.h (lra_asm_error_p): New.
* lra-assigns.c (lra_assign): Check lra_asm_error_p for checking
call crossed pseudo assignment correctness.
(lra_split_hard_reg_for): Set up lra_asm_error_p.
* lra-constraints.c (curr_insn_transform): Ditto.
* lra.c (lra_asm_error_p): New.
(lra): Reset lra_asm_error_p.
2018-12-13 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/88414
* gcc.target/i386/pr88414.c: New.
From-SVN: r267109
Diffstat (limited to 'gcc/lra-assigns.c')
| -rw-r--r-- | gcc/lra-assigns.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/lra-assigns.c b/gcc/lra-assigns.c index c0e370b..6b9d3ae 100644 --- a/gcc/lra-assigns.c +++ b/gcc/lra-assigns.c @@ -1615,7 +1615,10 @@ lra_assign (bool &fails_p) bitmap_initialize (&all_spilled_pseudos, ®_obstack); create_live_range_start_chains (); setup_live_pseudos_and_spill_after_risky_transforms (&all_spilled_pseudos); - if (flag_checking && !flag_ipa_ra) + if (! lra_asm_error_p && flag_checking && !flag_ipa_ra) + /* Check correctness of allocation for call-crossed pseudos but + only when there are no asm errors as in the case of errors the + asm is removed and it can result in incorrect allocation. */ for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++) if (lra_reg_info[i].nrefs != 0 && reg_renumber[i] >= 0 && lra_reg_info[i].call_p @@ -1783,7 +1786,7 @@ lra_split_hard_reg_for (void) insn = lra_insn_recog_data[u]->insn; if (asm_noperands (PATTERN (insn)) >= 0) { - asm_p = true; + lra_asm_error_p = asm_p = true; error_for_asm (insn, "%<asm%> operand has impossible constraints"); /* Avoid further trouble with this insn. |