Slava Pestov
|
bd55712f82
|
compiler: fix bad unit test
|
2010-05-14 18:37:11 -04:00 |
|
Slava Pestov
|
db0f40e481
|
compiler: small fixes and cleanups
|
2010-05-13 02:48:20 -04:00 |
Slava Pestov
|
af4e851392
|
FFI rewrite part 2: use ##peek and ##replace instructions to access stack
|
2010-05-09 23:26:43 -04:00 |
|
Slava Pestov
|
3d66820344
|
FFI rewrite part 1: split up ##alien-invoke and friends into smaller instructions
|
2010-05-09 21:36:52 -04:00 |
|
Slava Pestov
|
0d14e85cb7
|
compiler: more tests
|
2010-05-04 05:46:45 -05:00 |
|
Slava Pestov
|
8c099dac43
|
cpu.x86: GC root offsets were computed wrong in words containing alien calls
|
2010-05-04 02:53:53 -04:00 |
|
Slava Pestov
|
d49032a402
|
compiler.tests: remove useless test from float tests; min and max are generic now, with methods on floats, so any potential inconsistency is gone
|
2010-05-04 00:07:53 -04:00 |
|
Slava Pestov
|
73c83333f2
|
compiler: remove flat machine representation and generate code directly from the CFG
|
2010-05-03 17:34:32 -04:00 |
|
Slava Pestov
|
bb0579ecf9
|
Updating tests for recent compiler changes
|
2010-05-03 17:34:30 -04:00 |
|
Slava Pestov
|
e70c09c690
|
compiler.cfg.linear-scan.assignment: spill slot representation logic was backwards, just like Factor
|
2010-05-03 17:34:29 -04:00 |
|
Slava Pestov
|
16566506f1
|
compiler.cfg: remove unused 'reps' slot from compiler.cfg, and re-organize things in preparation for SSA register allocation
|
2010-05-03 17:34:18 -04:00 |
|
Slava Pestov
|
fd84bb98bc
|
strings: move string-nth primitive out of the VM and into the library
|
2010-05-03 17:34:12 -04:00 |
|
Slava Pestov
|
59fe281799
|
compiler.cfg: more flexible addressing for ##slot and ##set-slot
|
2010-05-03 17:34:06 -04:00 |
|
Slava Pestov
|
becd957d29
|
compiler.cfg: merge all alien accessors into ##load-memory-imm and ##store-memory-imm
|
2010-05-03 17:34:06 -04:00 |
|
Slava Pestov
|
65e35b842f
|
compiler.tests.low-level-ir: update for recent changes
|
2010-05-03 17:34:04 -04:00 |
|
Slava Pestov
|
c4cf2a4085
|
compiler: change how 'f' is represented in low level IR to simplify some code, and fuse a ##load-constant of a word with a ##compare into a ##compare-imm on x86-32. This eliminates a spill from binary-search
|
2010-04-18 21:42:45 -05:00 |
|
Slava Pestov
|
05dba2ba81
|
sequences: remove stupid <flat-slice> word
|
2010-04-17 00:58:30 -05:00 |
|
Slava Pestov
|
98ff114e52
|
compiler.tests.redefine23: test wasn't testing anything
|
2010-04-13 00:56:48 -07:00 |
|
Slava Pestov
|
91e8635ccd
|
compiler.tests.alien: fix tests on Win64
|
2010-04-13 01:24:04 -05:00 |
|
Slava Pestov
|
00a5108b86
|
compiler.tests.alien: get it passing when VM is compiled with MINGW by disabling certain tests and using the MINGW ABI for others, and fix fastcall alien-indirect tests for name decoration
|
2010-04-12 18:14:18 -05:00 |
|
Slava Pestov
|
8e1afbd650
|
Fixing load errors
|
2010-04-10 17:24:44 -07:00 |
|
Slava Pestov
|
fa810bc3b4
|
compiler.tests.alien: fix typo
|
2010-04-10 00:41:20 -07:00 |
Joe Groff
|
3b4f8758b5
|
Merge branch 'master' of git://factorcode.org/git/factor into abi-symbols
Conflicts:
basis/compiler/tests/alien.factor
|
2010-04-06 12:30:15 -07:00 |
|
Joe Groff
|
e2e562ab05
|
add tests for fastcall callbacks
|
2010-04-02 00:23:39 -07:00 |
|
Joe Groff
|
8384a9de68
|
test fastcall indirect struct return
|
2010-04-02 00:00:34 -07:00 |
|
Joe Groff
|
abfaabea5d
|
remove fastcall struct param tests because GCC appears to behave differently from VC++ here and again, who cares
|
2010-04-01 23:54:08 -07:00 |
|
Joe Groff
|
22bba39a75
|
add tests for struct returns from fastcall
|
2010-04-01 23:52:56 -07:00 |
|
Joe Groff
|
6d9d5df8e1
|
test indirect fastcalls
|
2010-04-01 23:43:55 -07:00 |
|
Joe Groff
|
a1ea6729ae
|
compiler.tests.alien: add back fastcall float and struct tests
|
2010-04-01 22:47:16 -07:00 |
|
Joe Groff
|
5739dbd6bb
|
add a test that multiple stdcalls or fastcalls in the same word behave correctly
|
2010-04-01 18:48:12 -07:00 |
|
Joe Groff
|
d6ad21bcc6
|
make "fastcall" symbol private since it doesn't really work in all cases
|
2010-04-01 18:34:15 -07:00 |
|
Joe Groff
|
db1f454cf0
|
retire mixed int/float fastcall tests because who cares
|
2010-04-01 18:25:56 -07:00 |
|
Slava Pestov
|
4f585f991d
|
compiler: new set-special-object intrinsic; more efficient special-object intrinsic
|
2010-04-01 20:09:14 -04:00 |
|
Joe Groff
|
8c5b45694e
|
check gc after fastcall ffi tests like stdcall tests
|
2010-04-01 14:15:34 -07:00 |
|
Joe Groff
|
202b62add9
|
typos in ffi tests
|
2010-04-01 03:02:36 -07:00 |
|
Joe Groff
|
7296e27e23
|
add fastcall functions to ffi tests
|
2010-04-01 02:22:42 -07:00 |
|
Joe Groff
|
1d06be5021
|
"stdcall" -> stdcall
|
2010-03-31 19:29:04 -07:00 |
|
Joe Groff
|
d951be1832
|
"cdecl" -> cdecl
|
2010-03-31 19:20:35 -07:00 |
|
Slava Pestov
|
adeb6fb68f
|
vm: actually use context callstacks when running code
|
2010-03-26 22:44:43 -04:00 |
|
Slava Pestov
|
af573bd022
|
Add context-specific special object table, generalizing catchstack_save and current_callback_save fields of context struct
|
2010-03-18 22:06:00 +13:00 |
|
Joe Groff
|
13cf49c45c
|
fix stack effects in compiler tests
|
2010-03-08 23:46:20 -08:00 |
|
Joe Groff
|
96ab4492d2
|
rename current string-mangling "char*" to "c-string". char* is now just a boring old pointer to char
|
2010-02-23 11:42:02 -08: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 |
|
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
|
410c501b76
|
compiler.units: fix bug that came up recently with nested compilation units
|
2010-02-04 03:20:48 +13:00 |
|
Slava Pestov
|
80f604ac73
|
compiler: remove some unnecessary complexity
|
2010-02-04 01:36:52 +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
|
29e1d268b7
|
generic: rename method-body predicate class to method
|
2010-02-03 23:11:24 +13:00 |
|
Slava Pestov
|
83a2de6565
|
Fix ffi-test library to work with Windows SDK. Turns out MINGW has a different ABI for struct returns than MS's compiler; make the MS ABI the default for cdecl on Windows, and add mingw ABI for libraries that use the MINGW ABI
|
2010-02-02 04:01:12 -06:00 |
|
Slava Pestov
|
7f664a6387
|
Fix a couple of unit tests that were relying on the old compiler crossref structures
|
2010-01-31 23:26:55 +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
|
1da446d8fc
|
Code cleanups
|
2010-01-30 09:28:56 +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 |
|
Slava Pestov
|
0a77399242
|
Add test case for mixin bug Doug found, seems to be fixed now
|
2010-01-30 09:28:52 +13:00 |
|
Slava Pestov
|
0cbf9c9b50
|
Move compile-call and related words only meant to be used for debugging to compiler.test
|
2010-01-23 00:39:56 +13:00 |
Doug Coleman
|
7521807b55
|
random is generic now -- iota random -> random
|
2010-01-14 12:48:57 -06:00 |
|
Slava Pestov
|
880fb747fc
|
Removing integers-as-sequences
|
2010-01-15 07:15:33 +13:00 |
|
Slava Pestov
|
5770a5f9b3
|
Fix input-classes of /i and mod, and add some regression tests with various reductions of the original test-case from the terrain demo
|
2010-01-14 18:15:51 +13:00 |
|
Slava Pestov
|
005db61ad6
|
Rework min and max so that behavior with floats and NaNs is consistent between generic arithmetic and open-coded float intrinsics
|
2010-01-13 22:20:16 +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
|
5ef9fb5473
|
More PowerPC non-optimizing compiler backend fixes
|
2010-01-13 03:09:43 +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
|
8f449f1a82
|
Get optimizing compiler working without global register variables in VM
|
2009-12-22 15:42:49 +13:00 |
|
Slava Pestov
|
08b6ebc7fa
|
Factor source files should not be executable
|
2009-11-21 17:50:43 -06:00 |
|
Slava Pestov
|
3b75114015
|
Fixing test failures
|
2009-11-11 02:40:24 -06:00 |
|
Slava Pestov
|
5dc20ef385
|
Use a more compact representation for "compiled-uses" and "compiled-generic-uses" word-props; reduces image size
|
2009-11-08 06:08:04 -06:00 |
|
Slava Pestov
|
0731485d86
|
compiler: fix alien tests
|
2009-11-06 01:04:02 -06:00 |
|
Joe Groff
|
f780bbddc3
|
deprimitivize tuck and put it to pasture
|
2009-11-05 22:47:05 -06:00 |
|
Slava Pestov
|
3d392cbc2c
|
compiler: fix intrinsics tests on 32-bit
|
2009-11-04 18:28:46 -06:00 |
|
Slava Pestov
|
d0a784d61c
|
compiler: update unit tests for 4-bit tag change
|
2009-11-03 21:40:29 -06:00 |
|
Slava Pestov
|
d65296b334
|
vm: 4 bit tags, new representation of alien objects makes unbox-any-c-ptr more efficient (work in progress)
|
2009-11-02 04:25:54 -06:00 |
|
Joe Groff
|
eecef661cf
|
exile roll and -roll to basis/shuffle and mark them deprecated
|
2009-10-30 17:11:45 -05:00 |
|
Doug Coleman
|
9ff38fb56c
|
(normalize-path) -> absolute-path, canonicalize-path -> resolve-symlinks
|
2009-10-28 17:25:50 -05:00 |
|
Doug Coleman
|
b5fd809209
|
memq? -> member-eq?, sorted-memq? -> sorted-member-eq?
|
2009-10-28 15:02:00 -05:00 |
|
Slava Pestov
|
47d6507548
|
compiler.tree.propagation.transforms: fix problem with 'shift' transform when input was a bignum
|
2009-10-23 07:50:56 -05:00 |
|
Slava Pestov
|
5681f67101
|
compiler: fix stack effect inference bug discovered by x6j8x; it was possible to define a word which did not compile but could be called anyway
|
2009-10-23 03:27:25 -05:00 |
|
Joe Groff
|
cee5862b69
|
update a bunch of alien-callbacks and alien-indirects to use c-type words
|
2009-10-21 21:10:11 -05:00 |
|
Joe Groff
|
4dd44a007a
|
update some naked alien-invokes to use c-type words
|
2009-10-21 18:44:00 -05:00 |
Slava Pestov
|
73a3fe447a
|
compiler: fix typo in intrinsics tests
|
2009-10-19 05:16:04 -05:00 |
|
Slava Pestov
|
a62d38bff3
|
compiler: fix low-level-ir test on PowerPC
|
2009-10-19 05:03:02 -05:00 |
|
Slava Pestov
|
0a3029d9f2
|
compiler: on PPC, ANDI, ORI and XORI instructions take an unsigned 16-bit immediate, unlike ADDI, SUBI and MULLI which take a signed 16-bit immediate. The code generator was not aware of this, and so for example '[ >fixnum -16 bitand ]' would generate incorrect code. Split up small-enough? hook into immediate-arithmetic? and immediate-bitwise? and update value numbering to be aware of this. Fixes classes.struct bitfields test failure
|
2009-10-19 04:58:29 -05:00 |
|
Slava Pestov
|
030d035e94
|
vm: code heap compaction at runtime using compact-gc primitive
|
2009-10-16 11:39:35 -05:00 |
|
Slava Pestov
|
09fac95fad
|
compiler.tree.propagation.branches: fix live-branches computation for #dispatch nodes
|
2009-10-10 00:23:50 -05:00 |
|
Slava Pestov
|
e6ff877362
|
compiler.cfg.instructions: remove ##box-float, ##unbox-float, ##box-vector, ##unbox-vector since they can be expressed in terms of ##alien-double, ##set-alien-double, ##alien-vector, ##set-alien-vector, and ##allot
|
2009-10-01 18:07:50 -05:00 |
|
Slava Pestov
|
f08521bf83
|
Fixing various test failures caused by C type parser change, and clarify C type docs some more
|
2009-09-28 08:48:39 -05:00 |
|
Slava Pestov
|
dc1b6043dc
|
cpu.x86: shifts didn't work if dst != src1; re-organize file a bit
|
2009-09-28 05:39:53 -05:00 |
|
Slava Pestov
|
be320f67bb
|
compiler: fix codegen test
|
2009-09-27 22:23:03 -05:00 |
|
Slava Pestov
|
024192c2d4
|
compiler: add a unit test
|
2009-09-27 20:36:19 -05:00 |
|
Slava Pestov
|
e8cfaccef0
|
compiler.cfg: nuke ##bignum>integer and ##integer>bignum since they were unused
|
2009-09-27 20:36:05 -05:00 |
|
Slava Pestov
|
6f2a4eba51
|
compiler.cfg.linear-scan: fix partial sync point logic in case where dst == src, and clean up spilling code
|
2009-09-27 19:28:20 -05:00 |
sheeple
|
2b35f52ed2
|
Merge branch 'slots' of git://factorcode.org/git/factor into slots
Conflicts:
basis/cpu/x86/x86.factor
|
2009-09-26 03:12:42 -05:00 |
Daniel Ehrenberg
|
2aad330c41
|
Fixing low-level-ir compiler tests for slot changes
|
2009-09-26 02:48:40 -05:00 |
|
Slava Pestov
|
b655b6662c
|
compiler: add unit test for undefined_symbol regression
|
2009-09-25 18:08:33 -05:00 |
|
Doug Coleman
|
abb8a221db
|
Merge branch 'master' of git://factorcode.org/git/factor
Conflicts:
basis/math/vectors/simd/simd-docs.factor
|
2009-09-23 10:11:49 -05:00 |
|
Slava Pestov
|
b136ad44d0
|
compiler.cfg.ssa.cssa: correctly handle overflowing fixnum instructions
|
2009-09-23 02:47:56 -05:00 |
|
Doug Coleman
|
28e5a27c3f
|
Merge branch 'master' of git://factorcode.org/git/factor
Conflicts:
core/generic/generic-tests.factor
|
2009-09-22 10:25:42 -05:00 |
|
Slava Pestov
|
9a7577a58b
|
Fix test failures in compiler.cfg.linearization.order, compiler.tests.low-level-ir and compiler.graphviz
|
2009-09-22 05:07:52 -05:00 |
|
Slava Pestov
|
0778c20722
|
compiler.cfg.linearization.order: basic blocks were being inserted twice if some blocks had repeated successors, causing problems for register allocation
|
2009-09-22 03:19:23 -05:00 |
|
Doug Coleman
|
e8502d1ebc
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2009-09-21 17:59:48 -05:00 |
|
Slava Pestov
|
85c916fedc
|
Rename specific-method to method-for-class, rename (effective-method) to method-for-object, and make both much faster
|
2009-09-21 17:42:20 -05:00 |