qf
/
quakeforge
mirror of https://git.code.sf.net/p/quake/quakeforge
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
5,764 Commits 17 Branches 20 Tags 29 MiB
Commit Graph

220 Commits

Author SHA1 Message Date
Bill Currie 133ce647fb implement break and continue. only loops covered for now, but that's because 
switch isn't implemented yet
 2001-10-24 18:57:29 +00:00
Bill Currie 743bc5178b fix uninitialized variable detection for nested scopes 2001-10-24 15:21:21 +00:00
Bill Currie 6553c81a41 proper scoping for QC ala C. 2001-10-24 06:39:49 +00:00
Bill Currie 2ef8adea09 handle more conditional code and check for unitied vars in the test of if () 
etc
 2001-10-19 05:16:24 +00:00
Bill Currie 16c334b6b9 uninit var detection seems to work for if and if else 2001-10-19 03:22:04 +00:00
Bill Currie 3572a6be28 change def_list from def_t ** to hashtab_t * and comment out some debug code 2001-10-19 00:45:56 +00:00
Bill Currie 237d238a65 beginnings of "if" uninitialized variable support. doesn't make any 
difference yet
 2001-10-18 23:06:39 +00:00
Bill Currie 5ca785e7e8 uninitialized variable detection. not perfect (lots of false negatives, but 
fewer than before;) but prozac isn't giving any false positives.
 2001-10-18 20:05:26 +00:00
Bill Currie 96e4e1a232 the beginning of unititialized var detection. first victim: functions. 
--undefined-function-warning is now --no-undefined-function-warning and
the default is to detect called but undefined functions.
 2001-10-18 17:41:22 +00:00
Bill Currie 952f029e6d rename def_t.initialized to def_t.constant 2001-10-18 17:15:05 +00:00
Bill Currie 79ac85b54f type checking now works much better and there is now a NIL builtin constant 
which can be assigned (/only/) to anything.
 2001-10-17 07:45:37 +00:00
Bill Currie 7407e4f1b7 and some more 2001-09-28 07:09:38 +00:00
Bill Currie 7aec6e253a unused local variable detection 2001-09-22 23:41:47 +00:00
Bill Currie 9f715ae9f8 more small old-parser cleanups 2001-09-15 20:31:17 +00:00
Bill Currie cf4ca286f0 implement pre and post increment operators (++ and --) 2001-08-20 06:22:28 +00:00
Bill Currie c2d3d8f3ab temp def expressions and ?: 
seems to work :)
 2001-08-11 21:15:24 +00:00
Bill Currie a33c834a39 move SHL and SHR down in expr 2001-08-10 17:00:53 +00:00
Adam Olsen 6414897dae got a few new operators for qc :) 
<< >> % which all act like their C counterparts
+= -= *= /= &= ^= |= <<= >>= %= which just expand into the obvious,
also like the C versions.
 2001-08-10 16:17:00 +00:00
Bill Currie 081d8f3c47 ^ and ~ operators for qc (^ from Rhamphoryncus) and clean up the punctuation 
line in qc-lex.l (why didn't I think to do that in the first place?!?)
 2001-08-09 16:34:46 +00:00
Bill Currie d89cd91e4b make the expressions in for (a;b;c) optional 2001-08-01 06:29:09 +00:00
Bill Currie bfb8eff2f0 signed_const isn't needed any more 2001-07-27 21:01:01 +00:00
Bill Currie ecc71c4a60 local var = expr; now works (globals must still be consants) 2001-07-27 20:55:14 +00:00
Bill Currie 0c2cd8633c fix -expr handling. generates sucky code atm, but at least it's generating 
code now:P
 2001-07-25 18:36:36 +00:00
Bill Currie 620063628c typecheck values for [frame, think] on thost functions and fix some misplaced 
immediate defs
 2001-07-24 23:53:35 +00:00
Bill Currie 9ad075b02e make if/while/for use test_expr, make test_expr fix the new exp line/file, 
fix some string const issues
 2001-07-24 22:30:31 +00:00
Bill Currie b8874cab1c function return checking 2001-07-23 02:27:46 +00:00
Bill Currie c248372e20 Initial integer type support. qfcc /is/ partially broken when it comes to 
integer constants and float function args/return values.

pr_comp.h:
	o  add the integer opcodes to pr_opcode_e
pr_edict.c:
	o  add "quaternion" and "integer" to type_name[]
	o  support quatnernion and integers types when printing values
	o  support the integer opcodes when bounds checking
pr_exec.c
	o  enable the integer opcodes
pr_opcode:
	o  add the integer opcodes to the opcode table
	o  logical operators all result in an integer rather than a value
expr.h:
	o  rename int_val to integer_val
qfcc.h:
	o  kill another magic number
expr.c:
	o  move the opcode to string conversion out of type_mismatch and into
	   get_op_string
	o  rename int_val to integer_val
	o  general integer type support.
	o  generate an internal comipiler error for null opcodes rather than
	   segging.
pr_imm.c:
	o  rename int_val to integer_val
	o  support integer constants, converting to float when needed.
pr_lex.c:
	o  magic number death and support quaternions and integers in type_size[]
qc-lex.l
	o  rename int_val to integer_val
	o  support quaternion and integer type keywords
qc-parse.y:
	o  rename int_val to integer_val
	o  use binary_expr instead of new_binary_expr for local initialized
	   variables
builtins.c:
	o  rename int_val to integer_val
	o  fix most (all?) of the INT related FIXMEs
defs.qc:
	o  use integer instead of float where it makes sense
main.c:
	o  read_result is now integer rather than float
main.qc:
	o  float -> integer where appropriate
	o  new test for int const to float arg
 2001-07-23 01:31:22 +00:00
Bill Currie 55ac55c7ac rename ev_int and ex_int to ev_integer and ex_integer. create type_integer 
and def_integer (do I need that?), clean up and or coment on XXX and FIXME
 2001-07-22 06:59:12 +00:00
Bill Currie cb80800732 fix debug line numbers for if and while. still `losing' them for return for 
some reason.
 2001-07-15 01:51:01 +00:00
Bill Currie 6c91ee29f0 fix a missed debug test 2001-07-14 01:47:45 +00:00
Bill Currie 64e50e1ebd Basic debug info generation, just line numbers and local defs for each 
function.
 2001-07-14 01:15:40 +00:00
Bill Currie 1db6225ae7 make - - - - -2 work 2001-07-06 04:54:08 +00:00
Bill Currie 4673d701c9 fix the conflicts caused by -ve constants 2001-07-06 04:29:12 +00:00
Bill Currie 1edf1e0b39 format checking for error and warning + needed fixes 
try to give name of object when calling non-function
 2001-07-03 20:53:49 +00:00
Bill Currie ccc00b0608 fix segs on ondeclared identifiers 2001-07-03 20:42:07 +00:00
Bill Currie 6dfee9968b /much/ better error handling 2001-06-28 21:26:40 +00:00
Bill Currie 0271afbb10 warn about the dangers of (!foo & bar) 2001-06-28 15:20:31 +00:00
Bill Currie 01a9372add fix the corrupted locals problem (df->locals was getting set too early) 2001-06-28 02:58:45 +00:00
Bill Currie daf5fc96ea reset temps after emitting a function. it helps :) (fixes the wierd entity 
errors)
 2001-06-27 23:36:03 +00:00
Bill Currie 1eef491c1c handle -ve constants 2001-06-27 19:40:43 +00:00
Bill Currie 504d03a21a expr.c: 
fix a silly stanfu with goto
qc-parse.y:
	suffle the debug code
 2001-06-27 05:45:20 +00:00
Bill Currie 673e6e66b7 turns out qcc wasn't so stupid about = vs ||/&& precedence after all (just 
my interpretation of the code was:/) why oh why didn't John use bison or yacc
in the first place? :/
 2001-06-27 00:10:34 +00:00
Bill Currie 50ae388caa initialisations now seem to work, including cows (mooOOoo:) 2001-06-26 22:43:28 +00:00
Bill Currie 3242c04798 fix the redef error 2001-06-26 16:12:01 +00:00
Bill Currie c1753046a9 start on actually generating code. doesn't work yet (getting a weird type 
redeclaration error and not all expressions are handled yet).
 2001-06-26 07:21:20 +00:00
Bill Currie e99796c4cf new expression type: ex_block. forms a linked list of expressions for fast 
appending and ease of manipulation.
 2001-06-26 03:33:01 +00:00
Bill Currie 749d460041 duplicate code cleanup 2001-06-26 02:46:02 +00:00
Bill Currie 3fa3ab59a9 clean up error reporting a little 2001-06-25 23:42:49 +00:00
Bill Currie 625915288c hopefully make line directives work 2001-06-25 23:38:32 +00:00
Bill Currie 90b5c57266 fix lost initial char of string constants 
make expression strings char * instead of string_t (don't put them into
pr_strings prematurely);
 2001-06-25 22:53:15 +00:00
Bill Currie 53b66ef2e0 better label handling and strings are now completely parsed (including escapes) 2001-06-25 22:11:20 +00:00
Bill Currie 1779a124c5 expr.h: 
nuke the ex_statement and estatement_[st] stuff
	add label_expr prototype
expr.c:
	ex_statement nukage
	correct new_expr's decl
	add label_expr to ease label creation
	don't crash when printing a null expression (bare return)
qc-parse.y:
	estatement_t nukage
	statement statements and statement_block are type expr
	generate `expressions' for statements

a full parse tree for each function is now generated. there are several
special expression opcodes for statements:
	d	done    \
	r	return  -> unary: expression to return or null
	i	if      binary:   evaluated expression, destination label
	n	ifnot   binary:   evaluated expression, destination label
	c	call    binary:   function def, args (expr list, rev order)
	s	state   binary:   frame const, function def
	g	goto    unary:    destination label
	l	label   unary:    label number
in a top level expression, l (label) defines the label, otherwise it is a
reference.
 2001-06-25 20:52:04 +00:00
Bill Currie 2d87eeb57d functions are now initialized, but no code is yet generated 2001-06-25 18:23:29 +00:00
Bill Currie ab051248e8 expr.h: 
add prototype for print_expr
expr.c:
	add print_expr
	correct string accessors
	currect the result type for unary operators
qc-lex.l:
	correct string, vector and quaternion parsing
qc-parse.y:
	precedence corrections and more function scope work

CustomTF gets through the parsing again.
 2001-06-25 17:15:56 +00:00
Bill Currie c12ac3278e a little progress on functions 2001-06-21 07:08:34 +00:00
Bill Currie ae98ed8603 field types are parsed correctly, but parameters have been lost for the 
moment
 2001-06-20 23:32:13 +00:00
Bill Currie aac91d8cd6 more expression handling. turns out I'm mis-parsing field types, so that's next 2001-06-20 21:18:04 +00:00
Bill Currie 226b40483d beginnings of expression and statement processing 2001-06-20 07:02:36 +00:00
Bill Currie 90a0cdfedf now seems to get through CustomTF properly, but better def handling is needed 2001-06-19 23:35:09 +00:00
Bill Currie 2647e63810 finally fix the tupe corruption. 2001-06-19 16:01:38 +00:00
Bill Currie bdc0ba32ca pr_lex.c: 
add PR_PrintType (and lotsa debug to PR_FindType)
qc-parse.y:
	fix up one bit of type corruption, only to find another :/
 2001-06-19 07:28:50 +00:00
Bill Currie 89fecd7cee slowly getting there with defs processing. still borked 2001-06-18 22:51:49 +00:00
Bill Currie b595f0122f got function params scope sort of sorted out 2001-06-15 20:38:57 +00:00
Bill Currie eeaab95be5 beginnings of expression and def handling. 2001-06-15 19:38:43 +00:00
Bill Currie 373ea8132a more work on the code generation and make generally usable again by disabling 
the new stuff
 2001-06-15 07:16:18 +00:00
Bill Currie f9baacd440 beginnings of code generation. hangs :) 2001-06-14 21:49:47 +00:00
Bill Currie d7ebba6a74 parses CustomTF now, but no code generation 2001-06-13 18:35:41 +00:00
Bill Currie c89da89b69 almost parses CustomTF ($macro junk next) 2001-06-13 07:16:39 +00:00
Bill Currie 7d52f12248 clean up C warnings 2001-06-12 20:24:02 +00:00
Bill Currie 3be018e1f9 beginnings of a bison grammar for qc 2001-06-12 19:44:26 +00:00