~cnx/roux - Alternative QBE compiler

Age	Commit message (Collapse)	Author
2015-09-15	use a new Ref type for registers	Quentin Carbonneaux
	This might not be a good idea, the problem was that many spurious registers would be added to the Bits data-structures during compilation (and would always remain 0). However, doing the above modification de-uniformizes the handling of temps and regs, this makes the code longer and not really nicer. Also, additional Bits structures are required to track the registers independently. Overall this might be a bad idea to revert.
2015-09-15	avoid name conflicts in enums	Quentin Carbonneaux

2015-09-15	start change of representation for registers	Quentin Carbonneaux

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	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	start improving constants support	Quentin Carbonneaux

2015-09-15	add a code emitter for at&t syntax	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	initiate work on reg allocation	Quentin Carbonneaux

2015-09-15	finish spiller, now needs testing!	Quentin Carbonneaux

2015-09-15	add more printing support	Quentin Carbonneaux

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

2015-09-15	prepare for block processing	Quentin Carbonneaux

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

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

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

2015-09-15	rework liveness to compute reg pressure	Quentin Carbonneaux

2015-09-15	start work on spiller	Quentin Carbonneaux

2015-09-15	single bit bitfield needs to be unsigned	Quentin Carbonneaux

2015-09-15	fix small type issues	Quentin Carbonneaux

2015-09-15	export error functions	Quentin Carbonneaux

2015-09-15	rename mod to rem	Quentin Carbonneaux

2015-09-15	remove useless typedefs	Quentin Carbonneaux

2015-09-15	cosmetics	Quentin Carbonneaux

2015-09-15	add rpo test and some liveness code	Quentin Carbonneaux

2015-09-15	cosmetics	Quentin Carbonneaux

2015-09-15	use argument array for all instructions	Quentin Carbonneaux

2015-09-15	change Ref to a struct	Quentin Carbonneaux

2015-09-15	move opdesc definition	Quentin Carbonneaux

2015-09-15	add pretty printing function	Quentin Carbonneaux

2015-09-15	change phi nodes representation	Quentin Carbonneaux

2015-09-15	give blocks an id	Quentin Carbonneaux

2015-09-15	fix naming	Quentin Carbonneaux

2015-09-15	add rpo information to functions	Quentin Carbonneaux

2015-09-15	properly clear predecessors in fillpreds	Quentin Carbonneaux

2015-09-15	add predecessor computation	Quentin Carbonneaux

2015-09-15	cosmetics	Quentin Carbonneaux

2015-09-15	rename branching cnd to jez	Quentin Carbonneaux

2015-09-15	add comments	Quentin Carbonneaux

2015-09-15	attempt to complete the crappy parser	Quentin Carbonneaux

2015-09-15	change references representation	Quentin Carbonneaux

2015-09-15	try writing a parser, painful	Quentin Carbonneaux

2015-09-15	some new C	Quentin Carbonneaux