Commit Graph

2168 Commits (6cb3e313d9f1a7d761bfd03e94f77988de8dcaf0)

Author SHA1 Message Date
Björn Lindqvist b42668ebeb compiler,stack-checker.dependencies: init-dependencies isn't needed 2016-11-30 07:29:10 +01:00
Björn Lindqvist e629f7b289 compiler.crossref: changes the way in which dependencies are stored on words
Previosly, they were stored in three sequences in the properties
"conditional-dependencies" "effect-dependencies" and
"definition-dependencies". It seem to better to store all three
types in one big property called "dependencies".
2016-11-30 07:29:10 +01:00
Björn Lindqvist d6eb6f2c76 compiler.crossref: better way to store the dependencies on words 2016-11-28 04:13:58 +01:00
Björn Lindqvist 14e8688112 stack-checker.dependencies: changes the names of the dependency constants
Now named using the +blah+ convention which we're using elsewhere for
symbolic constants.
2016-11-28 02:04:28 +01:00
Björn Lindqvist 99653bab91 compiler.crossref: better code for getting dependencies-of + tests 2016-11-28 02:04:28 +01:00
Björn Lindqvist 6c73529525 compiler.codegen: we don't need the init-fixup word 2016-11-28 02:04:28 +01:00
Björn Lindqvist 79dcce8f39 compiler.cfg.debugger: also print the instruction number
it's useful to see when debugging some compiler passes
2016-11-23 18:56:03 +01:00
Björn Lindqvist 00d4572e6c basis,extra: refactorings to use the ignore-error and ignore-error/f words 2016-11-18 23:41:36 +01:00
Björn Lindqvist b89a305ef7 compiler.cfg.linear-scan.assignment: correct representation used when spilling
Previously the rep-of word was used. But as the vregs representation can
change, you need to instead use the representation it uas as the spill
point.
2016-11-15 03:49:46 +01:00
Björn Lindqvist b1ac5ae7ca compiler.cfg.linear-scan: more tests 2016-11-15 03:49:46 +01:00
Björn Lindqvist ffef75f8a7 compiler.cfg.*: more docs 2016-11-15 03:49:46 +01:00
Björn Lindqvist 4d9367249b compiler.cfg.linear-scan.*: more tests 2016-11-15 03:49:46 +01:00
Björn Lindqvist 7053c72aa1 compiler.cfg.linear-scan.allocation.spilling: <linked-hash> 2016-11-15 03:49:46 +01:00
Björn Lindqvist e9f9903393 Revert "compiler.tree.dead-code.simple: undo e1b22e0af4 (#1513)"
This reverts commit 5a0e583279.
2016-11-11 13:18:10 +01:00
Björn Lindqvist 5a0e583279 compiler.tree.dead-code.simple: undo e1b22e0af4 (#1513)
This will likely cause some test failures. mac32 hopefully won't crash.
2016-11-11 00:21:35 +01:00
Björn Lindqvist eabf237863 compiler.tree.propagation.recursive: redoing
097b40ce41 (#1513)
2016-11-06 19:08:35 +01:00
Björn Lindqvist b31c0b8857 Docs: bunch of random doc updates 2016-10-31 11:46:39 +01:00
Björn Lindqvist 13cd2c4e75 compiler.tree.propagation.recursive: undoing 097b40ce41 (#1513) 2016-10-31 11:27:05 +01:00
Björn Lindqvist 65f1fbe90a compiler.tree.propagation.info: redoing a3be724f5a (#1513) 2016-10-31 07:29:00 +01:00
Alexander Iljin eeeb65d7d8 compiler.cfg.stacks-docs: fix a typo 2016-10-30 14:18:53 -07:00
Alexander Iljin 47cd2861fb compiler.tree.debugger-docs: fix a typo 2016-10-30 14:18:53 -07:00
Björn Lindqvist c74a669dad compiler.tree.propagation.info: undid a3be724f5a to see if it solves #1513 2016-10-30 19:00:38 +01:00
Björn Lindqvist 46105b62f6 VM: change callstack>array primitive so it doesn't reverse anymore
This fixes one part of the #452 bug.
2016-10-13 01:34:55 +02:00
Björn Lindqvist a102f7ad5d compiler.cfg.*: bunch of doc updates 2016-10-08 07:08:00 +02:00
Björn Lindqvist 9eab4b5652 VM: make visit_instruction_operands() skip over uninitialized blocks
It will crash otherwise when compacting the code heap.
2016-09-29 06:35:35 +02:00
Björn Lindqvist 9e4a520862 compiler.test: this word is not used 2016-09-29 03:29:14 +02:00
Björn Lindqvist 409cf9bd3e compiler.codegen: removing the insn-counts global
It created a histogram of instructins for debugging, but it is not so
useful...
2016-09-14 14:54:43 +02:00
Björn Lindqvist ab7e077b1d Docs: fixing docs & comments to work with new stack clearing 2016-09-12 02:11:51 +02:00
Björn Lindqvist 349f99661d compiler.*: Remove the scrubbing part of the GC maps
Instead of generating GC maps which describe which stack locations that
are uninitialized, we emit ##clear instructions for those locations in
front of ##call-gc instructions. This makes the context root scanning
much simpler because the GC can assume that all stack slots are
initialized. It also removes the compiler.cfg.stacks.vacant pass and
seem to reduce the image size slightly because many fewer GC maps needs
to be emitted.
2016-09-11 20:34:44 +02:00
Björn Lindqvist faaa898975 compiler.codegen.*: removing the init-gc-maps word 2016-09-09 18:57:57 +02:00
Björn Lindqvist 2f71e91dce compiler.cfg.stacks.*: rename trace-stack-state2 -> trace-stack-state 2016-09-09 08:06:02 +02:00
Björn Lindqvist 9decb6a91e compiler.cfg.*: better way to store the block height
It is stored as a height-state instance on the height slot of the
basic-block. It will make better analysis possible because you see how
much the height increased or decreased in the block.
2016-09-08 04:01:25 +02:00
Björn Lindqvist 670d2c344e compiler.cfg.stacks.*: new word local-loc>global, replacing untranslate-loc 2016-09-08 04:01:25 +02:00
Björn Lindqvist 6f06b51443 compiler.cfg.stacks.local: simplified code for getting kill locations 2016-09-08 04:01:25 +02:00
Björn Lindqvist c640e3b8c1 compiler.cfg.*: changing height-state from a 2-el array to a tuple
This way, it is a little easier to see what is going on in the local
analysis phase.
2016-09-08 04:01:25 +02:00
Björn Lindqvist 2edda80b5e compiler.cfg.*: removing the adjust-d word
inc-stack can be used in emit-call-block if we check if the block is a
kill block in end-local-analysis
2016-09-05 12:12:01 +02:00
Björn Lindqvist ee5c28f470 compiler.cfg.stacks.*: removing the adjust word which wasn't useful 2016-09-05 10:37:29 +02:00
Björn Lindqvist a36ac6e435 compiler.tree: these constructor words aren't needed 2016-09-04 06:23:50 +02:00
Björn Lindqvist 367bff6339 compiler.cfg.builder: simplification of the shuffling logic 2016-09-04 06:22:54 +02:00
Björn Lindqvist af7e4903a2 compiler.cfg.debugger: print -> write to not add stray newlines 2016-09-01 09:59:15 +02:00
Björn Lindqvist 26d53f9019 compiler.cfg.*: compiler doc updates 2016-09-01 02:16:30 +02:00
Björn Lindqvist f7542e95a9 compiler.cfg.stacks.finalize: only insert blocks if they aren't empty
Previously, a lot of empty blocks were added too.
2016-09-01 01:54:11 +02:00
Björn Lindqvist c26379ea7e compiler.cfg.debugger: better code for outputting using the formatting vocab 2016-08-30 04:04:21 +02:00
Björn Lindqvist b82ea14af0 sets,compiler.cfg.stacks.global: putting the refine word in sets 2016-08-30 02:34:37 +02:00
Björn Lindqvist 6c88577ee7 compiler.cfg.*: replacing the peek/replace/kill-sets with slots
So instead of storing the info in variables, it is stored in slots on
the basic-block tuple which is much nicer.
2016-08-29 12:07:47 +02:00
Björn Lindqvist e8e1811542 compiler.cfg.stacks.height: removing vocab
It was so small so better to put the words it contained in the vocabs
where they are used.
2016-08-26 11:06:17 +02:00
Björn Lindqvist f0834e7b36 compiler.prettyprint: new vocab for prettyprinting compiler types
The require-when ensures that the prettyprint methods are loaded when
both the compiler and prettyprint is loaded.
2016-08-15 15:16:41 +02:00
Björn Lindqvist a36c0cb5ac compiler.*: moving all words only relevant for testing to compiler.test 2016-08-12 15:13:51 +02:00
Björn Lindqvist 2a19e00ff3 compiler.cfg.test-words: vocab is unused so we can remove it 2016-08-12 14:06:19 +02:00
Björn Lindqvist 435a4e29b9 compiler.cfg.stacks.local: using compiler.cfg.debugger to ensure consistent prettyprint output 2016-08-12 13:55:10 +02:00