~cnx/roux - Alternative QBE compiler

Age	Commit message (Collapse)	Author
2015-09-15	start work on word/long handling	Quentin Carbonneaux

2015-09-15	replace IA with X for x64 instructions	Quentin Carbonneaux

2015-09-15	avoid keyword clash by using cons for constants	Quentin Carbonneaux

2015-09-15	cosmetic modifications to parse.c	Quentin Carbonneaux

2015-09-15	clean the commutativity + fix bug in emit	Quentin Carbonneaux
	The commutativity information only makes sense for arithmetic expressions. To account for that, I introduced a new tri-valued boolean type B3. Memory operations, for example, will receive an undefined commutativity trit. The code emitter was buggy when rega emitted instructions like 'rax = add 1, rax', this is now fixed using the commutativity information (we rewrite it in 'rax = add rax, 1').
2015-09-15	cosmetics	Quentin Carbonneaux

2015-09-15	compress parsref code a little	Quentin Carbonneaux

2015-09-15	start improving constants support	Quentin Carbonneaux

2015-09-15	add TODO	Quentin Carbonneaux

2015-09-15	add support for in-block reg. contraints	Quentin Carbonneaux

2015-09-15	perform isel before code emission	Quentin Carbonneaux

2015-09-15	emit some x86-sepcific instructions	Quentin Carbonneaux

2015-09-15	compile emit module	Quentin Carbonneaux

2015-09-15	add a code emitter for at&t syntax	Quentin Carbonneaux

2015-09-15	silence clang warning	Quentin Carbonneaux

2015-09-15	add crippled dce to the allocator	Quentin Carbonneaux

2015-09-15	complete a crude register allocator	Quentin Carbonneaux

2015-09-15	start work on parallel moves	Quentin Carbonneaux

2015-09-15	initiate work on reg allocation	Quentin Carbonneaux

2015-09-15	simplify spiller	Quentin Carbonneaux
	It seems that this logic of shuffling stuff around between blocks should be handled by the register allocator instead: it will have to shuffle between registers, so we might as well mix some spill locations in.
2015-09-15	finish spiller, now needs testing!	Quentin Carbonneaux

2015-09-15	new euclidean division test	Quentin Carbonneaux

2015-09-15	add more printing support	Quentin Carbonneaux

2015-09-15	standardize error message	Quentin Carbonneaux

2015-09-15	factor some spilling logic	Quentin Carbonneaux

2015-09-15	comment and fix if(BSET(..)) bug	Quentin Carbonneaux

2015-09-15	new spill test	Quentin Carbonneaux

2015-09-15	test isel	Quentin Carbonneaux

2015-09-15	isel logic was moved to spill	Quentin Carbonneaux

2015-09-15	add slot addressing and some more spilling	Quentin Carbonneaux

2015-09-15	add simple spill test	Quentin Carbonneaux

2015-09-15	prepare for block processing	Quentin Carbonneaux

2015-09-15	this makefile fu was useless	Quentin Carbonneaux

2015-09-15	always preserve last build	Quentin Carbonneaux

2015-09-15	refine assertion in cost computation	Quentin Carbonneaux

2015-09-15	rework spilling code for jump arguments	Quentin Carbonneaux

2015-09-15	refine precision of loop use sets	Quentin Carbonneaux

2015-09-15	move some debug output out of main	Quentin Carbonneaux

2015-09-15	simplify tests for hd	Quentin Carbonneaux

2015-09-15	nicer debug, bug fixed in loop detection	Quentin Carbonneaux

2015-09-15	cosmetics	Quentin Carbonneaux

2015-09-15	alt.ssa was in buggy ssa form	Quentin Carbonneaux

2015-09-15	attempt to fix loop uses/pressure in spill	Quentin Carbonneaux

2015-09-15	improve output, add debug array	Quentin Carbonneaux

2015-09-15	correct phi usage accounting	Quentin Carbonneaux

2015-09-15	show more spilling data	Quentin Carbonneaux

2015-09-15	simplifications	Quentin Carbonneaux

2015-09-15	attempt more correct loop marking	Quentin Carbonneaux

2015-09-15	add a live-through temporary to test alt	Quentin Carbonneaux

2015-09-15	more testing code	Quentin Carbonneaux