]>
git.rm.cloudns.org Git - xonotic/gmqcc.git/log
Wolfgang (Blub) Bumiller [Fri, 29 Jun 2012 13:41:56 +0000 (15:41 +0200)]
fixed a typo in asm_instr[]: ES_FNC->EQ_FNC
Wolfgang (Blub) Bumiller [Fri, 29 Jun 2012 13:40:21 +0000 (15:40 +0200)]
create_call should use store_return as output type for now
Wolfgang (Blub) Bumiller [Fri, 29 Jun 2012 12:37:12 +0000 (14:37 +0200)]
adding another storage type: store_return; when generating a CALL, the generator can check the output value's storetype, and if it is NOT store_return, it needs to STORE_x the return value into the output value.
Wolfgang (Blub) Bumiller [Fri, 29 Jun 2012 11:25:31 +0000 (13:25 +0200)]
generating an ir_value for an ir_function at creation now
Wolfgang (Blub) Bumiller [Fri, 29 Jun 2012 11:07:19 +0000 (13:07 +0200)]
function in the ast now MUST have an output type in their 'next' ast_expression pointer, the IR's outtype of functions is now filled
Wolfgang (Blub) Bumiller [Fri, 29 Jun 2012 10:55:35 +0000 (12:55 +0200)]
ir_builder_create_call to take return type from the ir_value
Wolfgang (Blub) Bumiller [Thu, 28 Jun 2012 15:27:02 +0000 (17:27 +0200)]
Fix a possibly uninitialized variable
Wolfgang (Blub) Bumiller [Thu, 28 Jun 2012 15:22:56 +0000 (17:22 +0200)]
Fixing GMQCC_SUPPRESS_EMPTY_BODY typo
Wolfgang (Blub) Bumiller [Thu, 28 Jun 2012 15:21:26 +0000 (17:21 +0200)]
ast_call_codegen, ir_block_create_call plus call-related functions, ir_value->outtype TODO: fill outtype in ir_value
Wolfgang (Blub) Bumiller [Thu, 28 Jun 2012 14:20:31 +0000 (16:20 +0200)]
Added a comment about an idea on how to translate calls better. Gotta check some papers for better solutions later
Wolfgang (Blub) Bumiller [Thu, 28 Jun 2012 14:15:51 +0000 (16:15 +0200)]
ast_call node; codegen dummy
Wolfgang (Blub) Bumiller [Thu, 28 Jun 2012 13:50:51 +0000 (15:50 +0200)]
ir_instr can now store a list of parameters, will be used for CALLs
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 17:35:18 +0000 (19:35 +0200)]
Deleting the manually written ast-test which was '#if 0'-ed out
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 17:27:50 +0000 (19:27 +0200)]
generation of COND and JUMP now works
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 15:43:10 +0000 (17:43 +0200)]
ir_function.allocated_locals now contains the number of locals a function requires, renamed code.slot to code.local, makes more sense
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 15:37:50 +0000 (17:37 +0200)]
removing debug output
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 14:06:01 +0000 (16:06 +0200)]
value position allocation, fixing a possible endless loop in ir_values_overlap
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 12:51:31 +0000 (14:51 +0200)]
ir_value_life_merge_into, to merge the liferange of one value into the range of another, testing in test_ir
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 12:14:34 +0000 (14:14 +0200)]
ir_function_allocate_locals prototype
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 11:30:14 +0000 (13:30 +0200)]
u1 here instead of s1
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...
Wolfgang (Blub) Bumiller [Mon, 25 Jun 2012 09:52:34 +0000 (11:52 +0200)]
generate the trailing zero
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
Wolfgang (Blub) Bumiller [Mon, 11 Jun 2012 17:25:21 +0000 (19:25 +0200)]
Fixing NULL->false and empty lines...
Dale Weiler [Thu, 7 Jun 2012 15:24:55 +0000 (11:24 -0400)]
Merge branch 'irgen'
Dale Weiler [Thu, 7 Jun 2012 15:24:28 +0000 (11:24 -0400)]
Better fail
Dale Weiler [Thu, 7 Jun 2012 15:18:04 +0000 (11:18 -0400)]
Fixed more warnings
Dale Weiler [Thu, 7 Jun 2012 15:12:12 +0000 (11:12 -0400)]
fixed -Wconditional-uninitialized for ast codegen
Dale Weiler [Thu, 7 Jun 2012 15:09:29 +0000 (11:09 -0400)]
Removed even more warnings
Dale Weiler [Thu, 7 Jun 2012 15:04:38 +0000 (11:04 -0400)]
removed more warnings
Dale Weiler [Thu, 7 Jun 2012 14:59:57 +0000 (10:59 -0400)]
fixed shadow issue
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)
Dale Weiler [Thu, 7 Jun 2012 14:20:54 +0000 (10:20 -0400)]
s/\t/ /g
Dale Weiler [Thu, 7 Jun 2012 14:19:00 +0000 (10:19 -0400)]
splint: use typedef instead of macro
Wolfgang Bumiller [Sun, 13 May 2012 12:06:50 +0000 (14:06 +0200)]
Print the name, not the struct pointer :S
Dale Weiler [Fri, 11 May 2012 16:02:22 +0000 (12:02 -0400)]
Whitespace
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 16:24:13 +0000 (18:24 +0200)]
fixing fwrite calls I had messed up
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 15:39:17 +0000 (17:39 +0200)]
Adding a few error message.
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 15:30:08 +0000 (17:30 +0200)]
TYPE_VARIANT in codegen, writing code from ast-test
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
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 12:24:35 +0000 (14:24 +0200)]
Checking if mem_a returns NULL in ir_..._new functions
Wolfgang (Blub) Bumiller [Wed, 9 May 2012 12:18:01 +0000 (14:18 +0200)]
It's the same TYPE enum...
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
Wolfgang Bumiller [Fri, 4 May 2012 22:28:51 +0000 (00:28 +0200)]
Starting ir_builder_generate - TYPE_FUNCTION still TODO
Wolfgang Bumiller [Fri, 4 May 2012 22:28:30 +0000 (00:28 +0200)]
code_cachedstring
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
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
Dale Weiler [Sun, 6 May 2012 21:00:16 +0000 (17:00 -0400)]
readme s/\t/ /g
Dale Weiler [Sun, 6 May 2012 20:58:30 +0000 (16:58 -0400)]
Updated readme
Dale Weiler [Sat, 5 May 2012 02:01:26 +0000 (22:01 -0400)]
Merge branch 'master' of github.com:graphitemaster/gmqcc
Dale Weiler [Sat, 5 May 2012 02:01:02 +0000 (22:01 -0400)]
util_strncmpexact
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 11:04:06 +0000 (13:04 +0200)]
removing ast-test macro concept
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...
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 10:26:24 +0000 (12:26 +0200)]
Fixed some dangling '}', it compiles again now
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
Wolfgang (Blub) Bumiller [Fri, 4 May 2012 10:01:53 +0000 (12:01 +0200)]
ast_loop must end by entering the outgoing block
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
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
Dale Weiler [Thu, 3 May 2012 23:45:59 +0000 (19:45 -0400)]
More assembly parsing (function call stuff)
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
Dale Weiler [Thu, 3 May 2012 20:54:34 +0000 (16:54 -0400)]
More assembler code (less allocations too)
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
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
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 19:57:13 +0000 (21:57 +0200)]
ast_loop - codegen dummied
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)
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 16:38:29 +0000 (18:38 +0200)]
Removing TODO-comment since it's done
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 12:17:00 +0000 (14:17 +0200)]
Dump should print a warning if lifepasses don't match...
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
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 12:04:35 +0000 (14:04 +0200)]
ast-test should also finalize functions directly
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
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
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 11:45:24 +0000 (13:45 +0200)]
sprintf with length modifiers is annoying...
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 11:26:49 +0000 (13:26 +0200)]
ast_test to build an IR
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 11:02:29 +0000 (13:02 +0200)]
ast_ternary_codegen - beware, it's almost a spaghetti... almost...
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
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 10:38:43 +0000 (12:38 +0200)]
ast_ifthen_codegen
Wolfgang (Blub) Bumiller [Thu, 3 May 2012 10:19:33 +0000 (12:19 +0200)]
ast_entfield_codegen
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
Dale Weiler [Wed, 2 May 2012 22:03:17 +0000 (18:03 -0400)]
Trailing whitespace was imminent, pending editor configuration change to accomodate insanity.
Dale Weiler [Wed, 2 May 2012 21:57:45 +0000 (17:57 -0400)]
supress attribute warnings
Dale Weiler [Wed, 2 May 2012 21:46:21 +0000 (17:46 -0400)]
Merge remote-tracking branch 'origin/ast-and-ir'
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...)
Dale Weiler [Wed, 2 May 2012 19:50:50 +0000 (15:50 -0400)]
Merge branch 'master' into ast-and-ir
Dale Weiler [Wed, 2 May 2012 19:48:00 +0000 (15:48 -0400)]
argsize parsing for assembler
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 18:36:11 +0000 (20:36 +0200)]
ast_store_codegen and its l/rvalue handling
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 17:46:27 +0000 (19:46 +0200)]
A note to clarify the ast_block/ir_block difference
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
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
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 17:21:25 +0000 (19:21 +0200)]
going through function blocks in ast_function_codegen
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 16:36:11 +0000 (18:36 +0200)]
ast_local/global_codegen exposed through the header for now
Wolfgang (Blub) Bumiller [Wed, 2 May 2012 16:34:24 +0000 (18:34 +0200)]
ast_local_codegen - similar structure to global_codegen obviously...
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
Dale Weiler [Wed, 2 May 2012 15:48:46 +0000 (11:48 -0400)]
More function parsing for assembler
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.
Dale Weiler [Tue, 1 May 2012 22:05:41 +0000 (18:05 -0400)]
test.qs update
Dale Weiler [Tue, 1 May 2012 22:05:11 +0000 (18:05 -0400)]
Assembly statement parsing
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)
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
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
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