diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/config/rs6000/rs6000.c | 20 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/pr93974.C | 27 |
4 files changed, 58 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5fd869a..53413e7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2020-04-16 Peter Bergner <bergner@linux.ibm.com> + + PR rtl-optimization/93974 + * config/rs6000/rs6000.c (TARGET_CANNOT_SUBSTITUTE_MEM_EQUIV_P): Define. + (rs6000_cannot_substitute_mem_equiv_p): New function. + 2020-04-16 Martin Jambor <mjambor@suse.cz> PR ipa/93621 diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c index 4defc1a..a2992e6 100644 --- a/gcc/config/rs6000/rs6000.c +++ b/gcc/config/rs6000/rs6000.c @@ -1734,6 +1734,10 @@ static const struct attribute_spec rs6000_attribute_table[] = #undef TARGET_MANGLE_DECL_ASSEMBLER_NAME #define TARGET_MANGLE_DECL_ASSEMBLER_NAME rs6000_mangle_decl_assembler_name + +#undef TARGET_CANNOT_SUBSTITUTE_MEM_EQUIV_P +#define TARGET_CANNOT_SUBSTITUTE_MEM_EQUIV_P \ + rs6000_cannot_substitute_mem_equiv_p /* Processor table. */ @@ -26375,6 +26379,22 @@ rs6000_predict_doloop_p (struct loop *loop) return true; } +/* Implement TARGET_CANNOT_SUBSTITUTE_MEM_EQUIV_P. */ + +static bool +rs6000_cannot_substitute_mem_equiv_p (rtx mem) +{ + gcc_assert (MEM_P (mem)); + + /* curr_insn_transform()'s handling of subregs cannot handle altivec AND: + type addresses, so don't allow MEMs with those address types to be + substituted as an equivalent expression. See PR93974 for details. */ + if (GET_CODE (XEXP (mem, 0)) == AND) + return true; + + return false; +} + struct gcc_target targetm = TARGET_INITIALIZER; #include "gt-rs6000.h" diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d862567..e10dc69 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-04-16 Peter Bergner <bergner@linux.ibm.com> + + PR rtl-optimization/93974 + * g++.dg/pr93974.C: New test. + 2020-04-16 Iain Sandoe <iain@sandoe.co.uk> * g++.dg/cpp0x/lambda/pr94426-2.C: Adjust scan-asms to test diff --git a/gcc/testsuite/g++.dg/pr93974.C b/gcc/testsuite/g++.dg/pr93974.C new file mode 100644 index 0000000..562de0a --- /dev/null +++ b/gcc/testsuite/g++.dg/pr93974.C @@ -0,0 +1,27 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target powerpc_p8vector_ok } */ +/* { dg-options "-mdejagnu-cpu=power8 -O3 -fstack-protector-strong" } */ + +class a { + double b[2]; +public: + a(); +}; + +class c { +public: + typedef a d; + d m_fn1() { + a e; + return e; + } +}; +template <typename f> void operator+(f, typename f::d); +void g() { + c connector; + for (;;) { + c cut; + a h = cut.m_fn1(); + connector + h; + } +} |