~cnx/roux - Alternative QBE compiler

Age	Commit message (Collapse)	Author
2015-09-15	add a size to all operations (wip)	Quentin Carbonneaux

2015-09-15	add truncation operation	Quentin Carbonneaux
	It would be nicer to have some kind of subtyping where a l variable can be used in place of a w variable but it is more complications than a truncation insutruction. In some cases, it might be less efficient than the above solution by requiring two registers instead of one. (I.e when both the truncated variable and the long variable live together.) We have to see what are the usage patterns.
2015-09-15	add sign/zero extension operations	Quentin Carbonneaux

2015-09-15	add the mul instruction	Quentin Carbonneaux

2015-09-15	replace RMem refs with an OAddr opertation	Quentin Carbonneaux

2015-09-15	compile branches on and using test	Quentin Carbonneaux

2015-09-15	tentative support for fast allocs	Quentin Carbonneaux
	It seems that the MEM reference type is meaningless in too many positions. Because of this, it is unclear if we should keep it or just introduce a OAddr instruction that only accepts slots. Regardless of the above, the spilling module needs to use the new slot_() function, also, the emit function needs to fetch the size of the stack frame from the slot[] array. The naming is still very transitional, here is a list of all bogus names I can think of: - SLOT() - Tmp.spill - slot_
2015-09-15	major lifting: get rid of RReg	Quentin Carbonneaux
	I've been septic since I introduced it, this commit proves that it costs more than it helps. I've also fixed a bad bug in rega() where I alloc'ed the wrong size for internal arrays. Enums now have names so I can use them to cast in gdb to get the name corresponding to a constant.
2015-09-15	add basic support for stack allocation	Quentin Carbonneaux

2015-09-15	split store into store{w,l}	Quentin Carbonneaux

2015-09-15	cosmetics	Quentin Carbonneaux

2015-09-15	parse variants of store	Quentin Carbonneaux

2015-09-15	parse operations with no result	Quentin Carbonneaux

2015-09-15	simplify parsing	Quentin Carbonneaux

2015-09-15	add nmem to opdesc for use in the spiller	Quentin Carbonneaux
	This new machine-independent mechanism might not be general enough in the long term but, now, it provides a flexible way to inform the spiller about the maximum number of arguments of an instruction that can be spill locations.
2015-09-15	jez becomes jnz, complete cmp+jmp contraction	Quentin Carbonneaux

2015-09-15	implement smarter compare+branch	Quentin Carbonneaux

2015-09-15	split cmp in two sizes	Quentin Carbonneaux

2015-09-15	get rid of the iteration macro	Quentin Carbonneaux

2015-09-15	fix two bugs in isel	Quentin Carbonneaux

2015-09-15	quick fix for comparisons with constants	Quentin Carbonneaux

2015-09-15	start work on comparisons	Quentin Carbonneaux
	There are two things I overlooked so far. 1. Binary instructions like cmp that do not have a result in registers need the size suffix sometimes, for example when comparing a spill location with a constant. 2. The register allocator needs to be adapted to support the comparison instruction: it is not possible to compare two spill locations without using a register.
2015-09-15	print registers with numbers	Quentin Carbonneaux

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	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	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	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	define curi as a global too	Quentin Carbonneaux

2015-09-15	export error functions	Quentin Carbonneaux

2015-09-15	rename mod to rem	Quentin Carbonneaux

2015-09-15	move main function out of parse.c	Quentin Carbonneaux

2015-09-15	fix phi handling in liveness	Quentin Carbonneaux

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

2015-09-15	simplify block handling	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	fix some more parsing bugs	Quentin Carbonneaux