d0p1/ack
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Commit graph

  • c6f576f758 Bodge in enough phi support to let the instruction generator complete on basic programs. David Given 2016-10-04 21:58:31 +02:00
  • 8d4186130d Oops --- hadn't updated the nts array for the new child order. David Given 2016-10-04 21:32:28 +02:00
  • e13ff5be31 Don't allocate new vregs for REG and NOP --- a bit hacky, but suppresses stray movs very effectively. David Given 2016-10-04 21:29:03 +02:00
  • bd28bddb92 Massive rewrite of how emitters and the instruction selector works, after I realised that the existing approach wasn't working. Now, hopefully, tracks the instruction trees generated during selection properly. David Given 2016-10-04 00:16:06 +02:00
  • 68f98cbad7 Instruction selection now happens on a shadow tree, rather than on the IR tree itself. Currently it's semantically the same but the implementation is cleaner. David Given 2016-10-03 20:52:36 +02:00
  • 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). David Given 2016-10-02 23:25:54 +02:00
  • 3aa30e50d1 Come up with a syntax for register constraints. David Given 2016-10-02 21:51:25 +02:00
  • 02fb480217 Commit a preview of osx386 and osxppc as new platforms. George Koehler 2016-10-02 14:58:05 -04:00
  • c079e97492 Perform SSA conversion of locals. Much, *much* better code now, at least inasmuch as it looks better before register allocation. Basic blocks now know their own successors and predecessors (after a certain point in the IR processing). David Given 2016-10-02 17:50:34 +02:00
  • b11f96e8fe Add array push/pop; fix ghastly memory overrun bug. David Given 2016-10-02 17:24:31 +02:00
  • 79d4ab1d96 Add zrl opcode. Keep track of local sizes as well as offsets. David Given 2016-10-02 16:08:46 +02:00
  • bf73fcdb64 Add inl and del opcodes. David Given 2016-10-02 14:44:21 +02:00
  • b298c27c63 Refactor mcg.h as it's getting a bit big; keep track of register variables. David Given 2016-10-02 00:30:33 +02:00
  • 06059233da Make betterer. David Given 2016-10-01 23:41:45 +02:00
  • 65e75be42d Fix edge case where leftover pushes would occasionally cause infinite loops in the analysis. David Given 2016-10-01 23:41:35 +02:00
  • 73d7e89c32 Show expression trees correctly. David Given 2016-10-01 23:41:03 +02:00
  • 3474e20274 Deal with malformed mes instructions emitted by ego. David Given 2016-10-01 23:13:39 +02:00
  • a3cfe6047f More rigorous dealing of IR groups; no need for is_generated and is_root any more (but now passes are required to set IR roots properly when changing instructions). David Given 2016-10-01 22:58:29 +02:00
  • 21898f784a We're going to need some type inference after all, I think. Let's do a little for now and see how it goes. David Given 2016-10-01 19:10:22 +02:00
  • 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. David Given 2016-10-01 13:56:52 +02:00
  • 4a3a9a98dc It doesn't really make a lot of sense to have BURG nonterminal names different to register classes, so combine them. Refactor the map code. David Given 2016-10-01 12:17:14 +02:00
  • 9017ba9dea Merge branch 'default' into kernigh-linuxppc George Koehler 2016-09-30 13:55:06 -04:00
  • ce5faba919 Remove .linenumber and .filename; use hol0 and hol0+4. George Koehler 2016-09-30 13:40:36 -04:00
  • b427d33f9f Define the begdata, begrom, begbss symbols for linuxppc. George Koehler 2016-09-30 13:21:42 -04:00
  • 3a973a19f3 Move fatal(), warning() and aprintf() into the new data module (because they're really useful). David Given 2016-09-30 19:10:30 +02:00
  • e22c8881e7 Add a rule for sdl ldl $1==$2 to work around a bug. George Koehler 2016-09-30 11:50:50 -04:00
  • b32883b013 More properly keep track of register classes. David Given 2016-09-29 22:32:43 +02:00
  • b27758b7de Error check fragment rules which don't emit anything. David Given 2016-09-29 22:14:11 +02:00
  • 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. David Given 2016-09-29 22:06:04 +02:00
  • 6ae415d48b Rewrite fef 8 in powerpc assembly. George Koehler 2016-09-29 15:52:54 -04:00
  • a0131fdb47 You know what, the type inference stuff is a complete red herring. What this actually needs is a more intelligent register allocator. So, remove the type inference. David Given 2016-09-29 19:58:02 +02:00
  • ba1a3656a1 You can tell whether an item already exists in the array when calling array_appendu() now. David Given 2016-09-28 23:39:00 +02:00
  • a71eee3914 For "pat ass", move fake stack to real stack before adjusting SP. George Koehler 2016-09-28 00:13:35 -04:00
  • 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. David Given 2016-09-27 23:38:47 +02:00
  • 1e3dde915a Remove the "invalid" stacking rule. George Koehler 2016-09-27 16:46:11 -04:00
  • e77c5164cf Fleshed out hops and vregs. The result is almost looking like code now --- uncanny. David Given 2016-09-27 00:19:45 +02:00
  • f552c9c7c6 Move map into the data module. David Given 2016-09-26 23:03:04 +02:00
  • c4b8e00ae2 Revamp the array module not to use nasty macros any more. Slightly more verbose to use, but definitely cleaner. David Given 2016-09-26 22:48:58 +02:00
  • 3671892c34 Move the array library into the data module. David Given 2016-09-26 22:24:49 +02:00
  • cc176e5183 Keep more data around about ir instructions. Implement a half-baked type inference routine to propagate information about floats up the tree, so we know whether to put floats into special registers as early as possible. David Given 2016-09-26 22:12:46 +02:00
  • 416b13fd76 Start factoring out the hardware op code. David Given 2016-09-25 23:29:59 +02:00
  • 39aa672422 Sort of keep track of registers and register classes. Start walking the generated instruction tree --- holy cow, they look like instructions! David Given 2016-09-25 22:17:14 +02:00
  • bde5792b1a Collapse several rule arrays into one; actually generate the array properly. David Given 2016-09-25 17:14:54 +02:00
  • 67eb21d428 Rename struct insn to struct em (throughout). David Given 2016-09-25 12:29:03 +02:00
  • bcc74ba18d Stupid stringlist is stupid. Use a proper data structure, properly abstracted out (so other things can use it). David Given 2016-09-25 12:18:39 +02:00
  • 9f78e0b36b Rethink the way patterns are mapped to rules; generate emitters (probably badly). David Given 2016-09-25 11:49:51 +02:00
  • 7c028bdd45 We now record the code fragments to be emitted by each rule. David Given 2016-09-25 00:21:46 +02:00
  • 717b77dd0a Instruction selection is so important the file needs a longer name. David Given 2016-09-24 22:50:53 +02:00
  • 629e0ddfc6 Some instruction selection is now happening. David Given 2016-09-24 22:46:08 +02:00
  • c8fcbe282a More grammar changes. David Given 2016-09-24 19:03:55 +02:00
  • 2acc4ed29d IR codes are now owned by mcgg; ir terminals are inserted into the table during compilation (so you can refer to them). David Given 2016-09-24 18:31:35 +02:00
  • 1516657907 Crudely bolt on mcgg to mcg itself. David Given 2016-09-24 17:20:40 +02:00
  • 13132128a1 Parameters are parsed with getopt. Simplify, constify. David Given 2016-09-24 16:59:49 +02:00
  • 434eafd35d Change the predicate stuff to use costs instead; now you can use when clauses on leaves. Remove an iburg premature optimisation (required for above). David Given 2016-09-24 13:33:59 +02:00
  • d96ceea08a Lots of exploratory new grammar for instruction definitions and string and fragment emission (none of which is hooked up to anything yet). David Given 2016-09-24 13:08:17 +02:00
  • 960259f0b0 Add support for labelled tree nodes. David Given 2016-09-24 12:11:30 +02:00
  • 6643d39b2c Fix some late-night typo bugs. David Given 2016-09-24 01:09:32 +02:00
  • bb9aa030a5 Procedure compilation now happens after the entire EM file has been read in (so that we can look inside data blocks which might be defined in the future... sigh, csa and csb). csa and csb no longer generate invalid IR. David Given 2016-09-24 01:04:00 +02:00
  • ed67d427c9 Replaced the block splicer with a trivial block eliminator (which rewrites jumps to blocks which contain only a jump). Don't bother storing the bb graph in the ir nodes; we can find it on demand by walking the tree instead --- slower, but much easier to understand and more robust. Added a terrible map library. David Given 2016-09-23 23:59:15 +02:00
  • f8bbf9e87d Each pass now lives in its own source file; much cleaner. David Given 2016-09-23 21:07:16 +02:00
  • 9077baa850 Add a bodged in algorithm for converting basic block communication from stacked variables to SSA. Also add dead block removal and block splicing. IR code is much better now. David Given 2016-09-22 23:19:29 +02:00
  • 6a74cb2e11 Tracing cleanup. Simplified the IR code. Some more opcodes. David Given 2016-09-22 00:15:48 +02:00
  • 865ef629dd Multiple tweaks to plat/linuxppc/descr George Koehler 2016-09-21 16:26:30 -04:00
  • bbac1193ff Merge pull request #5 from kernigh/fix-isatty David Given 2016-09-21 19:47:00 +02:00
  • f6dc6f6875 Implement isatty() for Linux. George Koehler 2016-09-20 21:28:37 -04:00
  • 4546dd5f22 Massive grammar overhaul and refactor. Hacked in support for predicates, where instructions can be turned on and off based on their parameters. New lexer using a lexer. Now quite a lot of the way towards being a real instruction selector. David Given 2016-09-21 00:43:10 +02:00
  • 2183c6c622 Run through clang-format. David Given 2016-09-20 21:00:16 +02:00
  • 03b7202e54 Strip out surplus files. Rewrite README. David Given 2016-09-20 20:46:45 +02:00
  • 5cb3fbb3d3 Import iburg. David Given 2016-09-20 20:44:51 +02:00
  • 13c117d15d Import iburg. David Given 2016-09-20 20:37:16 +02:00
  • 36d7d1ee4e Create hacky fake basic blocks for data fragments, used to track which instruction labels descriptor blocks refer to; this allows csa and csb to know where they're going. David Given 2016-09-20 00:19:39 +02:00
  • dcba03646b Treebuilder now gets to the bottom of my test file, merrily generating (probably horribly broken) IR. David Given 2016-09-19 23:30:41 +02:00
  • 6ce2495aeb Store the EM code up front and build the basic block graph *before* generating the IR code. Lots more IR code. David Given 2016-09-19 23:06:59 +02:00
  • 176cd7365c Archival checking of the half-written IR treebuilder. David Given 2016-09-18 23:24:54 +02:00
  • 5b69777647 Rename our pseudo-opcode 'la' to 'li32'. George Koehler 2016-09-18 17:03:23 -04:00
  • 9db305b338 Enable the Hall check again, and get powerpc to pass it. George Koehler 2016-09-18 15:08:55 -04:00
  • 9ec2918e14 In ncgg, increase MAXREGS from 80 to 200. George Koehler 2016-09-18 14:37:42 -04:00
  • e4ce7da0a2 Fix hilo.p for big-endian platforms. George Koehler 2016-09-18 00:07:30 -04:00
  • 03b067e1d5 Add the missing .lar4 and .sar4 for powerpc. George Koehler 2016-09-17 23:55:55 -04:00
  • f992eb28ac ANSIise to fix warnings. David Given 2016-09-18 00:23:42 +02:00
  • ff4a7e3d2a Merge branch 'default' into kernigh-linuxppc George Koehler 2016-09-17 18:15:54 -04:00
  • 24380e2a93 Abstract out the EM reader; skeleton of the tree builder. David Given 2016-09-18 00:02:16 +02:00
  • 2eee391aef Basic skeleton of em parser. David Given 2016-09-17 22:21:47 +02:00
  • 80cb6ba927 Eliminate the RELOH2 relocation, as it never worked --- the address would be calculated incorrectly because of overflow errors. David Given 2016-09-17 12:43:15 +02:00
  • 45a950571d Mostly add support for the experimental and largely broken linuxppc platform. (Doesn't quite build.) David Given 2016-09-15 23:12:03 +02:00
  • 4703db0fff Merge from default. David Given 2016-09-15 22:59:01 +02:00
  • 52ad82f8b9 Merge pull request #3 from kernigh/ego-fix David Given 2016-09-10 11:25:21 +02:00
  • b1d1b5e1f8 Fix bugs with memory allocation in ego. George Koehler 2016-09-09 23:37:43 -04:00
  • 8c94b1316c Add unlink system call. David Given 2016-09-04 19:23:02 +02:00
  • 56e13e24e0 Cleanup some stray files. David Given 2016-09-03 19:22:38 +02:00
  • 1b8df04e58 Add modeline, fix formatting. David Given 2016-09-03 19:17:09 +02:00
  • 95ad06849b Updated. David Given 2016-09-03 19:07:12 +02:00
  • de2f99dc1a More documentation. David Given 2016-09-03 19:01:47 +02:00
  • ea4142daee First half of the ackbuilder documentation. David Given 2016-09-03 01:04:16 +02:00
  • ff9bf5b08a Makefiles are now slightly less inaccurate. Does actually seem to do sensible incremental builds now. I loathe make. David Given 2016-09-03 00:20:11 +02:00
  • de7023dd61 Add an install target. David Given 2016-09-02 23:03:57 +02:00
  • f67c98e239 Distributions are a pain --- let's not bother any more. Instead, we just tag the repository and download a complete snapshot, old and ancient stuff and all. David Given 2016-09-02 23:00:38 +02:00
  • 612e38f1c6 Remove the old make-based build system, plus some big chunks of horribly obsolete protomake build system. David Given 2016-09-02 22:17:51 +02:00
  • 96e7447bfa Clean up the top level makefile. David Given 2016-09-01 23:36:39 +02:00
  • 2b6d251dec Fix a fun bug where, every now again, ego would get its temporary files mangled and generate invalid calls to the optimisers. David Given 2016-08-22 23:53:01 +02:00