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

Commit graph

  • 9977ce841a Remove the bytes1, bytes2, bytes4, bytes8 attributes; remove the concept of a register 'type'; now use int/float/long/double throughout to identify registers. Lots of register allocator tweaks and table bugfixes --- we now get through the dreading Mathlib.mod! David Given 2016-10-25 23:04:20 +02:00
  • 45a7f2e993 Phi copies are now inserted as part of type inference. More opcodes. David Given 2016-10-24 22:14:08 +02:00
  • 111c13e253 More opcodes. David Given 2016-10-24 20:15:22 +02:00
  • a4644dee4d More opcodes. David Given 2016-10-24 12:08:40 +02:00
  • b22780c075 More opcodes, including the difficult and fairly stupid los/sts. David Given 2016-10-23 22:24:08 +02:00
  • abd0cedd61 Massive change to how IR types are handled; we use the type code for matching rather than the size. Much cleaner and simpler. David Given 2016-10-23 21:54:14 +02:00
  • b1a3d76d6f Re-re-add the type inference layer, now I know more about how things work. Remove that terrible float promotion code. David Given 2016-10-22 23:04:13 +02:00
  • 11b0bc1055 More opcodes. David Given 2016-10-22 20:32:51 +02:00
  • 2d52b1fdaa Remove GETRET; values are now returned directly by CALL. Fix a bug in convertstackops which was resulting in duplicate IR groups. David Given 2016-10-22 12:13:57 +02:00
  • ceb938fb3c More opcodes. David Given 2016-10-22 11:26:28 +02:00
  • 7ae888b754 Hacky workaround the way the Modula-2 compiler generates non-standard sized loads and saves. More opcodes; simplified table using macros. David Given 2016-10-22 10:48:22 +02:00
  • 90d0661639 Typo fix. David Given 2016-10-22 00:48:55 +02:00
  • f851ab83af Better (and more correct) floating point conversions; fif; various new opcodes. David Given 2016-10-22 00:48:26 +02:00
  • d535be87b1 fef4 and fef8 is now cleaner, albeit slower; add some more register alias stuff. David Given 2016-10-22 00:02:15 +02:00
  • 4db402f229 Add (pretty crummy) support for register aliases and static pairs of registers. We should have enough functionality now for rather buggy 8-bit ints and doubles. Rework the table and the platform.c to match. David Given 2016-10-21 23:31:00 +02:00
  • d6984d60ac Add parsing support for register aliases. David Given 2016-10-20 21:47:28 +02:00
  • e4fec71f9c Lots more opcodes; better eviction behaviour; better register moves. Lots more PowerPC stuff (some working). David Given 2016-10-19 23:29:05 +02:00
  • ffb1eabf45 Floating point promotion is less buggy. David Given 2016-10-19 23:27:53 +02:00
  • 34c4cfee8f Merge pull request #6 from kernigh/pr-linuxppc David Given 2016-10-19 20:39:10 +02:00
  • 99dee0ad24 Remove f14 to f31 from FREG and FSREG. George Koehler 2016-10-18 21:16:47 -04:00
  • d5071e7df1 Promote values accessed via NOP. David Given 2016-10-18 23:58:03 +02:00
  • 5413d47029 '!' tracing is now always emitted; tracing goes to stderr. David Given 2016-10-18 22:32:09 +02:00
  • 3520704ea8 Add support for floating point constants. David Given 2016-10-18 22:29:42 +02:00
  • cfbc537959 In powerpc ncg, add a speed hack for sti 8. George Koehler 2016-10-17 20:31:59 -04:00
  • 938fb8c2fc Lots more opcodes. David Given 2016-10-18 00:31:26 +02:00
  • 4a093b9eba Add li and mr pseudoinstructions. David Given 2016-10-18 00:21:32 +02:00
  • c7b68033ef Add costs to powerpc instructions. George Koehler 2016-10-17 14:57:21 -04:00
  • f33b30ed3c Rewrite .fif8 to avoid powerpc64 fctid George Koehler 2016-10-17 00:39:59 -04:00
  • e2ccc8f942 Add "kills MEMORY" to powerpc sti rules. George Koehler 2016-10-16 18:13:39 -04:00
  • 5f0164db62 Bolt mcg into the PowerPC backend. It doesn't build yet, but it is generating *some* code. David Given 2016-10-17 00:06:06 +02:00
  • d539389e81 Merge in the unfinished PowerPC branch. David Given 2016-10-16 22:38:27 +02:00
  • 1e17921208 Implement saving of dirty registers onto the stack. David Given 2016-10-16 22:37:42 +02:00
  • 19f0eb86a4 Remove IND_LABEL_W and IND_LABEL_D George Koehler 2016-10-16 16:33:24 -04:00
  • 5b5f774a64 Simplify moves to and from IND_RC_* George Koehler 2016-10-16 16:02:25 -04:00
  • 486cf9562f Don't need Lua any more. David Given 2016-10-16 20:10:24 +02:00
  • 1f56bab521 Remember to create the build directory when bootstrapping. David Given 2016-10-16 20:09:52 +02:00
  • 479a4efa4f Use a self-hosted Lua instead of the system one. David Given 2016-10-16 20:07:54 +02:00
  • 7c64dab491 Refactor how powerpc ncg pushes constants. George Koehler 2016-10-16 13:58:54 -04:00
  • 714d8985c8 Experiments with declarative apt and OSX. David Given 2016-10-16 18:16:30 +02:00
  • 6a06ce798b Add missing header that was causing builds to fail on Travis. David Given 2016-10-16 17:58:01 +02:00
  • baa152217e Remove unused parts of mach/powerpc/ncg/table George Koehler 2016-10-15 20:00:48 -04:00
  • 32c53a452d Merge from trunk. David Given 2016-10-16 00:06:14 +02:00
  • 6a23906ad8 Various bits of cleanup; we should almost be ready to try sending this to the assembler soon... David Given 2016-10-15 23:39:38 +02:00
  • 286435a2ed Oops, forgot to add the output option spec to the string! David Given 2016-10-15 23:34:54 +02:00
  • b36897c299 References to the stack frame are now rendered properly. David Given 2016-10-15 23:33:30 +02:00
  • a8ee82d197 Stop passing proc around, and use a global instead --- much cleaner. David Given 2016-10-15 23:19:44 +02:00
  • 7aa60a6451 Register spilling to the stack frame works, more or less. David Given 2016-10-15 22:53:56 +02:00
  • 0eb32e7553 Fix yet another bug to do with IR register outputs. David Given 2016-10-15 19:14:25 +02:00
  • 9504aec2bd Function termination gets routed through an exit block; we now have prologues and epilogues. mcgg now exports some useful data as headers. Start factoring out some of the architecture-specific bits into an architecture-specific file. David Given 2016-10-15 18:38:46 +02:00
  • 5ad3aa8595 Add a pile of new instructions used by Pascal; I'm going to need to think about how locals and the local base are handled. David Given 2016-10-15 13:07:59 +02:00
  • 358c44de35 Bytes were sometimes failing to be sign extended correctly. David Given 2016-10-15 12:11:40 +02:00
  • 517120d0fb Allow asm names for registers which are different from the friendly names shown in the tracing (because PowerPC register names are just numbers). David Given 2016-10-15 11:42:47 +02:00
  • b2ddf12473 Some more opcodes. David Given 2016-10-15 11:22:40 +02:00
  • 29cb008faa In powerpc table, fix macros los() and his(). George Koehler 2016-10-14 23:59:26 -04:00
  • bb17aea73a You can now mark a register as corrupting a certain register class; calls work, or at least look like they work. The bad news is that the register allocator has a rare talent for putting things in the wrong register. David Given 2016-10-15 01:15:08 +02:00
  • 886adb86d7 Log empty hops. David Given 2016-10-14 23:19:25 +02:00
  • 4f2177e41f Reworked loads and stores; it's now *different*, maybe not better. David Given 2016-10-14 23:19:02 +02:00
  • a63052427e Factor out the register allocation routines to make them easier to deal with. David Given 2016-10-14 23:17:06 +02:00
  • bb53a7fb51 Fix stupid issue where hop output registers were being overwritten, leading to invalid SSA form. David Given 2016-10-14 23:12:29 +02:00
  • 98fe70a7de Output register equality constraints work. David Given 2016-10-14 22:17:02 +02:00
  • 216ff5cc43 Make loads and stores in the table nicer; fix a place where it looked like it was working but only accidentally. David Given 2016-10-12 23:12:53 +02:00
  • f06b51c981 Keep track of register types as well as attributes --- the type being how we find new registers when evicting values. Input constraints work (they were being ignored before). Various bug fixing so they actually work. David Given 2016-10-12 22:58:46 +02:00
  • 4723a1442f Add code to remove unused phis, converting to pruned SSA form, to avoid confusing the register allocator later. David Given 2016-10-12 21:50:12 +02:00
  • df239b3f90 Don't allow the same IR to be added to the sequence list more than once (sometimes happens because op_dup, but makes no sense). David Given 2016-10-12 00:45:36 +02:00
  • 96dffd2007 Clean up the allocator a bit, in preparation for making it lots more complicated; no semantic changes. David Given 2016-10-11 23:17:30 +02:00
  • 668cccdff1 A few more opcodes. David Given 2016-10-11 00:29:18 +02:00
  • 2be1c51885 A little fiddling with store instructions. The PowerPC is not friendly to iburg. David Given 2016-10-11 00:23:35 +02:00
  • e93c58dc8d Refactored the way hops are rendered; add support for emitting code (although with no prologue or epilogue yet). David Given 2016-10-11 00:12:11 +02:00
  • 92bd1ac5f4 Register allocator now gets all the way through all of my test file without crashing (albeit with register moves and swaps stubbed out). Correct code? Who knows. David Given 2016-10-10 23:19:46 +02:00
  • a4d06d1795 D'oh, need multiple passes over the edge splitter in order to properly find all cases. David Given 2016-10-10 23:18:37 +02:00
  • fac12aae32 Calculate phi congruency groups; use them to solve the importing-hreg-from-the-future problem (probably poorly). David Given 2016-10-09 22:04:20 +02:00
  • ff58a6100f Add pmap_remove(). David Given 2016-10-09 22:03:44 +02:00
  • 23c3575f0f The register allocator now makes a spirited attempt to honour register attributes when allocating. Unfortunately, backward edges don't work (because the limited def-use chain stuff doesn't work across basic blocks). Needs more thought. David Given 2016-10-09 15:09:34 +02:00
  • 38de688c5a Floating point promotion was broken since the IR float change. Fix. David Given 2016-10-09 15:08:03 +02:00
  • 36cddd6afb Add some more opcodes; rearrange the registers to be more PowerPC-friendly. David Given 2016-10-09 14:45:13 +02:00
  • cfe5312fcc Predicates can now take numeric arguments. The PowerPC predicates have been turned into generic ones (as they'll be useful everywhere). Node arguments for predicates require the '%' prefix for consistency. Hex numbers are permitted. David Given 2016-10-09 12:32:36 +02:00
  • d75cc0a663 Basic register allocation works! David Given 2016-10-08 23:32:54 +02:00
  • 4261744537 Replace pmap_get() with pmap_findleft() and pmap_findright(), to allow lookups in both directions. David Given 2016-10-08 23:32:13 +02:00
  • 637aeed70a Only allocate an output vreg if the instruction actually wants one. David Given 2016-10-08 12:15:21 +02:00
  • 2198db69b1 Instruction predicates work now. David Given 2016-10-08 11:35:33 +02:00
  • 9ebf731335 Minor cleanup. David Given 2016-10-08 11:07:28 +02:00
  • 9db902314b Fix bug where pushes were being placed in the wrong blocks. David Given 2016-10-08 10:21:24 +02:00
  • 65c2a8a0ae Remove stackadjust and stackoffset() from ncg. George Koehler 2016-10-07 20:52:13 -04:00
  • 4e49830e09 Overhaul of everything phi related; critical edge splitting now happens before anything SSA happens; liveness calculations now look like they might be working. David Given 2016-10-08 00:21:23 +02:00
  • b7af003dbb Add array_{appendall,removeall,appendallu}. David Given 2016-10-08 00:20:26 +02:00
  • 409ba7fb1b Remove most of GPRE from mach/powerpc/ncg/table George Koehler 2016-10-06 22:59:27 -04:00
  • 7cccd88b71 Rename SCRATCH to RSCRATCH. Never stack RSCRATCH nor FSCRATCH. George Koehler 2016-10-06 20:47:42 -04:00
  • ee93389c5f Refactor the cfg and dominance stuff to make it a lot nicer. David Given 2016-10-06 21:34:21 +02:00
  • 7f901aa4d0 We're not using 'allocates' any more; clean up. David Given 2016-10-06 21:33:43 +02:00
  • d20b63dc94 The register allocator is really a pass, so arrange the code like one. David Given 2016-10-05 23:55:38 +02:00
  • 87e004e4a9 Warning fix. David Given 2016-10-05 23:55:04 +02:00
  • 21034c0d65 No, dammit, for register allocation I need to walk the blocks in *dominance* order. Since the dominance tree has changed when I fiddled with the graph, I need to recompute it, so factor it out of the SSA pass. Code is uglier than I'd like but at least the RET statement goes last in the generated code now. David Given 2016-10-05 23:52:54 +02:00
  • d95c75dfd7 Allowing an input filename on the command line makes debuggers happy. (Then we don't need to redirect stdin.) David Given 2016-10-05 23:24:29 +02:00
  • 88fb231d6e Better constraint syntax; mcgg now passes register usage information up to mcg; mcg can track individual hop inputs and outputs (needed for live range analysis!); the register allocator now puts the basic blocks into the right order in preparation for live range analysis. David Given 2016-10-05 22:56:25 +02:00
  • 7a6fc7a72b Made sure that all files end in vim magic. David Given 2016-10-05 21:07:29 +02:00
  • 92502901a7 Better management of register data. Add struct hreg. David Given 2016-10-05 21:00:28 +02:00
  • ac62c34e19 Add a pass to do critical edge splitting. David Given 2016-10-04 23:42:00 +02:00
  • 8fedf5a0a8 Added support for the op_bXX conditional branch instructions. David Given 2016-10-04 23:28:16 +02:00
  • 249855ed23 Fix the horror of the startup code; now uses getopt and stuff and the debug flags can be set as an option. David Given 2016-10-04 22:36:01 +02:00
  • ac063a6f54 Remove unused variable (reduce memory usage by 1/10). David Given 2016-10-04 22:35:08 +02:00