fixed function call code generation

Merge branch 'master' of mdlowis.com:~/git/proto/obnc

added function call syntax and ssa generation. Backend is segfaulting currently

updated TODO

fixed record access

record field access is working now

added type emitting code for records

nested array accesses appear to be working now. next up is records

flat array indexing is functioning. nested arrays are broken. this is...progress

minor refactoring. still need to fix array indexing

fixed if statements

refactores SSA nodes. almost back to functional...

renamed type field

started properly implementing array indexing. hit some setbacks and need to rework the ssa data structures

added new test functions for net functionality to implement

implemented if statements in code generator

fixed void return functions and reworked test file

emit symbols with the module name

fixed up comparison operations of Reals

fixed up loads and stores

fixed up code generation for comparison operators (integer only right now)

fixed null pointer issues but code generation is still wrong

added arg and return types to operations

more implementation of binary operations

fixed return opcode handling

loads and stores are working now

added binop scaffolding

checkpoint commit for coalescing constants into operations

typedefs, globals, and function defs working for llvm ir

added some type generation code for llvm ir

added base type definitions for llvm ir

started implementing llvm assembly code generation

fixup ssa variable versioning logic

added recursive phi function handling. Still some bugs to work out...

fixed code for handling returns from functions

attempted to add in function blocks but return statements are not working at the moment

reporting if statements correctly now

implemented topological sort and fixed up plantuml graph dumping to use it. Next step is finishing SSA creation and printing for if statements

updated ssa printing logic to use bitset to avoid multiple visits

added bitset data structure for code generation usage

if statements are generating mostly-accurate graphs now. Need to prevent double visitations and ensure the blocks are printed in an appropriate order

started adding logic to print graphs

start defining CFG links for blocks

added basic phi function handling for straight line code. Next up is if statements

checkpoint commit

implemented basic ssa without phis. phis will come next

started adding print functions for ssa basic blocks

started implementing statement sequences

constant folding working for new ssa form

much scaffolding for SSA

started modifying parser to generate ssa directly

sketched out new ssa-based API

removed distinction between unop and binop in API

cleaned up module entries in the symbol file

minor cleanup and update of TODO list

added type cache output to symbol file

reorganized file

started writing rudimentary symbol export logic

implemented first pass at module coped identifiers. Still need to add symbol file genration and loading

sketched out strategy for module importing and aliasing as well as symbol resolution

implemented function calls

Got If statements and procedure definitions working. AST creation now self optimizes by performing constant folding, block coalescing and dead code removal during creation. This will result in less work for the optimizer.

tweaked ast printing

sketched out really rough logic for array indexing

re-enabled variable and type declarations

non-record type definitions are working now.

got basic expression parsing back up and running. Verified using constant evaluation logic

cleanup dead code from old architecture.

added constant operations for binary operators

unary constant operations are working

started integrating AST generation. Null pointer making its way into printing or generation. haven't tracked it down yet

push ast.c

created ast.c

added very basic AST definition. Considering ditching ssa-like IR for simpler AST format

fixed up constants and constant unary ops

commented out a bunch of code in preparation for IR overhaul

attempted to flesh out ssa backend. Considering scrapping it and moving to a tree form instead...

added new backend

got rid of next pointer for Symbol type

started sketching API for intermediate language implementation

fixed up function calls

fixed up code generation with new symbol table approach.

reworked function definitions and scoping with new symbol table

new symbol table functioning

reworking symbol table...very broken

checkpoint commit

partial fix-up of array access. Need to generate index calculations

moved TODO to dedicated file. removed offset from item type. Defined types for possible SSA form

cleaned up record access code

wrapped up initial record support

implemented record types and record member access

reworked field addition to records

added some helpful info

implemented alignment and size calculation on records and arrays. Also added a list of undefined behaviors in C to keep in mind.

segfaults everywhere

added export bit for fields

initial record pass using symbols. Added a field type, should convert to using that over the symbol type when specifying record fields

Merge branch 'master' of mdlowis.com:~/git/proto/obnc

commented out broken stuff...really gotta get it working...

Merge branch 'master' of mdlowis.com:~/git/proto/obnc