Joe Groff
|
b435b2b84b
|
Merge branch 'master' into new-alien-pointers
Conflicts:
basis/alien/c-types/c-types.factor
basis/stack-checker/dependencies/dependencies.factor
|
2010-02-22 10:32:59 -08:00 |
Slava Pestov
|
316b831208
|
alien: some code cleanups and fixes
|
2010-02-23 01:28:56 +13:00 |
|
Slava Pestov
|
ad951c85ae
|
stack-checker.alien: now that C types are words, the compiler can add dependencies on them when compiling alien words. This triggers the necessary recompilation when C types are redefined
|
2010-02-22 21:32:41 +13:00 |
|
Joe Groff
|
b8bfeec48f
|
stack-checker.dependencies: extend c-type-word method for depends-on-c-type to all words (so it works for non-c-types like void)
|
2010-02-21 23:13:12 -08:00 |
|
Joe Groff
|
b8ab9434cf
|
stack-checker.dependencies: add method for pointers to depends-on-c-type
|
2010-02-21 22:31:32 -08:00 |
|
Slava Pestov
|
b6eb3c04e6
|
stack-checker.dependencies: add depends-on-c-type
|
2010-02-22 19:25:09 +13:00 |
|
Slava Pestov
|
93c0bb56e7
|
stack-checker.dependencies: fix load error
|
2010-02-20 12:08:14 +13:00 |
|
Slava Pestov
|
58d035f1c7
|
Fix two problems with recompilation: predicate constant folding was recording unsatisfied dependencies in some cases, and literal tuple instances of forgotten classes would cause problems for method inlining
|
2010-02-20 12:01:47 +13:00 |
|
Slava Pestov
|
56dff5b0f4
|
typed: only unbox final classes. Fixes bug reported by littledan
|
2010-02-18 02:39:12 +13:00 |
|
Slava Pestov
|
974074d089
|
A few documentation fixes
|
2010-02-17 00:05:36 +13:00 |
|
Slava Pestov
|
18ed2d8c69
|
vm: nuke unused (string>float) primitive
|
2010-02-08 08:16:56 +13:00 |
|
Slava Pestov
|
310399995e
|
Add code heap introspection primitive to VM, and make a code-blocks word in tools.memory that wraps a useful interface around this. Add a lookup-return-address word and use this in tools.disassembler.utils
|
2010-02-03 23:11:32 +13:00 |
|
Slava Pestov
|
a968f37bf9
|
Test fixes
|
2010-02-03 23:11:31 +13:00 |
|
Slava Pestov
|
edbb980e3f
|
Revert "macros: macro body is now defined in its own subword, for compile-time stack effect checking"
This reverts commit 24de7c52f0c3f21cfcdb80235cac7296b0401c85.
|
2010-02-03 23:11:29 +13:00 |
|
Slava Pestov
|
d19709c188
|
vm: modify-code-heap primitive now takes a pair of parameters, update-existing? and reset-pics?. If no generic words were changed, PICs do not need to be reset. If no existing words were redefined, the code heap doesn't have to be traced at all. Speeds up compilation of PEGs since those create lots of compilation units
|
2010-02-03 23:11:28 +13:00 |
|
Slava Pestov
|
0ff526f478
|
macros: macro body is now defined in its own subword, for compile-time stack effect checking
|
2010-02-03 23:11:22 +13:00 |
Brad Christensen
|
c37b4f5f61
|
A number of documentation fixes and cleanup.
|
2010-02-03 00:05:03 -07:00 |
|
Slava Pestov
|
8e2e869ec5
|
stack-checker.dependencies: make conditional dependencies more robust
|
2010-01-31 01:55:35 +13:00 |
|
Slava Pestov
|
93c2428cf4
|
compiler.crossref: more space-efficient storage of dependency information
|
2010-01-30 09:29:02 +13:00 |
|
Slava Pestov
|
39aa70aa88
|
Clean up some code in preparation for a refactoring
|
2010-01-30 09:29:02 +13:00 |
|
Slava Pestov
|
3632e97376
|
compiler.crossref: add next-method dependency
|
2010-01-30 09:29:01 +13:00 |
|
Slava Pestov
|
65ba4b58d9
|
stack-checker.dependencies: add tuple layout dependencies for use by 'new' and 'boa'
|
2010-01-30 09:29:00 +13:00 |
|
Slava Pestov
|
df16224ab2
|
Re-work flushed dependencies into new compiler cross-referencing framework
|
2010-01-30 09:29:00 +13:00 |
|
Slava Pestov
|
13f920babb
|
Add some utility words to stack-checker.dependencies in preparation for a refactoring
|
2010-01-30 09:28:59 +13:00 |
|
Slava Pestov
|
468a3a74f1
|
Re-defining a tuple class now invalidates cached quotation stack effects
|
2010-01-30 09:28:59 +13:00 |
|
Slava Pestov
|
2138b55708
|
New 'conditional dependency' mechanism for more accurate recording of recompilation information
|
2010-01-30 09:28:57 +13:00 |
|
Slava Pestov
|
dba5b0be08
|
compiler.tree.propagation.call-effect: clear out dependency tracking variables to ensure that infer calls made by call( as part of the compile process doesn't pollute the dependencies of the word being compiled
|
2010-01-30 09:28:57 +13:00 |
|
Slava Pestov
|
0738e85df1
|
Work in progress: record constant-folds of predicate words, and call-next-method invocations, in the same way that method inlining are recorded, for greater recompilation accuracy
|
2010-01-30 09:28:56 +13:00 |
Doug Coleman
|
9502f6f091
|
Save images to a temporary file first, then call MOVE_FILE to avoid writing incomplete and truncated images.
|
2010-01-22 12:59:20 -06:00 |
|
Slava Pestov
|
952a0784a7
|
vm: remove vm-ptr primitive
|
2010-01-20 17:06:49 +13:00 |
|
Slava Pestov
|
184d286d29
|
Make stack-checker throw proper errors for primitives that do not have static stack effects
|
2010-01-20 16:37:58 +13:00 |
|
Slava Pestov
|
88004434ec
|
vm: remove primitive table, non-optimizing compiler now looks up primitives with dlsym()
|
2010-01-19 20:00:33 +13:00 |
|
Slava Pestov
|
0165daf56c
|
Stop wearing monocle and use the term "entry point" instead of "XT" throughout VM and compiler; also remove two unused relocation types
|
2010-01-18 20:54:00 +13:00 |
|
Slava Pestov
|
bf0de9f7ee
|
Help lint fixes for iota
|
2010-01-15 17:04:14 +13:00 |
|
Slava Pestov
|
ce05955693
|
stack-checker: add inputs and outputs words, since 'infer (in>>|out>>) length' was coming up a lot
|
2010-01-15 08:04:14 +13:00 |
|
Slava Pestov
|
792e6dbd5d
|
stack-checker.errors.prettyprint: fix prettyprinting of unbalanced-branches-error
|
2010-01-15 07:51:36 +13:00 |
|
Slava Pestov
|
880fb747fc
|
Removing integers-as-sequences
|
2010-01-15 07:15:33 +13:00 |
|
Slava Pestov
|
790674cf89
|
Rename kernel.private:getenv/setenv to special-object/set-special-object to mirror recent renaming on the VM side
|
2010-01-13 18:08:18 +13:00 |
|
Slava Pestov
|
ecb9137675
|
stack-checker: fix unit test
|
2010-01-07 17:40:23 +13:00 |
|
Slava Pestov
|
1e2c0327ee
|
Add alien-assembly form for inline assembler, works like alien-invoke except calls a user-supplied quotation instead of generating a subroutine call. Replaces FPU status control, SSE detection and read timestamp routines in vm/cpu-x86.*S
|
2010-01-07 17:39:22 +13:00 |
|
Slava Pestov
|
9399a68786
|
Change how non-volatile register preservation is done in alien callbacks, with the aim of fixing callbacks on PowerPC, and to eventually eliminate assembly code from VM
- Simplify calculation of offset in relocation table
- Open-code %alien-callback
- Remove magic_frame hack from context objects
- Move magical return instruction from optimizing compiler backend into callback entry stub
|
2010-01-03 01:11:51 +13:00 |
|
Slava Pestov
|
08b6ebc7fa
|
Factor source files should not be executable
|
2009-11-21 17:50:43 -06:00 |
|
Slava Pestov
|
058be8ca47
|
stack-checker: fix error message printed when do-primitive is inferred
|
2009-11-19 19:43:41 -06:00 |
|
Doug Coleman
|
addb1c90bb
|
rename millis to system-millis, micros to system-micros, add nano-count
|
2009-11-18 15:58:48 -06:00 |
|
Doug Coleman
|
1861dd2705
|
initial commit to nanos branch to replace micros
|
2009-11-18 04:20:05 -06:00 |
|
Slava Pestov
|
ab7583ac37
|
Fix bootstrap
|
2009-11-13 07:55:47 -06:00 |
|
Slava Pestov
|
68f3087c1c
|
Faster identity-hashcode primitive; fast path now opencoded by the compiler
|
2009-11-11 02:27:19 -06:00 |
|
Slava Pestov
|
4168ffbcee
|
New identity-hashcode primitive
|
2009-11-10 21:18:54 -06:00 |
|
Slava Pestov
|
d6cb95718f
|
stack-checker: fix help lint
|
2009-11-10 19:19:59 -06:00 |
|
Slava Pestov
|
0de1335d88
|
Fix some test failures
|
2009-11-10 16:48:06 -06:00 |