[18] | 1 | /* |
---|
| 2 | |
---|
| 3 | Copyright (c) 1992, 1993 |
---|
| 4 | Regents of the University of California |
---|
| 5 | All rights reserved. |
---|
| 6 | |
---|
| 7 | Use and copying of this software and preparation of derivative works |
---|
| 8 | based upon this software are permitted. However, any distribution of |
---|
| 9 | this software or derivative works must include the above copyright |
---|
| 10 | notice. |
---|
| 11 | |
---|
| 12 | This software is made available AS IS, and neither the Electronics |
---|
| 13 | Research Laboratory or the Universify of California make any |
---|
| 14 | warranty about the software, its performance or its conformity to |
---|
| 15 | any specification. |
---|
| 16 | |
---|
| 17 | Author: Szu-Tsung Cheng, stcheng@ic.Berkeley.EDU |
---|
| 18 | 10/92 |
---|
| 19 | 10/93 |
---|
| 20 | |
---|
| 21 | $Header: /projects/development/hsv/CVSRepository/vl2mv/src/parser/vl_create.h,v 1.3 2009/03/09 20:25:57 fabio Exp $ |
---|
| 22 | |
---|
| 23 | |
---|
| 24 | */ |
---|
| 25 | |
---|
| 26 | |
---|
| 27 | |
---|
| 28 | |
---|
| 29 | #ifndef VL_CREATE_H |
---|
| 30 | #define VL_CREATE_H |
---|
| 31 | |
---|
| 32 | #include "util.h" |
---|
| 33 | |
---|
| 34 | EXTERN vl_desc *vl_create_desc ARGS((char *)); |
---|
| 35 | EXTERN vl_type *vl_create_typedecl ARGS((char *, vl_type_specifier *)); |
---|
| 36 | EXTERN vl_type_specifier *vl_create_type_specifier ARGS((short, vl_enum_type*)); |
---|
| 37 | EXTERN vl_enum_type *vl_create_enum_type ARGS((char *, lsList)); |
---|
| 38 | EXTERN vl_enumerator *vl_create_enumerator ARGS((char *, int)); |
---|
| 39 | EXTERN vl_module *vl_create_module ARGS((vl_id_range *, lsList, lsList)); |
---|
| 40 | EXTERN vl_module *vl_copy_rename_module ARGS((vl_module*, char*)); |
---|
| 41 | EXTERN vl_primitive *vl_create_primitive ARGS((vl_id_range*, lsList, lsList, lsList)); |
---|
| 42 | EXTERN vl_prim_entry *vl_create_prim_entry ARGS((lsList, unsigned char, |
---|
| 43 | unsigned char)); |
---|
| 44 | EXTERN vl_decl *vl_create_basicdecl ARGS((short, lsList)); |
---|
| 45 | EXTERN vl_rangedecl *vl_create_rangedecl ARGS((vl_type *, short, vl_range*, lsList, int)); |
---|
| 46 | EXTERN vl_paramdecl *vl_create_paramdecl ARGS((short, lsList)); |
---|
| 47 | EXTERN vl_netdecl *vl_create_netdecl ARGS((vl_type *, short, int, vl_range *, vl_delay *, lsList)); |
---|
| 48 | EXTERN vl_netdecl *vl_create_netdecl_assigned ARGS((vl_type *, short, int, vl_range *, vl_delay *, lsList)); |
---|
| 49 | EXTERN vl_task *vl_create_task ARGS((vl_id_range*, lsList, lsList)); |
---|
| 50 | EXTERN vl_function *vl_create_function ARGS((short, vl_range *, vl_id_range*, lsList, lsList)); |
---|
| 51 | EXTERN vl_gate_inst_list *vl_create_gate_inst_list ARGS((short, int, vl_delay *, lsList)); |
---|
| 52 | EXTERN vl_gate_inst *vl_create_gate_inst ARGS((vl_id_range*, lsList)); |
---|
| 53 | EXTERN vl_mod_prim_inst *vl_create_prim_inst ARGS((vl_id_range*, vl_expr*)); |
---|
| 54 | EXTERN vl_procstmt *vl_create_procstmt ARGS((short, void*)); |
---|
| 55 | EXTERN vl_begin_end_stmt *vl_create_begin_end_stmt ARGS((vl_id_range*, void*, void*)); |
---|
| 56 | EXTERN vl_if_else_stmt *vl_create_if_else_stmt ARGS((vl_expr *, void *, void *else_)); |
---|
| 57 | EXTERN vl_case_stmt *vl_create_case_stmt ARGS((short, vl_expr*, lsList)); |
---|
| 58 | EXTERN vl_forever_stmt *vl_create_forever_stmt ARGS((void *)); |
---|
| 59 | EXTERN vl_repeat_stmt *vl_create_repeat_stmt ARGS((vl_expr *, void *)); |
---|
| 60 | EXTERN vl_while_stmt *vl_create_while_stmt ARGS((vl_expr *, void *)); |
---|
| 61 | EXTERN vl_for_stmt *vl_create_for_stmt ARGS((vl_bassign_stmt *, vl_expr *, vl_bassign_stmt *, void *)); |
---|
| 62 | EXTERN vl_delay_control_stmt *vl_create_delay_control_stmt ARGS((vl_delay *, void *)); |
---|
| 63 | EXTERN vl_event_control_stmt *vl_create_event_control_stmt ARGS((vl_event_expr *, void *)); |
---|
| 64 | EXTERN vl_cont_assign *vl_create_cont_assign_stmt ARGS((int, vl_delay *, lsList)); |
---|
| 65 | EXTERN vl_bassign_stmt *vl_create_bassign_stmt ARGS((short, vl_lval *, void *, vl_expr *)); |
---|
| 66 | EXTERN vl_wait_stmt *vl_create_wait_stmt ARGS((vl_expr *, void *)); |
---|
| 67 | EXTERN vl_fork_join_stmt *vl_create_fork_join_stmt ARGS((vl_id_range*, void *, void *)); |
---|
| 68 | EXTERN vl_task_enable_stmt *vl_create_task_enable_stmt ARGS((short, vl_id_range*, lsList)); |
---|
| 69 | EXTERN vl_disable_stmt *vl_create_disable_stmt ARGS((vl_id_range*)); |
---|
| 70 | EXTERN vl_deassign_stmt *vl_create_deassign_stmt ARGS((vl_lval *)); |
---|
| 71 | EXTERN vl_case_item *vl_create_case_item ARGS((short, lsList, void *)); |
---|
| 72 | EXTERN vl_event_expr *vl_create_event_expr ARGS((short, vl_expr *)); |
---|
| 73 | EXTERN vl_lval *vl_create_lval ARGS((short, vl_id_range*, vl_range *, lsList)); |
---|
| 74 | EXTERN vl_expr *vl_create_expr ARGS((short, int, double, void *, void *, void *)); |
---|
| 75 | EXTERN vl_delay *vl_create_delay ARGS((vl_expr *, vl_expr *, vl_expr *)); |
---|
| 76 | EXTERN vl_id_range*vl_create_id ARGS((char *)); |
---|
| 77 | |
---|
| 78 | |
---|
| 79 | EXTERN vl_range_or_typePtr vl_create_range_or_type ARGS((short, vl_rangePtr)); |
---|
| 80 | EXTERN vl_id_rangePtr vl_create_id_range ARGS((char*, vl_range*)); |
---|
| 81 | EXTERN vl_rangePtr vl_create_range ARGS((vl_expr *, vl_expr *)); |
---|
| 82 | EXTERN vl_port *vl_create_port ARGS((short, vl_id_range*, lsList)); |
---|
| 83 | EXTERN vl_port_connect *vl_create_port_connect ARGS((short, vl_id_range*, vl_expr *)); |
---|
| 84 | EXTERN vl_send_event_stmt *vl_create_send_event_stmt ARGS((vl_id_range*)); |
---|
| 85 | EXTERN typestruct *vl_add_find_mod_prim_instances ARGS((vl_id_range*, vl_delay *, int, lsList)); |
---|
| 86 | EXTERN vl_mod_prim_inst_list *vl_create_mod_prim_inst_list ARGS((vl_id_range*, int, vl_delay *, lsList)); |
---|
| 87 | |
---|
| 88 | |
---|
| 89 | EXTERN vl_term *vl_create_term ARGS((vl_id_range*, int, int)); |
---|
| 90 | EXTERN symbolic_var *vl_create_symbolic_var ARGS((char*)); |
---|
| 91 | EXTERN char *new_pc ARGS(()); |
---|
| 92 | EXTERN lsList get_lhs_ids ARGS((lsList)); |
---|
| 93 | |
---|
| 94 | |
---|
| 95 | EXTERN blif_latch *create_latch ARGS((vl_id_range*, vl_term*, vl_term*)); |
---|
| 96 | EXTERN vl_term *create_rename_term ARGS((vl_id_range*, char*, int, int)); |
---|
| 97 | EXTERN syndrome_expr *create_syndrome_expr ARGS((char*, vl_term*, st_table*, int)); |
---|
| 98 | EXTERN const_term *create_const_term ARGS((vl_expr*, vl_term*)); |
---|
| 99 | EXTERN vl_term *new_term ARGS((vl_range*, int, int)); |
---|
| 100 | EXTERN vl_term *typed_new_term ARGS((vl_type*, vl_range*, int, int)); |
---|
| 101 | EXTERN multi_concat *vl_create_mconcat ARGS((vl_expr*, lsList)); |
---|
| 102 | |
---|
| 103 | |
---|
| 104 | EXTERN vl_id_range *vl_copy_id_range ARGS((vl_id_range *)); |
---|
| 105 | EXTERN vl_term *vl_copy_term ARGS((vl_term *)); |
---|
| 106 | EXTERN var_info *copy_var_info ARGS((var_info*)); |
---|
| 107 | EXTERN var_info *create_var_info ARGS((vl_id_range*, vl_term*)); |
---|
| 108 | |
---|
| 109 | |
---|
| 110 | |
---|
| 111 | EXTERN void vl_free_id ARGS((vl_id_range*)); |
---|
| 112 | EXTERN void vl_free_term ARGS((vl_term *)); |
---|
| 113 | EXTERN void free_var_info ARGS((var_info*)); |
---|
| 114 | EXTERN vl_mod_prim_inst *vl_create_mod_prim_inst ARGS((vl_id_range *name, |
---|
| 115 | lsList ports)); |
---|
| 116 | |
---|
| 117 | #endif |
---|