]> git.xonotic.org Git - xonotic/gmqcc.git/log
xonotic/gmqcc.git
11 years agoir_function_allocate_locals prototype
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 12:14:34 +0000 (14:14 +0200)]
ir_function_allocate_locals prototype

11 years agou1 here instead of s1
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 11:30:14 +0000 (13:30 +0200)]
u1 here instead of s1

11 years agoDon't add the var_ prefix to function names in the ast-test macros...
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 09:54:30 +0000 (11:54 +0200)]
Don't add the var_ prefix to function names in the ast-test macros...

11 years agogenerate the trailing zero
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 09:52:34 +0000 (11:52 +0200)]
generate the trailing zero

11 years agoGenerate function global, take 2-op instruction operand ordering into account
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 09:52:18 +0000 (11:52 +0200)]
Generate function global, take 2-op instruction operand ordering into account

11 years agoFixing NULL->false and empty lines...
Wolfgang (Blub) Bumiller [Mon, 11 Jun 2012 17:25:21 +0000 (19:25 +0200)]
Fixing NULL->false and empty lines...

11 years agoMerge branch 'irgen'
Dale Weiler [Thu, 7 Jun 2012 15:24:55 +0000 (11:24 -0400)]
Merge branch 'irgen'

11 years agoBetter fail
Dale Weiler [Thu, 7 Jun 2012 15:24:28 +0000 (11:24 -0400)]
Better fail

11 years agoFixed more warnings
Dale Weiler [Thu, 7 Jun 2012 15:18:04 +0000 (11:18 -0400)]
Fixed more warnings

11 years agofixed -Wconditional-uninitialized for ast codegen
Dale Weiler [Thu, 7 Jun 2012 15:12:12 +0000 (11:12 -0400)]
fixed -Wconditional-uninitialized for ast codegen

11 years agoRemoved even more warnings
Dale Weiler [Thu, 7 Jun 2012 15:09:29 +0000 (11:09 -0400)]
Removed even more warnings

11 years agoremoved more warnings
Dale Weiler [Thu, 7 Jun 2012 15:04:38 +0000 (11:04 -0400)]
removed more warnings

11 years agofixed shadow issue
Dale Weiler [Thu, 7 Jun 2012 14:59:57 +0000 (10:59 -0400)]
fixed shadow issue

11 years agoMore compile warnings (disabled many for now, they will be re-enabled one-by-one...
Dale Weiler [Thu, 7 Jun 2012 14:57:48 +0000 (10:57 -0400)]
More compile warnings (disabled many for now, they will be re-enabled one-by-one as code that triggers warnings is rectified)

11 years agos/\t/ /g
Dale Weiler [Thu, 7 Jun 2012 14:20:54 +0000 (10:20 -0400)]
s/\t/    /g

11 years agosplint: use typedef instead of macro
Dale Weiler [Thu, 7 Jun 2012 14:19:00 +0000 (10:19 -0400)]
splint: use typedef instead of macro

11 years agoPrint the name, not the struct pointer :S
Wolfgang Bumiller [Sun, 13 May 2012 12:06:50 +0000 (14:06 +0200)]
Print the name, not the struct pointer :S

11 years agoWhitespace
Dale Weiler [Fri, 11 May 2012 16:02:22 +0000 (12:02 -0400)]
Whitespace

11 years agofixing fwrite calls I had messed up
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 16:24:13 +0000 (18:24 +0200)]
fixing fwrite calls I had messed up

11 years agoAdding a few error message.
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 15:39:17 +0000 (17:39 +0200)]
Adding a few error message.

11 years agoTYPE_VARIANT in codegen, writing code from ast-test
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 15:30:08 +0000 (17:30 +0200)]
TYPE_VARIANT in codegen, writing code from ast-test

11 years agogenerating block code in a simple naive order for now - the ast / parser should help...
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 13:02:58 +0000 (15:02 +0200)]
generating block code in a simple naive order for now - the ast / parser should help improving order

11 years agoChecking if mem_a returns NULL in ir_..._new functions
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 12:24:35 +0000 (14:24 +0200)]
Checking if mem_a returns NULL in ir_..._new functions

11 years agoIt's the same TYPE enum...
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 12:18:01 +0000 (14:18 +0200)]
It's the same TYPE enum...

11 years agoMore work on generating code - still not instantiating function-statements, 2 kinds...
Wolfgang Bumiller [Sat, 5 May 2012 08:56:00 +0000 (10:56 +0200)]
More work on generating code - still not instantiating function-statements, 2 kinds of FIXME comments: relocation and creation of ir_values for ir_functions

11 years agoStarting ir_builder_generate - TYPE_FUNCTION still TODO
Wolfgang Bumiller [Fri, 4 May 2012 22:28:51 +0000 (00:28 +0200)]
Starting ir_builder_generate - TYPE_FUNCTION still TODO

11 years agocode_cachedstring
Wolfgang Bumiller [Fri, 4 May 2012 22:28:30 +0000 (00:28 +0200)]
code_cachedstring

11 years agoConvenience function to store a predefined string in the qc string area
Wolfgang Bumiller [Fri, 4 May 2012 22:14:10 +0000 (00:14 +0200)]
Convenience function to store a predefined string in the qc string area

11 years agoPreparing to generate code from the IR - code_write should return a bool, and take...
Wolfgang Bumiller [Fri, 4 May 2012 22:03:18 +0000 (00:03 +0200)]
Preparing to generate code from the IR - code_write should return a bool, and take a filename rather than use program.dat hardcoded

11 years agoreadme s/\t/ /g
Dale Weiler [Sun, 6 May 2012 21:00:16 +0000 (17:00 -0400)]
readme s/\t/   /g

11 years agoUpdated readme
Dale Weiler [Sun, 6 May 2012 20:58:30 +0000 (16:58 -0400)]
Updated readme

11 years agoMerge branch 'master' of github.com:graphitemaster/gmqcc
Dale Weiler [Sat, 5 May 2012 02:01:26 +0000 (22:01 -0400)]
Merge branch 'master' of github.com:graphitemaster/gmqcc

11 years agoutil_strncmpexact
Dale Weiler [Sat, 5 May 2012 02:01:02 +0000 (22:01 -0400)]
util_strncmpexact

11 years agoremoving ast-test macro concept
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 11:04:06 +0000 (13:04 +0200)]
removing ast-test macro concept

11 years agoA new ast-test, now using some macros to make them easier to write...
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 10:28:35 +0000 (12:28 +0200)]
A new ast-test, now using some macros to make them easier to write...

11 years agoFixed some dangling '}', it compiles again now
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 10:26:24 +0000 (12:26 +0200)]
Fixed some dangling '}', it compiles again now

11 years agoWhat was I thinking... fixing loop's jump creation so it doesn't try creating multipl...
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 10:24:44 +0000 (12:24 +0200)]
What was I thinking... fixing loop's jump creation so it doesn't try creating multiple jumps... this code is also much more readable

11 years agoast_loop must end by entering the outgoing block
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 10:01:53 +0000 (12:01 +0200)]
ast_loop must end by entering the outgoing block

11 years agoChanging life-range calculation to include the last read because then it doesn't...
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 08:20:04 +0000 (10:20 +0200)]
Changing life-range calculation to include the last read because then it doesn't need another vector to keep elements in. In order for this to make sense, the life-range overlap test now returns false if the end of one range _equals_ the beginning of the other, since that's not truly overlapping anymore

11 years agoMove the output block of a loop to after the loop, otherwise IR dumps looks just...
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 08:01:38 +0000 (10:01 +0200)]
Move the output block of a loop to after the loop, otherwise IR dumps looks just messy... note that this is merely a cosmetic change

11 years agoMore assembly parsing (function call stuff)
Dale Weiler [Thu, 3 May 2012 23:45:59 +0000 (19:45 -0400)]
More assembly parsing (function call stuff)

11 years agoast_function gets 'breakblock' and 'continueblock' for break and continue support...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 22:16:51 +0000 (00:16 +0200)]
ast_function gets 'breakblock' and 'continueblock' for break and continue support; fixed some typos; added huge ast_loop_codegen implementation... need to go through it and check

11 years agoMore assembler code (less allocations too)
Dale Weiler [Thu, 3 May 2012 20:54:34 +0000 (16:54 -0400)]
More assembler code (less allocations too)

11 years agoSame for ternary: reordered a bit, and fixing ontrue->onfalse at the jump back to...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 20:07:58 +0000 (22:07 +0200)]
Same for ternary: reordered a bit, and fixing ontrue->onfalse at the jump back to the merge block

11 years agoreorder ifthen codegen and fix a jump generation where I used ontrue instead of onfalse
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 20:05:20 +0000 (22:05 +0200)]
reorder ifthen codegen and fix a jump generation where I used ontrue instead of onfalse

11 years agoast_loop - codegen dummied
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 19:57:13 +0000 (21:57 +0200)]
ast_loop - codegen dummied

11 years agoIf-protect on_true and on_false in ast_ifthen since they can be NULL (contrary to...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 19:56:05 +0000 (21:56 +0200)]
If-protect on_true and on_false in ast_ifthen since they can be NULL (contrary to ast_ternary where they can't)

11 years agoRemoving TODO-comment since it's done
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 16:38:29 +0000 (18:38 +0200)]
Removing TODO-comment since it's done

11 years agoDump should print a warning if lifepasses don't match...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 12:17:00 +0000 (14:17 +0200)]
Dump should print a warning if lifepasses don't match...

11 years agoast_function_codegen: Add a return instruction if it is missing, or error if we're...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 12:15:02 +0000 (14:15 +0200)]
ast_function_codegen: Add a return instruction if it is missing, or error if we're not in a void-function

11 years agoast-test should also finalize functions directly
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 12:04:35 +0000 (14:04 +0200)]
ast-test should also finalize functions directly

11 years agonaive_phi now recognizes both store_local and store_value as non-global, create_store...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 12:01:56 +0000 (14:01 +0200)]
naive_phi now recognizes both store_local and store_value as non-global, create_store prints the operand names on an invalid store to a value of store-type store_value

11 years agoir-test.c to use assertions, abort alone creates an ugly output
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 12:00:38 +0000 (14:00 +0200)]
ir-test.c to use assertions, abort alone creates an ugly output

11 years agosprintf with length modifiers is annoying...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 11:45:24 +0000 (13:45 +0200)]
sprintf with length modifiers is annoying...

11 years agoast_test to build an IR
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 11:26:49 +0000 (13:26 +0200)]
ast_test to build an IR

11 years agoast_ternary_codegen - beware, it's almost a spaghetti... almost...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 11:02:29 +0000 (13:02 +0200)]
ast_ternary_codegen - beware, it's almost a spaghetti... almost...

11 years agoast_function_label now takes a labelname to prefix the id with
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 10:40:49 +0000 (12:40 +0200)]
ast_function_label now takes a labelname to prefix the id with

11 years agoast_ifthen_codegen
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 10:38:43 +0000 (12:38 +0200)]
ast_ifthen_codegen

11 years agoast_entfield_codegen
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 10:19:33 +0000 (12:19 +0200)]
ast_entfield_codegen

11 years agoType information moved to ast_expression from ast_value, every ast node should in...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 10:12:22 +0000 (12:12 +0200)]
Type information moved to ast_expression from ast_value, every ast node should in theory know its type - it is important for dereferencing pointers or entity fields, to figure out the output type. Eg. so that ast_entfield knows what kind of OP_LOAD it needs to use

11 years agoTrailing whitespace was imminent, pending editor configuration change to accomodate...
Dale Weiler [Wed, 2 May 2012 22:03:17 +0000 (18:03 -0400)]
Trailing whitespace was imminent, pending editor configuration change to accomodate insanity.

11 years agosupress attribute warnings
Dale Weiler [Wed, 2 May 2012 21:57:45 +0000 (17:57 -0400)]
supress attribute warnings

11 years agoMerge remote-tracking branch 'origin/ast-and-ir'
Dale Weiler [Wed, 2 May 2012 21:46:21 +0000 (17:46 -0400)]
Merge remote-tracking branch 'origin/ast-and-ir'

11 years agoast_binary_codegen, ast_function_label (no I don't like sprintf...)
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 21:11:39 +0000 (23:11 +0200)]
ast_binary_codegen, ast_function_label (no I don't like sprintf...)

11 years agoMerge branch 'master' into ast-and-ir
Dale Weiler [Wed, 2 May 2012 19:50:50 +0000 (15:50 -0400)]
Merge branch 'master' into ast-and-ir

11 years agoargsize parsing for assembler
Dale Weiler [Wed, 2 May 2012 19:48:00 +0000 (15:48 -0400)]
argsize parsing for assembler

11 years agoast_store_codegen and its l/rvalue handling
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 18:36:11 +0000 (20:36 +0200)]
ast_store_codegen and its l/rvalue handling

11 years agoA note to clarify the ast_block/ir_block difference
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 17:46:27 +0000 (19:46 +0200)]
A note to clarify the ast_block/ir_block difference

11 years agoast_block_codegen - as you can see, an ast_block doesn't actually care about ir_blocks
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 17:45:16 +0000 (19:45 +0200)]
ast_block_codegen - as you can see, an ast_block doesn't actually care about ir_blocks

11 years agocreate the ir_function in ast_function_codegen, keep the current ir_block stored...
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 17:25:25 +0000 (19:25 +0200)]
create the ir_function in ast_function_codegen, keep the current ir_block stored in ast_function so inner codegens can use it

11 years agogoing through function blocks in ast_function_codegen
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 17:21:25 +0000 (19:21 +0200)]
going through function blocks in ast_function_codegen

11 years agoast_local/global_codegen exposed through the header for now
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 16:36:11 +0000 (18:36 +0200)]
ast_local/global_codegen exposed through the header for now

11 years agoast_local_codegen - similar structure to global_codegen obviously...
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 16:34:24 +0000 (18:34 +0200)]
ast_local_codegen - similar structure to global_codegen obviously...

11 years agofor ast_value_codegen this should be enough, since the actual generation happens...
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 16:25:59 +0000 (18:25 +0200)]
for ast_value_codegen this should be enough, since the actual generation happens in other functions

11 years agoMore function parsing for assembler
Dale Weiler [Wed, 2 May 2012 15:48:46 +0000 (11:48 -0400)]
More function parsing for assembler

11 years agoassembly statement operand parsing. Now all we need is tables and state to generate...
Dale Weiler [Wed, 2 May 2012 00:36:37 +0000 (20:36 -0400)]
assembly statement operand parsing.  Now all we need is tables and state to generate some valid code.

11 years agotest.qs update
Dale Weiler [Tue, 1 May 2012 22:05:41 +0000 (18:05 -0400)]
test.qs update

11 years agoAssembly statement parsing
Dale Weiler [Tue, 1 May 2012 22:05:11 +0000 (18:05 -0400)]
Assembly statement parsing

11 years agoFunction parsing for the assembler now works, and adds the function to the function...
Dale Weiler [Tue, 1 May 2012 20:42:11 +0000 (16:42 -0400)]
Function parsing for the assembler now works, and adds the function to the function table for the code writer, quake and darkplaces can see it as well (since a def is also created)

11 years agoast_ternary - contrary to ast_ifthen neither ontrue nor onfalse can be NULL, and...
Wolfgang Bumiller [Tue, 1 May 2012 15:02:45 +0000 (17:02 +0200)]
ast_ternary - contrary to ast_ifthen neither ontrue nor onfalse can be NULL, and it does output a value

11 years agoif-then-else AST node - this one is not for ternary expressions
Wolfgang Bumiller [Tue, 1 May 2012 14:55:02 +0000 (16:55 +0200)]
if-then-else AST node - this one is not for ternary expressions

11 years agoRemove 2 unused variables in create_binop - unused since create_general_instruction
Wolfgang Bumiller [Tue, 1 May 2012 14:45:15 +0000 (16:45 +0200)]
Remove 2 unused variables in create_binop - unused since create_general_instruction

11 years agoFix missing 'int op;' in load_from_end, accidently removed it together with the other...
Wolfgang Bumiller [Tue, 1 May 2012 14:44:36 +0000 (16:44 +0200)]
Fix missing 'int op;' in load_from_end, accidently removed it together with the other vars whil making it use general_instruction

11 years agoComment about the form of instruction general_instr is used for
Wolfgang Bumiller [Tue, 1 May 2012 14:29:29 +0000 (16:29 +0200)]
Comment about the form of instruction general_instr is used for

11 years agocreate_phi -> store_value, not store_local... phi output cannot be overwritten
Wolfgang Bumiller [Tue, 1 May 2012 14:27:36 +0000 (16:27 +0200)]
create_phi -> store_value, not store_local... phi output cannot be overwritten

11 years agoReuse general_instr to shorten create_binop
Wolfgang Bumiller [Tue, 1 May 2012 14:26:25 +0000 (16:26 +0200)]
Reuse general_instr to shorten create_binop

11 years agoexpose create_general_instr in ir.h for now...
Wolfgang Bumiller [Tue, 1 May 2012 14:24:16 +0000 (16:24 +0200)]
expose create_general_instr in ir.h for now...

11 years agoGet rid of duplicate code by adding an ir_block_create_general_instr
Wolfgang Bumiller [Tue, 1 May 2012 14:23:45 +0000 (16:23 +0200)]
Get rid of duplicate code by adding an ir_block_create_general_instr

11 years agoir_block_create_fieldaddress - and fixing operand-numbering in load_from_ent
Wolfgang Bumiller [Tue, 1 May 2012 14:20:44 +0000 (16:20 +0200)]
ir_block_create_fieldaddress - and fixing operand-numbering in load_from_ent

11 years agoCommenting on future lvalue use in ast_store
Wolfgang Bumiller [Tue, 1 May 2012 13:15:19 +0000 (15:15 +0200)]
Commenting on future lvalue use in ast_store

11 years agocodegen gets an lvalue flag now
Wolfgang Bumiller [Tue, 1 May 2012 13:14:44 +0000 (15:14 +0200)]
codegen gets an lvalue flag now

11 years agoast_instantiate should check return value of mem_a and return NULL on error
Wolfgang Bumiller [Tue, 1 May 2012 13:09:17 +0000 (15:09 +0200)]
ast_instantiate should check return value of mem_a and return NULL on error

11 years agoast_entfield node
Wolfgang Bumiller [Tue, 1 May 2012 13:08:54 +0000 (15:08 +0200)]
ast_entfield node

11 years agoalignment fix
Wolfgang Bumiller [Tue, 1 May 2012 10:43:10 +0000 (12:43 +0200)]
alignment fix

11 years agoImplementation of liferange overlap test
Wolfgang Bumiller [Tue, 1 May 2012 10:40:37 +0000 (12:40 +0200)]
Implementation of liferange overlap test

11 years agoCheck for TYPE_FIELD in load_from_ent
Wolfgang Bumiller [Tue, 1 May 2012 10:14:07 +0000 (12:14 +0200)]
Check for TYPE_FIELD in load_from_ent

11 years agostyle fix
Wolfgang Bumiller [Tue, 1 May 2012 10:13:04 +0000 (12:13 +0200)]
style fix

11 years agoir_block_create_load_from_ent - long name, I know, but we need to be able to load...
Wolfgang Bumiller [Tue, 1 May 2012 10:12:53 +0000 (12:12 +0200)]
ir_block_create_load_from_ent - long name, I know, but we need to be able to load from pointers too at some point...

11 years agosupport TYPE_FIELD in stores; storeP to do a different kind of type checking
Wolfgang Bumiller [Tue, 1 May 2012 10:05:47 +0000 (12:05 +0200)]
support TYPE_FIELD in stores; storeP to do a different kind of type checking

11 years agoir_block_create_storep for storing through pointers, the IR does not implicitly creat...
Wolfgang Bumiller [Tue, 1 May 2012 09:58:52 +0000 (11:58 +0200)]
ir_block_create_storep for storing through pointers, the IR does not implicitly create conversions for now when using pointers, but it could