6 commits

Author	SHA1	Message	Date
David Given	288ee56203	Get quite a long way towards basic output-register equality constraints (needed ... to make special nodes like NOP work properly). Realise that the way I'm dealing with the instruction selector is all wrong; I need to physically copy chunks of tree to give to burg (so I can terminate them correctly).	2016-10-02 23:25:54 +02:00
David Given	91e277e046	Predicates work; we now have prefers and requires clauses. Predicates must be ... functions. Not convinced that semantic types are actually working --- there are still problems with earlier statements leaving things in the wrong registers.	2016-10-01 13:56:52 +02:00
David Given	0d246c0d73	Much better handling of fragments (no run-time code needed to distinguish them ... from registers) and better handling of individual hops within a paragraph --- no more ghastly hacks to try and distinguish the input from the output.	2016-09-29 22:06:04 +02:00
David Given	4572f1b774	Actually, I don't need vregs: hops work just as well. Particularly if I ... restructure things so that I don't need to walk the blasted ir / burg tree every time I look at an instruction.	2016-09-27 23:38:47 +02:00
David Given	e77c5164cf	Fleshed out hops and vregs. The result is almost looking like code now --- ... uncanny.	2016-09-27 00:19:45 +02:00
David Given	416b13fd76	Start factoring out the hardware op code.	2016-09-25 23:29:59 +02:00