Introducing TYPE_NOEXPR so that these undefined labels cannot be used on the expressi...
[xonotic/gmqcc.git] / gmqcc.h
1 /*
2  * Copyright (C) 2012, 2013
3  *     Dale Weiler
4  *     Wolfgang Bumiller
5  *
6  * Permission is hereby granted, free of charge, to any person obtaining a copy of
7  * this software and associated documentation files (the "Software"), to deal in
8  * the Software without restriction, including without limitation the rights to
9  * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
10  * of the Software, and to permit persons to whom the Software is furnished to do
11  * so, subject to the following conditions:
12  *
13  * The above copyright notice and this permission notice shall be included in all
14  * copies or substantial portions of the Software.
15  *
16  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22  * SOFTWARE.
23  */
24 #ifndef GMQCC_HDR
25 #define GMQCC_HDR
26 #include <limits.h>
27 #include <stdlib.h>
28 #include <string.h>
29 #include <stdarg.h>
30 #include <stdio.h>
31 #include <ctype.h>
32
33 /*
34  * Disable some over protective warnings in visual studio because fixing them is a waste
35  * of my time.
36  */
37 #ifdef _MSC_VER
38 #   pragma warning(disable : 4244 ) /* conversion from 'int' to 'float', possible loss of data */
39 #   pragma warning(disable : 4018 ) /* signed/unsigned mismatch                                */
40 #endif
41
42 #define GMQCC_VERSION_MAJOR 0
43 #define GMQCC_VERSION_MINOR 3
44 #define GMQCC_VERSION_PATCH 0
45 #define GMQCC_VERSION_BUILD(J,N,P) (((J)<<16)|((N)<<8)|(P))
46 #define GMQCC_VERSION \
47     GMQCC_VERSION_BUILD(GMQCC_VERSION_MAJOR, GMQCC_VERSION_MINOR, GMQCC_VERSION_PATCH)
48
49 #ifndef GMQCC_GITINFO
50 # define GMQCC_GITINFO "(no git info)"
51 #endif
52
53 /*
54  * We cannot rely on C99 at all, since compilers like MSVC
55  * simply don't support it.  We define our own boolean type
56  * as a result (since we cannot include <stdbool.h>). For
57  * compilers that are in 1999 mode (C99 compliant) we can use
58  * the language keyword _Bool which can allow for better code
59  * on GCC and GCC-like compilers, opposed to `int`.
60  */
61 #ifndef __cplusplus
62 #   ifdef  false
63 #       undef  false
64 #   endif /* !false */
65 #   ifdef  true
66 #       undef true
67 #   endif /* !true  */
68 #   define false (0)
69 #   define true  (1)
70 #   ifdef __STDC_VERSION__
71 #       if __STDC_VERSION__ < 199901L && __GNUC__ < 3
72             typedef int  bool;
73 #       else
74             typedef _Bool bool;
75 #       endif
76 #   else
77         typedef int bool;
78 #   endif /* !__STDC_VERSION__ */
79 #endif    /* !__cplusplus      */
80
81 /*
82  * Of some functions which are generated we want to make sure
83  * that the result isn't ignored. To find such function calls,
84  * we use this macro.
85  */
86 #if defined(__GNUC__) || defined(__CLANG__)
87 #   define GMQCC_WARN __attribute__((warn_unused_result))
88 #else
89 #   define GMQCC_WARN
90 #endif
91 /*
92  * This is a hack to silent clang regarding empty
93  * body if statements.
94  */
95 #define GMQCC_SUPPRESS_EMPTY_BODY do { } while (0)
96
97 /*
98  * Inline is not supported in < C90, however some compilers
99  * like gcc and clang might have an inline attribute we can
100  * use if present.
101  */
102 #ifdef __STDC_VERSION__
103 #    if __STDC_VERSION__ < 199901L
104 #       if defined(__GNUC__) || defined (__CLANG__)
105 #           if __GNUC__ < 2
106 #               define GMQCC_INLINE
107 #           else
108 #               define GMQCC_INLINE __attribute__ ((always_inline))
109 #           endif
110 #       else
111 #           define GMQCC_INLINE
112 #       endif
113 #    else
114 #       define GMQCC_INLINE inline
115 #    endif
116 /*
117  * Visual studio has __forcinline we can use.  So lets use that
118  * I suspect it also has just __inline of some sort, but our use
119  * of inline is correct (not guessed), WE WANT IT TO BE INLINE
120  */
121 #elif defined(_MSC_VER)
122 #    define GMQCC_INLINE __forceinline
123 #else
124 #    define GMQCC_INLINE
125 #endif /* !__STDC_VERSION__ */
126
127 /*
128  * noreturn is present in GCC and clang
129  * it's required for _ast_node_destory otherwise -Wmissing-noreturn
130  * in clang complains about there being no return since abort() is
131  * called.
132  */
133 #if (defined(__GNUC__) && __GNUC__ >= 2) || defined(__CLANG__)
134 #    define GMQCC_NORETURN __attribute__ ((noreturn))
135 #else
136 #    define GMQCC_NORETURN
137 #endif
138
139 #ifndef _MSC_VER
140 #   include <stdint.h>
141 #else
142     typedef unsigned __int8  uint8_t;
143     typedef unsigned __int16 uint16_t;
144     typedef unsigned __int32 uint32_t;
145     typedef unsigned __int64 uint64_t;
146
147     typedef __int16          int16_t;
148     typedef __int32          int32_t;
149     typedef __int64          int64_t;
150 #endif
151
152 /* 
153  *windows makes these prefixed because they're C99
154  * TODO: utility versions that are type-safe and not
155  * just plain textual subsitution.
156  */
157 #ifdef _MSC_VER
158 #    define snprintf(X, Y, Z, ...) _snprintf(X, Y, Z, __VA_ARGS__)
159     /* strtof doesn't exist -> strtod does though :) */
160 #    define strtof(X, Y)          (float)(strtod(X, Y))
161 #endif
162
163 /*
164  * Very roboust way at determining endianess at compile time: this handles
165  * almost every possible situation.  Otherwise a runtime check has to be
166  * performed.
167  */
168 #define GMQCC_BYTE_ORDER_LITTLE 1234
169 #define GMQCC_BYTE_ORDER_BIG    4321
170
171 #if defined (__GNUC__) || defined (__GNU_LIBRARY__)
172 #   if defined (__FreeBSD__) || defined (__OpenBSD__)
173 #       include <sys/endian.h>
174 #   elif defined (BSD) && (BSD >= 199103) || defined (__DJGPP__) || defined (__CYGWIN32__)
175 #       include <machine/endian.h>
176 #   elif defined (__APPLE__)
177 #       if defined (__BIG_ENDIAN__) && !defined(BIG_ENDIAN)
178 #           define BIG_ENDIAN
179 #       elif defined (__LITTLE_ENDIAN__) && !defined (LITTLE_ENDIAN)
180 #           define LITTLE_ENDIAN
181 #       endif
182 #   elif !defined (__MINGW32__)
183 #       include <endian.h>
184 #       if !defined (__BEOS__)
185 #           include <byteswap.h>
186 #       endif
187 #   endif
188 #endif
189 #if !defined(PLATFORM_BYTE_ORDER)
190 #   if defined (LITTLE_ENDIAN) || defined (BIG_ENDIAN)
191 #       if defined (LITTLE_ENDIAN) && !defined(BIG_ENDIAN)
192 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_LITTLE
193 #       elif !defined (LITTLE_ENDIAN) && defined (BIG_ENDIAN)
194 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_BIG
195 #       elif defined (BYTE_ORDER) && (BYTE_ORDER == LITTLE_ENDIAN)
196 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_LITTLE
197 #       elif defined (BYTE_ORDER) && (BYTE_ORDER == BIG_ENDIAN)
198 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_BIG
199 #       endif
200 #   elif defined (_LITTLE_ENDIAN) || defined (_BIG_ENDIAN)
201 #       if defined (_LITTLE_ENDIAN) && !defined(_BIG_ENDIAN)
202 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_LITTLE
203 #       elif !defined (_LITTLE_ENDIAN) && defined (_BIG_ENDIAN)
204 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_BIG
205 #       elif defined (_BYTE_ORDER) && (_BYTE_ORDER == _LITTLE_ENDIAN)
206 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_LITTLE
207 #       elif defined (_BYTE_ORDER) && (_BYTE_ORDER == _BIG_ENDIAN)
208 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_BIG
209 #       endif
210 #   elif defined (__LITTLE_ENDIAN__) || defined (__BIG_ENDIAN__)
211 #       if defined (__LITTLE_ENDIAN__) && !defined (__BIG_ENDIAN__)
212 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_LITTLE
213 #       elif !defined (__LITTLE_ENDIAN__) && defined (__BIG_ENDIAN__)
214 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_BIG
215 #       elif defined (__BYTE_ORDER__) && (__BYTE_ORDER__ == __LITTLE_ENDIAN__)
216 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_LITTLE
217 #       elif defined (__BYTE_ORDER__) && (__BYTE_ORDER__ == __BIG_ENDIAN__)
218 #           define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_BIG
219 #       endif
220 #   endif
221 #endif
222 #if !defined (PLATFORM_BYTE_ORDER)
223 #   if   defined (__alpha__) || defined (__alpha)    || defined (i386)       || \
224          defined (__i386__)  || defined (_M_I86)     || defined (_M_IX86)    || \
225          defined (__OS2__)   || defined (sun386)     || defined (__TURBOC__) || \
226          defined (vax)       || defined (vms)        || defined (VMS)        || \
227          defined (__VMS)     || defined (__x86_64__) || defined (_M_IA64)    || \
228          defined (_M_X64)    || defined (__i386)     || defined (__x86_64)
229 #       define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_LITTLE
230 #   elif defined (AMIGA)     || defined (applec)     || defined (__AS400__)  || \
231          defined (_CRAY)     || defined (__hppa)     || defined (__hp9000)   || \
232          defined (ibm370)    || defined (mc68000)    || defined (m68k)       || \
233          defined (__MRC__)   || defined (__MVS__)    || defined (__MWERKS__) || \
234          defined (sparc)     || defined (__sparc)    || defined (SYMANTEC_C) || \
235          defined (__TANDEM)  || defined (THINK_C)    || defined (__VMCMS__)  || \
236          defined (__PPC__)   || defined (__PPC)      || defined (PPC)
237 #       define PLATFORM_BYTE_ORDER GMQCC_BYTE_ORDER_BIG
238 #   else
239 #       define PLATFORM_BYTE_ORDER -1
240 #   endif
241 #endif
242
243
244
245 /*===================================================================*/
246 /*=========================== util.c ================================*/
247 /*===================================================================*/
248 void *util_memory_a      (size_t,       unsigned int, const char *);
249 void  util_memory_d      (void       *, unsigned int, const char *);
250 void *util_memory_r      (void       *, size_t,       unsigned int, const char *);
251 void  util_meminfo       ();
252
253 bool  util_filexists     (const char *);
254 bool  util_strupper      (const char *);
255 bool  util_strdigit      (const char *);
256 char *util_strdup        (const char *);
257 void  util_debug         (const char *, const char *, ...);
258 void  util_endianswap    (void *,  size_t, unsigned int);
259
260 size_t util_strtocmd    (const char *, char *, size_t);
261 size_t util_strtononcmd (const char *, char *, size_t);
262
263 uint16_t util_crc16(uint16_t crc, const char *data, size_t len);
264
265 void     util_seed(uint32_t);
266 uint32_t util_rand();
267
268 int util_vasprintf(char **ret, const char *fmt, va_list);
269 int util_asprintf (char **ret, const char *fmt, ...);
270
271
272 #ifdef NOTRACK
273 #    define mem_a(x)    malloc (x)
274 #    define mem_d(x)    free   ((void*)x)
275 #    define mem_r(x, n) realloc((void*)x, n)
276 #else
277 #    define mem_a(x)    util_memory_a((x), __LINE__, __FILE__)
278 #    define mem_d(x)    util_memory_d((void*)(x),      __LINE__, __FILE__)
279 #    define mem_r(x, n) util_memory_r((void*)(x), (n), __LINE__, __FILE__)
280 #endif
281
282 /*
283  * A flexible vector implementation: all vector pointers contain some
284  * data about themselfs exactly - sizeof(vector_t) behind the pointer
285  * this data is represented in the structure below.  Doing this allows
286  * us to use the array [] to access individual elements from the vector
287  * opposed to using set/get methods.
288  */     
289 typedef struct {
290     size_t  allocated;
291     size_t  used;
292
293     /* can be extended now! whoot */
294 } vector_t;
295
296 /* hidden interface */
297 void _util_vec_grow(void **a, size_t i, size_t s);
298 #define GMQCC_VEC_WILLGROW(X,Y) ( \
299     ((!(X) || vec_meta(X)->used + Y >= vec_meta(X)->allocated)) ? \
300         (void)_util_vec_grow(((void**)&(X)), (Y), sizeof(*(X))) : \
301         (void)0                                                   \
302 )
303
304 /* exposed interface */
305 #define vec_meta(A)       (((vector_t*)(A)) - 1)
306 #define vec_free(A)       ((A) ? (mem_d((void*)vec_meta(A)), (A) = NULL) : 0)
307 #define vec_push(A,V)     (GMQCC_VEC_WILLGROW((A),1), (A)[vec_meta(A)->used++] = (V))
308 #define vec_size(A)       ((A) ? vec_meta(A)->used : 0)
309 #define vec_add(A,N)      (GMQCC_VEC_WILLGROW((A),(N)), vec_meta(A)->used += (N), &(A)[vec_meta(A)->used-(N)])
310 #define vec_last(A)       ((A)[vec_meta(A)->used - 1])
311 #define vec_pop(A)        (vec_meta(A)->used -= 1)
312 #define vec_shrinkto(A,N) (vec_meta(A)->used  = (N))
313 #define vec_shrinkby(A,N) (vec_meta(A)->used -= (N))
314 #define vec_append(A,N,S) memcpy(vec_add((A), (N)), (S), (N) * sizeof(*(S)))
315 #define vec_upload(X,Y,S) memcpy(vec_add((X), (S) * sizeof(*(Y))), (Y), (S) * sizeof(*(Y)))
316 #define vec_remove(A,I,N) memmove((A)+(I),(A)+((I)+(N)),sizeof(*(A))*(vec_meta(A)->used-(I)-(N))),vec_meta(A)->used-=(N)
317
318 typedef struct hash_table_t {
319     size_t                size;
320     struct hash_node_t **table;
321 } hash_table_t, *ht;
322
323 typedef struct hash_set_t {
324     size_t  bits;
325     size_t  mask;
326     size_t  capacity;
327     size_t *items;
328     size_t  total;
329 } hash_set_t, *hs;
330
331 /*
332  * hashtable implementation:
333  *
334  * Note:
335  *      This was designed for pointers:  you manage the life of the object yourself
336  *      if you do use this for non-pointers please be warned that the object may not
337  *      be valid if the duration of it exceeds (i.e on stack).  So you need to allocate
338  *      yourself, or put those in global scope to ensure duration is for the whole
339  *      runtime.
340  *
341  * util_htnew(size)                             -- to make a new hashtable
342  * util_htset(table, key, value, sizeof(value)) -- to set something in the table
343  * util_htget(table, key)                       -- to get something from the table
344  * util_htdel(table)                            -- to delete the table
345  *
346  * example of use:
347  *
348  * ht    foo  = util_htnew(1024);
349  * int   data = 100;
350  * char *test = "hello world\n";
351  * util_htset(foo, "foo", (void*)&data);
352  * util_gtset(foo, "bar", (void*)test);
353  *
354  * printf("foo: %d, bar %s",
355  *     *((int *)util_htget(foo, "foo")),
356  *      ((char*)util_htget(foo, "bar"))
357  * );
358  *
359  * util_htdel(foo);
360  */
361 hash_table_t *util_htnew (size_t size);
362 void          util_htset (hash_table_t *ht, const char *key, void *value);
363 void          util_htdel (hash_table_t *ht);
364 size_t        util_hthash(hash_table_t *ht, const char *key);
365 void          util_htseth(hash_table_t *ht, const char *key, size_t hash, void *value);
366
367 void         *util_htget (hash_table_t *ht, const char *key);
368 void         *util_htgeth(hash_table_t *ht, const char *key, size_t hash);
369
370 /*
371  * hashset implementation:
372  *      This was designed for pointers:  you manage the life of the object yourself
373  *      if you do use this for non-pointers please be warned that the object may not
374  *      be valid if the duration of it exceeds (i.e on stack).  So you need to allocate
375  *      yourself, or put those in global scope to ensure duration is for the whole
376  *      runtime.
377  *
378  * util_hsnew()                             -- to make a new hashset
379  * util_hsadd(set, key)                     -- to add something in the set
380  * util_hshas(set, key)                     -- to check if something is in the set
381  * util_hsrem(set, key)                     -- to remove something in the set
382  * util_hsdel(set)                          -- to delete the set
383  *
384  * example of use:
385  * 
386  * hs    foo = util_hsnew();
387  * char *bar = "hello blub\n";
388  * char *baz = "hello dale\n";
389  *
390  * util_hsadd(foo, bar);
391  * util_hsadd(foo, baz);
392  * util_hsrem(foo, baz);
393  *
394  * printf("bar %d | baz %d\n",
395  *     util_hshas(foo, bar),
396  *     util_hshad(foo, baz)
397  * );
398  *
399  * util_hsdel(foo);  
400  */
401
402 hash_set_t *util_hsnew(void);
403 int         util_hsadd(hash_set_t *, void *);
404 int         util_hshas(hash_set_t *, void *);
405 int         util_hsrem(hash_set_t *, void *);
406 void        util_hsdel(hash_set_t *);
407  
408 /*===================================================================*/
409 /*============================ file.c ===============================*/
410 /*===================================================================*/
411 GMQCC_INLINE void    file_close  (FILE *);
412 GMQCC_INLINE int     file_error  (FILE *);
413 GMQCC_INLINE int     file_getc   (FILE *);
414 GMQCC_INLINE int     file_printf (FILE *, const char *, ...);
415 GMQCC_INLINE int     file_puts   (FILE *, const char *);
416 GMQCC_INLINE int     file_putc   (FILE *, int);
417 GMQCC_INLINE int     file_seek   (FILE *, long int, int);
418
419 GMQCC_INLINE size_t  file_read   (void *,        size_t, size_t, FILE *);
420 GMQCC_INLINE size_t  file_write  (const void *,  size_t, size_t, FILE *);
421
422 GMQCC_INLINE FILE   *file_open   (const char *, const char *);
423 /*NOINLINE*/ int     file_getline(char  **, size_t *, FILE *);
424
425
426 /*===================================================================*/
427 /*=========================== code.c ================================*/
428 /*===================================================================*/
429
430 /* TODO: cleanup */
431 /* Note: if you change the order, fix type_sizeof in ir.c */
432 enum {
433     TYPE_VOID     ,
434     TYPE_STRING   ,
435     TYPE_FLOAT    ,
436     TYPE_VECTOR   ,
437     TYPE_ENTITY   ,
438     TYPE_FIELD    ,
439     TYPE_FUNCTION ,
440     TYPE_POINTER  ,
441     TYPE_INTEGER  ,
442     TYPE_VARIANT  ,
443     TYPE_STRUCT   ,
444     TYPE_UNION    ,
445     TYPE_ARRAY    ,
446
447     TYPE_NIL      , /* it's its own type / untyped */
448     TYPE_NOEXPR   , /* simply invalid in expressions */
449
450     TYPE_COUNT
451 };
452
453 /* const/var qualifiers */
454 #define CV_NONE   0
455 #define CV_CONST  1
456 #define CV_VAR   -1
457 #define CV_WRONG  0x8000 /* magic number to help parsing */
458
459 extern const char *type_name        [TYPE_COUNT];
460 extern uint16_t    type_store_instr [TYPE_COUNT];
461 extern uint16_t    field_store_instr[TYPE_COUNT];
462
463 /*
464  * could use type_store_instr + INSTR_STOREP_F - INSTR_STORE_F
465  * but this breaks when TYPE_INTEGER is added, since with the enhanced
466  * instruction set, the old ones are left untouched, thus the _I instructions
467  * are at a seperate place.
468  */
469 extern uint16_t type_storep_instr[TYPE_COUNT];
470 extern uint16_t type_eq_instr    [TYPE_COUNT];
471 extern uint16_t type_ne_instr    [TYPE_COUNT];
472 extern uint16_t type_not_instr   [TYPE_COUNT];
473
474 typedef struct {
475     uint32_t offset;      /* Offset in file of where data begins  */
476     uint32_t length;      /* Length of section (how many of)      */
477 } prog_section;
478
479 typedef struct {
480     uint32_t     version;      /* Program version (6)     */
481     uint16_t     crc16;
482     uint16_t     skip;
483
484     prog_section statements;   /* prog_section_statement  */
485     prog_section defs;         /* prog_section_def        */
486     prog_section fields;       /* prog_section_field      */
487     prog_section functions;    /* prog_section_function   */
488     prog_section strings;
489     prog_section globals;
490     uint32_t     entfield;     /* Number of entity fields */
491 } prog_header;
492
493 /*
494  * Each paramater incerements by 3 since vector types hold
495  * 3 components (x,y,z).
496  */
497 #define OFS_NULL      0
498 #define OFS_RETURN    1
499 #define OFS_PARM0     (OFS_RETURN+3)
500 #define OFS_PARM1     (OFS_PARM0 +3)
501 #define OFS_PARM2     (OFS_PARM1 +3)
502 #define OFS_PARM3     (OFS_PARM2 +3)
503 #define OFS_PARM4     (OFS_PARM3 +3)
504 #define OFS_PARM5     (OFS_PARM4 +3)
505 #define OFS_PARM6     (OFS_PARM5 +3)
506 #define OFS_PARM7     (OFS_PARM6 +3)
507
508 typedef struct {
509     uint16_t opcode;
510
511     /* operand 1 */
512     union {
513         int16_t  s1; /* signed   */
514         uint16_t u1; /* unsigned */
515     } o1;
516     /* operand 2 */
517     union {
518         int16_t  s1; /* signed   */
519         uint16_t u1; /* unsigned */
520     } o2;
521     /* operand 3 */
522     union {
523         int16_t  s1; /* signed   */
524         uint16_t u1; /* unsigned */
525     } o3;
526
527     /*
528      * This is the same as the structure in darkplaces
529      * {
530      *     unsigned short op;
531      *     short          a,b,c;
532      * }
533      * But this one is more sane to work with, and the
534      * type sizes are guranteed.
535      */
536 } prog_section_statement;
537
538 typedef struct {
539     /*
540      * The types:
541      * 0 = ev_void
542      * 1 = ev_string
543      * 2 = ev_float
544      * 3 = ev_vector
545      * 4 = ev_entity
546      * 5 = ev_field
547      * 6 = ev_function
548      * 7 = ev_pointer -- engine only
549      * 8 = ev_bad     -- engine only
550      */
551     uint16_t type;
552     uint16_t offset;
553     uint32_t name;
554 } prog_section_both;
555
556 typedef prog_section_both prog_section_def;
557 typedef prog_section_both prog_section_field;
558
559 /* this is ORed to the type */
560 #define DEF_SAVEGLOBAL (1<<15)
561 #define DEF_TYPEMASK   ((1<<15)-1)
562
563 typedef struct {
564     int32_t   entry;      /* in statement table for instructions  */
565     uint32_t  firstlocal; /* First local in local table           */
566     uint32_t  locals;     /* Total ints of params + locals        */
567     uint32_t  profile;    /* Always zero (engine uses this)       */
568     uint32_t  name;       /* name of function in string table     */
569     uint32_t  file;       /* file of the source file              */
570     int32_t   nargs;      /* number of arguments                  */
571     uint8_t   argsize[8]; /* size of arguments (keep 8 always?)   */
572 } prog_section_function;
573
574 /*
575  * Instructions
576  * These are the external instructions supported by the interperter
577  * this is what things compile to (from the C code).
578  */
579 enum {
580     INSTR_DONE,
581     INSTR_MUL_F,
582     INSTR_MUL_V,
583     INSTR_MUL_FV, /* NOTE: the float operands must NOT be at the same locations: A != C */
584     INSTR_MUL_VF, /* and here: B != C */
585     INSTR_DIV_F,
586     INSTR_ADD_F,
587     INSTR_ADD_V,
588     INSTR_SUB_F,
589     INSTR_SUB_V,
590     INSTR_EQ_F,
591     INSTR_EQ_V,
592     INSTR_EQ_S,
593     INSTR_EQ_E,
594     INSTR_EQ_FNC,
595     INSTR_NE_F,
596     INSTR_NE_V,
597     INSTR_NE_S,
598     INSTR_NE_E,
599     INSTR_NE_FNC,
600     INSTR_LE,
601     INSTR_GE,
602     INSTR_LT,
603     INSTR_GT,
604     INSTR_LOAD_F,
605     INSTR_LOAD_V,
606     INSTR_LOAD_S,
607     INSTR_LOAD_ENT,
608     INSTR_LOAD_FLD,
609     INSTR_LOAD_FNC,
610     INSTR_ADDRESS,
611     INSTR_STORE_F,
612     INSTR_STORE_V,
613     INSTR_STORE_S,
614     INSTR_STORE_ENT,
615     INSTR_STORE_FLD,
616     INSTR_STORE_FNC,
617     INSTR_STOREP_F,
618     INSTR_STOREP_V,
619     INSTR_STOREP_S,
620     INSTR_STOREP_ENT,
621     INSTR_STOREP_FLD,
622     INSTR_STOREP_FNC,
623     INSTR_RETURN,
624     INSTR_NOT_F,
625     INSTR_NOT_V,
626     INSTR_NOT_S,
627     INSTR_NOT_ENT,
628     INSTR_NOT_FNC,
629     INSTR_IF,
630     INSTR_IFNOT,
631     INSTR_CALL0,
632     INSTR_CALL1,
633     INSTR_CALL2,
634     INSTR_CALL3,
635     INSTR_CALL4,
636     INSTR_CALL5,
637     INSTR_CALL6,
638     INSTR_CALL7,
639     INSTR_CALL8,
640     INSTR_STATE,
641     INSTR_GOTO,
642     INSTR_AND,
643     INSTR_OR,
644     INSTR_BITAND,
645     INSTR_BITOR,
646
647     /*
648      * Virtual instructions used by the assembler
649      * keep at the end but before virtual instructions
650      * for the IR below.
651      */
652     AINSTR_END,
653
654     /*
655      * Virtual instructions used by the IR
656      * Keep at the end!
657      */
658     VINSTR_PHI,
659     VINSTR_JUMP,
660     VINSTR_COND,
661     /* A never returning CALL.
662      * Creating this causes IR blocks to be marked as 'final'.
663      * No-Return-Call
664      */
665     VINSTR_NRCALL
666 };
667
668 /* TODO: cleanup this mess */
669 extern prog_section_statement *code_statements;
670 extern int                    *code_linenums;
671 extern prog_section_def       *code_defs;
672 extern prog_section_field     *code_fields;
673 extern prog_section_function  *code_functions;
674 extern int                    *code_globals;
675 extern char                   *code_chars;
676 extern uint16_t code_crc;
677
678 /* uhh? */
679 typedef float   qcfloat;
680 typedef int32_t qcint;
681
682 /*
683  * code_write -- writes out the compiled file
684  * code_init  -- prepares the code file
685  */
686 bool     code_write       (const char *filename, const char *lno);
687 void     code_init        ();
688 uint32_t code_genstring   (const char *string);
689 qcint    code_alloc_field (size_t qcsize);
690
691 /* this function is used to keep statements and linenumbers together */
692 void     code_push_statement(prog_section_statement *stmt, int linenum);
693 void     code_pop_statement();
694
695 /*
696  * A shallow copy of a lex_file to remember where which ast node
697  * came from.
698  */
699 typedef struct {
700     const char *file;
701     size_t      line;
702 } lex_ctx;
703
704 /*===================================================================*/
705 /*============================ con.c ================================*/
706 /*===================================================================*/
707 enum {
708     CON_BLACK   = 30,
709     CON_RED,
710     CON_GREEN,
711     CON_BROWN,
712     CON_BLUE,
713     CON_MAGENTA,
714     CON_CYAN ,
715     CON_WHITE
716 };
717
718 /* message level */
719 enum {
720     LVL_MSG,
721     LVL_WARNING,
722     LVL_ERROR
723 };
724
725 FILE *con_default_out();
726 FILE *con_default_err();
727
728 void con_vprintmsg (int level, const char *name, size_t line, const char *msgtype, const char *msg, va_list ap);
729 void con_printmsg  (int level, const char *name, size_t line, const char *msgtype, const char *msg, ...);
730 void con_cvprintmsg(void *ctx, int lvl, const char *msgtype, const char *msg, va_list ap);
731 void con_cprintmsg (void *ctx, int lvl, const char *msgtype, const char *msg, ...);
732
733 void con_close ();
734 void con_init  ();
735 void con_reset ();
736 void con_color (int);
737 int  con_change(const char *, const char *);
738 int  con_verr  (const char *, va_list);
739 int  con_vout  (const char *, va_list);
740 int  con_err   (const char *, ...);
741 int  con_out   (const char *, ...);
742
743 /* error/warning interface */
744 extern size_t compile_errors;
745 extern size_t compile_Werrors;
746 extern size_t compile_warnings;
747
748 void /********/ compile_error   (lex_ctx ctx, /*LVL_ERROR*/ const char *msg, ...);
749 void /********/ vcompile_error  (lex_ctx ctx, /*LVL_ERROR*/ const char *msg, va_list ap);
750 bool GMQCC_WARN compile_warning (lex_ctx ctx, int warntype, const char *fmt, ...);
751 bool GMQCC_WARN vcompile_warning(lex_ctx ctx, int warntype, const char *fmt, va_list ap);
752 void            compile_show_werrors();
753
754 /*===================================================================*/
755 /*========================= assembler.c =============================*/
756 /*===================================================================*/
757 /* TODO: remove this ... */
758 static const struct {
759     const char  *m; /* menomic     */
760     const size_t o; /* operands    */
761     const size_t l; /* menomic len */
762 } asm_instr[] = {
763     { "DONE"      , 1, 4 },
764     { "MUL_F"     , 3, 5 },
765     { "MUL_V"     , 3, 5 },
766     { "MUL_FV"    , 3, 6 },
767     { "MUL_VF"    , 3, 6 },
768     { "DIV"       , 0, 3 },
769     { "ADD_F"     , 3, 5 },
770     { "ADD_V"     , 3, 5 },
771     { "SUB_F"     , 3, 5 },
772     { "SUB_V"     , 3, 5 },
773     { "EQ_F"      , 0, 4 },
774     { "EQ_V"      , 0, 4 },
775     { "EQ_S"      , 0, 4 },
776     { "EQ_E"      , 0, 4 },
777     { "EQ_FNC"    , 0, 6 },
778     { "NE_F"      , 0, 4 },
779     { "NE_V"      , 0, 4 },
780     { "NE_S"      , 0, 4 },
781     { "NE_E"      , 0, 4 },
782     { "NE_FNC"    , 0, 6 },
783     { "LE"        , 0, 2 },
784     { "GE"        , 0, 2 },
785     { "LT"        , 0, 2 },
786     { "GT"        , 0, 2 },
787     { "FIELD_F"   , 0, 7 },
788     { "FIELD_V"   , 0, 7 },
789     { "FIELD_S"   , 0, 7 },
790     { "FIELD_ENT" , 0, 9 },
791     { "FIELD_FLD" , 0, 9 },
792     { "FIELD_FNC" , 0, 9 },
793     { "ADDRESS"   , 0, 7 },
794     { "STORE_F"   , 0, 7 },
795     { "STORE_V"   , 0, 7 },
796     { "STORE_S"   , 0, 7 },
797     { "STORE_ENT" , 0, 9 },
798     { "STORE_FLD" , 0, 9 },
799     { "STORE_FNC" , 0, 9 },
800     { "STOREP_F"  , 0, 8 },
801     { "STOREP_V"  , 0, 8 },
802     { "STOREP_S"  , 0, 8 },
803     { "STOREP_ENT", 0, 10},
804     { "STOREP_FLD", 0, 10},
805     { "STOREP_FNC", 0, 10},
806     { "RETURN"    , 0, 6 },
807     { "NOT_F"     , 0, 5 },
808     { "NOT_V"     , 0, 5 },
809     { "NOT_S"     , 0, 5 },
810     { "NOT_ENT"   , 0, 7 },
811     { "NOT_FNC"   , 0, 7 },
812     { "IF"        , 0, 2 },
813     { "IFNOT"     , 0, 5 },
814     { "CALL0"     , 1, 5 },
815     { "CALL1"     , 2, 5 },
816     { "CALL2"     , 3, 5 },
817     { "CALL3"     , 4, 5 },
818     { "CALL4"     , 5, 5 },
819     { "CALL5"     , 6, 5 },
820     { "CALL6"     , 7, 5 },
821     { "CALL7"     , 8, 5 },
822     { "CALL8"     , 9, 5 },
823     { "STATE"     , 0, 5 },
824     { "GOTO"      , 0, 4 },
825     { "AND"       , 0, 3 },
826     { "OR"        , 0, 2 },
827     { "BITAND"    , 0, 6 },
828     { "BITOR"     , 0, 5 },
829
830     { "END"       , 0, 3 } /* virtual assembler instruction */
831 };
832 /*===================================================================*/
833 /*============================= ir.c ================================*/
834 /*===================================================================*/
835
836 enum store_types {
837     store_global,
838     store_local,  /* local, assignable for now, should get promoted later */
839     store_param,  /* parameters, they are locals with a fixed position */
840     store_value,  /* unassignable */
841     store_return  /* unassignable, at OFS_RETURN */
842 };
843
844 typedef struct {
845     qcfloat x, y, z;
846 } vector;
847
848 vector  vec3_add  (vector, vector);
849 vector  vec3_sub  (vector, vector);
850 qcfloat vec3_mulvv(vector, vector);
851 vector  vec3_mulvf(vector, float);
852
853 /*===================================================================*/
854 /*============================= exec.c ==============================*/
855 /*===================================================================*/
856
857 /* TODO: cleanup */
858 /*
859  * Darkplaces has (or will have) a 64 bit prog loader
860  * where the 32 bit qc program is autoconverted on load.
861  * Since we may want to support that as well, let's redefine
862  * float and int here.
863  */
864 typedef union {
865     qcint   _int;
866     qcint    string;
867     qcint    function;
868     qcint    edict;
869     qcfloat _float;
870     qcfloat vector[3];
871     qcint   ivector[3];
872 } qcany;
873
874 typedef char qcfloat_size_is_correct [sizeof(qcfloat) == 4 ?1:-1];
875 typedef char qcint_size_is_correct   [sizeof(qcint)   == 4 ?1:-1];
876
877 enum {
878     VMERR_OK,
879     VMERR_TEMPSTRING_ALLOC,
880
881     VMERR_END
882 };
883
884 #define VM_JUMPS_DEFAULT 1000000
885
886 /* execute-flags */
887 #define VMXF_DEFAULT 0x0000     /* default flags - nothing */
888 #define VMXF_TRACE   0x0001     /* trace: print statements before executing */
889 #define VMXF_PROFILE 0x0002     /* profile: increment the profile counters */
890
891 struct qc_program_s;
892
893 typedef int (*prog_builtin)(struct qc_program_s *prog);
894
895 typedef struct {
896     qcint                  stmt;
897     size_t                 localsp;
898     prog_section_function *function;
899 } qc_exec_stack;
900
901 typedef struct qc_program_s {
902     char           *filename;
903
904     prog_section_statement *code;
905     prog_section_def       *defs;
906     prog_section_def       *fields;
907     prog_section_function  *functions;
908     char                   *strings;
909     qcint                  *globals;
910     qcint                  *entitydata;
911     bool                   *entitypool;
912
913     const char*            *function_stack;
914
915     uint16_t crc16;
916
917     size_t tempstring_start;
918     size_t tempstring_at;
919
920     qcint  vmerror;
921
922     size_t *profile;
923
924     prog_builtin *builtins;
925     size_t        builtins_count;
926
927     /* size_t ip; */
928     qcint  entities;
929     size_t entityfields;
930     bool   allowworldwrites;
931
932     qcint         *localstack;
933     qc_exec_stack *stack;
934     size_t statement;
935
936     size_t xflags;
937
938     int    argc; /* current arg count for debugging */
939 } qc_program;
940
941 qc_program* prog_load(const char *filename);
942 void        prog_delete(qc_program *prog);
943
944 bool prog_exec(qc_program *prog, prog_section_function *func, size_t flags, long maxjumps);
945
946 char*             prog_getstring (qc_program *prog, qcint str);
947 prog_section_def* prog_entfield  (qc_program *prog, qcint off);
948 prog_section_def* prog_getdef    (qc_program *prog, qcint off);
949 qcany*            prog_getedict  (qc_program *prog, qcint e);
950 qcint             prog_tempstring(qc_program *prog, const char *_str);
951
952
953 /*===================================================================*/
954 /*===================== parser.c commandline ========================*/
955 /*===================================================================*/
956
957 bool parser_init          ();
958 bool parser_compile_file  (const char *);
959 bool parser_compile_string(const char *, const char *, size_t);
960 bool parser_finish        (const char *);
961 void parser_cleanup       ();
962
963 /*===================================================================*/
964 /*====================== ftepp.c commandline ========================*/
965 /*===================================================================*/
966 bool        ftepp_init             ();
967 bool        ftepp_preprocess_file  (const char *filename);
968 bool        ftepp_preprocess_string(const char *name, const char *str);
969 void        ftepp_finish           ();
970 const char *ftepp_get              ();
971 void        ftepp_flush            ();
972 void        ftepp_add_define       (const char *source, const char *name);
973 void        ftepp_add_macro        (const char *name,   const char *value);
974
975 /*===================================================================*/
976 /*======================= main.c commandline ========================*/
977 /*===================================================================*/
978
979 #if 1
980 /* Helpers to allow for a whole lot of flags. Otherwise we'd limit
981  * to 32 or 64 -f options...
982  */
983 typedef struct {
984     size_t  idx; /* index into an array of 32 bit words */
985     uint8_t bit; /* bit index for the 8 bit group idx points to */
986 } longbit;
987 #define LONGBIT(bit) { ((bit)/32), ((bit)%32) }
988 #define LONGBIT_SET(B, I) ((B).idx = (I)/32, (B).bit = ((I)%32))
989 #else
990 typedef uint32_t longbit;
991 #define LONGBIT(bit) (bit)
992 #define LONGBIT_SET(B, I) ((B) = (I))
993 #endif
994
995 /*===================================================================*/
996 /*=========================== utf8lib.c =============================*/
997 /*===================================================================*/
998 typedef uint32_t uchar_t;
999
1000 bool    u8_analyze (const char *_s, size_t *_start, size_t *_len, uchar_t *_ch, size_t _maxlen);
1001 size_t  u8_strlen  (const char*);
1002 size_t  u8_strnlen (const char*, size_t);
1003 uchar_t u8_getchar (const char*, const char**);
1004 uchar_t u8_getnchar(const char*, const char**, size_t);
1005 int     u8_fromchar(uchar_t w,   char *to,     size_t maxlen);
1006
1007 /*===================================================================*/
1008 /*============================= opts.c ==============================*/
1009 /*===================================================================*/
1010 typedef struct {
1011     const char *name;
1012     longbit     bit;
1013 } opts_flag_def;
1014
1015 bool opts_setflag  (const char *, bool);
1016 bool opts_setwarn  (const char *, bool);
1017 bool opts_setwerror(const char *, bool);
1018 bool opts_setoptim (const char *, bool);
1019
1020 void opts_init         (const char *, int, size_t);
1021 void opts_set          (uint32_t   *, size_t, bool);
1022 void opts_setoptimlevel(unsigned int);
1023 void opts_ini_init     (const char *);
1024
1025 enum {
1026 # define GMQCC_TYPE_FLAGS
1027 # define GMQCC_DEFINE_FLAG(X) X,
1028 #  include "opts.def"
1029     COUNT_FLAGS
1030 };
1031 static const opts_flag_def opts_flag_list[] = {
1032 # define GMQCC_TYPE_FLAGS
1033 # define GMQCC_DEFINE_FLAG(X) { #X, LONGBIT(X) },
1034 #  include "opts.def"
1035     { NULL, LONGBIT(0) }
1036 };
1037
1038 enum {
1039 # define GMQCC_TYPE_WARNS
1040 # define GMQCC_DEFINE_FLAG(X) WARN_##X,
1041 #  include "opts.def"
1042     COUNT_WARNINGS
1043 };
1044 static const opts_flag_def opts_warn_list[] = {
1045 # define GMQCC_TYPE_WARNS
1046 # define GMQCC_DEFINE_FLAG(X) { #X, LONGBIT(WARN_##X) },
1047 #  include "opts.def"
1048     { NULL, LONGBIT(0) }
1049 };
1050
1051 enum {
1052 # define GMQCC_TYPE_OPTIMIZATIONS
1053 # define GMQCC_DEFINE_FLAG(NAME, MIN_O) OPTIM_##NAME,
1054 #  include "opts.def"
1055     COUNT_OPTIMIZATIONS
1056 };
1057 static const opts_flag_def opts_opt_list[] = {
1058 # define GMQCC_TYPE_OPTIMIZATIONS
1059 # define GMQCC_DEFINE_FLAG(NAME, MIN_O) { #NAME, LONGBIT(OPTIM_##NAME) },
1060 #  include "opts.def"
1061     { NULL, LONGBIT(0) }
1062 };
1063 static const unsigned int opts_opt_oflag[] = {
1064 # define GMQCC_TYPE_OPTIMIZATIONS
1065 # define GMQCC_DEFINE_FLAG(NAME, MIN_O) MIN_O,
1066 #  include "opts.def"
1067     0
1068 };
1069 extern unsigned int opts_optimizationcount[COUNT_OPTIMIZATIONS];
1070
1071 /* other options: */
1072 typedef enum {
1073     COMPILER_QCC,     /* circa  QuakeC */
1074     COMPILER_FTEQCC,  /* fteqcc QuakeC */
1075     COMPILER_QCCX,    /* qccx   QuakeC */
1076     COMPILER_GMQCC    /* this   QuakeC */
1077 } opts_std_t;
1078
1079 /* TODO: cleanup this */
1080 typedef struct {
1081     uint32_t    O;              /* -Ox           */
1082     const char *output;         /* -o file       */
1083     bool        quiet;          /* -q --quiet    */
1084     bool        g;              /* -g            */
1085     opts_std_t  standard;       /* -std=         */
1086     bool        debug;          /* -debug        */
1087     bool        memchk;         /* -memchk       */
1088     bool        dumpfin;        /* -dumpfin      */
1089     bool        dump;           /* -dump         */
1090     bool        forcecrc;       /* --force-crc=  */
1091     uint16_t    forced_crc;     /* --force-crc=  */
1092     bool        pp_only;        /* -E            */
1093     size_t      max_array_size; /* --max-array=  */
1094
1095     uint32_t flags       [1 + (COUNT_FLAGS         / 32)];
1096     uint32_t warn        [1 + (COUNT_WARNINGS      / 32)];
1097     uint32_t werror      [1 + (COUNT_WARNINGS      / 32)];
1098     uint32_t optimization[1 + (COUNT_OPTIMIZATIONS / 32)];
1099 } opts_cmd_t;
1100
1101 extern opts_cmd_t opts;
1102
1103 #define OPTS_FLAG(i)         (!! (opts.flags       [(i)/32] & (1<< ((i)%32))))
1104 #define OPTS_WARN(i)         (!! (opts.warn        [(i)/32] & (1<< ((i)%32))))
1105 #define OPTS_WERROR(i)       (!! (opts.werror      [(i)/32] & (1<< ((i)%32))))
1106 #define OPTS_OPTIMIZATION(i) (!! (opts.optimization[(i)/32] & (1<< ((i)%32))))
1107
1108 #endif