c4x.h (COUNTER_REGS): New register class.

Tue Jan 26 23:21:49 1999  Michael Hayes  <m.hayes@elec.canterbury.ac.nz>
	* config/c4x/c4x.h (COUNTER_REGS): New register class.
	* config/c4x/c4x.md (*rptb_init): Change constraints.
	(rptb_end): Emit alternate looping instructions if
	RC register not allocated for loop counter.
	(decrement_and_branch_on_count): Allow other registers
	for loop counter.

From-SVN: r24868

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7228df49503976e82944cf14031377fa9c20f995..07102f976c8e7230a893f911205a2e103f867e7c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,12 @@
+Tue Jan 26 23:21:49 1999  Michael Hayes  <m.hayes@elec.canterbury.ac.nz>
+
+       * config/c4x/c4x.h (COUNTER_REGS): New register class.
+       * config/c4x/c4x.md (*rptb_init): Change constraints.
+       (rptb_end): Emit alternate looping instructions if 
+       RC register not allocated for loop counter.
+       (decrement_and_branch_on_count): Allow other registers
+       for loop counter.
+
 1999-01-25 14:26 -0500  Zack Weinberg  <zack@rabi.columbia.edu>
 
        * cppexp.c: 

diff --git a/gcc/config/c4x/c4x.h b/gcc/config/c4x/c4x.h
index c001712c89446f8d0e943626e1ee8a51ee7921d8..d8884181d5dac00e469b67e3a188e898618d5443 100644 (file)
--- a/gcc/config/c4x/c4x.h
+++ b/gcc/config/c4x/c4x.h
@@ -643,6 +643,7 @@ enum reg_class
     BK_REG,                    /* 'k' */
     SP_REG,                    /* 'b' */
     RC_REG,                    /* 'v' */
+    COUNTER_REGS,              /*  */
     INT_REGS,                  /* 'c' */
     GENERAL_REGS,              /* 'r' */
     DP_REG,                    /* 'z' */
@@ -665,6 +666,7 @@ enum reg_class
    "BK_REG",           \
    "SP_REG",           \
    "RC_REG",           \
+   "COUNTER_REGS",     \
    "INT_REGS",         \
    "GENERAL_REGS",     \
    "DP_REG",           \
@@ -690,6 +692,7 @@ enum reg_class
  {0x00080000}, /* 'k' BK */                    \
  {0x00100000}, /* 'b' SP */                    \
  {0x08000000}, /* 'v' RC */                    \
+ {0x0800ff00}, /*     RC,AR0-AR7 */            \
  {0x0e1eff00}, /* 'c' AR0-AR7, IR0-IR1, BK, SP, RS, RE, RC */  \
  {0xfe1effff}, /* 'r' R0-R11, AR0-AR7, IR0-IR1, BK, SP, RS, RE, RC */\
  {0x00010000}, /* 'z' DP */                    \

diff --git a/gcc/config/c4x/c4x.md b/gcc/config/c4x/c4x.md
index 60bc43fd99f1f014f850731defcd0882bfec7a5b..8e406cc28a0e2ce5394b4c0fc728014b26a950f4 100644 (file)
--- a/gcc/config/c4x/c4x.md
+++ b/gcc/config/c4x/c4x.md
@@ -4582,23 +4582,24 @@
 
 ; This pattern needs to be emitted at the start of the loop to
 ; say that RS and RE are loaded.
-(define_insn "init_branch_on_count"
-  [(unspec[(match_operand:QI 0 "rc_reg_operand" "v")] 22)
+(define_insn "*rptb_init"
+  [(unspec[(match_operand:QI 0 "register_operand" "va")] 22)
    (clobber (reg:QI 25))
    (clobber (reg:QI 26))]
   ""
   ""
   [(set_attr "type" "repeat")])
 
+
 ; The RS (25) and RE (26) registers must be unviolate from the top of the loop
 ; to here.
 (define_insn "rptb_end"
   [(set (pc)
-        (if_then_else (ge (match_operand:QI 2 "rc_reg_operand" "0,0,0,0,0")
+        (if_then_else (ge (match_operand:QI 0 "register_operand" "+v,?a,!*d,!*x*k,!m")
                           (const_int 0))
                       (label_ref (match_operand 1 "" ""))
                       (pc)))
-   (set (match_operand:QI 0 "rc_reg_operand" "+v,*a,*d,*x*k,*m")
+   (set (match_dup 0)
         (plus:QI (match_dup 0)
                  (const_int -1)))
    (use (reg:QI 25))
@@ -4608,11 +4609,11 @@
   "*
    if (which_alternative == 0)
      return c4x_rptb_nop_p (insn) ? \"nop\" : \"\";
-   else if (which_alternative == 1)
+   else if (which_alternative == 1 && TARGET_DB)
      return \"dbu%#\\t%0,%l1\";
    else if (which_alternative == 2)
      return c4x_output_cbranch (\"subi\\t1,%0\\n\\tbge\", insn);
-   else if (which_alternative == 3)
+   else if (which_alternative == 3 || (which_alternative == 1 && ! TARGET_DB))
      return c4x_output_cbranch (\"subi\\t1,%0\\n\\tcmpi\\t0,%0\\n\\tbge\", insn);
    else
      return c4x_output_cbranch (\"push\\tr0\\n\\tldi\\t%0,r0\\n\\tsubi\\t1,r0\\n\\tsti\\tr0,%0\\n\\tpop\\tr0\\n\\tbhs\", insn);
@@ -4622,7 +4623,7 @@
 
 (define_expand "decrement_and_branch_on_count"
   [(parallel [(set (pc)
-                   (if_then_else (ge (match_operand:QI 0 "rc_reg_operand" "")
+                   (if_then_else (ge (match_operand:QI 0 "register_operand" "")
                                      (const_int 0))
                                  (label_ref (match_operand 1 "" ""))
                                  (pc)))
@@ -4633,8 +4634,15 @@
               (use (reg:QI 26))
               (clobber (reg:CC_NOOV 21))])]
   ""
-  "")
-
+  "if (1)
+     {
+        /* The C30 maximum iteration count for DB is 2^24.  */
+       if (!TARGET_DB)
+            FAIL;
+        emit_insn (gen_decrement_and_branch_until_zero (operands[0],
+                                                        operands[1]));
+       DONE;
+     }")
 
 (define_expand "movstrqi_small2"
   [(parallel [(set (mem:BLK (match_operand:BLK 0 "src_operand" ""))