PRU: Fix R3.w0 register class

TI has clarified [1] that R3.w0 is caller saved, so allow compiler to
use it. This is safe change because older GCC versions treat R3.w0 as
fixed register and never use it.

[1] https://e2e.ti.com/support/tools/ccs/f/81/t/849993

gcc/ChangeLog:

2020-05-05  Dimitar Dimitrov  <dimitar@dinux.eu>

	* config/pru/pru.h: Mark R3.w0 as caller saved.

gcc/testsuite/ChangeLog:

2020-05-05  Dimitar Dimitrov  <dimitar@dinux.eu>

	* gcc.target/pru/lra-framepointer-fragmentation-1.c: Update test to
	take into account additional available registers.
	* gcc.target/pru/lra-framepointer-fragmentation-2.c: Ditto.

Signed-off-by: Dimitar Dimitrov <dimitar@dinux.eu>

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6701bf168e0e04446bd5ae9ba85861cc99d9ace3..b3c8b731570356d21247744e2a4a56e30477b543 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2020-05-05  Dimitar Dimitrov  <dimitar@dinux.eu>
+
+       * config/pru/pru.h: Mark R3.w0 as caller saved.
+
 2020-05-05  Dimitar Dimitrov  <dimitar@dinux.eu>
 
        * config/pru/pru.c (pru_emit_doloop): Use new gen_doloop_end_internal

diff --git a/gcc/config/pru/pru.h b/gcc/config/pru/pru.h
index ea6ee109184d9817e0ccee93de707265b242a924..314e877a5f94805f9a5b7f85576e59599199012a 100644 (file)
--- a/gcc/config/pru/pru.h
+++ b/gcc/config/pru/pru.h
@@ -125,7 +125,8 @@
    1      r1             Caller Saved.  Also used as a temporary by function.
                          profiler and function prologue/epilogue.
    2      r2       sp    Stack Pointer.
-   3*     r3.w0    ra    Return Address (16-bit).
+   3*     r3.w0                  Caller saved.
+   3*     r3.w2    ra    Return Address (16-bit).
    4      r4       fp    Frame Pointer, also called Argument Pointer in ABI.
    5-13   r5-r13         Callee Saved Registers.
    14-29  r14-r29        Register Arguments.  Caller Saved Registers.
@@ -152,7 +153,7 @@
 
 #define FIXED_REGISTERS                                \
   {                                            \
-/*   0 */  0,0,0,0, 0,0,0,0, 1,1,1,1, 1,1,1,1, \
+/*   0 */  0,0,0,0, 0,0,0,0, 1,1,1,1, 0,0,1,1, \
 /*   4 */  0,0,0,0, 0,0,0,0, 0,0,0,0, 0,0,0,0, \
 /*   8 */  0,0,0,0, 0,0,0,0, 0,0,0,0, 0,0,0,0, \
 /*  12 */  0,0,0,0, 0,0,0,0, 0,0,0,0, 0,0,0,0, \
@@ -178,10 +179,13 @@
   }
 
 #define PRU_SEQ_R(X)  (X) * 4 + 0, (X) * 4 + 1, (X) * 4 + 2, (X) * 4 + 3
+#define PRU_SEQ_R_W0(X)  (X) * 4 + 0, (X) * 4 + 1
+#define PRU_SEQ_R_W2(X)  (X) * 4 + 2, (X) * 4 + 3
 #define REG_ALLOC_ORDER                                                            \
   {                                                                        \
     /* Call-clobbered, yet not used for parameters.  */                            \
     PRU_SEQ_R (0),  PRU_SEQ_R ( 1),                                        \
+    PRU_SEQ_R_W0 (3),                                                      \
                                                                            \
     PRU_SEQ_R (14), PRU_SEQ_R (15), PRU_SEQ_R (16), PRU_SEQ_R (17),        \
     PRU_SEQ_R (18), PRU_SEQ_R (19), PRU_SEQ_R (20), PRU_SEQ_R (21),        \
@@ -193,7 +197,8 @@
     PRU_SEQ_R (13),                                                        \
                                                                            \
     PRU_SEQ_R ( 4),                                                        \
-    PRU_SEQ_R ( 2), PRU_SEQ_R ( 3),                                        \
+    PRU_SEQ_R ( 2),                                                        \
+    PRU_SEQ_R_W2 (3),                                                      \
                                                                            \
     /* I/O and virtual registers.  */                                      \
     PRU_SEQ_R (30), PRU_SEQ_R (31), PRU_SEQ_R (32), PRU_SEQ_R (33),        \

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c23213a847aa6f871afecf508765d4b7e20272bf..092eab6914418e02e46e51a0aeff015bf81b034d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2020-05-05  Dimitar Dimitrov  <dimitar@dinux.eu>
+
+       * gcc.target/pru/lra-framepointer-fragmentation-1.c: Update test to
+       take into account additional available registers.
+       * gcc.target/pru/lra-framepointer-fragmentation-2.c: Ditto.
+
 2020-05-05  Marek Polacek  <polacek@redhat.com>
 
        PR c++/94799

diff --git a/gcc/testsuite/gcc.target/pru/lra-framepointer-fragmentation-1.c b/gcc/testsuite/gcc.target/pru/lra-framepointer-fragmentation-1.c
index ee1288fc2aedf96a768e32d19879980d19c4d0cc..b2a49e3a9e17244ae67e4c8dc58c06a463be3480 100644 (file)
--- a/gcc/testsuite/gcc.target/pru/lra-framepointer-fragmentation-1.c
+++ b/gcc/testsuite/gcc.target/pru/lra-framepointer-fragmentation-1.c
@@ -12,6 +12,7 @@ uint64_t __attribute__((noinline)) test(uint64_t a, uint64_t b,
   uint64_t l1 = 0x12345678, l2 = 0x87654321, l3 = 1001, l4 = 1002;
   uint64_t l5 = 1004;
   uint32_t l6 = 2005;
+  uint16_t s1 = 4321;
   uint8_t c1 = 101, c2 = 102;
 
   /* The numerous dummy asm input operands create just
@@ -24,10 +25,10 @@ uint64_t __attribute__((noinline)) test(uint64_t a, uint64_t b,
        : "0" (l1), "r" (a), "r"(b),
        "r"(c), "r"(d), "r"(e), "r"(f),
        "r"(g), "r"(h), "r"(l2),
-       "r"(c1), "r"(c2),
+       "r"(c1), "r"(c2), "r"(s1),
        "r"(l3), "r"(l4), "r"(l5), "r"(l6));
 
-  global = a+b+c+d+e+f+g+h + c1+c2 + l2;
+  global = a+b+c+d+e+f+g+h + s1 + c1+c2 + l2;
 
   return l1;
 }

diff --git a/gcc/testsuite/gcc.target/pru/lra-framepointer-fragmentation-2.c b/gcc/testsuite/gcc.target/pru/lra-framepointer-fragmentation-2.c
index 6c98e9bf13b3bf3af89bc2ec725570d6e754d81f..2f910295f2a62e9bad0bfcb47abc5e090cd5e6ff 100644 (file)
--- a/gcc/testsuite/gcc.target/pru/lra-framepointer-fragmentation-2.c
+++ b/gcc/testsuite/gcc.target/pru/lra-framepointer-fragmentation-2.c
@@ -14,6 +14,7 @@ uint64_t __attribute__((noinline)) test(uint64_t a, uint64_t b,
   uint64_t l1 = 0x12345678, l2 = 0x87654321, l3 = 1001, l4 = 1002;
   uint64_t l5 = 1004;
   uint32_t l6 = 2005;
+  uint16_t s1 = 4321;
   uint8_t c1 = 101, c2 = 102;
 
   /* The numerous dummy asm input operands create just
@@ -36,13 +37,14 @@ uint64_t __attribute__((noinline)) test(uint64_t a, uint64_t b,
        "add %0, %0, %14\n\t"
        "add %0, %0, %15\n\t"
        "add %0, %0, %16\n\t"
+       "add %0, %0, %17\n\t"
        : "=r" (l1)
        : "0" (l1), "r" (a), "r"(b),
        "r"(c), "r"(d), "r"(e), "r"(f),
-       "r"(g), "r"(h), "r"(c1), "r"(c2),
+       "r"(g), "r"(h), "r"(c1), "r"(c2), "r"(s1),
        "r"(l2), "r"(l3), "r"(l4), "r"(l5), "r"(l6));
 
-  global = a+b+c+d+e+f+g+h + c1+c2 + l2+l3+l4+l5+l6;
+  global = a+b+c+d+e+f+g+h + s1 + c1+c2 + l2+l3+l4+l5+l6;
 
   return l1;
 }
@@ -51,10 +53,10 @@ int main()
 {
   uint64_t a = test(1, 2, 3, 4, 5, 6, 7, 8);
 
-  if (a != 0x98878ae8) {
+  if (a != 0x98879bc9) {
     abort();
   }
-  if (global != 0x876557a4) {
+  if (global != 0x87656885) {
     abort();
   }
   return 0;