Slava Pestov
|
8bc2ea7a5c
|
compiler.cfg.ssa.construction: use the baller method for pruned SSA
|
2010-09-20 21:36:22 -07:00 |
Slava Pestov
|
a67c7c5739
|
compiler.cfg.write-barrier: fix soundness issue with ##copy that never came up but probably should've been fixed anyway
|
2010-09-06 17:01:44 -07:00 |
|
Slava Pestov
|
a605d5c9c9
|
compiler.cfg.alias-analysis: dead store elimination was too aggressive, can't eliminate dead stores across a GC call even for fresh allocations because GC will see uninitialized data
|
2010-09-06 16:57:56 -07:00 |
Slava Pestov
|
add75411a0
|
compiler.cfg.write-barrier: handle ##copy instructions
|
2010-09-05 23:07:30 -07:00 |
|
Slava Pestov
|
54f97557e6
|
compiler.cfg.dependence: compute dependency graph for write barrier instructions
|
2010-09-05 22:51:17 -07:00 |
|
Slava Pestov
|
c677c35de4
|
compiler.cfg: fix major facepalm with write barrier elimination
|
2010-09-05 21:39:45 -07:00 |
|
Slava Pestov
|
3323284db4
|
stack-checker.alien: get a bit more inlining going with callbacks, to expose another bug
|
2010-09-05 21:27:39 -07:00 |
|
Slava Pestov
|
25ed4dd298
|
compiler.tests: forgot to check in x87-regression test way back
|
2010-08-20 18:36:26 -07:00 |
|
Slava Pestov
|
3384fcd96d
|
compiler: update tests for void being parsed like a real word
|
2010-08-15 13:01:42 -07:00 |
|
Slava Pestov
|
1985705413
|
compiler: now that FFI has been deconcatenatized, we no longer need the special ##unary-float-function and ##binary-float-function fastpaths
|
2010-08-13 23:59:19 -07:00 |
|
Slava Pestov
|
b5fc39c198
|
compiler.cfg: Reading the return value of a float-returning function on x86-32 had a side effect of popping the x87 stack, so it was not correct for DCE to just eliminate this if the return value was not used. Fix this by adding a new dead-outputs slot to alien-call-insns and having DCE move dead returns there
|
2010-08-13 23:19:56 -07:00 |
|
Slava Pestov
|
42b858b3f0
|
math.libm: fix regression: fsqrt intrinsic was not working ever since change was made to inline FUNCTION: bodies
|
2010-08-12 21:41:57 -07:00 |
|
Slava Pestov
|
723d780703
|
stack-checker.alien: generate a declaration for input parameter types
|
2010-07-30 15:50:05 -04:00 |
Slava Pestov
|
94f6ac98de
|
compiler.cfg.linear-scan: fix bad interaction between inactive intervals and sync points
|
2010-07-29 21:06:48 -04:00 |
|
Slava Pestov
|
0f4c5d2bff
|
classes.algebra: make it work better to fix bug reported by Sascha Matzke
|
2010-07-29 19:57:23 -04:00 |
|
Slava Pestov
|
168dd1f825
|
FFI rewrite part 7: compile callback bodies with the optimizing compiler
|
2010-07-28 00:49:26 -04:00 |
|
Slava Pestov
|
5fc9aa05b0
|
Revert "compiler.cfg: change linear ordering to place GC call blocks at the end"
This reverts commit 544a288192.
|
2010-07-27 23:58:41 -04:00 |
|
Slava Pestov
|
8adde5360a
|
compiler.cfg: change linear ordering to place GC call blocks at the end
|
2010-07-27 13:00:28 -04:00 |
|
Slava Pestov
|
355d89e8e8
|
compiler.cfg: now that kill-blocks cannot contain instructions that define vregs we can skip them all
|
2010-07-27 12:40:31 -04:00 |
|
Slava Pestov
|
c04de94b96
|
compiler.tree.finalization: record dependencies on inlined predicates
|
2010-07-23 16:31:15 -07:00 |
|
Slava Pestov
|
b6fe62299e
|
compiler.cfg.alias-analysis: factor-call-insns which defined values were not handled properly
|
2010-07-19 19:56:00 -04:00 |
|
Slava Pestov
|
b23aac1beb
|
compiler.cfg: open-code parameter boxing and unboxing for certain C types
|
2010-07-19 10:25:13 -04:00 |
|
Slava Pestov
|
8e46305288
|
compiler.cfg.save-contexts: don't insert ##save-context in front of ##phi
|
2010-07-19 09:27:10 -04:00 |
|
Slava Pestov
|
adc9db3ea8
|
compiler.cfg.linear-scan.allocation: fix wrong order
|
2010-07-19 06:46:50 -04:00 |
|
Slava Pestov
|
b776a92546
|
compiler.cfg.linear-scan: fix bad interaction between split position calculation and register-clobbering instructions
|
2010-07-18 17:38:52 -04:00 |
|
Slava Pestov
|
e2ceb11337
|
stack-checker: calling 'boa' on a non-tuple would compile as a no-op rather than an error (reported by Joe Groff); clean up some other error reporting code too
|
2010-07-17 15:57:44 -04:00 |
|
Slava Pestov
|
e3edb2653d
|
compiler.cfg.intrinsics.allot: clean up
|
2010-07-16 20:04:03 -04:00 |
|
Slava Pestov
|
e5dd21b0b9
|
compiler.cfg: nuke ##allot-byte-array instruction
|
2010-07-16 19:57:45 -04:00 |
|
Slava Pestov
|
446ee6896d
|
alien.data: remove second quotation parameter from with-out-parameters, now all values are copied properly and calling 'clone' on structs in this quotation is not necessary
|
2010-07-16 17:32:05 -04:00 |
|
Slava Pestov
|
5b31cbcb3c
|
alien.data: document with-scoped-allocation and with-out-parameters, and add initial: syntax
|
2010-07-16 17:13:38 -04:00 |
|
Slava Pestov
|
60ddbd9d9b
|
compiler.cfg.scheduling: ##dispatch must go at the end since its a control flow transfer
|
2010-07-15 20:55:31 -04:00 |
|
Slava Pestov
|
0fd636b4b9
|
compiler.cfg: ##unbox-long-long can have multiple outputs now, clean up long long parameter passing code using this
|
2010-07-15 19:49:29 -04:00 |
|
Slava Pestov
|
48e96ef032
|
compiler.cfg.scheduling: update to support multiple-output instructions
|
2010-07-15 17:38:34 -04:00 |
|
Slava Pestov
|
e27adb2830
|
compiler: re-architect low-level optimizer to allow more than one output value per instruction
|
2010-07-13 07:40:14 -04:00 |
|
Slava Pestov
|
1f4bd3e293
|
compiler.tree.propagation.known-words: don't want a type function on clone, all the methods are inline and it was wrong (reported by Joe Groff)
|
2010-07-07 17:25:32 -04:00 |
|
Slava Pestov
|
a55c8ee671
|
FFI rewrite part 6: deconcatenatize
|
2010-07-02 15:44:12 -04:00 |
|
Slava Pestov
|
ae2c2909af
|
Revert guarded method inlining
This reverts commit 44a835e3fc, reversing
changes made to d45926bda0.
|
2010-06-24 12:35:21 -04:00 |
Daniel Ehrenberg
|
7599841221
|
Merge branch 'master' of git://factorcode.org/git/factor into propagation
|
2010-06-23 12:17:24 -04:00 |
|
Slava Pestov
|
7e24994db5
|
Whitespace fix
|
2010-06-23 03:56:17 -04:00 |
|
Slava Pestov
|
68cd067f31
|
compiler.cfg.builder: if there is a conditional where every branch is known to throw an error, don't process any of the (unreachable) code after the conditional, since this can confuse analysis (reported by Daniel Ehrenberg)
|
2010-06-23 03:33:15 -04:00 |
|
Daniel Ehrenberg
|
12b0e16232
|
Unit tests for a couple of serious compiler bugs
|
2010-06-22 16:41:14 -04:00 |
|
Daniel Ehrenberg
|
2c8897c56b
|
Merge branch 'master' of git://factorcode.org/git/factor into propagation
|
2010-06-22 14:47:57 -04:00 |
|
Slava Pestov
|
167aff1b57
|
compiler.cfg.height: clean it up a bit
|
2010-06-22 04:14:03 -04:00 |
|
Slava Pestov
|
5d6816d364
|
compiler.cfg.ssa: fixing test failures
|
2010-06-15 17:18:51 -04:00 |
|
Daniel Ehrenberg
|
970f96c8b8
|
Fixing typo in modular arithmetic unit test (should use iota, not integer sequences, and just happened to work still)
|
2010-06-15 16:15:49 -04:00 |
|
Daniel Ehrenberg
|
30cfbc8512
|
Merge branch 'master' into propagation
|
2010-06-15 13:26:01 -04:00 |
|
Slava Pestov
|
e86f434f26
|
Add GC maps to ##box, ##box-long-long, ##alien-invoke, ##alien-indirect and ##call-gc; remove ##gc-map instruction
|
2010-06-14 19:39:46 -04:00 |
|
Slava Pestov
|
806e54630a
|
GC maps for more compact inline GC checks
|
2010-06-11 20:06:00 -04:00 |
Joe Groff
|
7fe04fa8ee
|
compiler.cfg.intrinsics.simd: intrinsic support for double-2>float-4 conversion
|
2010-06-01 00:34:50 -07:00 |
|
Slava Pestov
|
c9ad0856d5
|
cpu.x86.64: callback prologue was clobbering 5th parameter register on x86-64
|
2010-05-23 03:00:53 -04:00 |