5fb5c19d61
Machine code is now stored in a byte array instead of an array for add_code_block()
2009-04-30 04:34:35 -05:00
515c619202
Non-optimizing compiler now open-codes megamorphic dispatch fast path
2009-04-30 03:37:07 -05:00
fc4894fbdf
Replace ratio and complex built-in types with tuples defined in the library. This frees up two lo-tags, so move array and quotation over to these tags and update compiler for new tags
2009-04-30 00:27:35 -05:00
5f6c074edd
Split up types.c/h into smaller files, remove optimized slot from F_WORD struct
2009-04-28 17:26:11 -05:00
4d10105802
Working on inline caching
2009-04-28 03:48:37 -05:00
e45790a802
Split off parts of quotations.c into jit.c, which is a general codegen facility used by the non-optimizing compiler, and soon to be the profiler and PICs
2009-04-28 00:48:00 -05:00
15ef4f651b
Sprinkle VM source with assertions, add a missing local root to quotations.c, fix GROWABLE_ARRAY macros for GC safety
2009-04-28 00:11:09 -05:00
63fff0a832
Clean up VM's growable array implementation, and non-optimizing compiler
2009-04-26 07:00:48 -05:00
89eccddde7
quotations.c: fix quot_code_offset_to_scan
2009-04-25 22:35:51 -05:00
356537593e
Get rid of execute-unsafe now that (execute) is more versatile
2009-04-25 21:50:34 -05:00
461ddfac1a
Fix 'become'
2009-04-21 00:05:39 -05:00
f38d2f91f6
Words which didn't compile cannot be run at all
2009-04-20 22:05:41 -05:00
39b53817b9
Small size reduction for deployed images
2009-03-31 08:15:27 -05:00
2a7848053f
Fix 64-bit build issue; relocation entries are 32-bit on all platforms
2009-03-19 23:21:32 -05:00
ae09d85d84
More compact relocation layout
2009-03-19 20:03:07 -05:00
8f059e07a7
Move flags from F_CODE_BLOCK to F_BLOCK for further space savings
2009-03-19 03:49:49 -05:00
78f168e304
Remove code_length field from F_CODE_BLOCK struct, and make F_BLOCK the head of F_CODE_BLOCK to simplify other code
2009-03-19 03:45:37 -05:00
be4fb1e7d9
Move call( and execute( to core
2009-03-16 20:11:36 -05:00
ed1a2855b5
Big code GC refactoring
...
- Move code block-specific parts of code_gc.c to code_heap.c
- code_gc.c is now a generic malloc-style heap
- New code_block.c to split up large code_heap.c
- Clean up relocation code and remove some duplication
- Fix problems with code heap not being updated properly with uninterned words (bug re
ported by doublec)
- Remove boolean parameter from modify-code-heap primitive
- Less unnecessary fixup speeds up bootstrap slightly
2009-01-24 20:13:17 -06:00
32bb531621
Move literal tables out of code heap, instead each code block holds a reference to the literal table
2009-01-24 17:01:01 -06:00
a8d1459c08
Rename compiled slot of words to optimized, to reflect what it really means (all words are compiled)
2009-01-23 00:37:02 -06:00
833d9f9c0b
Fix quotation pooling
2008-12-08 21:24:45 -06:00
fbc0f33c86
The deploy tool would coalesce equal quotations into one. This created a problem
...
for the non-optimizing compiler because if the new 'leader' quotation was not
compiled but some of the ones that it replaces were, then calls to the quotation
from contexts where they have to be compiled (eg, compiled if and dip) would no
longer work. Add a `jit-compile' primitive to compile quotations, and call it
as appropriate in `compress-quotations`.
2008-11-24 15:59:27 -06:00
a4282139dc
Add comments explaining recent changes
2008-11-24 09:27:15 -06:00
ab689c098b
Clean up direct literal code and make a first attempt at PowerPC support
2008-11-24 08:16:14 -06:00
2aaf860f47
Experimental optimizations
2008-11-24 06:40:51 -06:00
8663ca2982
Fix VM for PowerPC
2008-11-24 02:03:01 -06:00
d86524f4bc
Non-optimizing compiler now compiles dip, 2dip, 3dip, if, with direct branches instead of indirect branches. 8% bootstrap time improvement on Core Duo 2
2008-11-24 00:23:17 -06:00
1d6e389d18
Fixing walker, adding traceback tests
2008-11-23 21:40:54 -06:00
a4d9cdfeb3
Refactor all usages of >r/r> in core to use dip, 2dip, 3dip
...
Non-optimizing compiler now special-cases dip, 2dip, 3dip following a
literal quotation: this allows us to break the dip/slip meta-circle
without explicit calls to >r/r>
2008-11-23 02:44:56 -06:00
cfa82cb474
New calling convention for VM primitives:
...
instead of the Factor side passing the stack pointer as the first parameter, and having the VM save it to stack_chain->top, we instead have the Factor side save it. Eliminates a lot of crud in the VM
2008-11-13 03:20:34 -06:00
aff81d80e7
Fix walker
2008-07-13 02:29:59 -05:00
16b85df5db
Fixes and a small optiimization
2008-07-12 22:27:28 -05:00
380891943c
Better comments
2008-07-11 17:38:53 -05:00
a876005c98
Clean up non optimizing compiler, rewrite more primitives in assembly
2008-07-11 17:25:46 -05:00
70e370f69d
Fix walker
2008-07-07 19:26:58 -05:00
a8808b7087
Non-optimizing compiler now inlow inlines some primitives, this improves bootstrap time
2008-07-07 10:39:04 -05:00
727cfcba43
Move relocation info out of the code heap and into the data heap
2008-05-30 01:31:05 -05:00
98d8621ac1
First class compose, curry is now a tuple class
2008-02-11 13:50:29 -06:00
c6bc074472
Simplify code heap layout
2008-01-16 15:45:04 -05:00
028e0075d8
PowerPC support work in progress
2008-01-09 01:33:40 -05:00
928c68b506
JIT improvements; simpler 'current XT' relocation logic
2008-01-07 17:14:09 -04:00
b7327b6228
Redo the profiler
2008-01-02 20:36:36 -04:00
af41a0efe7
Re-implement callstack>array
2007-12-30 16:54:01 -05:00
93e1bdfcd7
Simplify JIT, fix tuples unit tests
2007-12-26 20:02:41 -05:00
f91ec96425
Fix code heap compaction and clean up VM a bit
2007-12-26 17:14:33 -05:00
4bb2a43a10
Early binding JIT work in progress
2007-12-26 02:33:49 -05:00
c09af2f2c6
Improved JIT compiler design; better REGISTER_ROOT/UNREGISTER_ROOT stuff
2007-12-26 01:45:16 -05:00
3d784c7927
Simplify quotation calling convention: no need to pass XT
2007-12-25 23:40:36 -05:00
3c5b2073ef
Fix save-image-and-exit, clean up compiler a bit
2007-12-16 18:42:56 -05:00
Slava Pestov
slava
Slava Pestov