968a9bb666
Various codegen improvements:
...
- new-insn word to construct instructions
- cache RPO in the CFG
- re-organize low-level optimizer so that MR is built after register allocation
- register allocation now stores instruction numbers in the instructions themselves
- split defs-vregs into defs-vregs and temp-vregs
2009-05-29 13:11:34 -05:00
5a5afcbfaa
On second thought, linearization will be done after SSA destruction so live-in is accurate
2009-05-29 05:45:40 -05:00
fbefd02bfb
Put GC checks in the right place when linearizing, and generate _dispatch-labels
2009-05-29 05:36:04 -05:00
40949800bf
Fixing various bugs; alias analysis wasn't handling ##phi nodes, stack analysis incorrectly handled height-changing back edges and ##fixnum-*, clean up ##dispatch generation
2009-05-29 01:39:14 -05:00
cef9ac778b
compiler.cfg.alias-analysis: ##peek needs to set alias class of output value
2009-05-28 18:19:01 -05:00
6b81b3e055
compiler.cfg.liveness: correct handling of phi nodes
2009-05-28 17:54:27 -05:00
4c05bc4f10
Test updates
2009-05-28 02:50:07 -05:00
9987f272b0
CFG checker now checks consistency of successors and predecessors lists; fix long-standing bug in useless-blocks optimization
2009-05-28 02:49:51 -05:00
4292033da6
Fix alias analysis
2009-05-28 02:48:58 -05:00
1fc830a99e
Add a with-scope so that optimize-tree doesn't pollute namespace
2009-05-27 18:58:54 -05:00
64da54234d
Fixing local optimizations
2009-05-27 18:58:41 -05:00
fe44ce2821
Better CFG checker
2009-05-27 18:58:14 -05:00
dd8152f7bb
Add phi elimination pass
2009-05-27 18:58:01 -05:00
3954c3fdc3
Add a new ##allocation union to remove some code duplication
2009-05-27 18:55:49 -05:00
a29317df5f
Remove old local DCE pass
2009-05-27 17:55:15 -05:00
1242a3a411
New local-optimization combinator removes some boilerplate
2009-05-26 19:56:56 -05:00
25805f9bfe
Refactoring low-level optimizer to support stack analysis pass
2009-05-26 19:31:19 -05:00
957bc53d4b
Move maybe-set-at to assocs
2009-05-26 18:45:37 -05:00
f6fab1b035
Fix another bug in stack-analysis
2009-05-26 03:42:39 -05:00
75d1f6dfda
compiler.cfg.stack-analysis: make it pass more tests
2009-05-26 02:59:14 -05:00
44437cc891
compiler.cfg.dce: new global dead code elimination pass
2009-05-26 02:58:57 -05:00
015b7afe93
compiler.cfg.checker: new check-rpo word
2009-05-26 02:58:40 -05:00
1c45d0e81b
compiler.cfg.stack-analysis: progress
2009-05-25 19:18:13 -05:00
5d50f4eb5b
compiler.cfg.checker: new vocabulary for checking CFG invariants
2009-05-25 19:16:58 -05:00
531580ed30
compiler.cfg.builder: don't make basic blocks after terminating calls
2009-05-25 19:16:36 -05:00
c2c7cb6066
Merge branch 'master' into global_optimization
2009-05-23 15:57:23 -05:00
1307a81bd0
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-23 15:57:13 -05:00
ffd0db30bf
Merge branch 'master' into global_optimization
2009-05-23 15:55:04 -05:00
c2499cdd55
stack-checker: fix case where invalid code could infer
2009-05-23 15:50:35 -05:00
f28439329c
compiler.cfg.stack-analysis: change how inc-d/inc-r work
2009-05-23 15:47:08 -05:00
b05e510240
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-23 08:39:17 -05:00
3a8fb29d70
disable WGL_ARB_pixel_format code path in windows UI backend 'cause ATI drivers are shit
2009-05-23 08:39:01 -05:00
8478881522
Merge branch 'master' into global_optimization
2009-05-23 01:03:24 -05:00
f45d82c01b
checksums.md5: make the new optimized code work with big endian CPUs
2009-05-23 00:31:52 -05:00
85186e15ed
websites.concatenatieve: add builds.factorcode.org
2009-05-22 17:52:31 -05:00
df769f5395
One last tweak
2009-05-22 17:48:05 -05:00
4bce8da345
More cosmetic tweaks
2009-05-22 17:42:05 -05:00
7f04440566
webapps.mason: make it look like the factorcode.org site
2009-05-22 17:32:27 -05:00
052abc18fb
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-22 17:18:46 -05:00
809a153c10
fix typo
2009-05-22 17:18:24 -05:00
9dd3f818d7
fix random.windows -- use CRYPT_MACHINE_KEYSET
2009-05-22 17:15:40 -05:00
ec543242ea
webapps.mason: spiff up download.xml a bit
2009-05-22 16:21:35 -05:00
5331e5ed16
io.monitors: spawn-monitor was broken and never used, so remove it (reported by levi in #concatenative)
2009-05-22 02:04:36 -05:00
75459df364
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-22 02:01:06 -05:00
10f86331b4
If a vocab fails to load, manifest would be left in a weird state (reported by Joe Groff)
2009-05-22 01:59:50 -05:00
1ee4a509f2
io.monitors: fix example (reported by levy in #concatenative0
2009-05-21 23:27:42 -05:00
661e2a0994
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-21 21:23:15 -05:00
a205868558
tuple-arrays: clean up a bit and add docs
2009-05-21 21:23:01 -05:00
483c936eb3
get rid of useless test
2009-05-21 20:56:57 -05:00
7178af55a7
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-21 20:55:57 -05:00
Slava Pestov
Joe Groff
Slava Pestov
Doug Coleman
Slava Pestov