diff options
Diffstat (limited to 'gcc/ch/timing.c')
| -rw-r--r-- | gcc/ch/timing.c | 491 |
1 files changed, 0 insertions, 491 deletions
diff --git a/gcc/ch/timing.c b/gcc/ch/timing.c deleted file mode 100644 index 432ded2..0000000 --- a/gcc/ch/timing.c +++ /dev/null @@ -1,491 +0,0 @@ -/* Implement timing-related actions for CHILL. - Copyright (C) 1992, 1993, 1994, 1998, 2000, 2001 - Free Software Foundation, Inc. - -This file is part of GNU CC. - -GNU CC is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2, or (at your option) -any later version. - -GNU CC is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GNU CC; see the file COPYING. If not, write to -the Free Software Foundation, 59 Temple Place - Suite 330, -Boston, MA 02111-1307, USA. */ - -#include "config.h" -#include "system.h" -#include "tree.h" -#include "rtl.h" -#include "ch-tree.h" -#include "flags.h" -#include "input.h" -#include "obstack.h" -#include "lex.h" -#include "toplev.h" - -/* set non-zero if input text is forced to lowercase */ -extern int ignore_case; - -/* set non-zero if special words are to be entered in uppercase */ -extern int special_UC; - -/* timing modes */ -tree abs_timing_type_node; -tree duration_timing_type_node; - -/* rts time type */ -static tree rtstime_type_node = NULL_TREE; - -/* the stack for AFTER primval [ DELAY ] IN - and has following layout - - TREE_VALUE (TREE_VALUE (after_stack)) = current time or NULL_TREE (if DELAY specified) - TREE_PURPOSE (TREE_VALUE (after_stack)) = the duration location - TREE_VALUE (TREE_PURPOSE (after_stack)) = label at TIMEOUT - TREE_PURPOSE (TREE_PURPOSE (after_stack)) = label at the end of AFTER action -*/ -tree after_stack = NULL_TREE; - -/* in pass 1 we need a separate list for the labels */ -static tree after_stack_pass_1 = NULL_TREE; -static tree after_help; - -void -timing_init () -{ - tree ptr_ftype_durt_ptr_int; - tree int_ftype_abst_ptr_int; - tree void_ftype_ptr; - tree long_ftype_int_int_int_int_int_int_int_ptr_int; - tree void_ftype_abstime_ptr; - tree int_ftype_ptr_durt_ptr; - tree void_ftype_durt_ptr; - tree void_ftype_ptr_durt_ptr_int; - tree temp; - tree endlink; - tree ulong_type; - - ulong_type = TREE_TYPE (lookup_name ( - get_identifier ((ignore_case || ! special_UC ) ? - "ulong" : "ULONG"))); - - /* build modes for TIME and DURATION */ - duration_timing_type_node = make_unsigned_type (LONG_TYPE_SIZE); - temp = pushdecl (build_decl (TYPE_DECL, ridpointers[(int)RID_DURATION], - duration_timing_type_node)); - SET_CH_NOVELTY_NONNIL (duration_timing_type_node, temp); - abs_timing_type_node = make_unsigned_type (LONG_TYPE_SIZE); - temp = pushdecl (build_decl (TYPE_DECL, ridpointers[(int)RID_TIME], - abs_timing_type_node)); - SET_CH_NOVELTY_NONNIL (abs_timing_type_node, temp); - - /* the mode of time the runtimesystem returns */ - if (rtstime_type_node == NULL_TREE) - { - tree decl1, decl2, result; - - decl1 = build_decl (FIELD_DECL, - get_identifier ("secs"), - ulong_type); - DECL_INITIAL (decl1) = NULL_TREE; - decl2 = build_decl (FIELD_DECL, - get_identifier ("nsecs"), - ulong_type); - DECL_INITIAL (decl2) = NULL_TREE; - TREE_CHAIN (decl2) = NULL_TREE; - TREE_CHAIN (decl1) = decl2; - - result = build_chill_struct_type (decl1); - pushdecl (temp = build_decl (TYPE_DECL, - get_identifier ("__tmp_rtstime"), result)); - DECL_SOURCE_LINE (temp) = 0; - satisfy_decl (temp, 0); - rtstime_type_node = TREE_TYPE (temp); - } - - endlink = void_list_node; - - ptr_ftype_durt_ptr_int - = build_function_type (ptr_type_node, - tree_cons (NULL_TREE, duration_timing_type_node, - tree_cons (NULL_TREE, ptr_type_node, - tree_cons (NULL_TREE, integer_type_node, - endlink)))); - - int_ftype_abst_ptr_int - = build_function_type (integer_type_node, - tree_cons (NULL_TREE, abs_timing_type_node, - tree_cons (NULL_TREE, ptr_type_node, - tree_cons (NULL_TREE, integer_type_node, - endlink)))); - - void_ftype_ptr - = build_function_type (void_type_node, - tree_cons (NULL_TREE, ptr_type_node, - endlink)); - - long_ftype_int_int_int_int_int_int_int_ptr_int - = build_function_type (abs_timing_type_node, - tree_cons (NULL_TREE, integer_type_node, - tree_cons (NULL_TREE, integer_type_node, - tree_cons (NULL_TREE, integer_type_node, - tree_cons (NULL_TREE, integer_type_node, - tree_cons (NULL_TREE, integer_type_node, - tree_cons (NULL_TREE, integer_type_node, - tree_cons (NULL_TREE, integer_type_node, - tree_cons (NULL_TREE, ptr_type_node, - tree_cons (NULL_TREE, integer_type_node, - endlink)))))))))); - - void_ftype_abstime_ptr - = build_function_type (void_type_node, - tree_cons (NULL_TREE, abs_timing_type_node, - tree_cons (NULL_TREE, ptr_type_node, - endlink))); - - int_ftype_ptr_durt_ptr - = build_function_type (integer_type_node, - tree_cons (NULL_TREE, ptr_type_node, - tree_cons (NULL_TREE, duration_timing_type_node, - tree_cons (NULL_TREE, ptr_type_node, - endlink)))); - - void_ftype_durt_ptr - = build_function_type (void_type_node, - tree_cons (NULL_TREE, duration_timing_type_node, - tree_cons (NULL_TREE, ptr_type_node, - endlink))); - - void_ftype_ptr_durt_ptr_int - = build_function_type (void_type_node, - tree_cons (NULL_TREE, ptr_type_node, - tree_cons (NULL_TREE, duration_timing_type_node, - tree_cons (NULL_TREE, ptr_type_node, - tree_cons (NULL_TREE, integer_type_node, - endlink))))); - - builtin_function ("_abstime", long_ftype_int_int_int_int_int_int_int_ptr_int, - 0, NOT_BUILT_IN, NULL_PTR); - builtin_function ("__check_cycle", void_ftype_ptr_durt_ptr_int, - 0, NOT_BUILT_IN, NULL_PTR); - builtin_function ("__convert_duration_rtstime", void_ftype_durt_ptr, - 0, NOT_BUILT_IN, NULL_PTR); - builtin_function ("__define_timeout", ptr_ftype_durt_ptr_int, - 0, NOT_BUILT_IN, NULL_PTR); - builtin_function ("_inttime", void_ftype_abstime_ptr, - 0, NOT_BUILT_IN, NULL_PTR); - builtin_function ("__remaintime", int_ftype_ptr_durt_ptr, - 0, NOT_BUILT_IN, NULL_PTR); - builtin_function ("__rtstime", void_ftype_ptr, - 0, NOT_BUILT_IN, NULL_PTR); - builtin_function ("__wait_until", int_ftype_abst_ptr_int, - 0, NOT_BUILT_IN, NULL_PTR); -} - -/* - * - * build AT action - * - * AT primval IN - * ok-actionlist - * TIMEOUT - * to-actionlist - * END; - * - * gets translated to - * - * if (__wait_until (primval) == 0) - * ok-actionlist - * else - * to-action-list - * - */ - -void -build_at_action (t) - tree t; -{ - tree abstime, expr, filename, fcall; - - if (t == NULL_TREE || TREE_CODE (t) == ERROR_MARK) - abstime = convert (abs_timing_type_node, build_int_2 (0, 0)); - else - abstime = t; - - if (TREE_TYPE (abstime) != abs_timing_type_node) - { - error ("absolute time value must be of mode TIME"); - abstime = convert (abs_timing_type_node, build_int_2 (0, 0)); - } - filename = force_addr_of (get_chill_filename ()); - fcall = build_chill_function_call ( - lookup_name (get_identifier ("__wait_until")), - tree_cons (NULL_TREE, abstime, - tree_cons (NULL_TREE, filename, - tree_cons (NULL_TREE, get_chill_linenumber (), NULL_TREE)))); - expr = build (EQ_EXPR, integer_type_node, fcall, integer_zero_node); - expand_start_cond (expr, 0); - emit_line_note (input_filename, lineno); -} - -/* - * - * build CYCLE action - * - * CYCLE primval IN - * actionlist - * END; - * - * gets translated to - * - * { - * RtsTime now; - * label: - * __rtstime (&now); - * actionlist - * __check_cycle (&now, primval, filename, lineno); - * goto label; - * } - * - */ - -tree -build_cycle_start (t) - tree t; -{ - tree purpose = build_tree_list (NULL_TREE, NULL_TREE); - tree toid = build_tree_list (purpose, NULL_TREE); - - /* define the label. Note: define_label needs to be called in - pass 1 and pass 2. */ - TREE_VALUE (toid) = define_label (input_filename, lineno, - get_unique_identifier ("CYCLE_label")); - if (! ignoring) - { - tree duration_value, now_location; - - if (t == NULL_TREE || TREE_CODE (t) == ERROR_MARK) - duration_value = convert (duration_timing_type_node, build_int_2 (0,0)); - else - duration_value = t; - - if (TREE_TYPE (duration_value) != duration_timing_type_node) - { - error ("duration primitive value must be of mode DURATION"); - duration_value = convert (duration_timing_type_node, build_int_2 (0,0)); - } - TREE_PURPOSE (TREE_PURPOSE (toid)) = duration_value; - /* define the variable */ - now_location = decl_temp1 (get_unique_identifier ("CYCLE_var"), - rtstime_type_node, 0, - NULL_TREE, 0, 0); - TREE_VALUE (TREE_PURPOSE (toid)) = force_addr_of (now_location); - - /* build the call to __rtstime */ - expand_expr_stmt ( - build_chill_function_call (lookup_name (get_identifier ("__rtstime")), - build_tree_list (NULL_TREE, TREE_VALUE (TREE_PURPOSE (toid))))); - } - - return toid; -} - -void -build_cycle_end (toid) - tree toid; -{ - tree filename, linenumber; - - /* here we call __check_cycle and then jump to beginning of this - action */ - filename = force_addr_of (get_chill_filename ()); - linenumber = get_chill_linenumber (); - expand_expr_stmt ( - build_chill_function_call ( - lookup_name (get_identifier ("__check_cycle")), - tree_cons (NULL_TREE, TREE_VALUE (TREE_PURPOSE (toid)), - tree_cons (NULL_TREE, TREE_PURPOSE (TREE_PURPOSE (toid)), - tree_cons (NULL_TREE, filename, - tree_cons (NULL_TREE, linenumber, NULL_TREE)))))); - expand_goto (TREE_VALUE (toid)); -} - -/* - * - * build AFTER ACTION - * - * AFTER primval [ DELAY ] IN - * action-list - * TIMEOUT - * to-action-list - * END - * - * gets translated to - * - * { - * struct chill_time __now; - * duration dur = primval; - * if (! delay_spceified) - * __rts_time (&__now); - * . - * . - * goto end-label; - * to-label: - * . - * . - * end-label: - * } - * - */ - -void -build_after_start (duration, delay_flag) - tree duration; - int delay_flag; -{ - tree value, purpose; - - if (! ignoring) - { - value = tree_cons (NULL_TREE, NULL_TREE, NULL_TREE); - purpose = after_stack_pass_1; - after_stack_pass_1 = TREE_CHAIN (after_stack_pass_1); - after_stack = tree_cons (purpose, value, after_stack); - - if (TREE_TYPE (duration) != duration_timing_type_node) - { - error ("duration primitive value must be of mode DURATION"); - duration = convert (duration_timing_type_node, build_int_2 (0,0)); - } - TREE_PURPOSE (value) = decl_temp1 (get_identifier ("AFTER_duration"), - duration_timing_type_node, 0, - duration, 0, 0); - - if (! delay_flag) - { - /* in this case we have to get the current time */ - TREE_VALUE (value) = decl_temp1 (get_unique_identifier ("AFTER_now"), - rtstime_type_node, 0, - NULL_TREE, 0, 0); - /* build the function call to initialize the variable */ - expand_expr_stmt ( - build_chill_function_call (lookup_name (get_identifier ("__rtstime")), - build_tree_list (NULL_TREE, force_addr_of (TREE_VALUE (value))))); - } - } - else - { - /* in pass 1 we just save the labels */ - after_help = tree_cons (NULL_TREE, NULL_TREE, after_help); - after_stack_pass_1 = chainon (after_stack_pass_1, after_help); - } -} - -void -build_after_timeout_start () -{ - tree label_name; - - if (! ignoring) - { - /* jump to the end of AFTER action */ - lookup_and_expand_goto (TREE_PURPOSE (TREE_PURPOSE (after_stack))); - label_name = TREE_VALUE (TREE_PURPOSE (after_stack)); - /* mark we are in TIMEOUT part of AFTER action */ - TREE_VALUE (TREE_PURPOSE (after_stack)) = NULL_TREE; - } - else - { - label_name = get_unique_identifier ("AFTER_tolabel"); - TREE_VALUE (after_help) = label_name; - } - define_label (input_filename, lineno, label_name); -} - -void -build_after_end () -{ - tree label_name; - - /* define the end label */ - if (! ignoring) - { - label_name = TREE_PURPOSE (TREE_PURPOSE (after_stack)); - after_stack = TREE_CHAIN (after_stack); - } - else - { - label_name = get_unique_identifier ("AFTER_endlabel"); - TREE_PURPOSE (after_help) = label_name; - after_help = TREE_CHAIN (after_help); - } - define_label (input_filename, lineno, label_name); -} - -tree -build_timeout_preface () -{ - tree timeout_value = null_pointer_node; - - if (after_stack != NULL_TREE && - TREE_VALUE (TREE_PURPOSE (after_stack)) != NULL_TREE) - { - tree to_loc; - - to_loc = decl_temp1 (get_unique_identifier ("TOloc"), - rtstime_type_node, 0, NULL_TREE, 0, 0); - timeout_value = force_addr_of (to_loc); - - if (TREE_VALUE (TREE_VALUE (after_stack)) == NULL_TREE) - { - /* DELAY specified -- just call __convert_duration_rtstime for - given duration value */ - expand_expr_stmt ( - build_chill_function_call ( - lookup_name (get_identifier ("__convert_duration_rtstime")), - tree_cons (NULL_TREE, TREE_PURPOSE (TREE_VALUE (after_stack)), - tree_cons (NULL_TREE, timeout_value, NULL_TREE)))); - } - else - { - /* delay not specified -- call __remaintime which returns the - remaining time of duration in rtstime format and check the - result */ - tree fcall = - build_chill_function_call ( - lookup_name (get_identifier ("__remaintime")), - tree_cons (NULL_TREE, force_addr_of (TREE_VALUE (TREE_VALUE (after_stack))), - tree_cons (NULL_TREE, TREE_PURPOSE (TREE_VALUE (after_stack)), - tree_cons (NULL_TREE, timeout_value, NULL_TREE)))); - tree expr = build (NE_EXPR, integer_type_node, - fcall, integer_zero_node); - expand_start_cond (expr, 0); - lookup_and_expand_goto (TREE_VALUE (TREE_PURPOSE (after_stack))); - expand_end_cond (); - } - } - return timeout_value; -} - -void -build_timesupervised_call (fcall, to_loc) - tree fcall; - tree to_loc; -{ - if (to_loc == null_pointer_node) - expand_expr_stmt (fcall); - else - { - tree expr = build (NE_EXPR, integer_type_node, fcall, integer_zero_node); - expand_start_cond (expr, 0); - lookup_and_expand_goto (TREE_VALUE (TREE_PURPOSE (after_stack))); - expand_end_cond (); - } -} |