Abdulaziz Ghuloum
c473619084
* important realization that set->list is perhaps the most expensive
...
operation on sets. Working on eliminating most uses of set->list.
2007-03-11 20:00:08 -04:00
Abdulaziz Ghuloum
2b5b555bac
* Just realized that you don't need all var<->var conflicts to be
...
recorded. All is needed is for a var $x$ to know some of its var
conflicts as long as the other conflicts know about $x$. I'll be
working on this now. I'm hoping for a 50% speedup in the
assign-frame-sizes pass.
2007-03-11 18:54:15 -04:00
Abdulaziz Ghuloum
aa1c7e1bb7
* before changing number of bits to 28
2007-03-11 03:40:47 -04:00
Abdulaziz Ghuloum
3cb18c56e9
* deleting old list-based set representation.
2007-03-10 21:01:41 -05:00
Abdulaziz Ghuloum
fa94d2f6a1
* added a few missing instruction sequences where the dest is a
...
memory location.
* implemented integer sets (based on tree representation).
2007-03-10 19:50:24 -05:00
Abdulaziz Ghuloum
10bdc3dcd6
* starting with IntegerSet
2007-03-10 16:47:13 -05:00
Abdulaziz Ghuloum
d4559cfd4c
cleanup of repository content.
2007-03-09 19:28:38 -05:00
Abdulaziz Ghuloum
5bb666bf7f
* last commit on alt-cogen and beginning of alt-alt-cogen :-)
2007-03-09 14:01:17 -05:00
Abdulaziz Ghuloum
893a2decc8
* added bignum? primitive and removed ikrt_isbignum from the runtime
...
system.
2007-03-04 13:02:39 -05:00
Abdulaziz Ghuloum
c6861f41d5
* added flonum? and removed ikrt_is_flonum from the runtime system.
2007-03-04 12:59:28 -05:00
Abdulaziz Ghuloum
b326fbc07a
* completed the move to new specify-representation pass infrastructure.
2007-03-03 23:17:04 -05:00
Abdulaziz Ghuloum
cf65729971
more more more
2007-03-02 02:47:36 -05:00
Abdulaziz Ghuloum
e9740fa34f
* fixed bug in the graph construction that caused the operand of
...
idivl not to be added to the live set.
2007-03-02 00:41:28 -05:00
Abdulaziz Ghuloum
de7c43a16b
* optimized symbol calls using the symbol-function field.
...
* added error checks for applying nonprocedures.
2007-02-25 21:29:28 -05:00
Abdulaziz Ghuloum
87d8d5a5dd
* added a $set-symbol-function! primitive.
2007-02-24 15:42:57 -05:00
Abdulaziz Ghuloum
d99c22e8c4
* The shortcut form is now two parts: a body and a handler. The
...
evaluation of the body can jump to the handler at any point during
evaluation by means of using the interrupt primitive or by
overflow.
2007-02-22 23:02:50 -05:00
Abdulaziz Ghuloum
819a3ca1c1
* bug in collector causing dirty bits for code objects with younger reloc
...
vectors to be unset incorrectly. The bug was in using || instead
of | when computing the dirty pattern.
2007-02-22 21:58:38 -05:00
Abdulaziz Ghuloum
0bd88991cb
* looks not bad.
2007-02-19 23:33:29 -05:00
Abdulaziz Ghuloum
30f71b0381
* frame moves are not working as nicely as they should.
2007-02-19 18:21:35 -05:00
Abdulaziz Ghuloum
b6dd620b94
* chaitin can now compile the system.
2007-02-17 19:22:14 -05:00
Abdulaziz Ghuloum
0304c85082
* pre-spilling call-live variables works for the test cases now.
2007-02-17 18:09:03 -05:00
Abdulaziz Ghuloum
85bf359150
* psyntax is not working under chaitin.
2007-02-16 10:11:21 -05:00
Abdulaziz Ghuloum
649e7f022a
* libchezio and libhash are remaining
2007-02-15 23:54:39 -05:00
Abdulaziz Ghuloum
1a4cdcb7b0
* libcore now compiles with chaitin
2007-02-14 19:42:36 -05:00
Abdulaziz Ghuloum
434ebe9525
* The $apply macro and all the appcall forms were removed from the
...
compiler after realizing that I was stupid.
($appcall rator rand*) was just (jmpcal SL_apply rator rand*)
2007-02-14 15:50:34 -05:00
Abdulaziz Ghuloum
8294a8dee9
* fixed an assembler bug in "addl reg -> mem"
2007-02-13 17:24:00 -05:00
Abdulaziz Ghuloum
297e47db32
* adding some asm tests in asm-tests.ss
2007-02-13 05:08:48 -05:00
Abdulaziz Ghuloum
a123a77bbc
* nothing much
2007-02-13 02:05:58 -05:00
Abdulaziz Ghuloum
826adfe9dd
* can now compile libtoplevel
2007-02-12 23:19:56 -05:00
Abdulaziz Ghuloum
f88e3a8b65
* libnumeric can be compiled now with chaitin
2007-02-12 23:03:41 -05:00
Abdulaziz Ghuloum
2e477881b6
* split libcontrol into primitive libcontrol0 and extended
...
libcontrol1.
2007-02-12 19:17:31 -05:00
Abdulaziz Ghuloum
fad2c4e999
* fixed bug in assembler
...
* assembler now handles orl imm, mem
2007-02-12 17:59:58 -05:00
Abdulaziz Ghuloum
f766ca1148
* passes tests, but fails to compile psyntax.
2007-02-12 13:58:04 -05:00
Abdulaziz Ghuloum
fa6e499b22
* before attempting to use chaitin to compile the system.
2007-02-11 21:42:01 -05:00
Abdulaziz Ghuloum
353b4393b0
tests 2.4 pass
2007-02-11 21:18:12 -05:00
Abdulaziz Ghuloum
d0cf70341c
* passinf 2.2
2007-02-11 19:17:59 -05:00
Abdulaziz Ghuloum
217445835f
* passing 2.1
2007-02-11 18:52:10 -05:00
Abdulaziz Ghuloum
5174ccb1cc
* passing 1.9
2007-02-11 18:07:58 -05:00
Abdulaziz Ghuloum
6fd790b046
* altcogen passes 1.8
2007-02-11 18:06:04 -05:00
Abdulaziz Ghuloum
c44caba238
* newcogen passes 1.6
2007-02-11 17:51:42 -05:00
Abdulaziz Ghuloum
910b52f1f1
* libaltcogen now passes 1.5
2007-02-11 17:34:13 -05:00
Abdulaziz Ghuloum
639f8f4f25
* altcompile now passes conditionals.
2007-02-11 17:23:13 -05:00
Abdulaziz Ghuloum
f5411877ba
* altcompile now passes tests 1.3
2007-02-11 04:12:09 -05:00
Abdulaziz Ghuloum
27d8fd4558
* libaltcogen can now compile a simple expression :-)
2007-02-10 18:51:12 -05:00
Abdulaziz Ghuloum
f10a8ffccd
commented out references to some unused register names
2007-02-10 11:49:38 -05:00
Abdulaziz Ghuloum
7c26c2b19e
* racompile passes 1.5
2007-02-05 22:35:38 -05:00
Abdulaziz Ghuloum
caf234c0c3
* racompile passes 1.4
2007-02-05 20:38:22 -05:00
Abdulaziz Ghuloum
4698e0fd92
* racompiler passes 1.3
...
* assembler handles more xor operands
2007-02-05 17:09:50 -05:00
Abdulaziz Ghuloum
f7e773b30f
* racompiler passes tests 1.2
2007-02-05 14:46:33 -05:00
Abdulaziz Ghuloum
1eff505ab4
* racompiler compiles integers.
2007-02-05 14:30:42 -05:00