Only allow e500 double in SPE_SIMD_REGNO_P registers.
authorJoseph Myers <joseph@codesourcery.com>
Sat, 25 Oct 2014 00:23:17 +0000 (01:23 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Sat, 25 Oct 2014 00:23:17 +0000 (01:23 +0100)
commit4aa19422932112527ceb8cd3dd290bd9ff2b990c
treebacbecc9cfbc5d3479e0391be8141bb23aa5588e
parentd80c2beaf7d6f117fa52486f1006faec559fe1d2
Only allow e500 double in SPE_SIMD_REGNO_P registers.

rs6000_hard_regno_nregs_internal allows SPE vectors in single
registers satisfying SPE_SIMD_REGNO_P (i.e. register numbers 0 to
31).  However, the corresponding test for e500 double treats all
registers as being able to store a 64-bit value, rather than just
those GPRs.

Logically this inconsistency is wrong; in addition, it causes problems
unwinding from signal handlers.  linux-unwind.h uses
ARG_POINTER_REGNUM as a place to store the return address from a
signal handler, but this logic in rs6000_hard_regno_nregs_internal
results in that being considered an 8-byte register, resulting in
assertion failures.
(<https://gcc.gnu.org/ml/gcc-patches/2014-09/msg02625.html> first
needs to be applied for unwinding to work in general on e500.)  This
patch makes rs6000_hard_regno_nregs_internal handle the e500 double
case consistently with SPE vectors.

Tested with no regressions with cross to powerpc-linux-gnuspe (given
the aforementioned patch applied).  Failures of signal handling
unwinding tests such as gcc.dg/cleanup-{8,9,10,11}.c are fixed by this
patch.

* config/rs6000/rs6000.c (rs6000_hard_regno_nregs_internal): Do
not allow e500 double in registers not satisyfing
SPE_SIMD_REGNO_P.

From-SVN: r216688
gcc/ChangeLog
gcc/config/rs6000/rs6000.c