From 864233f1114c27478bdcbbaedc46bb82d2987b95 Mon Sep 17 00:00:00 2001 From: Vladimir Makarov Date: Wed, 27 Nov 2019 14:24:47 +0000 Subject: [PATCH] re PR rtl-optimization/90007 (ICE in extract_constrain_insn_cached, at recog.c:2223) 2019-11-27 Vladimir Makarov PR rtl-optimization/90007 * recog.c (constrain_operands): Permit hard registers too for memory when LRA is used. 2019-11-27 Vladimir Makarov PR rtl-optimization/90007 * gcc.target/i386/pr90007.c: New test. From-SVN: r278770 --- gcc/ChangeLog | 6 ++++++ gcc/recog.c | 5 ++--- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.target/i386/pr90007.c | 15 +++++++++++++++ 4 files changed, 28 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/gcc.target/i386/pr90007.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9899c377305..f2cacc047d8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2019-11-27 Vladimir Makarov + + PR rtl-optimization/90007 + * recog.c (constrain_operands): Permit hard registers too for + memory when LRA is used. + 2019-11-27 Bernd Schmidt * config/m68k/m68k.c (m68k_output_compare_fp): Restore differences diff --git a/gcc/recog.c b/gcc/recog.c index 0482818c453..1b76503323a 100644 --- a/gcc/recog.c +++ b/gcc/recog.c @@ -2740,10 +2740,9 @@ constrain_operands (int strict, alternative_mask alternatives) /* Before reload, accept what reload can turn into a mem. */ || (strict < 0 && CONSTANT_P (op)) - /* Before reload, accept a pseudo, + /* Before reload, accept a pseudo or hard register, since LRA can turn it into a mem. */ - || (strict < 0 && targetm.lra_p () && REG_P (op) - && REGNO (op) >= FIRST_PSEUDO_REGISTER) + || (strict < 0 && targetm.lra_p () && REG_P (op)) /* During reload, accept a pseudo */ || (reload_in_progress && REG_P (op) && REGNO (op) >= FIRST_PSEUDO_REGISTER))) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4c01d147bf7..39728cf82ca 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-11-27 Vladimir Makarov + + PR rtl-optimization/90007 + * gcc.target/i386/pr90007.c: New test. + 2019-11-27 Andrew Sutton Emit hard errors for certain satisfaction errors. diff --git a/gcc/testsuite/gcc.target/i386/pr90007.c b/gcc/testsuite/gcc.target/i386/pr90007.c new file mode 100644 index 00000000000..a16eec308fb --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr90007.c @@ -0,0 +1,15 @@ +/* PR rtl-optimization/90007 */ +/* { dg-do compile { target x86_64-*-* } } */ +/* { dg-options "-march=bdver1 -mfpmath=387 -O1 -fschedule-insns -fselective-scheduling" } */ + +void +qj (int b9, int r9, int k4, int k0, int e7) +{ + (void) b9; + (void) r9; + (void) k4; + + while (!!k0 == e7 * 1.1) + { + } +} -- 2.30.2