iverilog/vvp/codes.h

289 lines
11 KiB
C
Raw Normal View History

2001-03-11 01:29:38 +01:00
#ifndef __codes_H
#define __codes_H
/*
* Copyright (c) 2001-2003 Stephen Williams (steve@icarus.com)
2001-03-11 01:29:38 +01:00
*
* 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
*/
#ifdef HAVE_CVS_IDENT
#ident "$Id: codes.h,v 1.73 2005/06/02 16:02:11 steve Exp $"
2001-03-11 01:29:38 +01:00
#endif
# include "pointers.h"
# include "vvp_net.h"
# include "memory.h"
2001-03-11 01:29:38 +01:00
# include "vthread.h"
typedef bool (*vvp_code_fun)(vthread_t thr, vvp_code_t code);
/*
* These functions are implementations of executable op-codes. The
* implementation lives in the vthread.cc file so that they have
* access to the thread context.
*/
2001-03-31 03:59:58 +02:00
extern bool of_ADD(vthread_t thr, vvp_code_t code);
extern bool of_ADD_WR(vthread_t thr, vvp_code_t code);
extern bool of_ADDI(vthread_t thr, vvp_code_t code);
2001-04-01 08:12:13 +02:00
extern bool of_AND(vthread_t thr, vvp_code_t code);
extern bool of_ANDR(vthread_t thr, vvp_code_t code);
extern bool of_ASSIGN_D(vthread_t thr, vvp_code_t code);
extern bool of_ASSIGN_MEM(vthread_t thr, vvp_code_t code);
extern bool of_ASSIGN_MV(vthread_t thr, vvp_code_t code);
2002-11-08 05:59:57 +01:00
extern bool of_ASSIGN_V0(vthread_t thr, vvp_code_t code);
2005-05-07 05:15:42 +02:00
extern bool of_ASSIGN_V0X1(vthread_t thr, vvp_code_t code);
extern bool of_ASSIGN_WR(vthread_t thr, vvp_code_t code);
2001-08-27 00:59:32 +02:00
extern bool of_ASSIGN_X0(vthread_t thr, vvp_code_t code);
extern bool of_BLEND(vthread_t thr, vvp_code_t code);
extern bool of_BREAKPOINT(vthread_t thr, vvp_code_t code);
2005-05-02 00:05:21 +02:00
extern bool of_CASSIGN_LINK(vthread_t thr, vvp_code_t code);
extern bool of_CASSIGN_V(vthread_t thr, vvp_code_t code);
2002-06-02 20:55:58 +02:00
extern bool of_CMPIU(vthread_t thr, vvp_code_t code);
extern bool of_CMPS(vthread_t thr, vvp_code_t code);
extern bool of_CMPU(vthread_t thr, vvp_code_t code);
extern bool of_CMPWR(vthread_t thr, vvp_code_t code);
extern bool of_CMPX(vthread_t thr, vvp_code_t code);
extern bool of_CMPZ(vthread_t thr, vvp_code_t code);
extern bool of_CVT_IR(vthread_t thr, vvp_code_t code);
extern bool of_CVT_RI(vthread_t thr, vvp_code_t code);
2003-02-27 21:36:29 +01:00
extern bool of_CVT_VR(vthread_t thr, vvp_code_t code);
extern bool of_DEASSIGN(vthread_t thr, vvp_code_t code);
2001-03-11 01:29:38 +01:00
extern bool of_DELAY(vthread_t thr, vvp_code_t code);
2001-07-19 06:40:55 +02:00
extern bool of_DELAYX(vthread_t thr, vvp_code_t code);
2001-04-18 06:21:23 +02:00
extern bool of_DISABLE(vthread_t thr, vvp_code_t code);
2001-10-16 03:26:54 +02:00
extern bool of_DIV(vthread_t thr, vvp_code_t code);
2002-04-14 20:41:34 +02:00
extern bool of_DIV_S(vthread_t thr, vvp_code_t code);
extern bool of_DIV_WR(vthread_t thr, vvp_code_t code);
2001-03-11 01:29:38 +01:00
extern bool of_END(vthread_t thr, vvp_code_t code);
extern bool of_FORCE_LINK(vthread_t thr, vvp_code_t code);
2004-12-15 18:17:42 +01:00
extern bool of_FORCE_V(vthread_t thr, vvp_code_t code);
2001-03-30 06:55:22 +02:00
extern bool of_FORK(vthread_t thr, vvp_code_t code);
extern bool of_INV(vthread_t thr, vvp_code_t code);
extern bool of_IX_ADD(vthread_t thr, vvp_code_t code);
extern bool of_IX_GET(vthread_t thr, vvp_code_t code);
extern bool of_IX_LOAD(vthread_t thr, vvp_code_t code);
extern bool of_IX_MUL(vthread_t thr, vvp_code_t code);
extern bool of_IX_SUB(vthread_t thr, vvp_code_t code);
2001-03-20 07:16:23 +01:00
extern bool of_JMP(vthread_t thr, vvp_code_t code);
extern bool of_JMP0(vthread_t thr, vvp_code_t code);
extern bool of_JMP0XZ(vthread_t thr, vvp_code_t code);
2001-03-31 19:36:02 +02:00
extern bool of_JMP1(vthread_t thr, vvp_code_t code);
2001-03-30 06:55:22 +02:00
extern bool of_JOIN(vthread_t thr, vvp_code_t code);
extern bool of_LOAD_MEM(vthread_t thr, vvp_code_t code);
extern bool of_LOAD_MV(vthread_t thr, vvp_code_t code);
extern bool of_LOAD_NX(vthread_t thr, vvp_code_t code);
2002-11-07 03:32:39 +01:00
extern bool of_LOAD_VEC(vthread_t thr, vvp_code_t code);
extern bool of_LOAD_WR(vthread_t thr, vvp_code_t code);
extern bool of_LOAD_X(vthread_t thr, vvp_code_t code);
extern bool of_LOADI_WR(vthread_t thr, vvp_code_t code);
2001-05-24 06:20:10 +02:00
extern bool of_MOD(vthread_t thr, vvp_code_t code);
2004-06-19 17:52:53 +02:00
extern bool of_MOD_S(vthread_t thr, vvp_code_t code);
extern bool of_MOV(vthread_t thr, vvp_code_t code);
extern bool of_MUL(vthread_t thr, vvp_code_t code);
extern bool of_MUL_WR(vthread_t thr, vvp_code_t code);
2002-05-31 22:04:22 +02:00
extern bool of_MULI(vthread_t thr, vvp_code_t code);
2002-09-12 17:49:43 +02:00
extern bool of_NAND(vthread_t thr, vvp_code_t code);
extern bool of_NANDR(vthread_t thr, vvp_code_t code);
2001-03-11 01:29:38 +01:00
extern bool of_NOOP(vthread_t thr, vvp_code_t code);
2002-09-18 06:29:55 +02:00
extern bool of_NOR(vthread_t thr, vvp_code_t code);
2001-04-02 00:25:33 +02:00
extern bool of_NORR(vthread_t thr, vvp_code_t code);
extern bool of_OR(vthread_t thr, vvp_code_t code);
extern bool of_ORR(vthread_t thr, vvp_code_t code);
extern bool of_RELEASE_NET(vthread_t thr, vvp_code_t code);
extern bool of_RELEASE_REG(vthread_t thr, vvp_code_t code);
extern bool of_SET_MV(vthread_t thr, vvp_code_t code);
2002-11-07 03:32:39 +01:00
extern bool of_SET_VEC(vthread_t thr, vvp_code_t code);
extern bool of_SET_WORDR(vthread_t thr, vvp_code_t code);
extern bool of_SET_X0(vthread_t thr, vvp_code_t code);
2003-05-26 06:44:54 +02:00
extern bool of_SET_X0_X(vthread_t thr, vvp_code_t code);
2001-06-23 20:26:26 +02:00
extern bool of_SHIFTL_I0(vthread_t thr, vvp_code_t code);
extern bool of_SHIFTR_I0(vthread_t thr, vvp_code_t code);
2003-06-18 05:55:18 +02:00
extern bool of_SHIFTR_S_I0(vthread_t thr, vvp_code_t code);
2001-05-02 03:57:25 +02:00
extern bool of_SUB(vthread_t thr, vvp_code_t code);
2003-02-06 18:41:47 +01:00
extern bool of_SUB_WR(vthread_t thr, vvp_code_t code);
extern bool of_SUBI(vthread_t thr, vvp_code_t code);
extern bool of_VPI_CALL(vthread_t thr, vvp_code_t code);
2001-04-01 08:12:13 +02:00
extern bool of_WAIT(vthread_t thr, vvp_code_t code);
2001-04-15 06:07:56 +02:00
extern bool of_XNOR(vthread_t thr, vvp_code_t code);
extern bool of_XNORR(vthread_t thr, vvp_code_t code);
2001-04-15 18:37:48 +02:00
extern bool of_XOR(vthread_t thr, vvp_code_t code);
extern bool of_XORR(vthread_t thr, vvp_code_t code);
2001-03-11 01:29:38 +01:00
2001-04-13 05:55:18 +02:00
extern bool of_ZOMBIE(vthread_t thr, vvp_code_t code);
extern bool of_FORK_UFUNC(vthread_t thr, vvp_code_t code);
extern bool of_JOIN_UFUNC(vthread_t thr, vvp_code_t code);
2002-03-18 01:19:34 +01:00
extern bool of_CHUNK_LINK(vthread_t thr, vvp_code_t code);
2001-03-11 01:29:38 +01:00
/*
* This is the format of a machine code instruction.
*/
struct vvp_code_s {
vvp_code_fun opcode;
union {
unsigned long number;
vvp_net_t *net;
vvp_code_t cptr;
vvp_memory_t mem;
struct __vpiHandle*handle;
struct __vpiScope*scope;
functor_t fun_ptr;
2001-03-11 01:29:38 +01:00
};
2001-03-12 00:06:49 +01:00
union {
unsigned bit_idx[2];
vvp_net_t *net2;
vvp_code_t cptr2;
2002-03-18 01:19:34 +01:00
struct ufunc_core*ufunc_core_ptr;
};
2001-04-18 06:21:23 +02:00
};
2001-03-11 01:29:38 +01:00
/*
* This function clears the code space, ready for initialization. This
* needs to be done exactly once before any instructions are created.
*/
extern void codespace_init(void);
2001-03-11 01:29:38 +01:00
/*
* This function returns a pointer to the next free instruction in the
* code address space. The codespace_next returns a pointer to the
* next opcode that will be allocated. This is used by label
* statements to get the address that will be attached to a label in
* the code.
2001-03-11 01:29:38 +01:00
*/
extern vvp_code_t codespace_allocate(void);
extern vvp_code_t codespace_next(void);
extern vvp_code_t codespace_null(void);
2001-03-11 01:29:38 +01:00
/*
* $Log: codes.h,v $
* Revision 1.73 2005/06/02 16:02:11 steve
* Add support for notif0/1 gates.
* Make delay nodes support inertial delay.
* Add the %force/link instruction.
*
2005-05-07 05:15:42 +02:00
* Revision 1.72 2005/05/07 03:15:42 steve
* Implement non-blocking part assign.
*
2005-05-02 00:05:21 +02:00
* Revision 1.71 2005/05/01 22:05:21 steve
* Add cassign/link instruction.
*
* Revision 1.70 2005/03/03 04:33:10 steve
* Rearrange how memories are supported as vvp_vector4 arrays.
*
* Revision 1.69 2004/12/17 04:47:47 steve
* Replace single release with release/net and release/reg.
*
2004-12-15 18:17:42 +01:00
* Revision 1.68 2004/12/15 17:17:42 steve
* Add the force/v instruction.
*
* Revision 1.67 2004/12/11 02:31:29 steve
* Rework of internals to carry vectors through nexus instead
* of single bits. Make the ivl, tgt-vvp and vvp initial changes
* down this path.
*
2004-06-19 17:52:53 +02:00
* Revision 1.66 2004/06/19 15:52:53 steve
* Add signed modulus operator.
*
* Revision 1.65 2004/05/19 03:26:24 steve
* Support delayed/non-blocking assignment to reals and others.
*
* Revision 1.64 2003/07/03 20:03:36 steve
* Remove the vvp_cpoint_t indirect code pointer.
*
2003-06-18 05:55:18 +02:00
* Revision 1.63 2003/06/18 03:55:19 steve
* Add arithmetic shift operators.
*
* Revision 1.62 2003/06/17 19:17:42 steve
* Remove short int restrictions from vvp opcodes.
*
2003-05-26 06:44:54 +02:00
* Revision 1.61 2003/05/26 04:44:54 steve
* Add the set/x0/x instruction.
*
* Revision 1.60 2003/05/07 03:39:12 steve
* ufunc calls to functions can have scheduling complexities.
*
* Revision 1.59 2003/03/28 02:33:56 steve
* Add support for division of real operands.
*
2003-02-27 21:36:29 +01:00
* Revision 1.58 2003/02/27 20:36:29 steve
* Add the cvt/vr instruction.
*
2003-02-06 18:41:47 +01:00
* Revision 1.57 2003/02/06 17:41:47 steve
* Add the %sub/wr instruction.
*
* Revision 1.56 2003/01/26 18:16:22 steve
* Add %cvt/ir and %cvt/ri instructions, and support
* real values passed as arguments to VPI tasks.
*
* Revision 1.55 2003/01/25 23:48:06 steve
* Add thread word array, and add the instructions,
* %add/wr, %cmp/wr, %load/wr, %mul/wr and %set/wr.
*
* Revision 1.54 2002/11/21 22:43:13 steve
* %set/x0 instruction to support bounds checking.
*
2002-11-08 05:59:57 +01:00
* Revision 1.53 2002/11/08 04:59:57 steve
* Add the %assign/v0 instruction.
*
2002-11-07 03:32:39 +01:00
* Revision 1.52 2002/11/07 02:32:39 steve
* Add vector set and load instructions.
*
2002-09-18 06:29:55 +02:00
* Revision 1.51 2002/09/18 04:29:55 steve
* Add support for binary NOR operator.
*
2002-09-12 17:49:43 +02:00
* Revision 1.50 2002/09/12 15:49:43 steve
* Add support for binary nand operator.
*
* Revision 1.49 2002/08/28 18:38:07 steve
* Add the %subi instruction, and use it where possible.
*
* Revision 1.48 2002/08/28 17:15:06 steve
* Add the %load/nx opcode to index vpi nets.
*
* Revision 1.47 2002/08/22 03:38:40 steve
* Fix behavioral eval of x?a:b expressions.
*
* Revision 1.46 2002/08/12 01:35:07 steve
* conditional ident string using autoconfig.
*
* Revision 1.45 2002/07/05 02:50:58 steve
* Remove the vpi object symbol table after compile.
*
2002-06-02 20:55:58 +02:00
* Revision 1.44 2002/06/02 18:55:58 steve
* Add %cmpi/u instruction.
*
2002-05-31 22:04:22 +02:00
* Revision 1.43 2002/05/31 20:04:22 steve
* Add the %muli instruction.
*
* Revision 1.42 2002/05/31 04:09:58 steve
* Slight improvement in %mov performance.
*
* Revision 1.41 2002/05/29 16:29:34 steve
* Add %addi, which is faster to simulate.
*
* Revision 1.40 2002/04/21 22:29:49 steve
* Add the assign/d instruction for computed delays.
*
2002-04-14 20:41:34 +02:00
* Revision 1.39 2002/04/14 18:41:34 steve
* Support signed integer division.
2001-03-11 01:29:38 +01:00
*/
#endif