gcc/ch/timing.c

   1 /* Implement timing-related actions for CHILL.
   2    Copyright (C) 1992, 93, 1994, 1998 Free Software Foundation, Inc.
   3
   4 This file is part of GNU CC.
   5
   6 GNU CC is free software; you can redistribute it and/or modify
   7 it under the terms of the GNU General Public License as published by
   8 the Free Software Foundation; either version 2, or (at your option)
   9 any later version.
  10
  11 GNU CC is distributed in the hope that it will be useful,
  12 but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 GNU General Public License for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GNU CC; see the file COPYING.  If not, write to
  18 the Free Software Foundation, 59 Temple Place - Suite 330,
  19 Boston, MA 02111-1307, USA.  */
  20
  21 #include "config.h"
  22 #include "system.h"
  23 #include "tree.h"
  24 #include "rtl.h"
  25 #include "ch-tree.h"
  26 #include "flags.h"
  27 #include "input.h"
  28 #include "obstack.h"
  29 #include "lex.h"
  30 #include "toplev.h"
  31 #include "defaults.h"
  32
  33 /* set non-zero if input text is forced to lowercase */
  34 extern int ignore_case;
  35
  36 /* set non-zero if special words are to be entered in uppercase */
  37 extern int special_UC;
  38
  39 /* timing modes */
  40 tree abs_timing_type_node;
  41 tree duration_timing_type_node;
  42
  43 /* rts time type */
  44 static tree rtstime_type_node = NULL_TREE;
  45
  46 /* the stack for AFTER primval [ DELAY ] IN
  47    and has following layout
  48
  49    TREE_VALUE (TREE_VALUE (after_stack)) = current time or NULL_TREE (if DELAY specified)
  50    TREE_PURPOSE (TREE_VALUE (after_stack)) = the duration location
  51    TREE_VALUE (TREE_PURPOSE (after_stack)) = label at TIMEOUT
  52    TREE_PURPOSE (TREE_PURPOSE (after_stack)) = label at the end of AFTER action
  53 */
  54 tree after_stack = NULL_TREE;
  55
  56 /* in pass 1 we need a separate list for the labels */
  57 static tree after_stack_pass_1 = NULL_TREE;
  58 static tree after_help;
  59
  60 void
  61 timing_init ()
  62 {
  63   tree ptr_ftype_durt_ptr_int;
  64   tree int_ftype_abst_ptr_int;
  65   tree void_ftype_ptr;
  66   tree long_ftype_int_int_int_int_int_int_int_ptr_int;
  67   tree void_ftype_abstime_ptr;
  68   tree int_ftype_ptr_durt_ptr;
  69   tree void_ftype_durt_ptr;
  70   tree void_ftype_ptr_durt_ptr_int;
  71   tree temp;
  72   tree endlink;
  73   tree ulong_type;
  74
  75   ulong_type = TREE_TYPE (lookup_name (
  76                           get_identifier ((ignore_case || ! special_UC ) ?
  77                                           "ulong" : "ULONG")));
  78
  79   /* build modes for TIME and DURATION */
  80   duration_timing_type_node = make_unsigned_type (LONG_TYPE_SIZE);
  81   temp = pushdecl (build_decl (TYPE_DECL, ridpointers[(int)RID_DURATION],
  82                                duration_timing_type_node));
  83   SET_CH_NOVELTY_NONNIL (duration_timing_type_node, temp);
  84   abs_timing_type_node = make_unsigned_type (LONG_TYPE_SIZE);
  85   temp = pushdecl (build_decl (TYPE_DECL, ridpointers[(int)RID_TIME],
  86                                abs_timing_type_node));
  87   SET_CH_NOVELTY_NONNIL (abs_timing_type_node, temp);
  88
  89   /* the mode of time the runtimesystem returns */
  90   if (rtstime_type_node == NULL_TREE)
  91   {
  92       tree decl1, decl2, result;
  93
  94       decl1 = build_decl (FIELD_DECL,
  95                           get_identifier ("secs"),
  96                           ulong_type);
  97       DECL_INITIAL (decl1) = NULL_TREE;
  98       decl2 = build_decl (FIELD_DECL,
  99                           get_identifier ("nsecs"),
 100                           ulong_type);
 101       DECL_INITIAL (decl2) = NULL_TREE;
 102       TREE_CHAIN (decl2) = NULL_TREE;
 103       TREE_CHAIN (decl1) = decl2;
 104
 105       result = build_chill_struct_type (decl1);
 106       pushdecl (temp = build_decl (TYPE_DECL,
 107         get_identifier ("__tmp_rtstime"), result));
 108       DECL_SOURCE_LINE (temp) = 0;
 109       satisfy_decl (temp, 0);
 110       rtstime_type_node = TREE_TYPE (temp);
 111   }
 112
 113   endlink = void_list_node;
 114
 115   ptr_ftype_durt_ptr_int
 116     = build_function_type (ptr_type_node,
 117          tree_cons (NULL_TREE, duration_timing_type_node,
 118              tree_cons (NULL_TREE, ptr_type_node,
 119                  tree_cons (NULL_TREE, integer_type_node,
 120                      endlink))));
 121
 122   int_ftype_abst_ptr_int
 123     = build_function_type (integer_type_node,
 124          tree_cons (NULL_TREE, abs_timing_type_node,
 125              tree_cons (NULL_TREE, ptr_type_node,
 126                  tree_cons (NULL_TREE, integer_type_node,
 127                      endlink))));
 128
 129   void_ftype_ptr
 130      = build_function_type (void_type_node,
 131            tree_cons (NULL_TREE, ptr_type_node,
 132                endlink));
 133
 134   long_ftype_int_int_int_int_int_int_int_ptr_int
 135     = build_function_type (abs_timing_type_node,
 136          tree_cons (NULL_TREE, integer_type_node,
 137             tree_cons (NULL_TREE, integer_type_node,
 138                tree_cons (NULL_TREE, integer_type_node,
 139                   tree_cons (NULL_TREE, integer_type_node,
 140                      tree_cons (NULL_TREE, integer_type_node,
 141                         tree_cons (NULL_TREE, integer_type_node,
 142                            tree_cons (NULL_TREE, integer_type_node,
 143                               tree_cons (NULL_TREE, ptr_type_node,
 144                                  tree_cons (NULL_TREE, integer_type_node,
 145                                     endlink))))))))));
 146
 147   void_ftype_abstime_ptr
 148     = build_function_type (void_type_node,
 149           tree_cons (NULL_TREE, abs_timing_type_node,
 150               tree_cons (NULL_TREE, ptr_type_node,
 151                   endlink)));
 152
 153   int_ftype_ptr_durt_ptr
 154     = build_function_type (integer_type_node,
 155           tree_cons (NULL_TREE, ptr_type_node,
 156               tree_cons (NULL_TREE, duration_timing_type_node,
 157                   tree_cons (NULL_TREE, ptr_type_node,
 158                       endlink))));
 159
 160   void_ftype_durt_ptr
 161     = build_function_type (void_type_node,
 162           tree_cons (NULL_TREE, duration_timing_type_node,
 163               tree_cons (NULL_TREE, ptr_type_node,
 164                   endlink)));
 165
 166   void_ftype_ptr_durt_ptr_int
 167     = build_function_type (void_type_node,
 168         tree_cons (NULL_TREE, ptr_type_node,
 169           tree_cons (NULL_TREE, duration_timing_type_node,
 170             tree_cons (NULL_TREE, ptr_type_node,
 171               tree_cons (NULL_TREE, integer_type_node,
 172                 endlink)))));
 173
 174   builtin_function ("_abstime", long_ftype_int_int_int_int_int_int_int_ptr_int,
 175                     0, NOT_BUILT_IN, NULL_PTR);
 176   builtin_function ("__check_cycle", void_ftype_ptr_durt_ptr_int,
 177                     0, NOT_BUILT_IN, NULL_PTR);
 178   builtin_function ("__convert_duration_rtstime", void_ftype_durt_ptr,
 179                     0, NOT_BUILT_IN, NULL_PTR);
 180   builtin_function ("__define_timeout", ptr_ftype_durt_ptr_int,
 181                     0, NOT_BUILT_IN, NULL_PTR);
 182   builtin_function ("_inttime", void_ftype_abstime_ptr,
 183                     0, NOT_BUILT_IN, NULL_PTR);
 184   builtin_function ("__remaintime", int_ftype_ptr_durt_ptr,
 185                     0, NOT_BUILT_IN, NULL_PTR);
 186   builtin_function ("__rtstime", void_ftype_ptr,
 187                     0, NOT_BUILT_IN, NULL_PTR);
 188   builtin_function ("__wait_until", int_ftype_abst_ptr_int,
 189                     0, NOT_BUILT_IN, NULL_PTR);
 190 }
 191
 192 #if 0
 193  *
 194  * build AT action
 195  *
 196  * AT primval IN
 197  *  ok-actionlist
 198  * TIMEOUT
 199  *  to-actionlist
 200  * END;
 201  *
 202  * gets translated to
 203  *
 204  * if (__wait_until (primval) == 0)
 205  *   ok-actionlist
 206  * else
 207  *   to-action-list
 208  *
 209 #endif
 210
 211 void
 212 build_at_action (t)
 213      tree t;
 214 {
 215   tree abstime, expr, filename, fcall;
 216
 217   if (t == NULL_TREE || TREE_CODE (t) == ERROR_MARK)
 218     abstime = convert (abs_timing_type_node, build_int_2 (0, 0));
 219   else
 220     abstime = t;
 221
 222   if (TREE_TYPE (abstime) != abs_timing_type_node)
 223     {
 224       error ("absolute time value must be of mode TIME.");
 225       abstime = convert (abs_timing_type_node, build_int_2 (0, 0));
 226     }
 227   filename = force_addr_of (get_chill_filename ());
 228   fcall = build_chill_function_call (
 229             lookup_name (get_identifier ("__wait_until")),
 230               tree_cons (NULL_TREE, abstime,
 231                 tree_cons (NULL_TREE, filename,
 232                   tree_cons (NULL_TREE, get_chill_linenumber (), NULL_TREE))));
 233   expr = build (EQ_EXPR, integer_type_node, fcall, integer_zero_node);
 234   expand_start_cond (expr, 0);
 235   emit_line_note (input_filename, lineno);
 236 }
 237
 238 #if 0
 239  *
 240  * build CYCLE action
 241  *
 242  * CYCLE primval IN
 243  *  actionlist
 244  * END;
 245  *
 246  * gets translated to
 247  *
 248  * {
 249  *    RtsTime  now;
 250  *  label:
 251  *    __rtstime (&now);
 252  *     actionlist
 253  *    __check_cycle (&now, primval, filename, lineno);
 254  *    goto label;
 255  *  }
 256  *
 257 #endif
 258
 259 tree
 260 build_cycle_start (t)
 261     tree t;
 262 {
 263   tree purpose = build_tree_list (NULL_TREE, NULL_TREE);
 264   tree toid = build_tree_list (purpose, NULL_TREE);
 265
 266   /* define the label. Note: define_label needs to be called in
 267      pass 1 and pass 2. */
 268   TREE_VALUE (toid) = define_label (input_filename, lineno,
 269                                     get_unique_identifier ("CYCLE_label"));
 270   if (! ignoring)
 271     {
 272       tree duration_value, now_location;
 273
 274       if (t == NULL_TREE || TREE_CODE (t) == ERROR_MARK)
 275         duration_value = convert (duration_timing_type_node, build_int_2 (0,0));
 276       else
 277         duration_value = t;
 278
 279       if (TREE_TYPE (duration_value) != duration_timing_type_node)
 280         {
 281           error ("duration primitive value must be of mode DURATION.");
 282           duration_value = convert (duration_timing_type_node, build_int_2 (0,0));
 283         }
 284       TREE_PURPOSE (TREE_PURPOSE (toid)) = duration_value;
 285       /* define the variable */
 286       now_location = decl_temp1 (get_unique_identifier ("CYCLE_var"),
 287                                  rtstime_type_node, 0,
 288                                  NULL_TREE, 0, 0);
 289       TREE_VALUE (TREE_PURPOSE (toid)) = force_addr_of (now_location);
 290
 291       /* build the call to __rtstime */
 292       expand_expr_stmt (
 293         build_chill_function_call (lookup_name (get_identifier ("__rtstime")),
 294           build_tree_list (NULL_TREE, TREE_VALUE (TREE_PURPOSE (toid)))));
 295     }
 296
 297   return toid;
 298 }
 299
 300 void
 301 build_cycle_end (toid)
 302      tree toid;
 303 {
 304   tree filename, linenumber;
 305
 306   /* here we call __check_cycle and then jump to beginning of this
 307      action */
 308   filename = force_addr_of (get_chill_filename ());
 309   linenumber = get_chill_linenumber ();
 310   expand_expr_stmt (
 311     build_chill_function_call (
 312       lookup_name (get_identifier ("__check_cycle")),
 313         tree_cons (NULL_TREE, TREE_VALUE (TREE_PURPOSE (toid)),
 314           tree_cons (NULL_TREE, TREE_PURPOSE (TREE_PURPOSE (toid)),
 315             tree_cons (NULL_TREE, filename,
 316               tree_cons (NULL_TREE, linenumber, NULL_TREE))))));
 317   expand_goto (TREE_VALUE (toid));
 318 }
 319
 320 #if 0
 321  *
 322  * build AFTER ACTION
 323  *
 324  * AFTER primval [ DELAY ] IN
 325  *  action-list
 326  * TIMEOUT
 327  *  to-action-list
 328  * END
 329  *
 330  * gets translated to
 331  *
 332  * {
 333  *   struct chill_time __now;
 334  *   duration dur = primval;
 335  *   if (! delay_spceified)
 336  *     __rts_time (&__now);
 337  *     .
 338  *     .
 339  *    goto end-label;
 340  *   to-label:
 341  *     .
 342  *     .
 343  *   end-label:
 344  * }
 345  *
 346 #endif
 347
 348 void
 349 build_after_start (duration, delay_flag)
 350     tree duration;
 351     int  delay_flag;
 352 {
 353   tree value, purpose;
 354
 355   if (! ignoring)
 356     {
 357       value = tree_cons (NULL_TREE, NULL_TREE, NULL_TREE);
 358       purpose = after_stack_pass_1;
 359       after_stack_pass_1 = TREE_CHAIN (after_stack_pass_1);
 360       after_stack = tree_cons (purpose, value, after_stack);
 361
 362       if (TREE_TYPE (duration) != duration_timing_type_node)
 363         {
 364           error ("duration primitive value must be of mode DURATION.");
 365           duration = convert (duration_timing_type_node, build_int_2 (0,0));
 366         }
 367       TREE_PURPOSE (value) = decl_temp1 (get_identifier ("AFTER_duration"),
 368                                          duration_timing_type_node, 0,
 369                                          duration, 0, 0);
 370
 371       if (! delay_flag)
 372         {
 373           /* in this case we have to get the current time */
 374           TREE_VALUE (value) = decl_temp1 (get_unique_identifier ("AFTER_now"),
 375                                            rtstime_type_node, 0,
 376                                            NULL_TREE, 0, 0);
 377           /* build the function call to initialize the variable */
 378           expand_expr_stmt (
 379             build_chill_function_call (lookup_name (get_identifier ("__rtstime")),
 380               build_tree_list (NULL_TREE, force_addr_of (TREE_VALUE (value)))));
 381         }
 382     }
 383   else
 384     {
 385       /* in pass 1 we just save the labels */
 386       after_help = tree_cons (NULL_TREE, NULL_TREE, after_help);
 387       after_stack_pass_1 = chainon (after_stack_pass_1, after_help);
 388     }
 389 }
 390
 391 void
 392 build_after_timeout_start ()
 393 {
 394   tree label_name;
 395
 396   if (! ignoring)
 397     {
 398       /* jump to the end of AFTER action */
 399       lookup_and_expand_goto (TREE_PURPOSE (TREE_PURPOSE (after_stack)));
 400       label_name = TREE_VALUE (TREE_PURPOSE (after_stack));
 401       /* mark we are in TIMEOUT part of AFTER action */
 402       TREE_VALUE (TREE_PURPOSE (after_stack)) = NULL_TREE;
 403     }
 404   else
 405     {
 406       label_name = get_unique_identifier ("AFTER_tolabel");
 407       TREE_VALUE (after_help) = label_name;
 408     }
 409   define_label (input_filename, lineno, label_name);
 410 }
 411
 412 void
 413 build_after_end ()
 414 {
 415   tree label_name;
 416
 417   /* define the end label */
 418   if (! ignoring)
 419     {
 420       label_name = TREE_PURPOSE (TREE_PURPOSE (after_stack));
 421       after_stack = TREE_CHAIN (after_stack);
 422     }
 423   else
 424     {
 425       label_name = get_unique_identifier ("AFTER_endlabel");
 426       TREE_PURPOSE (after_help) = label_name;
 427       after_help = TREE_CHAIN (after_help);
 428     }
 429   define_label (input_filename, lineno, label_name);
 430 }
 431
 432 tree
 433 build_timeout_preface ()
 434 {
 435   tree timeout_value = null_pointer_node;
 436
 437   if (after_stack != NULL_TREE &&
 438       TREE_VALUE (TREE_PURPOSE (after_stack)) != NULL_TREE)
 439     {
 440       tree to_loc;
 441
 442       to_loc = decl_temp1 (get_unique_identifier ("TOloc"),
 443                            rtstime_type_node, 0, NULL_TREE, 0, 0);
 444       timeout_value = force_addr_of (to_loc);
 445
 446       if (TREE_VALUE (TREE_VALUE (after_stack)) == NULL_TREE)
 447         {
 448           /* DELAY specified -- just call __convert_duration_rtstime for
 449              given duration value */
 450           expand_expr_stmt (
 451             build_chill_function_call (
 452               lookup_name (get_identifier ("__convert_duration_rtstime")),
 453                 tree_cons (NULL_TREE, TREE_PURPOSE (TREE_VALUE (after_stack)),
 454                   tree_cons (NULL_TREE, timeout_value, NULL_TREE))));
 455         }
 456       else
 457         {
 458           /* delay not specified -- call __remaintime which returns the
 459              remaining time of duration in rtstime format and check the
 460              result */
 461           tree fcall =
 462             build_chill_function_call (
 463               lookup_name (get_identifier ("__remaintime")),
 464                 tree_cons (NULL_TREE, force_addr_of (TREE_VALUE (TREE_VALUE (after_stack))),
 465                   tree_cons (NULL_TREE, TREE_PURPOSE (TREE_VALUE (after_stack)),
 466                     tree_cons (NULL_TREE, timeout_value, NULL_TREE))));
 467           tree expr = build (NE_EXPR, integer_type_node,
 468                              fcall, integer_zero_node);
 469           expand_start_cond (expr, 0);
 470           lookup_and_expand_goto (TREE_VALUE (TREE_PURPOSE (after_stack)));
 471           expand_end_cond ();
 472         }
 473     }
 474   return timeout_value;
 475 }
 476
 477 void
 478 build_timesupervised_call (fcall, to_loc)
 479     tree fcall;
 480     tree to_loc;
 481 {
 482   if (to_loc == null_pointer_node)
 483     expand_expr_stmt (fcall);
 484   else
 485     {
 486       tree expr = build (NE_EXPR, integer_type_node, fcall, integer_zero_node);
 487       expand_start_cond (expr, 0);
 488       lookup_and_expand_goto (TREE_VALUE (TREE_PURPOSE (after_stack)));
 489       expand_end_cond ();
 490     }
 491 }