971 lines
25 KiB
C++
971 lines
25 KiB
C++
#ifndef IVL_t_dll_H
|
|
#define IVL_t_dll_H
|
|
/*
|
|
* Copyright (c) 2000-2025 Stephen Williams (steve@icarus.com)
|
|
*
|
|
* This source code is free software; you can redistribute it
|
|
* and/or modify it in source code form under the terms of the GNU
|
|
* General Public License as published by the Free Software
|
|
* Foundation; either version 2 of the License, or (at your option)
|
|
* any later version.
|
|
*
|
|
* This program 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 this program; if not, write to the Free Software
|
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
*/
|
|
|
|
# include "target.h"
|
|
# include "ivl_target.h"
|
|
# include "ivl_target_priv.h"
|
|
# include "StringHeap.h"
|
|
# include "netlist.h"
|
|
# include <vector>
|
|
# include <map>
|
|
|
|
#if defined(__MINGW32__)
|
|
#include <windows.h>
|
|
typedef void *ivl_dll_t;
|
|
#elif defined(HAVE_DLFCN_H)
|
|
# include <dlfcn.h>
|
|
typedef void* ivl_dll_t;
|
|
#elif defined(HAVE_DL_H)
|
|
# include <dl.h>
|
|
typedef shl_t ivl_dll_t;
|
|
#else
|
|
# error No DLL stub support for this target.
|
|
#endif
|
|
|
|
/*
|
|
* The DLL target type loads a named object file to handle the process
|
|
* of scanning the netlist. When it is time to start the design, I
|
|
* locate and link in the desired DLL, then start calling methods. The
|
|
* DLL will call me back to get information out of the netlist in
|
|
* particular.
|
|
*/
|
|
struct dll_target : public target_t, public expr_scan_t {
|
|
|
|
// This is a special function for loading and testing the
|
|
// version of a loadable target code generator.
|
|
void test_version(const char*target_name);
|
|
|
|
bool start_design(const Design*) override;
|
|
int end_design(const Design*) override;
|
|
|
|
bool bufz(const NetBUFZ*) override;
|
|
bool branch(const NetBranch*) override;
|
|
bool class_type(const NetScope*, netclass_t*) override;
|
|
bool enumeration(const NetScope*, netenum_t*) override;
|
|
void event(const NetEvent*) override;
|
|
void logic(const NetLogic*) override;
|
|
bool tran(const NetTran*) override;
|
|
bool ureduce(const NetUReduce*) override;
|
|
void net_case_cmp(const NetCaseCmp*) override;
|
|
void udp(const NetUDP*) override;
|
|
void lpm_abs(const NetAbs*) override;
|
|
void lpm_add_sub(const NetAddSub*) override;
|
|
bool lpm_array_dq(const NetArrayDq*) override;
|
|
bool lpm_cast_int2(const NetCastInt2*) override;
|
|
bool lpm_cast_int4(const NetCastInt4*) override;
|
|
bool lpm_cast_real(const NetCastReal*) override;
|
|
void lpm_clshift(const NetCLShift*) override;
|
|
void lpm_compare(const NetCompare*) override;
|
|
void lpm_divide(const NetDivide*) override;
|
|
void lpm_ff(const NetFF*) override;
|
|
void lpm_latch(const NetLatch*) override;
|
|
void lpm_modulo(const NetModulo*) override;
|
|
void lpm_mult(const NetMult*) override;
|
|
void lpm_mux(const NetMux*) override;
|
|
void lpm_pow(const NetPow*) override;
|
|
bool concat(const NetConcat*) override;
|
|
bool part_select(const NetPartSelect*) override;
|
|
bool replicate(const NetReplicate*) override;
|
|
void net_assign(const NetAssign_*) const;
|
|
bool net_sysfunction(const NetSysFunc*) override;
|
|
bool net_function(const NetUserFunc*) override;
|
|
bool net_const(const NetConst*) override;
|
|
bool net_literal(const NetLiteral*) override;
|
|
void net_probe(const NetEvProbe*) override;
|
|
bool sign_extend(const NetSignExtend*) override;
|
|
bool substitute(const NetSubstitute*) override;
|
|
|
|
bool process(const NetProcTop*) override;
|
|
bool process(const NetAnalogTop*) override;
|
|
void scope(const NetScope*) override;
|
|
void convert_module_ports(const NetScope*) override;
|
|
void signal(const NetNet*) override;
|
|
bool signal_paths(const NetNet*) override;
|
|
ivl_dll_t dll_;
|
|
|
|
ivl_design_s des_;
|
|
|
|
target_design_f target_;
|
|
|
|
|
|
/* These methods and members are used for forming the
|
|
statements of a thread. */
|
|
struct ivl_statement_s*stmt_cur_;
|
|
void proc_alloc(const NetAlloc*) override;
|
|
bool proc_assign(const NetAssign*) override;
|
|
void proc_assign_nb(const NetAssignNB*) override;
|
|
bool proc_block(const NetBlock*) override;
|
|
bool proc_break(const NetBreak*) override;
|
|
void proc_case(const NetCase*) override;
|
|
bool proc_cassign(const NetCAssign*) override;
|
|
bool proc_condit(const NetCondit*) override;
|
|
bool proc_continue(const NetContinue*) override;
|
|
bool proc_contribution(const NetContribution*) override;
|
|
bool proc_deassign(const NetDeassign*) override;
|
|
bool proc_delay(const NetPDelay*) override;
|
|
bool proc_disable(const NetDisable*) override;
|
|
void proc_do_while(const NetDoWhile*) override;
|
|
bool proc_force(const NetForce*) override;
|
|
void proc_forever(const NetForever*) override;
|
|
bool proc_forloop(const NetForLoop*) override;
|
|
void proc_free(const NetFree*) override;
|
|
bool proc_release(const NetRelease*) override;
|
|
void proc_repeat(const NetRepeat*) override;
|
|
void proc_stask(const NetSTask*) override;
|
|
bool proc_trigger(const NetEvTrig*) override;
|
|
bool proc_nb_trigger(const NetEvNBTrig*) override;
|
|
void proc_utask(const NetUTask*) override;
|
|
bool proc_wait(const NetEvWait*) override;
|
|
void proc_while(const NetWhile*) override;
|
|
|
|
bool func_def(const NetScope*) override;
|
|
void task_def(const NetScope*) override;
|
|
|
|
struct ivl_expr_s*expr_;
|
|
void expr_access_func(const NetEAccess*) override;
|
|
void expr_array_pattern(const NetEArrayPattern*) override;
|
|
void expr_binary(const NetEBinary*) override;
|
|
void expr_concat(const NetEConcat*) override;
|
|
void expr_const(const NetEConst*) override;
|
|
void expr_creal(const NetECReal*) override;
|
|
void expr_last(const NetELast*) override;
|
|
void expr_new(const NetENew*) override;
|
|
void expr_null(const NetENull*) override;
|
|
void expr_param(const NetEConstParam*) override;
|
|
void expr_property(const NetEProperty*) override;
|
|
void expr_rparam(const NetECRealParam*) override;
|
|
void expr_event(const NetEEvent*) override;
|
|
void expr_scope(const NetEScope*) override;
|
|
void expr_scopy(const NetEShallowCopy*) override;
|
|
void expr_netenum(const NetENetenum*) override;
|
|
void expr_select(const NetESelect*) override;
|
|
void expr_sfunc(const NetESFunc*) override;
|
|
void expr_ternary(const NetETernary*) override;
|
|
void expr_ufunc(const NetEUFunc*) override;
|
|
void expr_unary(const NetEUnary*) override;
|
|
void expr_signal(const NetESignal*) override;
|
|
|
|
ivl_scope_t lookup_scope_(const NetScope*scope);
|
|
|
|
ivl_attribute_s* fill_in_attributes(const Attrib*net);
|
|
void switch_attributes(struct ivl_switch_s *obj, const NetNode*net);
|
|
void logic_attributes(struct ivl_net_logic_s *obj, const NetNode*net);
|
|
|
|
private:
|
|
StringHeap strings_;
|
|
|
|
static ivl_scope_t find_scope(ivl_design_s &des, const NetScope*cur);
|
|
static ivl_signal_t find_signal(ivl_design_s &des, const NetNet*net);
|
|
static ivl_parameter_t scope_find_param(ivl_scope_t scope,
|
|
const char*name);
|
|
|
|
void add_root(const NetScope *s);
|
|
|
|
bool make_assign_lvals_(const NetAssignBase*net);
|
|
bool make_single_lval_(const LineInfo*li, struct ivl_lval_s*cur, const NetAssign_*asn);
|
|
void sub_off_from_expr_(long);
|
|
void mul_expr_by_const_(long);
|
|
|
|
void make_delays_(ivl_expr_t*delay, const NetObj*net);
|
|
void make_logic_delays_(struct ivl_net_logic_s*obj, const NetObj*net);
|
|
void make_switch_delays_(struct ivl_switch_s*obj, const NetObj*net);
|
|
void make_lpm_delays_(struct ivl_lpm_s*obj, const NetObj*net);
|
|
void make_const_delays_(struct ivl_net_const_s*obj, const NetObj*net);
|
|
void make_scope_parameters(ivl_scope_t scope, const NetScope*net);
|
|
void make_scope_param_expr(ivl_parameter_t cur_par, NetExpr*etmp);
|
|
|
|
ivl_event_t make_lpm_trigger(const NetEvWait*ev);
|
|
|
|
bool lpm_arith1_(ivl_lpm_type_t lpm_type, unsigned wid, bool signed_flag, const NetNode*net);
|
|
|
|
static ivl_expr_t expr_from_value_(const verinum&that);
|
|
};
|
|
|
|
extern struct dll_target dll_target_obj;
|
|
|
|
/*
|
|
* These are various private declarations used by the t-dll target.
|
|
*/
|
|
|
|
struct ivl_delaypath_s {
|
|
ivl_scope_t scope;
|
|
ivl_nexus_t src;
|
|
ivl_nexus_t condit;
|
|
bool conditional;
|
|
bool parallel;
|
|
bool posedge;
|
|
bool negedge;
|
|
uint64_t delay[12];
|
|
};
|
|
|
|
struct ivl_event_s {
|
|
perm_string name;
|
|
ivl_scope_t scope;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
unsigned nany, nneg, npos, nedg;
|
|
ivl_nexus_t*pins;
|
|
};
|
|
|
|
/*
|
|
* The ivl_expr_t is an opaque reference to one of these
|
|
* structures. This structure holds all the information we need about
|
|
* an expression node, including its type, the expression width, and
|
|
* type specific properties.
|
|
*/
|
|
struct ivl_expr_s {
|
|
ivl_expr_type_t type_;
|
|
ivl_variable_type_t value_;
|
|
ivl_type_t net_type;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
|
|
unsigned width_;
|
|
unsigned signed_ : 1;
|
|
unsigned sized_ : 1;
|
|
|
|
union {
|
|
struct {
|
|
char op_;
|
|
ivl_expr_t lef_;
|
|
ivl_expr_t rig_;
|
|
} binary_;
|
|
|
|
struct {
|
|
size_t parms;
|
|
ivl_expr_t*parm;
|
|
} array_pattern_;
|
|
|
|
struct {
|
|
ivl_select_type_t sel_type_;
|
|
ivl_expr_t expr_;
|
|
ivl_expr_t base_;
|
|
} select_;
|
|
|
|
struct {
|
|
ivl_expr_t dest;
|
|
ivl_expr_t src;
|
|
} shallow_;
|
|
|
|
struct {
|
|
ivl_branch_t branch;
|
|
ivl_nature_t nature;
|
|
} branch_;
|
|
|
|
struct {
|
|
unsigned rept;
|
|
unsigned parms;
|
|
ivl_expr_t*parm;
|
|
} concat_;
|
|
|
|
struct {
|
|
char*bits_;
|
|
ivl_parameter_t parameter;
|
|
} number_;
|
|
|
|
struct {
|
|
ivl_event_t event;
|
|
} event_;
|
|
|
|
struct {
|
|
ivl_scope_t scope;
|
|
} scope_;
|
|
|
|
struct {
|
|
ivl_enumtype_t type;
|
|
} enumtype_;
|
|
|
|
struct {
|
|
ivl_signal_t sig;
|
|
ivl_expr_t word;
|
|
} signal_;
|
|
|
|
struct {
|
|
const char *name_;
|
|
ivl_expr_t *parm;
|
|
unsigned parms;
|
|
} sfunc_;
|
|
|
|
struct {
|
|
char*value_;
|
|
ivl_parameter_t parameter;
|
|
} string_;
|
|
|
|
struct {
|
|
ivl_expr_t cond;
|
|
ivl_expr_t true_e;
|
|
ivl_expr_t false_e;
|
|
} ternary_;
|
|
|
|
struct {
|
|
ivl_memory_t mem_;
|
|
ivl_expr_t idx_;
|
|
} memory_;
|
|
|
|
struct {
|
|
ivl_scope_t def;
|
|
ivl_expr_t *parm;
|
|
unsigned parms;
|
|
} ufunc_;
|
|
|
|
struct {
|
|
unsigned long value;
|
|
} ulong_;
|
|
|
|
struct {
|
|
double value;
|
|
ivl_parameter_t parameter;
|
|
} real_;
|
|
|
|
struct {
|
|
char op_;
|
|
ivl_expr_t sub_;
|
|
} unary_;
|
|
|
|
struct {
|
|
uint64_t value;
|
|
} delay_;
|
|
|
|
struct {
|
|
ivl_expr_t size;
|
|
ivl_expr_t init_val;
|
|
} new_;
|
|
|
|
struct {
|
|
ivl_signal_t sig;
|
|
unsigned prop_idx;
|
|
ivl_expr_t index;
|
|
} property_;
|
|
} u_;
|
|
};
|
|
|
|
/*
|
|
* LPM devices are handled by this suite of types. The ivl_lpm_s
|
|
* structure holds the core, including a type code, the object name
|
|
* and scope. The other properties of the device are held in the type
|
|
* specific member of the union.
|
|
*/
|
|
|
|
struct ivl_lpm_s {
|
|
ivl_lpm_type_t type;
|
|
ivl_scope_t scope;
|
|
perm_string name;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
// Value returned by ivl_lpm_width;
|
|
unsigned width;
|
|
ivl_expr_t delay[3];
|
|
|
|
union {
|
|
struct ivl_lpm_ff_s {
|
|
unsigned negedge_flag :1;
|
|
ivl_nexus_t clk;
|
|
ivl_nexus_t we;
|
|
ivl_nexus_t aclr;
|
|
ivl_nexus_t aset;
|
|
ivl_nexus_t sclr;
|
|
ivl_nexus_t sset;
|
|
union {
|
|
ivl_nexus_t*pins;
|
|
ivl_nexus_t pin;
|
|
} q;
|
|
union {
|
|
ivl_nexus_t*pins;
|
|
ivl_nexus_t pin;
|
|
} d;
|
|
ivl_expr_t aset_value;
|
|
ivl_expr_t sset_value;
|
|
} ff;
|
|
struct ivl_lpm_latch_s {
|
|
ivl_nexus_t e;
|
|
union {
|
|
ivl_nexus_t*pins;
|
|
ivl_nexus_t pin;
|
|
} q;
|
|
union {
|
|
ivl_nexus_t*pins;
|
|
ivl_nexus_t pin;
|
|
} d;
|
|
} latch;
|
|
|
|
struct ivl_lpm_mux_s {
|
|
unsigned size;
|
|
unsigned swid;
|
|
ivl_nexus_t*d;
|
|
ivl_nexus_t q, s;
|
|
} mux;
|
|
|
|
struct ivl_lpm_shift_s {
|
|
unsigned select;
|
|
unsigned signed_flag :1;
|
|
ivl_nexus_t q, d, s;
|
|
} shift;
|
|
|
|
struct ivl_lpm_arith_s {
|
|
unsigned signed_flag :1;
|
|
ivl_nexus_t q, a, b;
|
|
} arith;
|
|
|
|
struct ivl_lpm_array_s {
|
|
ivl_signal_t sig;
|
|
unsigned swid;
|
|
ivl_nexus_t q, a;
|
|
} array;
|
|
|
|
struct ivl_concat_s {
|
|
unsigned inputs;
|
|
ivl_nexus_t*pins;
|
|
} concat;
|
|
|
|
struct ivl_part_s {
|
|
unsigned base;
|
|
unsigned signed_flag :1;
|
|
ivl_nexus_t q, a, s;
|
|
} part;
|
|
|
|
// IVL_LPM_RE_* and IVL_LPM_SIGN_EXT use this.
|
|
struct ivl_lpm_reduce_s {
|
|
ivl_nexus_t q, a;
|
|
} reduce;
|
|
|
|
struct ivl_lpm_repeat_s {
|
|
unsigned count;
|
|
ivl_nexus_t q, a;
|
|
} repeat;
|
|
|
|
struct ivl_lpm_sfunc_s {
|
|
const char* fun_name;
|
|
unsigned ports;
|
|
ivl_nexus_t*pins;
|
|
ivl_event_t trigger;
|
|
} sfunc;
|
|
|
|
struct ivl_lpm_substitute {
|
|
unsigned base;
|
|
ivl_nexus_t q, a, s;
|
|
} substitute;
|
|
|
|
struct ivl_lpm_ufunc_s {
|
|
ivl_scope_t def;
|
|
unsigned ports;
|
|
ivl_nexus_t*pins;
|
|
ivl_event_t trigger;
|
|
} ufunc;
|
|
} u_;
|
|
};
|
|
|
|
/*
|
|
* This object represents l-values to assignments. The l-value can be
|
|
* a register bit or part select, or a memory word select with a part
|
|
* select.
|
|
*/
|
|
|
|
enum ivl_lval_type_t {
|
|
IVL_LVAL_REG = 0,
|
|
IVL_LVAL_ARR = 4,
|
|
IVL_LVAL_LVAL= 5 // Nested l-value
|
|
};
|
|
|
|
struct ivl_lval_s {
|
|
ivl_expr_t loff;
|
|
ivl_select_type_t sel_type :3;
|
|
ivl_expr_t idx;
|
|
unsigned width_;
|
|
unsigned type_ : 8; /* values from ivl_lval_type_t */
|
|
int property_idx;
|
|
union {
|
|
ivl_signal_t sig;
|
|
ivl_lval_t nest; // type_ == IVL_LVAL_LVAL
|
|
} n;
|
|
};
|
|
|
|
/*
|
|
* This object represents a literal constant, possibly signed, in a
|
|
* structural context.
|
|
*/
|
|
struct ivl_net_const_s {
|
|
ivl_variable_type_t type : 4;
|
|
unsigned width_ : 24;
|
|
unsigned signed_ : 1;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
ivl_scope_t scope;
|
|
|
|
union {
|
|
double real_value;
|
|
char bit_[sizeof(char*)];
|
|
const char* bits_;
|
|
} b;
|
|
|
|
ivl_nexus_t pin_;
|
|
ivl_expr_t delay[3];
|
|
|
|
void* operator new (size_t s);
|
|
void operator delete(void*obj, size_t s); // Not implemented
|
|
};
|
|
|
|
/*
|
|
* Logic gates (just about everything that has a single output) are
|
|
* represented structurally by instances of this object.
|
|
*/
|
|
struct ivl_net_logic_s {
|
|
ivl_logic_t type_;
|
|
unsigned width_;
|
|
unsigned is_cassign;
|
|
unsigned is_port_buffer;
|
|
ivl_udp_t udp;
|
|
|
|
perm_string name_;
|
|
ivl_scope_t scope_;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
|
|
unsigned npins_;
|
|
ivl_nexus_t*pins_;
|
|
|
|
struct ivl_attribute_s*attr;
|
|
unsigned nattr;
|
|
|
|
ivl_expr_t delay[3];
|
|
};
|
|
|
|
struct ivl_switch_s {
|
|
ivl_switch_type_t type;
|
|
unsigned width;
|
|
unsigned part;
|
|
unsigned offset;
|
|
|
|
perm_string name;
|
|
ivl_scope_t scope;
|
|
ivl_island_t island;
|
|
|
|
struct ivl_attribute_s*attr;
|
|
unsigned nattr;
|
|
|
|
ivl_expr_t delay[3];
|
|
|
|
ivl_nexus_t pins[3];
|
|
perm_string file;
|
|
unsigned lineno;
|
|
};
|
|
|
|
/*
|
|
* UDP definition.
|
|
*/
|
|
struct ivl_udp_s {
|
|
perm_string name;
|
|
unsigned nin;
|
|
int sequ; /* boolean */
|
|
char init;
|
|
unsigned nrows;
|
|
typedef const char*ccharp_t;
|
|
ccharp_t*table; // zero terminated array of pointers
|
|
perm_string file;
|
|
unsigned lineno;
|
|
std::string*ports;
|
|
};
|
|
|
|
/*
|
|
* The ivl_nexus_t is a single-bit link of some number of pins of
|
|
* devices. the __nexus_ptr structure is a helper that actually does
|
|
* the pointing.
|
|
*
|
|
* The type_ member specifies which of the object pointers in the
|
|
* union are valid.
|
|
*
|
|
* The drive01 members gives the strength of the drive that the device
|
|
* is applying to the nexus, with 0 HiZ and 3 supply. If the pin is an
|
|
* input to the device, then the drives are both HiZ.
|
|
*/
|
|
struct ivl_nexus_ptr_s {
|
|
unsigned pin_;
|
|
unsigned type_ : 8;
|
|
unsigned drive0 : 3;
|
|
unsigned drive1 : 3;
|
|
union {
|
|
ivl_signal_t sig; /* type 0 */
|
|
ivl_net_logic_t log; /* type 1 */
|
|
ivl_net_const_t con; /* type 2 */
|
|
ivl_lpm_t lpm; /* type 3 */
|
|
ivl_switch_t swi; /* type 4 */
|
|
ivl_branch_t bra; /* type 5 */
|
|
} l;
|
|
};
|
|
# define __NEXUS_PTR_SIG 0
|
|
# define __NEXUS_PTR_LOG 1
|
|
# define __NEXUS_PTR_CON 2
|
|
# define __NEXUS_PTR_LPM 3
|
|
# define __NEXUS_PTR_SWI 4
|
|
# define __NEXUS_PTR_BRA 5
|
|
|
|
/*
|
|
* NOTE: ONLY allocate ivl_nexus_s objects with the included "new" operator.
|
|
*/
|
|
struct ivl_nexus_s {
|
|
ivl_nexus_s() : ptrs_(1), nexus_(0), name_(0), private_data(0) { }
|
|
std::vector<ivl_nexus_ptr_s>ptrs_;
|
|
const Nexus*nexus_;
|
|
const char*name_;
|
|
void*private_data;
|
|
|
|
void* operator new (size_t s);
|
|
void operator delete(void*obj, size_t s); // Not implemented
|
|
};
|
|
|
|
/*
|
|
* This is the implementation of a parameter. Each scope has a list of
|
|
* these.
|
|
*/
|
|
struct ivl_parameter_s {
|
|
perm_string basename;
|
|
ivl_scope_t scope;
|
|
ivl_expr_t value;
|
|
long msb;
|
|
long lsb;
|
|
bool signed_flag;
|
|
bool local;
|
|
bool is_type;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
};
|
|
/*
|
|
* All we know about a process is its type (initial or always) and the
|
|
* single statement that is it. A process also has a scope, although
|
|
* that generally only matters for VPI calls.
|
|
*/
|
|
struct ivl_process_s {
|
|
ivl_process_type_t type_ : 3;
|
|
unsigned int analog_flag : 1;
|
|
ivl_scope_t scope_;
|
|
ivl_statement_t stmt_;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
|
|
struct ivl_attribute_s*attr;
|
|
unsigned nattr;
|
|
|
|
ivl_process_t next_;
|
|
};
|
|
|
|
/*
|
|
* Scopes are kept in a tree. Each scope points to its first child,
|
|
* and also to any siblings. Thus a parent can scan all its children
|
|
* by following its child pointer, then following sibling pointers from
|
|
* there.
|
|
*/
|
|
struct ivl_scope_s {
|
|
ivl_scope_s();
|
|
|
|
ivl_scope_t parent;
|
|
std::map<hname_t,ivl_scope_t> children;
|
|
// This is just like the children map above, but in vector
|
|
// form for convenient access.
|
|
std::vector<ivl_scope_t> child;
|
|
|
|
perm_string name_;
|
|
perm_string tname_;
|
|
perm_string file;
|
|
perm_string def_file;
|
|
unsigned lineno;
|
|
unsigned def_lineno;
|
|
ivl_scope_type_t type_;
|
|
|
|
std::vector<ivl_type_t> classes;
|
|
std::vector<ivl_enumtype_t> enumerations_;
|
|
|
|
std::vector<ivl_signal_t> sigs_;
|
|
|
|
unsigned nlog_;
|
|
ivl_net_logic_t*log_;
|
|
|
|
unsigned nevent_;
|
|
ivl_event_t* event_;
|
|
|
|
unsigned nlpm_;
|
|
ivl_lpm_t* lpm_;
|
|
|
|
std::vector<struct ivl_parameter_s> param;
|
|
|
|
/* Scopes that are tasks/functions have a definition. */
|
|
ivl_statement_t def;
|
|
unsigned is_auto;
|
|
ivl_variable_type_t func_type;
|
|
bool func_signed;
|
|
unsigned func_width;
|
|
|
|
unsigned is_cell;
|
|
|
|
// Ports of Module scope (just introspection data for VPI) - actual connections
|
|
// are nets defined in u_.net (may be > 1 per module port)
|
|
std::vector<PortInfo> module_ports_info;
|
|
|
|
unsigned ports;
|
|
union {
|
|
ivl_signal_t*port;
|
|
ivl_nexus_t*nex;
|
|
NetNet**net;
|
|
} u_;
|
|
|
|
std::vector<ivl_switch_t>switches;
|
|
|
|
signed int time_precision :8;
|
|
signed int time_units :8;
|
|
|
|
struct ivl_attribute_s*attr;
|
|
unsigned nattr;
|
|
};
|
|
|
|
/*
|
|
* A signal is a thing like a wire, a reg, or whatever. It has a type,
|
|
* and if it is a port is also has a direction. Signals are collected
|
|
* into scopes (which also point back to me) and have pins that
|
|
* connect to the rest of the netlist.
|
|
*/
|
|
struct ivl_signal_s {
|
|
ivl_signal_type_t type_;
|
|
ivl_signal_port_t port_;
|
|
int module_port_index_;
|
|
ivl_discipline_t discipline;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
|
|
// This is the type for the signal
|
|
ivl_type_t net_type;
|
|
unsigned local_ : 1;
|
|
|
|
unsigned forced_net_ : 1;
|
|
|
|
/* For now, support only 0 or 1 array dimensions. */
|
|
unsigned array_dimensions_ : 8;
|
|
unsigned array_addr_swapped : 1;
|
|
|
|
/* These encode the declared packed dimensions for the
|
|
signal, in case they are needed by the run-time */
|
|
netranges_t packed_dims;
|
|
|
|
perm_string name_;
|
|
ivl_scope_t scope_;
|
|
|
|
unsigned array_words;
|
|
int array_base;
|
|
union {
|
|
ivl_nexus_t pin;
|
|
ivl_nexus_t*pins;
|
|
};
|
|
|
|
ivl_delaypath_s*path;
|
|
unsigned npath;
|
|
|
|
struct ivl_attribute_s*attr;
|
|
unsigned nattr;
|
|
};
|
|
|
|
|
|
/*
|
|
* The ivl_statement_t represents any statement. The type of statement
|
|
* is defined by the ivl_statement_type_t enumeration. Given the type,
|
|
* certain information about the statement may be available.
|
|
*/
|
|
struct ivl_statement_s {
|
|
enum ivl_statement_type_e type_;
|
|
perm_string file;
|
|
unsigned lineno;
|
|
|
|
union {
|
|
struct { /* IVL_ST_ALLOC */
|
|
ivl_scope_t scope;
|
|
} alloc_;
|
|
|
|
struct { /* IVL_ST_ASSIGN IVL_ST_ASSIGN_NB
|
|
IVL_ST_CASSIGN, IVL_ST_DEASSIGN */
|
|
unsigned lvals_;
|
|
struct ivl_lval_s*lval_;
|
|
char oper; // Operator if this is a compressed assignment.
|
|
ivl_expr_t rval_;
|
|
ivl_expr_t delay;
|
|
// The following are only for NB event control.
|
|
ivl_expr_t count;
|
|
unsigned nevent;
|
|
union {
|
|
ivl_event_t event;
|
|
ivl_event_t*events;
|
|
};
|
|
} assign_;
|
|
|
|
struct { /* IVL_ST_BLOCK, IVL_ST_FORK */
|
|
struct ivl_statement_s*stmt_;
|
|
unsigned nstmt_;
|
|
ivl_scope_t scope;
|
|
} block_;
|
|
|
|
struct { /* IVL_ST_CASE, IVL_ST_CASEX, IVL_ST_CASEZ */
|
|
ivl_case_quality_t quality;
|
|
ivl_expr_t cond;
|
|
unsigned ncase;
|
|
ivl_expr_t*case_ex;
|
|
struct ivl_statement_s*case_st;
|
|
} case_;
|
|
|
|
struct { /* IVL_ST_CONDIT */
|
|
/* This is the condition expression */
|
|
ivl_expr_t cond_;
|
|
/* This is two statements, the true and false. */
|
|
struct ivl_statement_s*stmt_;
|
|
} condit_;
|
|
|
|
struct { /* IVL_ST_CONTRIB */
|
|
ivl_expr_t lval;
|
|
ivl_expr_t rval;
|
|
} contrib_;
|
|
|
|
struct { /* IVL_ST_DELAY */
|
|
uint64_t value;
|
|
ivl_statement_t stmt_;
|
|
} delay_;
|
|
|
|
struct { /* IVL_ST_DELAYX */
|
|
ivl_expr_t expr; /* XXXX */
|
|
ivl_statement_t stmt_;
|
|
} delayx_;
|
|
|
|
struct { /* IVL_ST_DISABLE */
|
|
ivl_scope_t scope;
|
|
bool flow_control;
|
|
} disable_;
|
|
|
|
struct { /* IVL_ST_FOREVER */
|
|
ivl_statement_t stmt_;
|
|
} forever_;
|
|
|
|
struct { /* IVL_ST_FORLOOP */
|
|
ivl_statement_t init_stmt;
|
|
ivl_expr_t condition;
|
|
ivl_statement_t stmt;
|
|
ivl_statement_t step;
|
|
} forloop_;
|
|
|
|
struct { /* IVL_ST_FREE */
|
|
ivl_scope_t scope;
|
|
} free_;
|
|
|
|
struct { /* IVL_ST_STASK */
|
|
const char*name_;
|
|
ivl_sfunc_as_task_t sfunc_as_task_;
|
|
unsigned nparm_;
|
|
ivl_expr_t*parms_;
|
|
} stask_;
|
|
|
|
struct { /* IVL_ST_UTASK */
|
|
ivl_scope_t def;
|
|
} utask_;
|
|
|
|
struct { /* IVL_ST_TRIGGER IVL_ST_NB_TRIGGER IVL_ST_WAIT */
|
|
unsigned needs_t0_trigger;
|
|
unsigned nevent;
|
|
union {
|
|
ivl_event_t event;
|
|
ivl_event_t*events;
|
|
};
|
|
ivl_expr_t delay;
|
|
ivl_statement_t stmt_;
|
|
} wait_;
|
|
|
|
struct { /* IVL_ST_WHILE IVL_ST_REPEAT */
|
|
ivl_expr_t cond_;
|
|
ivl_statement_t stmt_;
|
|
} while_;
|
|
} u_;
|
|
};
|
|
|
|
/*
|
|
* The FILE_NAME function is a shorthand for attaching file/line
|
|
* information to the statement object.
|
|
*/
|
|
static inline void FILE_NAME(ivl_expr_t expr, const LineInfo*info)
|
|
{
|
|
expr->file = info->get_file();
|
|
expr->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_event_t event, const LineInfo*info)
|
|
{
|
|
event->file = info->get_file();
|
|
event->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_lpm_t lpm, const LineInfo*info)
|
|
{
|
|
lpm->file = info->get_file();
|
|
lpm->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_net_const_t net, const LineInfo*info)
|
|
{
|
|
net->file = info->get_file();
|
|
net->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_net_logic_t net, const LineInfo*info)
|
|
{
|
|
net->file = info->get_file();
|
|
net->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_parameter_t net, const LineInfo*info)
|
|
{
|
|
net->file = info->get_file();
|
|
net->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_process_t net, const LineInfo*info)
|
|
{
|
|
net->file = info->get_file();
|
|
net->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_scope_t scope, const NetScope*info)
|
|
{
|
|
scope->file = info->get_file();
|
|
scope->def_file = info->get_def_file();
|
|
scope->lineno = info->get_lineno();
|
|
scope->def_lineno = info->get_def_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_statement_t stmt, const LineInfo*info)
|
|
{
|
|
stmt->file = info->get_file();
|
|
stmt->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_switch_t net, const LineInfo*info)
|
|
{
|
|
net->file = info->get_file();
|
|
net->lineno = info->get_lineno();
|
|
}
|
|
|
|
static inline void FILE_NAME(ivl_signal_t net, const LineInfo*info)
|
|
{
|
|
net->file = info->get_file();
|
|
net->lineno = info->get_lineno();
|
|
}
|
|
|
|
#endif /* IVL_t_dll_H */
|