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