mit-scheme.git
37 years agoInitial check-in for LIAR 4.4...
Brian A. LaMacchia [Tue, 23 Feb 1988 19:34:34 +0000 (19:34 +0000)]
Initial check-in for LIAR 4.4...

37 years agoFixed dependencies.
Brian A. LaMacchia [Tue, 23 Feb 1988 19:29:53 +0000 (19:29 +0000)]
Fixed dependencies.

37 years ago*** empty log message ***
Brian A. LaMacchia [Tue, 23 Feb 1988 18:18:47 +0000 (18:18 +0000)]
*** empty log message ***

37 years agoFix bug in compiler_interrupt_procedure.
Guillermo J. Rozas [Mon, 22 Feb 1988 22:15:35 +0000 (22:15 +0000)]
Fix bug in compiler_interrupt_procedure.

It was clobbering the dlink register, and this lost when gc was
disabled (and the gc interrupt ignored).

37 years agoDISK-SAVE now returns false when dumped and true when restored.
Guillermo J. Rozas [Sun, 21 Feb 1988 18:14:55 +0000 (18:14 +0000)]
DISK-SAVE now returns false when dumped and true when restored.

the suspension interrupt handler uses this to exit after dumping but
not after restoring.

37 years agoSIGHUP causes suspension only when running in the forground.
Guillermo J. Rozas [Sun, 21 Feb 1988 17:34:56 +0000 (17:34 +0000)]
SIGHUP causes suspension only when running in the forground.

SIGUSR1 causes suspension always.

37 years ago1) Patch compiler code interface problem:
Guillermo J. Rozas [Sat, 20 Feb 1988 19:51:38 +0000 (19:51 +0000)]
1) Patch compiler code interface problem:
Dynamic links were not saved when a procedure was interrupted.
The typical symptoms would be that the program would jump to
an unpredictable location after a garbage collection.  This could
cause it do die with almost any signal, typically illegal instruction
and segmentation violation.

2) Add a gc counter for debugging purposes.

37 years ago1) Patch compiler code interface problem:
Guillermo J. Rozas [Sat, 20 Feb 1988 19:34:44 +0000 (19:34 +0000)]
1) Patch compiler code interface problem:
Dynamic links were not saved when a procedure was interrupted.
The typical symptoms would be that the program would jump to
an unpredictable location after a garbage collection.  This could
cause it do die with almost any signal, typically illegal instruction
and segmentation violation.

2) Add a gc counter for debugging purposes.

37 years ago- Add code and data patch areas to cmp68020.s
Guillermo J. Rozas [Sat, 20 Feb 1988 06:19:45 +0000 (06:19 +0000)]
- Add code and data patch areas to cmp68020.s
- Clean up the display of interrupt character information in unix.c
- Change the interrupt characters in unix.c so it matches the sequences
used in emacs.
- Add a gc_death utility procedure which saves scan and free.

37 years agoFix a bug in the continuation analyzer which was causing the compiler
Guillermo J. Rozas [Fri, 19 Feb 1988 20:58:57 +0000 (20:58 +0000)]
Fix a bug in the continuation analyzer which was causing the compiler
to avoid static links in cases where they were in fact needed.

Add a few missing code generation rules.

Make the compiler print its phase information in a nicer format.

Add a few top level utilities:

- cf (SFs your file first)

- compiler:batch-compile (not exported).  In case of error it prints
the error information and aborts the current compilation, thus when
compiling multiple files (ie. compiling the compiler) it will continue
with the next one.

37 years ago*** empty log message ***
Joe Marshall [Thu, 18 Feb 1988 16:46:02 +0000 (16:46 +0000)]
*** empty log message ***

37 years ago1) Make assembler pad with ILLEGAL instructions.
Guillermo J. Rozas [Wed, 17 Feb 1988 19:14:05 +0000 (19:14 +0000)]
1) Make assembler pad with ILLEGAL instructions.
2) Make the continuations for special primitive invocations not do a
heap/interrupt check.

37 years agomacro-improvements: macro local variables
Panayotis Skordos [Sun, 14 Feb 1988 20:16:01 +0000 (20:16 +0000)]
macro-improvements: macro local variables

37 years agoarray-aperiodic-downsample dropped last element on odd lengths, fixed.
Panayotis Skordos [Sun, 14 Feb 1988 00:41:37 +0000 (00:41 +0000)]
array-aperiodic-downsample dropped last element on odd lengths, fixed.

37 years agoRemoved reference to frame pointer
Brian A. LaMacchia [Fri, 12 Feb 1988 19:40:21 +0000 (19:40 +0000)]
Removed reference to frame pointer

37 years ago1) Fix allocation bug in FILE-ATTRIBUTES.
Guillermo J. Rozas [Fri, 12 Feb 1988 16:53:59 +0000 (16:53 +0000)]
1) Fix allocation bug in FILE-ATTRIBUTES.
2) Make some error messages nicer.
3) Add ENTITY and RATNUM types.
4) Add apply time support for ENTITYs.
5) Add a type code name table to types.h and storage.c .
6) Clean up some code in debug.c and Ppband.c .

37 years agoChanged frame-pointer (which is no longer used) to dynamic-link (which
Brian A. LaMacchia [Thu, 11 Feb 1988 21:12:27 +0000 (21:12 +0000)]
Changed frame-pointer (which is no longer used) to dynamic-link (which
is)

37 years agoAdded ASSIGNMENT-CACHE rule (it was missing)
Brian A. LaMacchia [Thu, 11 Feb 1988 19:25:31 +0000 (19:25 +0000)]
Added ASSIGNMENT-CACHE rule (it was missing)

37 years agoAdd new fasload and fasdump errors from the microcode.
Guillermo J. Rozas [Wed, 10 Feb 1988 17:24:43 +0000 (17:24 +0000)]
Add new fasload and fasdump errors from the microcode.
Make load-band (disk-restore) report some errors reasonably.

37 years agoInitial revision
Guillermo J. Rozas [Wed, 10 Feb 1988 16:06:55 +0000 (16:06 +0000)]
Initial revision

37 years ago1) Update Psbtobin, Bintopsb, and Ppband to take care of compiled code
Guillermo J. Rozas [Wed, 10 Feb 1988 15:44:07 +0000 (15:44 +0000)]
1) Update Psbtobin, Bintopsb, and Ppband to take care of compiled code
versions.
2) Make Psbtobin and Bintopsb use a new programmable command line
parser.

37 years agoAdd conditionalization for load parameters.
Guillermo J. Rozas [Wed, 10 Feb 1988 04:21:32 +0000 (04:21 +0000)]
Add conditionalization for load parameters.

37 years ago1. Fix bug in relocation of entries into the compiler utilities
Guillermo J. Rozas [Sat, 6 Feb 1988 20:43:29 +0000 (20:43 +0000)]
1. Fix bug in relocation of entries into the compiler utilities
version.

2. Up the fasl version number.  New format includes processor type,
compiled code interface version and band/"file" flag.

3. Fasdump complains when dumping an environment.

4. Error code names and various other items have been moved to
errors.h

37 years ago`rtl:make-interpreter-call:cache-unassigned?' was defined with the
Chris Hanson [Fri, 22 Jan 1988 21:57:06 +0000 (21:57 +0000)]
`rtl:make-interpreter-call:cache-unassigned?' was defined with the
wrong number of arguments.

37 years ago*** empty log message ***
Brian A. LaMacchia [Mon, 18 Jan 1988 18:39:49 +0000 (18:39 +0000)]
*** empty log message ***

37 years agoFixed entry points in calls to CCI routines
Brian A. LaMacchia [Fri, 15 Jan 1988 20:14:23 +0000 (20:14 +0000)]
Fixed entry points in calls to CCI routines

37 years agoFixed entry points in calls to CCI routines.
Brian A. LaMacchia [Fri, 15 Jan 1988 20:13:52 +0000 (20:13 +0000)]
Fixed entry points in calls to CCI routines.

37 years agoPopper code removed, comment added noting this
Brian A. LaMacchia [Wed, 13 Jan 1988 19:29:29 +0000 (19:29 +0000)]
Popper code removed, comment added noting this

37 years ago*** empty log message ***
Brian A. LaMacchia [Wed, 13 Jan 1988 19:26:26 +0000 (19:26 +0000)]
*** empty log message ***

37 years agoFixed INVOCATION:PRIMITIVE and others
Brian A. LaMacchia [Tue, 12 Jan 1988 16:38:52 +0000 (16:38 +0000)]
Fixed INVOCATION:PRIMITIVE and others

37 years agoFixed bug in instruction-insert!
Brian A. LaMacchia [Tue, 12 Jan 1988 16:33:36 +0000 (16:33 +0000)]
Fixed bug in instruction-insert!

37 years agoInitial check-in for version 4 compiler
Brian A. LaMacchia [Mon, 11 Jan 1988 20:29:03 +0000 (20:29 +0000)]
Initial check-in for version 4 compiler

37 years agoInitial revision
Brian A. LaMacchia [Mon, 11 Jan 1988 19:56:23 +0000 (19:56 +0000)]
Initial revision

37 years agoextended array-unary-function to do array-quantize (round, truncate)
Panayotis Skordos [Sun, 10 Jan 1988 10:38:52 +0000 (10:38 +0000)]
extended array-unary-function to do array-quantize (round, truncate)

37 years agoInitial check-in for version 4 compiler
Brian A. LaMacchia [Fri, 8 Jan 1988 14:55:40 +0000 (14:55 +0000)]
Initial check-in for version 4 compiler

37 years agoInitial revision
Brian A. LaMacchia [Fri, 8 Jan 1988 13:04:24 +0000 (13:04 +0000)]
Initial revision

37 years agoInitial revision
Chris Hanson [Thu, 7 Jan 1988 23:04:17 +0000 (23:04 +0000)]
Initial revision

37 years agotrivia c_array_complex_multiply
Panayotis Skordos [Thu, 7 Jan 1988 21:35:51 +0000 (21:35 +0000)]
trivia c_array_complex_multiply

37 years agoadded array-czt (chirp-z-transform)
Panayotis Skordos [Thu, 7 Jan 1988 21:32:15 +0000 (21:32 +0000)]
added array-czt (chirp-z-transform)
added array-hanning (windowing)
fixed DFT definition to agree with Seibert

37 years agoInitial check-in for version 4 compiler
Brian A. LaMacchia [Thu, 7 Jan 1988 21:16:19 +0000 (21:16 +0000)]
Initial check-in for version 4 compiler

37 years agoInitial revision
Brian A. LaMacchia [Thu, 7 Jan 1988 21:07:15 +0000 (21:07 +0000)]
Initial revision

37 years agoadded macro complex-multiply
Panayotis Skordos [Thu, 7 Jan 1988 19:17:54 +0000 (19:17 +0000)]
added macro complex-multiply

37 years agoInitial revision
Brian A. LaMacchia [Thu, 7 Jan 1988 16:48:49 +0000 (16:48 +0000)]
Initial revision

37 years agoFixed some bugs...
Brian A. LaMacchia [Wed, 6 Jan 1988 22:28:39 +0000 (22:28 +0000)]
Fixed some bugs...

37 years agoMust use ".bin" files rather than ".scm" files when enumerating
Chris Hanson [Wed, 6 Jan 1988 18:30:09 +0000 (18:30 +0000)]
Must use ".bin" files rather than ".scm" files when enumerating
filenames, because the ".scm" files may not be present when loading
the compiler.

37 years agoMove "direct.scm" into the etc subdirectory.
Chris Hanson [Wed, 6 Jan 1988 17:57:03 +0000 (17:57 +0000)]
Move "direct.scm" into the etc subdirectory.

37 years agoDo not install RCS or RCS.remote in the distribution.
Chris Hanson [Wed, 6 Jan 1988 01:10:21 +0000 (01:10 +0000)]
Do not install RCS or RCS.remote in the distribution.

37 years agoAdd extra stuff to generate the assembly language files for hp and sun
Chris Hanson [Tue, 5 Jan 1988 23:48:58 +0000 (23:48 +0000)]
Add extra stuff to generate the assembly language files for hp and sun
machines.

37 years agoInitial check-in for version 4 compiler
Brian A. LaMacchia [Tue, 5 Jan 1988 22:25:13 +0000 (22:25 +0000)]
Initial check-in for version 4 compiler

37 years agoInitial revision
Brian A. LaMacchia [Tue, 5 Jan 1988 22:24:49 +0000 (22:24 +0000)]
Initial revision

37 years agoInitial check-in for version 4 of compiler
Brian A. LaMacchia [Tue, 5 Jan 1988 21:19:37 +0000 (21:19 +0000)]
Initial check-in for version 4 of compiler

37 years agoInitial revision
Brian A. LaMacchia [Tue, 5 Jan 1988 16:07:13 +0000 (16:07 +0000)]
Initial revision

37 years agoInitial check-in for compiler version 4
Brian A. LaMacchia [Tue, 5 Jan 1988 15:59:31 +0000 (15:59 +0000)]
Initial check-in for compiler version 4

37 years agoInitial check-in for version 4 of compiler
Brian A. LaMacchia [Tue, 5 Jan 1988 15:58:41 +0000 (15:58 +0000)]
Initial check-in for version 4 of compiler

37 years agoInitial revision
Brian A. LaMacchia [Tue, 5 Jan 1988 15:58:40 +0000 (15:58 +0000)]
Initial revision

37 years agoFold several FASL types into one so that we can transfer compiled code
Chris Hanson [Mon, 4 Jan 1988 22:26:40 +0000 (22:26 +0000)]
Fold several FASL types into one so that we can transfer compiled code
and other binary files between different machines with 68000 family
processors.

37 years agoFold several FASL types into one so that we can transfer compiled code
Chris Hanson [Mon, 4 Jan 1988 21:50:25 +0000 (21:50 +0000)]
Fold several FASL types into one so that we can transfer compiled code
and other binary files between different machines with 68000 family
processors.

37 years agoDon't forget to set `compiled_p' flag when compiled code is found.
Chris Hanson [Mon, 4 Jan 1988 18:58:17 +0000 (18:58 +0000)]
Don't forget to set `compiled_p' flag when compiled code is found.

37 years agoAdd changes to allow compiled code to appear in PSB files.
Chris Hanson [Mon, 4 Jan 1988 18:55:54 +0000 (18:55 +0000)]
Add changes to allow compiled code to appear in PSB files.

37 years agoChange location of RCS files for Scheme.
Chris Hanson [Mon, 4 Jan 1988 18:16:39 +0000 (18:16 +0000)]
Change location of RCS files for Scheme.

37 years agoStatic link analysis for reduction case was not exacting enough. Must
Chris Hanson [Mon, 4 Jan 1988 13:13:08 +0000 (13:13 +0000)]
Static link analysis for reduction case was not exacting enough.  Must
take into account the case where the places being reduced from are
invoked with different continuations.

37 years agoFix bugs where immediate data and effective address were being read in
Chris Hanson [Sat, 2 Jan 1988 21:02:45 +0000 (21:02 +0000)]
Fix bugs where immediate data and effective address were being read in
the wrong order.

37 years agoFix bug -- locating closing block of closure whose parent is IC block.
Chris Hanson [Sat, 2 Jan 1988 19:12:14 +0000 (19:12 +0000)]
Fix bug -- locating closing block of closure whose parent is IC block.

37 years agoFix bug in invocation/lookup -- missing fetch.
Chris Hanson [Sat, 2 Jan 1988 17:24:48 +0000 (17:24 +0000)]
Fix bug in invocation/lookup -- missing fetch.

37 years agoFix bug in codewalk -- was not looking at `procedure-values'.
Chris Hanson [Sat, 2 Jan 1988 16:45:01 +0000 (16:45 +0000)]
Fix bug in codewalk -- was not looking at `procedure-values'.

37 years agoChange generation of `delay' objects to use new format of promises
Chris Hanson [Sat, 2 Jan 1988 15:17:31 +0000 (15:17 +0000)]
Change generation of `delay' objects to use new format of promises
understood by the microcode.  The compiled code directly generates a
promise object, which contains a compiled procedure of no arguments.
The microcode invokes this procedure to generate the result.

37 years agoChanges to `force' primitive to support compiled `delay'. Bug fixes
Chris Hanson [Sat, 2 Jan 1988 15:02:25 +0000 (15:02 +0000)]
Changes to `force' primitive to support compiled `delay'.  Bug fixes
to "regex.c" from JRM.

37 years agoChange definitions and names of operations on objects whose type is
Chris Hanson [Sat, 2 Jan 1988 14:21:45 +0000 (14:21 +0000)]
Change definitions and names of operations on objects whose type is
`delayed'.  Old name for such objects was `delayed-evaluation', new
name is `promise'.  The microcode has been extended to allow a new
kind of `promise', distinguished by a fixnum zero in its car, whose
cdr is a procedure of no arguments which is applied to get the value.
This is used to support compiled promises.

37 years agoChanges to `force' primitive to support compiled `delay'. Bug fixes
Chris Hanson [Sat, 2 Jan 1988 14:05:57 +0000 (14:05 +0000)]
Changes to `force' primitive to support compiled `delay'.  Bug fixes
to "regex.c" from JRM.

37 years agoChanged the name of local variable in loop macros to
Panayotis Skordos [Thu, 31 Dec 1987 18:51:55 +0000 (18:51 +0000)]
Changed the name of local variable in loop macros to
avoid conflict/shadowing of other variables.
"i" ----> "mcrindx".

37 years agoChange macros because of randomness in scode-optimizer.
Chris Hanson [Thu, 31 Dec 1987 10:43:40 +0000 (10:43 +0000)]
Change macros because of randomness in scode-optimizer.

37 years agoAdd missing rule for type-test of offset memory location.
Chris Hanson [Thu, 31 Dec 1987 10:26:18 +0000 (10:26 +0000)]
Add missing rule for type-test of offset memory location.

37 years agoChange particular constructors from procedures to macros so we can
Chris Hanson [Thu, 31 Dec 1987 10:01:50 +0000 (10:01 +0000)]
Change particular constructors from procedures to macros so we can
inline code them as calls to `vector', rather than as lexpr primitives
which call `list->vector'.

37 years agoImplement open coding of `vector' primitive. Change primitive open
Chris Hanson [Thu, 31 Dec 1987 08:51:44 +0000 (08:51 +0000)]
Implement open coding of `vector' primitive.  Change primitive open
coding so that arguments which are known constants or references to
known locations do not use intermediate registers if possible.

37 years agoChange treatment of interpreter memory registers so that they do not
Chris Hanson [Thu, 31 Dec 1987 07:01:21 +0000 (07:01 +0000)]
Change treatment of interpreter memory registers so that they do not
cause invalidation of random memory addresses.  No other pointers will
ever point into that address block.

37 years agoChange symbol table representation for disassembler so that it can
Chris Hanson [Thu, 31 Dec 1987 05:51:14 +0000 (05:51 +0000)]
Change symbol table representation for disassembler so that it can
find multiple symbols with the same offset and print them.  Also
needed to find when one of the symbols is external but not all of
them.

37 years agoMust invalidate memory for all assignments. Was losing in case where
Chris Hanson [Thu, 31 Dec 1987 05:49:33 +0000 (05:49 +0000)]
Must invalidate memory for all assignments.  Was losing in case where
destination of assignment was non-volatile and source was volatile.

37 years agore_compile_fastmap
Joe Marshall [Wed, 30 Dec 1987 21:43:43 +0000 (21:43 +0000)]
re_compile_fastmap
1) regexpcode_exact_n grabbed wrong character (wrong index)
2) regexpcode_any_char fell into next case (no goto)

RE_SEARCH_FORWARD_FAST
Conditional backward

RE_SEARCH_BACKWARD_FAST
Conditional backward

37 years agoFix stupid bugs relating to invocation of lexpr primitives.
Chris Hanson [Wed, 30 Dec 1987 10:53:57 +0000 (10:53 +0000)]
Fix stupid bugs relating to invocation of lexpr primitives.

37 years agoThe procedure's name is not a variable, just a symbol now.
Chris Hanson [Wed, 30 Dec 1987 09:10:36 +0000 (09:10 +0000)]
The procedure's name is not a variable, just a symbol now.

37 years ago*ic-procedure-headers* needs to associate with external labels, not
Chris Hanson [Wed, 30 Dec 1987 09:09:57 +0000 (09:09 +0000)]
*ic-procedure-headers* needs to associate with external labels, not
internal ones.

37 years agoSplit alpha subdirectory into fggen and fgopt.
Chris Hanson [Wed, 30 Dec 1987 08:33:43 +0000 (08:33 +0000)]
Split alpha subdirectory into fggen and fgopt.

37 years agoMove butils to etc subdirectory.
Chris Hanson [Wed, 30 Dec 1987 08:21:49 +0000 (08:21 +0000)]
Move butils to etc subdirectory.

37 years agoFinal check-in for version 4.1 of compiler.
Chris Hanson [Wed, 30 Dec 1987 07:13:28 +0000 (07:13 +0000)]
Final check-in for version 4.1 of compiler.

37 years agoImplement `LEXPR' primitive arity, which translates to `-1'.
Chris Hanson [Wed, 23 Dec 1987 04:48:05 +0000 (04:48 +0000)]
Implement `LEXPR' primitive arity, which translates to `-1'.

37 years agoImplement `vector' as primitive.
Chris Hanson [Wed, 23 Dec 1987 04:22:11 +0000 (04:22 +0000)]
Implement `vector' as primitive.

37 years agoImplement `vector' primitive.
Chris Hanson [Wed, 23 Dec 1987 03:47:41 +0000 (03:47 +0000)]
Implement `vector' primitive.

37 years agoImplement `vector' primitive. Add some machinery to facilitate
Chris Hanson [Wed, 23 Dec 1987 03:46:10 +0000 (03:46 +0000)]
Implement `vector' primitive.  Add some machinery to facilitate
definition of other lexpr primitives.

37 years agoImplement more argument macros. Implement two new macros, `ARG_LOC'
Chris Hanson [Wed, 23 Dec 1987 03:44:55 +0000 (03:44 +0000)]
Implement more argument macros.  Implement two new macros, `ARG_LOC'
and `LEXPR_N_ARGUMENTS', to facilitate writing lexpr primitives.

37 years agoImplement more powerful operations for manipulating stack locatives.
Chris Hanson [Wed, 23 Dec 1987 03:43:31 +0000 (03:43 +0000)]
Implement more powerful operations for manipulating stack locatives.
These are useful for writing lexpr primitives.

37 years agoAlter `OS_tty_read_char' under unix so that it echoes the input if the
Chris Hanson [Fri, 18 Dec 1987 00:03:51 +0000 (00:03 +0000)]
Alter `OS_tty_read_char' under unix so that it echoes the input if the
standard input is a file.

37 years agoDefine `string-hash-mod' in the global environment.
Chris Hanson [Thu, 17 Dec 1987 20:34:34 +0000 (20:34 +0000)]
Define `string-hash-mod' in the global environment.

37 years agoTypo in `subvector_move_prefix'.
Chris Hanson [Thu, 17 Dec 1987 04:12:31 +0000 (04:12 +0000)]
Typo in `subvector_move_prefix'.

37 years agoFix several bugs in "vector.c" found by Morry Katz, mostly having to
Chris Hanson [Wed, 16 Dec 1987 19:39:33 +0000 (19:39 +0000)]
Fix several bugs in "vector.c" found by Morry Katz, mostly having to
do with indices not being checked to eliminate negative numbers.
Reorganize and update all of the code.

37 years agoFix several bugs found by Morry Katz, mostly having to do with indices
Chris Hanson [Wed, 16 Dec 1987 19:38:05 +0000 (19:38 +0000)]
Fix several bugs found by Morry Katz, mostly having to do with indices
not being checked to eliminate negative numbers.  Reorganize and
update all of the code.

37 years agoMake `arg_channel' be a public function per request of AAB.
Chris Hanson [Tue, 15 Dec 1987 16:07:57 +0000 (16:07 +0000)]
Make `arg_channel' be a public function per request of AAB.

37 years agoChange `System_Clock' to `OS_process_clock', scaling in milliseconds
Chris Hanson [Mon, 14 Dec 1987 00:15:38 +0000 (00:15 +0000)]
Change `System_Clock' to `OS_process_clock', scaling in milliseconds
instead of centiseconds.  Implement `real-time-clock' primitive.
Implement "suspension" feature which generates special interrupt.
This feature is activated by SIGHUP.

37 years agoUpdate this to match microcode.
Chris Hanson [Sun, 13 Dec 1987 22:47:00 +0000 (22:47 +0000)]
Update this to match microcode.

37 years agoAdd new interrupt code which means that the interpreter was
Chris Hanson [Sun, 13 Dec 1987 22:19:36 +0000 (22:19 +0000)]
Add new interrupt code which means that the interpreter was
requested to exit by some external source.

37 years agoAdd new termination code which means that the interpreter was
Chris Hanson [Sun, 13 Dec 1987 21:59:30 +0000 (21:59 +0000)]
Add new termination code which means that the interpreter was
requested to exit by some external source.