1 /*******************************************************************
3 ** Forth Inspired Command Language
4 ** Author: John Sadler (john_sadler@alum.mit.edu)
5 ** Created: 16 Oct 1997
6 ** Ficl system dependent types and prototypes...
8 ** Note: Ficl also depends on the use of "assert" when
9 ** FICL_ROBUST is enabled. This may require some consideration
10 ** in firmware systems since assert often
11 ** assumes stderr/stdout.
12 ** $Id: sysdep.h,v 1.6 2001-04-26 21:41:55-07 jsadler Exp jsadler $
13 *******************************************************************/
15 ** Copyright (c) 1997-2001 John Sadler (john_sadler@alum.mit.edu)
16 ** All rights reserved.
18 ** Get the latest Ficl release at http://ficl.sourceforge.net
20 ** L I C E N S E and D I S C L A I M E R
22 ** Redistribution and use in source and binary forms, with or without
23 ** modification, are permitted provided that the following conditions
25 ** 1. Redistributions of source code must retain the above copyright
26 ** notice, this list of conditions and the following disclaimer.
27 ** 2. Redistributions in binary form must reproduce the above copyright
28 ** notice, this list of conditions and the following disclaimer in the
29 ** documentation and/or other materials provided with the distribution.
31 ** THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
32 ** ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
33 ** IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
34 ** ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
35 ** FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
36 ** DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
37 ** OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
38 ** HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
39 ** LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
40 ** OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
43 ** I am interested in hearing from anyone who uses ficl. If you have
44 ** a problem, a success story, a defect, an enhancement request, or
45 ** if you would like to contribute to the ficl release, please send
46 ** contact me by email at the address above.
48 ** $Id: sysdep.h,v 1.6 2001-04-26 21:41:55-07 jsadler Exp jsadler $
51 #if !defined (__SYSDEP_H__)
54 #include <sys/types.h>
56 #include <stddef.h> /* size_t, NULL */
60 #if !defined IGNORE /* Macro to silence unused param warnings */
65 ** TRUE and FALSE for C boolean operations, and
66 ** portable 32 bit types for CELLs
78 ** System dependent data type declarations...
85 #define UNS32 uint32_t
89 #define UNS16 uint16_t
93 #define UNS8 unsigned char
97 #define NULL ((void *)0)
101 ** FICL_UNS and FICL_INT must have the same size as a void* on
102 ** the target system. A CELL is a union of void*, FICL_UNS, and
104 ** (11/2000: same for FICL_FLOAT)
106 #if !defined FICL_INT
107 #define FICL_INT INT32
110 #if !defined FICL_UNS
111 #define FICL_UNS UNS32
114 #if !defined FICL_FLOAT
115 #define FICL_FLOAT float
119 ** Ficl presently supports values of 32 and 64 for BITS_PER_CELL
121 #if !defined BITS_PER_CELL
122 #define BITS_PER_CELL 32
125 #if ((BITS_PER_CELL != 32) && (BITS_PER_CELL != 64))
155 ** B U I L D C O N T R O L S
158 #if !defined (FICL_MINIMAL)
159 #define FICL_MINIMAL 0
162 #define FICL_WANT_SOFTWORDS 0
163 #define FICL_WANT_FILE 0
164 #define FICL_WANT_FLOAT 0
165 #define FICL_WANT_USER 0
166 #define FICL_WANT_LOCALS 0
167 #define FICL_WANT_DEBUGGER 0
168 #define FICL_WANT_OOP 0
169 #define FICL_PLATFORM_EXTEND 0
170 #define FICL_MULTITHREAD 0
171 #define FICL_ROBUST 1
172 #define FICL_EXTENDED_PREFIX 0
176 ** FICL_PLATFORM_EXTEND
177 ** Includes words defined in ficlCompilePlatform
179 #if !defined (FICL_PLATFORM_EXTEND)
180 #define FICL_PLATFORM_EXTEND 1
185 ** Includes the FILE and FILE-EXT wordset and associated code. Turn this off if you do not
186 ** have a filesystem!
187 ** Contributed by Larry Hastings
189 #if !defined (FICL_WANT_FILE)
190 #define FICL_WANT_FILE 0
195 ** Includes a floating point stack for the VM, and words to do float operations.
196 ** Contributed by Guy Carver
198 #if !defined (FICL_WANT_FLOAT)
199 #define FICL_WANT_FLOAT 0
203 ** FICL_WANT_DEBUGGER
204 ** Inludes a simple source level debugger
206 #if !defined (FICL_WANT_DEBUGGER)
207 #define FICL_WANT_DEBUGGER 1
211 ** User variables: per-instance variables bound to the VM.
212 ** Kinda like thread-local storage. Could be implemented in a
213 ** VM private dictionary, but I've chosen the lower overhead
214 ** approach of an array of CELLs instead.
216 #if !defined FICL_WANT_USER
217 #define FICL_WANT_USER 1
220 #if !defined FICL_USER_CELLS
221 #define FICL_USER_CELLS 16
225 ** FICL_WANT_LOCALS controls the creation of the LOCALS wordset and
226 ** a private dictionary for local variable compilation.
228 #if !defined FICL_WANT_LOCALS
229 #define FICL_WANT_LOCALS 1
232 /* Max number of local variables per definition */
233 #if !defined FICL_MAX_LOCALS
234 #define FICL_MAX_LOCALS 16
239 ** Inludes object oriented programming support (in softwords)
240 ** OOP support requires locals and user variables!
242 #if !(FICL_WANT_LOCALS) || !(FICL_WANT_USER)
243 #if !defined (FICL_WANT_OOP)
244 #define FICL_WANT_OOP 0
248 #if !defined (FICL_WANT_OOP)
249 #define FICL_WANT_OOP 1
253 ** FICL_WANT_SOFTWORDS
254 ** Controls inclusion of all softwords in softcore.c
256 #if !defined (FICL_WANT_SOFTWORDS)
257 #define FICL_WANT_SOFTWORDS 1
261 ** FICL_MULTITHREAD enables dictionary mutual exclusion
262 ** wia the ficlLockDictionary system dependent function.
263 ** Note: this implementation is experimental and poorly
264 ** tested. Further, it's unnecessary unless you really
265 ** intend to have multiple SESSIONS (poor choice of name
266 ** on my part) - that is, threads that modify the dictionary
269 #if !defined FICL_MULTITHREAD
270 #define FICL_MULTITHREAD 0
274 ** PORTABLE_LONGMULDIV causes ficlLongMul and ficlLongDiv to be
275 ** defined in C in sysdep.c. Use this if you cannot easily
276 ** generate an inline asm definition
278 #if !defined (PORTABLE_LONGMULDIV)
279 #define PORTABLE_LONGMULDIV 0
283 ** INLINE_INNER_LOOP causes the inner interpreter to be inline code
284 ** instead of a function call. This is mainly because MS VC++ 5
285 ** chokes with an internal compiler error on the function version.
286 ** in release mode. Sheesh.
288 #if !defined INLINE_INNER_LOOP
290 #define INLINE_INNER_LOOP 0
292 #define INLINE_INNER_LOOP 1
297 ** FICL_ROBUST enables bounds checking of stacks and the dictionary.
298 ** This will detect stack over and underflows and dictionary overflows.
299 ** Any exceptional condition will result in an assertion failure.
300 ** (As generated by the ANSI assert macro)
301 ** FICL_ROBUST == 1 --> stack checking in the outer interpreter
302 ** FICL_ROBUST == 2 also enables checking in many primitives
305 #if !defined FICL_ROBUST
306 #define FICL_ROBUST 2
310 ** FICL_DEFAULT_STACK Specifies the default size (in CELLs) of
311 ** a new virtual machine's stacks, unless overridden at
314 #if !defined FICL_DEFAULT_STACK
315 #define FICL_DEFAULT_STACK 128
319 ** FICL_DEFAULT_DICT specifies the number of CELLs to allocate
320 ** for the system dictionary by default. The value
321 ** can be overridden at startup time as well.
322 ** FICL_DEFAULT_ENV specifies the number of cells to allot
323 ** for the environment-query dictionary.
325 #if !defined FICL_DEFAULT_DICT
326 #define FICL_DEFAULT_DICT 12288
329 #if !defined FICL_DEFAULT_ENV
330 #define FICL_DEFAULT_ENV 260
334 ** FICL_DEFAULT_VOCS specifies the maximum number of wordlists in
335 ** the dictionary search order. See Forth DPANS sec 16.3.3
336 ** (file://dpans16.htm#16.3.3)
338 #if !defined FICL_DEFAULT_VOCS
339 #define FICL_DEFAULT_VOCS 16
343 ** FICL_MAX_PARSE_STEPS controls the size of an array in the FICL_SYSTEM structure
344 ** that stores pointers to parser extension functions. I would never expect to have
345 ** more than 8 of these, so that's the default limit. Too many of these functions
346 ** will probably exact a nasty performance penalty.
348 #if !defined FICL_MAX_PARSE_STEPS
349 #define FICL_MAX_PARSE_STEPS 8
353 ** FICL_EXTENDED_PREFIX enables a bunch of extra prefixes in prefix.c and prefix.fr (if
354 ** included as part of softcore.c)
356 #if !defined FICL_EXTENDED_PREFIX
357 #define FICL_EXTENDED_PREFIX 0
361 ** FICL_ALIGN is the power of two to which the dictionary
362 ** pointer address must be aligned. This value is usually
363 ** either 1 or 2, depending on the memory architecture
364 ** of the target system; 2 is safe on any 16 or 32 bit
365 ** machine. 3 would be appropriate for a 64 bit machine.
367 #if !defined FICL_ALIGN
371 #if !defined FICL_ALIGN_ADD
372 #define FICL_ALIGN_ADD ((1 << FICL_ALIGN) - 1)
376 ** System dependent routines --
377 ** edit the implementations in sysdep.c to be compatible
378 ** with your runtime environment...
379 ** ficlTextOut sends a NULL terminated string to the
380 ** default output device - used for system error messages
381 ** ficlMalloc and ficlFree have the same semantics as malloc and free
383 ** ficlLongMul multiplies two UNS32s and returns a 64 bit unsigned
385 ** ficlLongDiv divides an UNS64 by an UNS32 and returns UNS32 quotient
389 void ficlTextOut(struct vm
*pVM
, char *msg
, int fNewline
);
390 void *ficlMalloc (size_t size
);
391 void ficlFree (void *p
);
392 void *ficlRealloc(void *p
, size_t size
);
394 ** Stub function for dictionary access control - does nothing
395 ** by default, user can redefine to guarantee exclusive dict
396 ** access to a single thread for updates. All dict update code
397 ** must be bracketed as follows:
398 ** ficlLockDictionary(TRUE);
399 ** <code that updates dictionary>
400 ** ficlLockDictionary(FALSE);
402 ** Returns zero if successful, nonzero if unable to acquire lock
403 ** before timeout (optional - could also block forever)
405 ** NOTE: this function must be implemented with lock counting
406 ** semantics: nested calls must behave properly.
409 int ficlLockDictionary(short fLock
);
411 #define ficlLockDictionary(x) 0 /* ignore */
415 ** 64 bit integer math support routines: multiply two UNS32s
416 ** to get a 64 bit product, & divide the product by an UNS32
417 ** to get an UNS32 quotient and remainder. Much easier in asm
418 ** on a 32 bit CPU than in C, which usually doesn't support
419 ** the double length result (but it should).
421 DPUNS
ficlLongMul(FICL_UNS x
, FICL_UNS y
);
422 UNSQR
ficlLongDiv(DPUNS q
, FICL_UNS y
);
425 ** FICL_HAVE_FTRUNCATE indicates whether the current OS supports
426 ** the ftruncate() function (available on most UNIXes). This
427 ** function is necessary to provide the complete File-Access wordset.
429 #if !defined (FICL_HAVE_FTRUNCATE)
430 #define FICL_HAVE_FTRUNCATE 0
434 #endif /*__SYSDEP_H__*/