~cnx/roux - Alternative QBE compiler

Age	Commit message (Collapse)	Author
2017-02-17	stricter class constraints for store & vastart	Quentin Carbonneaux

2017-02-15	add support for closure calls	Quentin Carbonneaux
	Compiling languages with closures often requires passing an extra environment parameter to the called function. One solution is to use a convention, and reserve, say, the first argument for that purpose. However, that makes binding to C a little less smooth. Alternatively, QBE now provides a way to remain fully ABI compatible with C by having a "hidden" environment argument (marked with the keyword 'env'). Calling a function expecting an environment from C will make the contents of the environment undefined, but the normal arguments will be passed without alteration. Conversely, calling a C function like it is a closure by passing it an environemnt will work smoothly.
2017-02-14	minor cleanup in all.h	Quentin Carbonneaux

2017-02-10	support variable argument lists	Quentin Carbonneaux
	This change is backward compatible, calls to "variadic" functions (like printf) must now be annotated (with ...).
2017-01-12	use a less obtuse api for vnew()	Quentin Carbonneaux

2017-01-04	more performance improvements in the parser	Quentin Carbonneaux

2016-12-31	use a perfect hash for lexing	Quentin Carbonneaux

2016-12-28	fix escapes handling (patch from ac)	Quentin Carbonneaux

2016-09-27	accept "ret" for functions with a return type	Quentin Carbonneaux
	This happens to be needed for C. The standard mandates that a return value is used if the caller uses it. Surprisingly, if the return "value" is not used, the callee can use "return;". A better solution is to add an "undef" value and return it, "undef" would also have other use cases for compiling C.
2016-08-16	add support for unions in sysv abi	Quentin Carbonneaux

2016-08-16	parse union types	Quentin Carbonneaux

2016-08-15	specify the allocation function in vnew	Quentin Carbonneaux

2016-08-14	couple of case fixes in tokens	Quentin Carbonneaux

2016-08-14	use an enum for aggregate segments	Quentin Carbonneaux

2016-04-25	fix type size computations in parser	Quentin Carbonneaux
	The type sizes are important to get right because the ABI relies on them when it emits memory blits to pass/return structs.
2016-04-22	refine fp conversion instructions	Quentin Carbonneaux

2016-04-22	make sure type sizes never overflow	Quentin Carbonneaux

2016-04-20	disallow phi nodes in the start block	Quentin Carbonneaux
	AFL found this bug.
2016-04-20	support calls with no return	Quentin Carbonneaux
	I thought it would be harder (and maybe it is). My fear was that a call must be always followed by a parallel move from machine registers (this is an assumption in both spill and rega). This however remains true, because the ABI code generates a dummy "copy RAX" by accident!
2016-04-20	normalize case in token names	Quentin Carbonneaux

2016-04-20	match jumps/ops with il text	Quentin Carbonneaux

2016-04-18	factor some subtyping logic in clsmerge()	Quentin Carbonneaux

2016-04-16	support trailing , in types/args/params	Ori Bernstein

2016-04-16	fix relic error message	Quentin Carbonneaux

2016-04-13	check types on assignments	Quentin Carbonneaux

2016-04-12	bug in checking of multiple definitions	Quentin Carbonneaux

2016-04-12	add missing idiv in opdesc[]	Quentin Carbonneaux

2016-04-12	avoid a few hangs in parsing code	Quentin Carbonneaux

2016-04-12	check invalid instruction types	Quentin Carbonneaux

2016-04-12	add simple il validation	Quentin Carbonneaux

2016-04-07	add a canfold field to opdesc	Quentin Carbonneaux

2016-04-04	fat il!	Quentin Carbonneaux

2016-03-31	move abi code in a new file	Quentin Carbonneaux

2016-03-31	cleanup error handling	Quentin Carbonneaux

2016-03-29	new layout, put LICENSE in root	Quentin Carbonneaux