5b7d40d9b4
We need to end the basic block after the ##prologue in the dispatch branch so that the GC check can go after the prologue
2008-11-10 02:58:05 -06:00
f7fe84e563
Working on Win64 FFI
2008-11-08 21:40:47 -06:00
d1f248dac6
Fixing PowerPC backend: prolog register clobberage, spilling, and general stack frame usage. Add some lame tests for spilling
2008-11-06 19:00:56 -06:00
4e55cd973b
If a #dispatch branch is a call to another word which is not an intrinsic, we avoid generating the dispatch branch and just jump to the word directly
2008-11-06 11:48:55 -06:00
64cbf619a9
Add more algebraic simplifications: comparison of a comparison, comparison where first is immediate
2008-11-06 09:27:52 -06:00
1c1333fbe9
Compile not and >boolean as branchless intrinsics by having the CFG builder detect certain code patterns
2008-11-06 09:09:21 -06:00
d2ec46e38f
PowerPC backend almost functional; some new compiler unit tests added,
...
better compilation of 'f eq?'; f becomes an immediate operand
move aux-offset to compiler.constants
2008-11-06 06:27:27 -06:00
53cd75b06c
Add string-nth intrinsic
2008-11-06 01:11:28 -06:00
bfd119e3b5
I/O ricing: various hints added so that UTF8 and ASCII fastpaths compile with less dispatch. 25% improvement on reverse-complement
2008-11-06 00:02:44 -06:00
cc879fa9b7
Tuple layouts are now arrays, instead of built-in types. The superclass
...
array is now part of the tuple layout object itself, and class hashcodes
are stored alongside class words there. This removes 2 indirections when
reading a superclass, and 3 when reading a superclass hashcode.
2008-11-05 22:20:29 -06:00
4fd1767768
Old fix for classes-intersect? no-method bug was incorrect; we were
...
ignoring anonymous classes in compiled-generic-crossref. Also,
forget* now calls reset-word so that references to predicates of
forgotten classes don't break the compiler with a similar error.
2008-11-05 18:32:02 -06:00
dae41147fe
%bignum>integer now takes a temporary register since this is useful on both x86 and ppc
2008-11-05 04:16:08 -06:00
c8521ad826
Add tool to dump live intervals
2008-11-04 17:23:20 -06:00
46830bb38d
Fix another name clash in tests; putting all compiler tests in compiler.tests vocab is probably not good
2008-11-04 00:46:06 -06:00
1af3b8ed65
If a register is spilled and the reload location is also a copy, we chicken out and don't coalesce. This is suboptimal but it's not clear to me how to implement it cleanly, and SSA graph coloring will solve this problem eventually anyway
2008-11-04 00:32:56 -06:00
efcb916e35
Handle a jump to a jump by cloning the block, in the same way we optimize jumps to returns
2008-11-03 21:02:34 -06:00
06b99c31ee
Fix regression. If a parsing word called the compiler, it might compile a caller of a generic before the generic gets built, which would throw an error since the inferred effect of the generic might have less inputs than the combination's dispatch#
2008-11-03 20:59:48 -06:00
dc85ed3d56
Fix help lint: links to obsolete article
2008-11-03 08:08:28 -06:00
82e9eedd39
Forgot about float= intrinsic
2008-11-03 07:15:09 -06:00
b649c01de6
Fix name clash with templates.factor
2008-11-03 06:34:56 -06:00
59f4f25b91
Loop alignment: appears to be a small win for reverse-complement
2008-11-03 06:20:51 -06:00
0250d7c1d2
Forgot a drop in unit test
2008-11-03 01:53:27 -06:00
08b277e892
Fix alias anlaysis bug: result of ##box-alien and ##box-float did not get an AC, so calling hi-tag would not compile
2008-11-03 01:52:55 -06:00
3230e0010f
-trace-compilation command line switch
2008-11-03 01:19:20 -06:00
f253e74942
Inline subprimitives in optimizing compiler
2008-11-03 01:18:54 -06:00
1aefde994f
Cleanup
2008-11-03 00:03:22 -06:00
0d83873174
Fix regression
2008-11-03 00:03:15 -06:00
449c1191cc
Add another debug var
2008-11-02 23:25:42 -06:00
445e353337
Optimize away useless jumps
2008-11-02 23:09:31 -06:00
d11a779fdd
RicE
2008-11-02 03:58:32 -06:00
3834eaeb05
Don't generate GC checks if the allocation instruction is optimized out
2008-11-02 01:50:48 -06:00
8df1aba71d
Coalescing
2008-11-02 01:49:57 -06:00
804c6f93ea
Fix x86.32
2008-10-31 21:07:41 -05:00
db4db19cd9
Start working on coalescing
2008-10-28 02:38:37 -07:00
492a15e345
Move insn class to compiler.cfg.instructions
2008-10-24 09:17:06 -05:00
1912c57bb5
Fix comment
2008-10-23 05:55:50 -05:00
885adc8dc9
Various improvements
2008-10-23 05:27:54 -05:00
52967c5bf1
Improved value numbering
2008-10-23 02:49:26 -05:00
d723b69990
Value numbering
2008-10-22 21:59:07 -05:00
084e64d0bc
Tweak inheritance
2008-10-22 21:58:46 -05:00
ba0ed21e1d
Better error message
2008-10-22 21:58:37 -05:00
9a07760542
CFG optimizer
2008-10-22 18:41:37 -05:00
3711aa3bca
Stack height normalization
2008-10-22 18:41:26 -05:00
6d812aaa52
Write barrier elimination
2008-10-22 18:41:10 -05:00
1f693b50b3
Massive focused action
2008-10-22 18:39:41 -05:00
73d01452cb
Replace ##gc with a gc flag in the basic block
2008-10-22 18:38:30 -05:00
f09813f6fd
Alias analysis
2008-10-22 18:37:47 -05:00
1b06ab1b39
Fixing various bugs
2008-10-21 23:17:32 -05:00
87e9fbb34c
Comparison operations
2008-10-21 03:21:29 -05:00
94a2bfa2ea
Working on comparison operations, clearing out remaining dead wood
2008-10-21 03:20:48 -05:00
df498c21a3
Trim USING:
2008-10-20 20:46:47 -05:00
0cc0a41e57
Update for compiler.intrinsics removal
2008-10-20 20:40:36 -05:00
4d75baf268
Update for ##allot change
2008-10-20 20:40:28 -05:00
e92f795a76
More work on intrinsics; memory allocation and slot access now expands correctly
2008-10-20 20:40:15 -05:00
37cf7d9a9c
Add SSA comparison instructions, fix various problems
2008-10-20 05:55:20 -05:00
f092622fac
CFG IR is now pure SSA
2008-10-20 01:56:28 -05:00
4ae66793f0
Fixing unit tests
2008-10-19 03:51:01 -05:00
14d8696f40
Oops, don't mix register classes in active set
2008-10-19 03:34:42 -05:00
c0d89b061e
Fixing register allocator prspilling
2008-10-19 01:10:21 -05:00
627dfd1ff5
Finish vreg simplification
2008-10-17 20:03:59 -05:00
239578353f
Simplifying vregs work in progress
2008-10-17 15:35:04 -05:00
fedadc8032
Remove obsolete test file
2008-10-13 13:08:28 -05:00
d8d3645d72
Fixing more codegen bugs
2008-10-13 12:49:20 -05:00
ae3c4ae1b6
Fix some problems with callbacks
2008-10-12 23:32:14 -05:00
40c1529ce8
Add stack effect
2008-10-12 18:40:57 -05:00
ed27d83921
Add missing method
2008-10-12 18:40:43 -05:00
749c77d6b1
Fix linear scan test
2008-10-12 18:40:10 -05:00
8eacd0e58b
Add compile-dependencies? flag, can be switched off for debugging
2008-10-12 17:37:42 -05:00
b2ade7f556
Fix callbacks and non-tailcalls to dispatch
2008-10-12 17:37:26 -05:00
5f93ab74e4
Fix #dispatch generation
2008-10-12 16:46:59 -05:00
68c9b22cef
Don't need known-tag templates any more
2008-10-11 14:08:00 -05:00
f979ae5b82
Expand slot accessors further to avoid having to use complex template decision
2008-10-11 14:05:15 -05:00
3844cb62d8
Fix %write-barrier
2008-10-10 03:16:26 -05:00
3e29808f17
Fix loop compilation
2008-10-10 02:33:32 -05:00
67dd303d27
Fix excess recompilation
2008-10-10 02:33:07 -05:00
70c6c64766
Debugging register allocator and inline allocation
2008-10-08 23:43:07 -05:00
cf46a832e7
Debugging register allocator and inline allocation
2008-10-08 23:42:53 -05:00
0e4e05d5cd
Debugging new codegen
2008-10-08 03:51:44 -05:00
7b6d9c4c4f
Debugging new codegen
2008-10-07 20:00:38 -05:00
e69278b8fc
Merging in new codegen
2008-10-07 16:17:55 -05:00
f436fd0c0f
Merging in new codegen
2008-10-07 16:16:50 -05:00
33d775890c
More stack frame refactoring
2008-10-06 00:20:00 -05:00
d5112a0ced
Working on stack frame cleanup
2008-10-05 21:30:29 -05:00
c19f2257f4
Fix permission bits
2008-10-02 08:34:49 -05:00
f539406ee1
Fold class predicates applied to literals
2008-10-02 05:12:38 -05:00
d4134a2ca1
Fix loop detection bug
2008-10-02 01:17:45 -05:00
4b19afdb4e
Fixing issues found by stricter help lint
2008-09-24 01:59:05 -05:00
1a865f89ac
Some optimizer change sfores for new codegen
2008-09-17 22:18:08 -05:00
6cad2e02e4
Updating x86 backend for new codegen
2008-09-17 00:46:38 -05:00
722cacddb4
Fixing some problems with returning structs by value in x86.64 FFI
2008-09-13 20:28:13 -05:00
a211e44bb9
Found a place to use the locals in literals feature
2008-09-13 04:43:29 -05:00
01129fb9bd
Add unit test for locals performance regresion
2008-09-13 03:09:16 -05:00
10c68ebb21
New modular arithmetic optimization pass
2008-09-12 18:08:38 -05:00
8d7ebc5106
Change stack effect of nths to match nth, rice bounds-check?
2008-09-12 18:08:19 -05:00
54232f80ca
Adding identity optimization pass, tweak inlining heuristic
2008-09-12 08:18:44 -05:00
2bf532263d
Oops
2008-09-12 05:36:06 -05:00
40da49bef5
Perform loop detection before normalization, clean up normalization pass, more aggressive recursive return value propagation. Fixes regression on nsieve benchmark
2008-09-12 05:17:27 -05:00
0699aa5640
Fix regression
2008-09-12 04:02:54 -05:00
ec660c857f
Add unit test for Joe Groff's bg
2008-09-12 00:04:56 -05:00
f2721e0608
Help lint fixes
2008-09-11 05:04:49 -05:00
0c8e2584b4
Fixing unit tests for make, fry changes
2008-09-11 00:20:06 -05:00
cf80dd122a
Updating code for make and fry changes
2008-09-10 22:11:40 -05:00
44f53de164
Move make to its own vocabulary, remove fry _ feature
2008-09-10 20:07:00 -05:00
a3d1379b8c
Fix bug with large structs passed by value on x86.64
2008-09-09 03:10:43 -05:00
e6637a1118
Cleanup
2008-09-08 19:02:24 -05:00
8a921c791c
if-empty changes
2008-09-06 19:13:59 -05:00
b6c2a85931
Remove shuffle word, rename shuffle* to shuffle
2008-09-05 19:54:05 -05:00
bcc8483b5b
Move match to basis since compiler.tree.debugger uses it, fix conflict
2008-09-05 19:48:44 -05:00
aea0fed14c
Fixing basis -> extra dependencies
2008-09-05 19:29:14 -05:00
9af12d96cf
left-trim -> trim-left
2008-09-05 18:56:35 -05:00
6d506b89e8
Image size reduction
2008-09-03 18:23:48 -05:00
6b07c85fec
Minor fixes here and there for delegation slot removal
2008-09-03 06:05:50 -05:00
e1716d92b3
Remove delegation slot
2008-09-03 03:46:56 -05:00
a4a00f6e40
Adding missing optimizations to finalization pass
2008-09-02 22:59:49 -05:00
dbd16b4978
fix docs
2008-09-02 16:53:20 -05:00
1e8358eff5
Merge branch 'master' of git://factorcode.org/git/factor
2008-09-02 02:09:54 -05:00
110a5e5162
Change equality semantics
2008-09-02 02:02:05 -05:00
14d707898d
new accessors
2008-09-02 01:53:01 -05:00
669e0f8f0a
Propagate slot types of literals
2008-09-01 18:25:21 -05:00
8fed0d29eb
Fix dead code elimination with alien nodes
2008-09-01 02:04:42 -05:00
29e5ed2adb
Fixing deploy tool
2008-08-31 19:17:04 -05:00
18d629a916
Add failing unit test
2008-08-31 09:22:36 -05:00
6717d3743e
Fix escape analysis bug; speedup on fib4 benchmark
2008-08-31 09:03:03 -05:00
0c304b8fc6
Removing old accessor usages from core and basis
2008-08-31 07:45:33 -05:00
dd45c26234
Oops, we weren't doing TCO in some cases
2008-08-31 05:40:29 -05:00
f5fbd94a4c
New compiled crossref implementation
2008-08-31 01:34:00 -05:00
3cef7c9992
Smarter usage tracking system
2008-08-30 02:31:27 -05:00
85cdb1b767
Working on new compiled usage strategy; old one was wrong
2008-08-30 00:05:27 -05:00
ef8bd93ae8
Add a test
2008-08-29 17:53:00 -05:00
c674dd9101
Regression: insufficient compiled usage recorded
2008-08-29 17:52:43 -05:00
aa102390a2
new accessors
2008-08-29 16:16:21 -05:00
5da65cf7fd
old accessors
2008-08-29 15:55:19 -05:00
235cf7e1b8
new accessors
2008-08-29 15:51:52 -05:00
5f12667788
new accessors
2008-08-29 12:00:54 -05:00
783d0fcabf
Fix cleanup of conditionals with no live branches
2008-08-29 04:40:53 -05:00
6ead724b25
Fixing bugs
2008-08-29 04:23:39 -05:00
1fcbdf9d52
Fix more compiler bugs
2008-08-29 00:26:47 -05:00
74dccc7fbf
Debugging compiler
2008-08-28 22:28:34 -05:00
ea2d02f248
Add some failing tests
2008-08-27 16:25:37 -05:00
f471659810
Fix load error
2008-08-27 05:54:01 -05:00
799cefc39a
Fix conflict
2008-08-27 05:52:38 -05:00
8c46a3d56f
Only annotate certain nodes ith value info
2008-08-24 14:02:33 -05:00
7359873b60
Minor compiler tweaks
2008-08-24 01:21:23 -05:00
a4ac751605
Starting to remove delegation
2008-08-22 23:20:49 -05:00
8b855b2445
Help lint fixes
2008-08-22 23:00:35 -05:00
40e926609a
Fixing unit tests
2008-08-22 22:07:59 -05:00
fd8136786b
Cleaning up DCE
2008-08-22 18:09:48 -05:00
2440fc1ceb
Fixing remaining issues
2008-08-22 17:38:23 -05:00
9aa6d8ae04
Compiler fixes
2008-08-22 15:30:57 -05:00
86f11713e3
Fixing some more bugs
2008-08-22 03:12:15 -05:00
sheeple
unknown
Slava Pestov
Doug Coleman
U-SLAVA-DFB8FF805\Slava