| 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
|
|---|