[PATCH, alpha]: Fix PR target/39740

[Uros Bizjak <ubizjak at gmail dot com>]

Hello!

We should also recognize label_ref operands of form

       (const:DI (plus:DI (label_ref:DI 74)
               (const_int 24 [0x18])))


as local_symbolic_operand, so they get splitted to high/lo_sum parts.

2009-04-12  Uros Bizjak  <ubizjak@gmail.com>

   PR target/39740
   * config/alpha/predicates.md (local_symbolic_operand): Return 1 for
   offseted label references.

testsuite/ChangeLog:

   PR target/39740
   * gcc.target/alpha/pr39740.c: New test.

Patch was bootstrapped and regression tested by Kurt Roeckx on 
alpha-linux-gnu, see comment #6 in the PR.

Patch was committed to mainline, will be backported to 4.4 and 4.3 branches.

Uros.


Index: testsuite/gcc.target/alpha/pr39740.c
===================================================================
--- testsuite/gcc.target/alpha/pr39740.c	(revision 0)
+++ testsuite/gcc.target/alpha/pr39740.c	(revision 0)
@@ -0,0 +1,163 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -std=c99" } */
+
+typedef int R_len_t;
+typedef unsigned int SEXPTYPE;
+struct sxpinfo_struct
+{
+  SEXPTYPE type:5;
+};
+
+struct vecsxp_struct
+{
+  R_len_t length;
+  R_len_t truelength;
+};
+
+struct listsxp_struct
+{
+  struct SEXPREC *carval;
+  struct SEXPREC *cdrval;
+  struct SEXPREC *tagval;
+};
+
+typedef struct SEXPREC
+{
+  struct sxpinfo_struct sxpinfo;
+  union
+  {
+    struct listsxp_struct listsxp;
+  } u;
+} SEXPREC, *SEXP;
+
+typedef struct VECTOR_SEXPREC
+{
+  struct vecsxp_struct vecsxp;
+} VECTOR_SEXPREC, *VECSEXP;
+
+typedef union
+{
+  VECTOR_SEXPREC s;
+  double align;
+} SEXPREC_ALIGN;
+
+extern SEXP R_NilValue;
+extern SEXP R_MissingArg;
+
+int Rf_envlength (SEXP rho);
+SEXP Rf_protect (SEXP);
+const char *Rf_translateChar (SEXP);
+
+inline R_len_t
+Rf_length (SEXP s)
+{
+  int i;
+  switch (((s)->sxpinfo.type))
+    {
+    case 0:
+      return 0;
+    case 24:
+      return (((VECSEXP) (s))->vecsxp.length);
+    case 6:
+    case 17:
+      i = 0;
+      while (s != ((void *) 0) && s != R_NilValue)
+	{
+	  i++;
+	  s = ((s)->u.listsxp.cdrval);
+	}
+      return i;
+    case 4:
+      return Rf_envlength (s);
+    default:
+      return 1;
+    }
+}
+
+inline SEXP
+Rf_lang3 (SEXP s, SEXP t, SEXP u)
+{
+  return s;
+}
+
+typedef SEXP (*CCODE) (SEXP, SEXP, SEXP, SEXP);
+
+static SEXP PlusSymbol;
+static SEXP MinusSymbol;
+static SEXP DivideSymbol;
+
+int isZero (SEXP s);
+SEXP PP (SEXP s);
+SEXP AddParens (SEXP expr);
+SEXP Rf_install ();
+
+static int
+isUminus (SEXP s)
+{
+  if (((s)->sxpinfo.type) == 6 && ((s)->u.listsxp.carval) == MinusSymbol)
+    {
+      switch (Rf_length (s))
+	{
+	case 2:
+	  return 1;
+	case 3:
+	  if (((((((s)->u.listsxp.cdrval))->u.listsxp.cdrval))->u.listsxp.
+	       carval) == R_MissingArg)
+	    return 1;
+	  else
+	    return 0;
+	}
+    }
+  else
+    return 0;
+}
+
+static SEXP
+simplify (SEXP fun, SEXP arg1, SEXP arg2)
+{
+  SEXP ans;
+  if (fun == PlusSymbol)
+    {
+      if (isZero (arg1))
+	ans = arg2;
+      else if (isUminus (arg1))
+	ans =
+	  simplify (MinusSymbol, arg2,
+		    ((((arg1)->u.listsxp.cdrval))->u.listsxp.carval));
+      else if (isUminus (arg2))
+	ans =
+	  simplify (MinusSymbol, arg1,
+		    ((((arg2)->u.listsxp.cdrval))->u.listsxp.carval));
+    }
+  else if (fun == DivideSymbol)
+    {
+      ans = Rf_lang3 (DivideSymbol, arg1, arg2);
+    }
+
+  return ans;
+}
+
+
+static SEXP
+D (SEXP expr, SEXP var)
+{
+  return simplify (PlusSymbol,
+		   PP (D
+		       (((((expr)->u.listsxp.cdrval))->u.listsxp.carval),
+			var)),
+		   PP (D
+		       (((((((expr)->u.listsxp.cdrval))->u.listsxp.cdrval))->
+			 u.listsxp.carval), var)));
+}
+
+SEXP
+  __attribute__ ((visibility ("hidden"))) do_D (SEXP call, SEXP op, SEXP args,
+						SEXP env)
+{
+  SEXP expr, var;
+  var = Rf_install ();
+  expr = ((args)->u.listsxp.carval);
+  Rf_protect (expr = D (expr, var));
+  expr = AddParens (expr);
+  return expr;
+}
Index: config/alpha/predicates.md
===================================================================
--- config/alpha/predicates.md	(revision 145983)
+++ config/alpha/predicates.md	(working copy)
@@ -324,14 +324,14 @@
 (define_predicate "local_symbolic_operand"
   (match_code "label_ref,const,symbol_ref")
 {
-  if (GET_CODE (op) == LABEL_REF)
-    return 1;
-
   if (GET_CODE (op) == CONST
       && GET_CODE (XEXP (op, 0)) == PLUS
       && GET_CODE (XEXP (XEXP (op, 0), 1)) == CONST_INT)
     op = XEXP (XEXP (op, 0), 0);
 
+  if (GET_CODE (op) == LABEL_REF)
+    return 1;
+
   if (GET_CODE (op) != SYMBOL_REF)
     return 0;