10 commits

Author	SHA1	Message	Date
MerryMage	f378d2ef1b	Forward declare IR::Opcode and IR::Type where possible	2020-04-22 20:46:14 +01:00
Lioncash	67443efb62	General: Convert multiple namespace specifiers to nested namespace specifiers where applicable ... Makes namespacing a little less noisy	2020-04-22 20:44:38 +01:00
Mat M	de1f831d79	microinstruction: Make use_count private (#53) ... Makes the operation a part of the direct interface.	2016-11-30 21:51:06 +00:00
Lioncash	1abe881921	basic_block: Add proxy member functions for the instruction list ... Currently basic block kind of acts like a 'dumb struct' which makes things a little more verbose to write (as opposed to keeping it all in one place, I guess). It's also a little wonky conceptually, considering a block is composed of instructions (i.e. 'contains' them). So providing accessors that make it act more like a container can make working with algorithms a little nicer. It also makes the API a little more defined. Ideally, the list would be only available through a function, but currently, the pool allocator is exposed, which seems somewhat odd, considering the block itself should manage its overall allocations (with placement new, and regular new), rather than putting that sanitizing directly on the IR emitter (it should just care about emission, not block state). However, recontaining that can be followed up with, as it's very trivial to do.	2016-08-22 13:44:56 +01:00
MerryMage	192a0029be	ir/opcodes: Implement IR::AreTypesCompatible ... Type-checking is now occuring in more than one place.	2016-08-19 01:34:14 +01:00
Tillmann Karras	9782e7da3f	verification_pass: show type errors	2016-08-19 01:17:30 +01:00
Lioncash	841098a0bc	ir: separate components out a little more	2016-08-17 20:46:21 +01:00
MerryMage	9c82a12f8f	ir_opt: Update VerificationPass to current IR	2016-08-13 18:39:49 +01:00
MerryMage	51448aa06d	More Speed	2016-07-22 23:55:00 +01:00
MerryMage	5fbfc6c155	Implement some simple IR optimizations (get/set eliminiation and DCE)	2016-07-21 21:48:45 +01:00