OSDN Git Service

fortran/
[pf3gnuchains/gcc-fork.git] / gcc / fortran / intrinsic.c
index c787e22..022f104 100644 (file)
@@ -429,6 +429,32 @@ static void add_sym_2 (const char *name, int elemental, int actual_ok, bt type,
 }
 
 
+/* Add the name of an intrinsic subroutine with two arguments to the list
+   of intrinsic names. */
+
+static void add_sym_2s (const char *name, int elemental, int actual_ok, bt type,
+                      int kind,
+                      try (*check)(gfc_expr *,gfc_expr *),
+                      gfc_expr *(*simplify)(gfc_expr *,gfc_expr *),
+                      void (*resolve)(gfc_code *),
+                      const char* a1, bt type1, int kind1, int optional1,
+                      const char* a2, bt type2, int kind2, int optional2
+                      ) {
+  gfc_check_f cf;
+  gfc_simplify_f sf;
+  gfc_resolve_f rf;
+
+  cf.f2 = check;
+  sf.f2 = simplify;
+  rf.s1 = resolve;
+
+  add_sym (name, elemental, actual_ok, type, kind, cf, sf, rf,
+          a1, type1, kind1, optional1,
+          a2, type2, kind2, optional2,
+          (void*)0);
+}
+
+
 static void add_sym_3 (const char *name, int elemental, int actual_ok, bt type,
                       int kind,
                       try (*check)(gfc_expr *,gfc_expr *,gfc_expr *),
@@ -453,6 +479,60 @@ static void add_sym_3 (const char *name, int elemental, int actual_ok, bt type,
           (void*)0);
 }
 
+/* MINLOC and MAXLOC get special treatment because their argument
+   might have to be reordered.  */
+
+static void add_sym_3ml (const char *name, int elemental, 
+                        int actual_ok, bt type, int kind,
+                        try (*check)(gfc_actual_arglist *),
+                        gfc_expr*(*simplify)(gfc_expr *,gfc_expr *,gfc_expr *),
+                        void (*resolve)(gfc_expr *,gfc_expr *,gfc_expr *,gfc_expr *),
+                        const char* a1, bt type1, int kind1, int optional1,
+                        const char* a2, bt type2, int kind2, int optional2,
+                        const char* a3, bt type3, int kind3, int optional3
+                        ) {
+  gfc_check_f cf;
+  gfc_simplify_f sf;
+  gfc_resolve_f rf;
+
+  cf.f3ml = check;
+  sf.f3 = simplify;
+  rf.f3 = resolve;
+
+  add_sym (name, elemental, actual_ok, type, kind, cf, sf, rf,
+          a1, type1, kind1, optional1,
+          a2, type2, kind2, optional2,
+          a3, type3, kind3, optional3,
+          (void*)0);
+}
+
+/* Add the name of an intrinsic subroutine with three arguments to the list
+   of intrinsic names. */
+
+static void add_sym_3s (const char *name, int elemental, int actual_ok, bt type,
+                      int kind,
+                      try (*check)(gfc_expr *,gfc_expr *,gfc_expr *),
+                      gfc_expr *(*simplify)(gfc_expr *,gfc_expr *,gfc_expr *),
+                      void (*resolve)(gfc_code *),
+                      const char* a1, bt type1, int kind1, int optional1,
+                      const char* a2, bt type2, int kind2, int optional2,
+                      const char* a3, bt type3, int kind3, int optional3
+                      ) {
+  gfc_check_f cf;
+  gfc_simplify_f sf;
+  gfc_resolve_f rf;
+
+  cf.f3 = check;
+  sf.f3 = simplify;
+  rf.s1 = resolve;
+
+  add_sym (name, elemental, actual_ok, type, kind, cf, sf, rf,
+          a1, type1, kind1, optional1,
+          a2, type2, kind2, optional2,
+          a3, type3, kind3, optional3,
+          (void*)0);
+}
+
 
 static void add_sym_4 (const char *name, int elemental, int actual_ok, bt type,
                       int kind,
@@ -481,6 +561,33 @@ static void add_sym_4 (const char *name, int elemental, int actual_ok, bt type,
 }
 
 
+static void add_sym_4s (const char *name, int elemental, int actual_ok,
+    bt type, int kind,
+    try (*check)(gfc_expr *,gfc_expr *,gfc_expr *,gfc_expr *),
+    gfc_expr *(*simplify)(gfc_expr *,gfc_expr *,gfc_expr *,gfc_expr *),
+    void (*resolve)(gfc_code *),
+    const char* a1, bt type1, int kind1, int optional1,
+    const char* a2, bt type2, int kind2, int optional2,
+    const char* a3, bt type3, int kind3, int optional3,
+    const char* a4, bt type4, int kind4, int optional4)
+{
+  gfc_check_f cf;
+  gfc_simplify_f sf;
+  gfc_resolve_f rf;
+
+  cf.f4 = check;
+  sf.f4 = simplify;
+  rf.s1 = resolve;
+
+  add_sym (name, elemental, actual_ok, type, kind, cf, sf, rf,
+          a1, type1, kind1, optional1,
+          a2, type2, kind2, optional2,
+          a3, type3, kind3, optional3,
+          a4, type4, kind4, optional4,
+          (void*)0);
+}
+
+
 static void add_sym_5 (const char *name, int elemental, int actual_ok, bt type,
                       int kind,
                       try (*check)(gfc_expr *,gfc_expr *,gfc_expr *,gfc_expr *,gfc_expr *),
@@ -962,6 +1069,16 @@ add_functions (void)
 
   make_generic ("epsilon", GFC_ISYM_NONE);
 
+  /* G77 compatibility */
+  add_sym_1 ("etime", 0, 1, BT_REAL, 4,
+            gfc_check_etime, NULL, NULL,
+            x, BT_REAL, 4, 0);
+
+  make_alias ("dtime");
+
+  make_generic ("etime", GFC_ISYM_ETIME);
+
+
   add_sym_1 ("exp", 1, 1, BT_REAL, dr,
             NULL, gfc_simplify_exp, gfc_resolve_exp, x, BT_REAL, dr, 0);
 
@@ -1014,6 +1131,10 @@ add_functions (void)
   make_generic ("iand", GFC_ISYM_IAND);
 
   add_sym_0 ("iargc", 1, 1, BT_INTEGER, di, NULL, NULL, NULL); /* Extension, takes no arguments */
+  make_generic ("iargc", GFC_ISYM_IARGC);
+
+  add_sym_0 ("command_argument_count", 1, 1, BT_INTEGER, di, NULL, NULL, NULL);
+  make_generic ("command_argument_count", GFC_ISYM_COMMAND_ARGUMENT_COUNT);
 
   add_sym_2 ("ibclr", 1, 1, BT_INTEGER, di,
             gfc_check_ibclr, gfc_simplify_ibclr, gfc_resolve_ibclr,
@@ -1071,6 +1192,13 @@ add_functions (void)
 
   make_generic ("ior", GFC_ISYM_IOR);
 
+  /* The following function is for G77 compatibility.  */
+  add_sym_1 ("irand", 0, 1, BT_INTEGER, 4,
+             gfc_check_irand, NULL, NULL,
+             i, BT_INTEGER, 4, 0);
+
+  make_generic ("irand", GFC_ISYM_IRAND);
+
   add_sym_2 ("ishft", 1, 1, BT_INTEGER, di,
             gfc_check_ishft, gfc_simplify_ishft, gfc_resolve_ishft,
             i, BT_INTEGER, di, 0, sh, BT_INTEGER, di, 0);
@@ -1211,10 +1339,10 @@ add_functions (void)
 
   make_generic ("maxexponent", GFC_ISYM_NONE);
 
-  add_sym_3 ("maxloc", 0, 1, BT_INTEGER, di,
-            gfc_check_minloc_maxloc, NULL, gfc_resolve_maxloc,
-            ar, BT_REAL, dr, 0, dm, BT_INTEGER, ii, 1,
-            msk, BT_LOGICAL, dl, 1);
+  add_sym_3ml ("maxloc", 0, 1, BT_INTEGER, di,
+              gfc_check_minloc_maxloc, NULL, gfc_resolve_maxloc,
+              ar, BT_REAL, dr, 0, dm, BT_INTEGER, ii, 1,
+              msk, BT_LOGICAL, dl, 1);
 
   make_generic ("maxloc", GFC_ISYM_MAXLOC);
 
@@ -1266,10 +1394,10 @@ add_functions (void)
 
   make_generic ("minexponent", GFC_ISYM_NONE);
 
-  add_sym_3 ("minloc", 0, 1, BT_INTEGER, di,
-            gfc_check_minloc_maxloc, NULL, gfc_resolve_minloc,
-            ar, BT_REAL, dr, 0, dm, BT_INTEGER, ii, 1,
-            msk, BT_LOGICAL, dl, 1);
+  add_sym_3ml ("minloc", 0, 1, BT_INTEGER, di,
+              gfc_check_minloc_maxloc, NULL, gfc_resolve_minloc,
+              ar, BT_REAL, dr, 0, dm, BT_INTEGER, ii, 1,
+              msk, BT_LOGICAL, dl, 1);
 
   make_generic ("minloc", GFC_ISYM_MINLOC);
 
@@ -1359,6 +1487,13 @@ add_functions (void)
 
   make_generic ("radix", GFC_ISYM_NONE);
 
+  /* The following function is for G77 compatibility.  */
+  add_sym_1 ("rand", 0, 1, BT_REAL, 4,
+             gfc_check_rand, NULL, NULL,
+             i, BT_INTEGER, 4, 0);
+
+  make_generic ("rand", GFC_ISYM_RAND);
+
   add_sym_1 ("range", 0, 1, BT_INTEGER, di,
             gfc_check_range, gfc_simplify_range, NULL,
             x, BT_REAL, dr, 0);
@@ -1409,6 +1544,11 @@ add_functions (void)
 
   make_generic ("scan", GFC_ISYM_SCAN);
 
+  /* Added for G77 compatibility garbage. */
+  add_sym_0 ("second", 0, 1, BT_REAL, 4, NULL, NULL, NULL);
+
+  make_generic ("second", GFC_ISYM_SECOND);
+
   add_sym_1 ("selected_int_kind", 0, 1, BT_INTEGER, di,
             NULL, gfc_simplify_selected_int_kind, NULL,
             r, BT_INTEGER, di, 0);
@@ -1579,6 +1719,8 @@ add_functions (void)
             bck, BT_LOGICAL, dl, 1);
 
   make_generic ("verify", GFC_ISYM_VERIFY);
+
+
 }
 
 
@@ -1593,7 +1735,9 @@ add_subroutines (void)
     *h = "harvest", *dt = "date", *vl = "values", *pt = "put",
     *c = "count", *tm = "time", *tp = "topos", *gt = "get",
     *t = "to", *zn = "zone", *fp = "frompos", *cm = "count_max",
-    *f = "from", *sz = "size", *ln = "len", *cr = "count_rate";
+    *f = "from", *sz = "size", *ln = "len", *cr = "count_rate",
+    *com = "command", *length = "length", *st = "status",
+    *val = "value", *num = "number";
 
   int di, dr, dc;
 
@@ -1607,16 +1751,47 @@ add_subroutines (void)
              gfc_check_cpu_time, NULL, gfc_resolve_cpu_time,
              tm, BT_REAL, dr, 0);
 
-  add_sym_4 ("date_and_time", 0, 1, BT_UNKNOWN, 0,
-            gfc_check_date_and_time, NULL, NULL,
-            dt, BT_CHARACTER, dc, 1, tm, BT_CHARACTER, dc, 1,
-            zn, BT_CHARACTER, dc, 1, vl, BT_INTEGER, di, 1);
+  /* More G77 compatibility garbage. */
+  add_sym_1s ("second", 0, 1, BT_UNKNOWN, 0,
+             gfc_check_second_sub, NULL, gfc_resolve_second_sub,
+             tm, BT_REAL, dr, 0);
 
-  add_sym_2 ("getarg", 0, 1, BT_UNKNOWN, 0,
-            NULL, NULL, NULL,
-            c, BT_INTEGER, di, 0, vl, BT_CHARACTER, dc, 0);
+  add_sym_4s ("date_and_time", 0, 1, BT_UNKNOWN, 0,
+             gfc_check_date_and_time, NULL, NULL,
+             dt, BT_CHARACTER, dc, 1, tm, BT_CHARACTER, dc, 1,
+             zn, BT_CHARACTER, dc, 1, vl, BT_INTEGER, di, 1);
+
+  /* More G77 compatibility garbage. */
+  add_sym_2s ("etime", 0, 1, BT_UNKNOWN, 0,
+            gfc_check_etime_sub, NULL, gfc_resolve_etime_sub,
+            vl, BT_REAL, 4, 0, tm, BT_REAL, 4, 0);
+
+  add_sym_2s ("dtime", 0, 1, BT_UNKNOWN, 0,
+            gfc_check_etime_sub, NULL, gfc_resolve_etime_sub,
+            vl, BT_REAL, 4, 0, tm, BT_REAL, 4, 0);
+
+  add_sym_2s ("getarg", 0, 1, BT_UNKNOWN, 0,
+             NULL, NULL, gfc_resolve_getarg,
+             c, BT_INTEGER, di, 0, vl, BT_CHARACTER, dc, 0);
+
+  /* F2003 commandline routines.  */
+
+  add_sym_3s ("get_command", 0, 1, BT_UNKNOWN, 0,
+             NULL, NULL, gfc_resolve_get_command,
+             com, BT_CHARACTER, dc, 1,
+             length, BT_INTEGER, di, 1,
+             st, BT_INTEGER, di, 1);
+
+  add_sym_4s ("get_command_argument", 0, 1, BT_UNKNOWN, 0,
+             NULL, NULL, gfc_resolve_get_command_argument,
+             num, BT_INTEGER, di, 0,
+             val, BT_CHARACTER, dc, 1,
+             length, BT_INTEGER, di, 1,
+             st, BT_INTEGER, di, 1);
+            
   /* Extension */
 
+  /* This needs changing to add_sym_5s if it gets a resolution function.  */
   add_sym_5 ("mvbits", 1, 1, BT_UNKNOWN, 0,
             gfc_check_mvbits, gfc_simplify_mvbits, NULL,
             f, BT_INTEGER, di, 0, fp, BT_INTEGER, di, 0,
@@ -1627,13 +1802,18 @@ add_subroutines (void)
              gfc_check_random_number, NULL, gfc_resolve_random_number,
              h, BT_REAL, dr, 0);
 
-  add_sym_3 ("random_seed", 0, 1, BT_UNKNOWN, 0,
+  add_sym_3s ("random_seed", 0, 1, BT_UNKNOWN, 0,
             gfc_check_random_seed, NULL, NULL,
             sz, BT_INTEGER, di, 1, pt, BT_INTEGER, di, 1,
             gt, BT_INTEGER, di, 1);
 
-  add_sym_3 ("system_clock", 0, 1, BT_UNKNOWN, 0,
-            NULL, NULL, NULL,
+  /* More G77 compatibility garbage. */
+  add_sym_1s ("srand", 0, 1, BT_UNKNOWN, di,
+             gfc_check_srand, NULL, gfc_resolve_srand,
+             c, BT_INTEGER, 4, 0);
+
+  add_sym_3s ("system_clock", 0, 1, BT_UNKNOWN, 0,
+            gfc_check_system_clock, NULL, gfc_resolve_system_clock,
             c, BT_INTEGER, di, 1, cr, BT_INTEGER, di, 1,
             cm, BT_INTEGER, di, 1);
 }
@@ -1932,7 +2112,13 @@ do_sort:
 
   for (f = formal; f; f = f->next)
     {
-      a = (f->actual == NULL) ? gfc_get_actual_arglist () : f->actual;
+      if (f->actual == NULL)
+       {
+         a = gfc_get_actual_arglist ();
+         a->missing_arg_type = f->ts.type;
+       }
+      else
+       a = f->actual;
 
       if (actual == NULL)
        *ap = a;
@@ -2222,14 +2408,21 @@ check_specific (gfc_intrinsic_sym * specific, gfc_expr * expr, int error_flag)
                   &expr->where) == FAILURE)
     return FAILURE;
 
-  if (specific->check.f1 == NULL)
-    {
-      t = check_arglist (ap, specific, error_flag);
-      if (t == SUCCESS)
-       expr->ts = specific->ts;
-    }
+  if (specific->check.f3ml != gfc_check_minloc_maxloc)
+     {
+       if (specific->check.f1 == NULL)
+        {
+          t = check_arglist (ap, specific, error_flag);
+          if (t == SUCCESS)
+            expr->ts = specific->ts;
+        }
+       else
+        t = do_check (specific, *ap);
+     }
   else
-    t = do_check (specific, *ap);
+    /* This is special because we might have to reorder the argument
+       list.  */
+    t = gfc_check_minloc_maxloc (*ap);
 
   /* Check ranks for elemental intrinsics.  */
   if (t == SUCCESS && specific->elemental)