qf/quakeforge
0
0
Fork 0
mirror of https://git.code.sf.net/p/quake/quakeforge synced 2024-11-29 23:52:22 +00:00
Code Issues Projects Releases Packages Wiki Activity
13556 commits 17 branches 20 tags 29 MiB
Commit graph

203 commits

Author SHA1 Message Date
Bill Currie
1cd5ea5732 [qfcc] Add support for named labels in statements 
Yeah, I've finally decided to implement goto. Limited to function scope
of course.
 2020-03-11 12:49:10 +09:00
Bill Currie
5535a6a509 [qfcc] Fix missing words in a comment 2020-03-11 10:49:49 +09:00
Bill Currie
9acfdea8b5 [qfcc] Improve line number binding for function calls 
Multi-line calls (especially messages) got rather confusing to read as
the lines jumped back and forth. Now the binding is better but the dags
code is reordering the parameters sometimes.
 2020-03-11 01:52:45 +09:00
Bill Currie
b4aebc120e [qfcc] Treat { } as nil for initializing compound types 2020-02-27 20:30:39 +09:00
Bill Currie
e23aa40994 Implicitly cast unadorned floating point constants 
Floating point constants without f or d adornments will automatically
cast, without warnings, to the type appropriate to the rest of the
expression.
 2020-02-23 22:28:54 +09:00
Bill Currie
14cde99d6e White space 
of the worst sort.
 2020-02-23 22:27:07 +09:00
Bill Currie
ea3af84baa Fix ICE when const-folding doubles 
I really need to rework that system.
 2020-02-23 20:49:56 +09:00
Bill Currie
1b43046c8a Handle aliased types when building function calls 2020-02-19 21:41:46 +09:00
Bill Currie
533fb8acc9 Implement double constants 2020-02-15 23:49:12 +09:00
Bill Currie
df7c08a010 Add support for doubles to Ruamoko 
Only as scalars, I still need to think about what to do for vectors and
quaternions due to param size issues. Also, doubles are not yet
guaranteed to be correctly aligned.
 2020-02-15 23:49:12 +09:00
Bill Currie
9248e8cf01 Update for doxygen 1.8.16 2020-02-11 15:22:42 +09:00
Bill Currie
913b9f52e0 Add an offset alias expression 
This should make dealing with def elements (vector etc) easier.
 2019-06-10 18:13:28 +09:00
Bill Currie
efdfc7436f Move ev_types into types.[ch] 
No wonder I couldn't find it the other day...
 2019-06-10 18:04:25 +09:00
Bill Currie
ec89149b29 Build for loop decl inits correctly 
The multiple expressions are chained together and evaluate in left to
right order.
 2019-06-09 13:54:03 +09:00
Bill Currie
df0316bb13 Clean up some comment FIXMEs 2019-06-08 19:22:29 +09:00
Bill Currie
6c53be928b Support returning vector expressions. 
Currently fails due to a scheduling problem when the vector expression
contains functions.
 2018-10-13 23:32:53 +09:00
Bill Currie
aaab18c9a7 Nuke a dead field. 
It looks like ex_temp_t.expr was never really used, and I have no idea
what I had intended (not surprising after ~17 years).
 2018-10-13 12:07:50 +09:00
Bill Currie
78e0a8dc52 Support assigning non-constant vector expressions. 2018-10-12 22:05:17 +09:00
Bill Currie
71b3d30aa1 Make the ice a little more informative. 2018-10-12 14:51:39 +09:00
Bill Currie
34bcf7faab Do a pure/const/noreturn/format attribute pass. 
I always wanted these, but as gcc now provides warnings for functions that
could do with such attributes, finding all the functions is much easier.
 2018-10-09 12:42:21 +09:00
Bill Currie
db460155e9 Fix multiple function calls in expressions. 2013-09-27 23:15:57 +09:00
Bill Currie
3295370328 Expose and use field_expr(). 
This may cause problems later on, but it is needed for the binary_expr()
cleanup.
 2013-09-27 23:15:57 +09:00
Bill Currie
ca9693d9cd Expose convert_from_bool(). 2013-09-27 23:15:57 +09:00
Bill Currie
7f50333b2c Add support for constant [] vector expressions. 2013-09-27 23:15:57 +09:00
Bill Currie
7a7a685105 Add support for actual vector expressions. 
Currently, they can represent either vectors or quaternions, and the
quaternions can be in either [s, v] form or [w, x, y, z] form.

Many things will not actual work yet as the vector expression needs to be
converted into the appropriate form for assigning the elements to the
components of the "vector" type.
 2013-09-27 23:15:57 +09:00
Bill Currie
a6cdc8735a Start implementing vec = [x,y,z]. 
This is a nice feature found in fteqcc (also a bit of a challenge from
Spike). Getting bison to accept the new expression required rewriting the
state expression grammar, so this is mostly for the state expression. A
test to ensure the state expression doesn't break is included.
 2013-09-27 23:15:56 +09:00
Bill Currie
cef2136050 Implement "not" logic for while and do-while. 
This goes towards complementing the "if not" logic extension. I need to
check if fteqcc supports "not" with "while" (the version I have access to
at the moment does not), and also whether it would be good  to support
"not" with "for", and if so, what form the syntax should take.
 2013-06-26 23:04:35 +09:00
Bill Currie
8d34d33055 Implement "if not (foo)" syntax. 
It is syntactic sugar for if (!(foo)), but is useful for avoiding
inconsistencies between such things as if (string) and if (!string), even
though qcc can't parse if not (string). It also makes for easier to read
code when the logic in the condition is complex.
 2013-06-26 23:02:55 +09:00
Bill Currie
b295524385 Add new_value_expr(). 
This simplifies creating a new expression for an arbitrary value object.
 2012-12-23 19:29:50 +09:00
Bill Currie
54289da416 Fix the line number info for else. 
It has bugged me for a while that the goto for else would display the if's
source line.
 2012-12-01 16:37:38 +09:00
Bill Currie
86968f662e Store the function type in function values. 
This fixes IMP msg = nil;
 2012-11-21 10:06:15 +09:00
Bill Currie
60321061d2 Fix dot_expr.c to work with dump_dot(). 2012-11-19 12:14:02 +09:00
Bill Currie
bd5a790456 Support statement labels in dags. 
While the code is broken in places, switch.r generates code again.
 2012-11-16 20:12:13 +09:00
Bill Currie
0c58cd9067 Generate only one daglabel for value operands. 
As each value is now unique, their labels can also be unique, which will
improve CSE.
 2012-11-15 13:44:06 +09:00
Bill Currie
28ce35f1c1 Make values independent objects. 
values are now uniquely allocated (for the current object file). With
this, constants in dags will work.
 2012-11-15 13:44:06 +09:00
Bill Currie
9095e1eabc Rework build_switch to use initialize_def. 
This required support for label reference expressions, whose purpose is to
represent the address of a label.
 2012-11-09 12:22:34 +09:00
Bill Currie
bc1b483525 Nuke the rcsid stuff. 
It's pretty useless in git.
 2012-04-22 10:56:32 +09:00
Bill Currie
d910c14935 Clean up some doxygen warnings. 2011-07-10 19:12:07 +09:00
Bill Currie
55cc0f9206 Bring back the unsigned type (PROGS version bump) 
This is only low-level support (the unsigned keyword still does not work),
but sufficient to make switch statements using jump tables work.
 2011-04-09 10:07:47 +09:00
Bill Currie
39278ba8cc Explicitly select between direct and indirect moves. 2011-03-09 10:30:57 +09:00
Bill Currie
8cfa80b5d4 Implement think expressions. 2011-03-05 18:01:37 +09:00
Bill Currie
c5ecc170b6 Give labels a usage count to detect unused labels. 2011-03-03 15:28:49 +09:00
Bill Currie
45de7327dc Implement alias expressions (finally). 
Alias expressions are like cast expressions, but never do any conversions.
 2011-03-03 11:06:10 +09:00
Bill Currie
19f6faf0ad Fix aggregate initializers. 
Initializing arrays and structs seems to be working.
 2011-02-15 09:30:37 +09:00
Bill Currie
d162838299 Resurrect constant_expr(). 2011-02-15 09:28:27 +09:00
Bill Currie
681ded9375 Fix debug line number information. 2011-02-09 09:59:43 +09:00
Bill Currie
3c849b970b Handle union access now that they're detected properly. 2011-02-08 14:45:48 +09:00
Bill Currie
28ba4b5712 Correct a comment. 2011-02-07 09:56:33 +09:00
Bill Currie
67957a14df Bring back convert_name(), but siimplified. 
It is now mainly for converting __FILE__ etc, handling expression symbols,
and checking for undefined identifiers.
 2011-02-06 14:29:14 +09:00
Bill Currie
a6e65488ec Remove the "test" parameter from test_expr. 
The parameter became redundant at some stage.
 2011-01-27 08:31:51 +09:00
Bill Currie
0624408317 Move the diagnostic functions into their own file. 2011-01-24 21:54:57 +09:00
Bill Currie
afc5b2827d Simplify def handling, use far data. 
Since there is now a proper symbol table, defs are now just references to
memory locations and the symbol table takes care of duplicates.

Also, start using far data for ObjQC structures.

The qfo functions have been stubbed out until I figure out what to do with
object files in the new scheme.
 2011-01-24 15:41:43 +09:00
Bill Currie
341f370662 Rename is_math() to is_math_op(). 2011-01-23 11:12:05 +09:00
Bill Currie
d5f669af7a Nuke temp reference counting. 
The whole reason for this crazy developement branch :)
 2011-01-22 11:40:53 +09:00
Bill Currie
52b561f7cb Nuke bind expressions. 
Since I'm planning on implementing CSE and other optimizations, they're
rather redundant (and I'm having trouble getting them to work).
 2011-01-21 19:07:58 +09:00
Bill Currie
4a24393d8d Temp expressions now use operands instead of defs. 2011-01-21 11:26:43 +09:00
Bill Currie
f8cc347dce Print expressions as dot files. 
While the resulting images can be a little confusing, they're much easier
to read than my cryptic postfix notation.
 2011-01-20 15:23:19 +09:00
Bill Currie
5deda9c9b9 Clean out ex_def as ex_symbol replaces it. 2011-01-19 22:25:04 +09:00
Bill Currie
b5424bca7d Start work on getting expressions converted to internal statements. 2011-01-19 15:47:45 +09:00
Bill Currie
e08efe036b Move the constant expression values into their own struct. 2011-01-19 08:43:24 +09:00
Bill Currie
ea3895805b Rewrite much to use symbols and symtabs. Gut emit.c. Massive breakage. 
That which isn't rewritten is horribly broken. However, this does include a
nice mechanism for building QC structs for emitting data.

emit.c has been gutted in the spirit of "throw one away".

There is much work to be done to get even variables emitted, let alone
code. Things should be a little more fun from here on.
 2011-01-17 22:34:41 +09:00
Bill Currie
d3a98af783 Make internal_error globally available. 2011-01-17 22:34:41 +09:00
Bill Currie
8f71986306 Add symbol expressions (like def expressions). 
They will eventually replace def expressions. Currently quite broken.
 2011-01-13 14:54:24 +09:00
Bill Currie
258c896e4d Create a function to build if/else blocks. 2011-01-13 14:33:16 +09:00
Bill Currie
21d7c78eb7 Allow deep copying of expression trees. 
Certain expression types (eg labels) are created fresh.
 2011-01-11 12:05:29 +09:00
Bill Currie
abe471110c Make inc/dec_users return the the expression. 
Just for convenience.
 2011-01-11 08:44:43 +09:00
Bill Currie
18ae178eaf Make new_vector_expr and new_quaternion_expr const-correct. 2011-01-11 08:43:34 +09:00
Bill Currie
75ec6bf244 Clean out some unnecessary types from the progs engine and clean up the mess. 
This is a nasty commit, sorry, but 99% of the commit is interdependent.
 2011-01-10 12:25:31 +09:00
Bill Currie
02f78e46f8 More expression docs. 2011-01-03 16:25:59 +09:00
Bill Currie
58042719e5 A little more documentation for expressions. 2011-01-03 16:19:28 +09:00
Bill Currie
6c631c6d5d Start documenting qfcc. 2010-12-19 11:35:18 +09:00
Bill Currie
67beaf4487 Nil is a constant, so allow it in global initializers. 2010-11-24 17:01:18 +09:00
Bill Currie
ae4fc3147d allow '*pointer' expressions 2010-01-13 06:31:41 +00:00
Bill Currie
ccb8faf6ef produce a warning for the likes of "x - x & y" 2010-01-13 06:26:18 +00:00
Bill Currie
40fefff847 fix incorrect users for temps resulting from casting the result of ?: 
There are probably other situations, but I'll fix them as they show up.
 2010-01-13 06:25:06 +00:00
Bill Currie
72af804b31 nested include reporting 2007-03-31 15:27:36 +00:00
Bill Currie
66257e3a88 run in fear, function overloading is here 
This is an imperfect revision of history.
 2004-11-13 11:50:00 +00:00
Bill Currie
4d044bfea4 make entity.vector.x work properly by making relative field offset work. also don't emit a field def for the resulting immediate 
This is an imperfect revision of history.
 2004-11-12 10:49:00 +00:00
Bill Currie
7b28c555ba quaternion field access now works 2004-04-09 04:12:44 +00:00
Bill Currie
c3f41e3e69 new opcode: state.f. same as state, but takes a 3rd float operand to 
specify the step for calculating nextthink. accessed using
[frame, think, step] (state is [frame, think])
 2004-02-11 01:43:33 +00:00
Bill Currie
51b0a66ac7 better constant folding with auto-conversion between scalar types (might 
make that optional for non-constants)
 2004-01-25 08:55:03 +00:00
Bill Currie
945006494f short circuit logic for && and || (as per C). forces standard precedence 
(ie, breaks --traditional) when enabled (no choice at the moment, next fix)
 2003-10-22 08:05:17 +00:00
Bill Currie
11538d4745 access arrays in structs more efficiently (especially when using constant 
indeces)
 2003-09-02 17:41:16 +00:00
Bill Currie
b38486d405 make rel_def_op work properly 2003-08-22 19:48:14 +00:00
Bill Currie
dd9ab1e050 get unsigned mostly working 2003-08-01 21:20:04 +00:00
Bill Currie
dedb2fa6bf get [super ...] working correctly 2003-05-15 05:58:31 +00:00
Bill Currie
2f6fc5d80c general revamp so params and the return value use proper defs rather than 
hardcoded locations. this will allow use of quaternions in the future.
 2003-04-22 15:29:32 +00:00
Bill Currie
ef762e21eb allow initialized globals (since they're constant) to be used in most places 
constants are required (switch, initializing globals, enums)
 2003-02-28 04:54:07 +00:00
Bill Currie
567b905590 copyright block work 2002-10-22 14:53:18 +00:00
Bill Currie
7bb6dd7197 make chained structure assignments (mostly) work. found a bug in the 
handling of pointer immediates which needs fixing before this will work in
general
 2002-10-20 02:35:12 +00:00
Bill Currie
6af57049d5 make pointers work a bit better 2002-10-16 02:04:06 +00:00
Bill Currie
324b89696a create new_*_expr functions for all basic expression types except ex_poitner 
and use them instead of new_expr and setting the fields each time. Serious
code cleanup :)
 2002-09-11 16:21:26 +00:00
Bill Currie
a94bdb199f @sizeof (foo) should work now 2002-08-18 04:08:02 +00:00
Bill Currie
06390e10e6 more relocs fixups. my little OO hello world progs works now :) 2002-07-14 03:41:13 +00:00
Bill Currie
c1894db59f split the emit stuf out of expr.h into emit.h 2002-07-08 18:53:07 +00:00
Bill Currie
f8e4215ba9 implement compiler "notices": potentially important information that isn't 
really a warning (unless requested) and can be silenced.
 2002-06-20 19:29:06 +00:00
Bill Currie
00a54ad918 redo relocations 2002-06-07 17:29:30 +00:00
Bill Currie
e17604f9c2 remove all arbitrary limits except for globals. they'll need a little more 
work. Once they're done, it should take quite a big mod to crash qfcc due
to too many strings/statements/etc :)
 2002-06-05 17:12:55 +00:00
Bill Currie
69605d0b19 even more cleanup 2002-06-04 21:23:39 +00:00
Bill Currie
06bddd3ee6 more cleanup 2002-06-04 18:44:03 +00:00