Michael R. Blair [Tue, 8 Feb 1994 21:11:59 +0000 (21:11 +0000)]
Initial revision
Guillermo J. Rozas [Fri, 4 Feb 1994 01:01:15 +0000 (01:01 +0000)]
Fix parameter name mismatch in use of DEFUN.
Stephen Adams [Wed, 2 Feb 1994 04:12:36 +0000 (04:12 +0000)]
Added `Possible' to inapplicable operator warnings.
Stephen Adams [Wed, 2 Feb 1994 04:10:30 +0000 (04:10 +0000)]
Fixed #F/() confusion.
Stephen Adams [Wed, 2 Feb 1994 04:05:29 +0000 (04:05 +0000)]
Fixed #F/() confusion.
Stephen Adams [Wed, 2 Feb 1994 04:01:23 +0000 (04:01 +0000)]
Fixed to work with 2-tag fixnums.
Stephen Adams [Wed, 2 Feb 1994 03:39:50 +0000 (03:39 +0000)]
Added comment.
Stephen Adams [Wed, 2 Feb 1994 03:35:09 +0000 (03:35 +0000)]
Fixed #F/() confusion.
Guillermo J. Rozas [Wed, 2 Feb 1994 03:26:21 +0000 (03:26 +0000)]
Re-synchronized RCS version with Scheme version.
Guillermo J. Rozas [Wed, 2 Feb 1994 01:49:03 +0000 (01:49 +0000)]
Separate target-block field from initial-callees field in procedure
objects.
The target-block field is useful in the debugging information, to be
able to walk the procedure chain when debugging.
Guillermo J. Rozas [Wed, 2 Feb 1994 01:23:49 +0000 (01:23 +0000)]
Another instance of "comp" replaced with "compiler"
Guillermo J. Rozas [Tue, 1 Feb 1994 02:45:56 +0000 (02:45 +0000)]
Fix bug introduced in breakpoint proceeding when the layout of memory
was changed.
The proceed buffer was allocated at the top of constant space which is
now the bottom of the heap, where a perfectly valid object resides.
In fact, it was typically the object being breakpointed itself, being
the object at the top of the stack (the first thing scanned).
Guillermo J. Rozas [Mon, 31 Jan 1994 04:48:59 +0000 (04:48 +0000)]
Make syntax default its syntax-table argument to the syntax table of
the nearest repl.
Guillermo J. Rozas [Mon, 31 Jan 1994 02:51:37 +0000 (02:51 +0000)]
define-structure expands into only definitions, so it can be used at
the beginning of a body.
In particular, the print method is now always declared by passing it
along to the type constructor, fixing a problem introduced by the
reordering of the definitions in the last change.
Guillermo J. Rozas [Mon, 31 Jan 1994 02:49:45 +0000 (02:49 +0000)]
Modify make-record-type to accept the print-method as an optional
argument.
Stephen Adams [Sun, 30 Jan 1994 22:07:14 +0000 (22:07 +0000)]
Reference to ../runtime/runtim -> ../runtime/runtime
Guillermo J. Rozas [Sun, 30 Jan 1994 03:32:11 +0000 (03:32 +0000)]
Fix several problems with gc files:
- Under DOS, the files were not unique for different instances of
bchscheme.
- Missing error messages under Windows (code had not been changed to
use outf).
- TEMP and TMP environment variables were not examined.
Guillermo J. Rozas [Sat, 29 Jan 1994 22:40:46 +0000 (22:40 +0000)]
WITH-REAL-WORKING-DIRECTORY-PATHNAME must really change the
microcode's working directory pathname.
Stephen Adams [Sat, 29 Jan 1994 22:08:15 +0000 (22:08 +0000)]
Changed ucode-type fixnum -> positive-fixnum
Stephen Adams [Sat, 29 Jan 1994 22:04:08 +0000 (22:04 +0000)]
*** empty log message ***
Stephen Adams [Sat, 29 Jan 1994 21:57:32 +0000 (21:57 +0000)]
Changed null-environment to be xor(#F,1) rather than TC_NULL::1.
This is how it is defined in the new microcode and happens to
be correct for the current microcode.
Stephen Adams [Sat, 29 Jan 1994 21:54:17 +0000 (21:54 +0000)]
Fixed #F/() confusion.
Stephen Adams [Sat, 29 Jan 1994 21:40:06 +0000 (21:40 +0000)]
Minor efficiency tweak for eqv? on fixnums
Stephen Adams [Sat, 29 Jan 1994 21:37:38 +0000 (21:37 +0000)]
Fixed for #F != '()
Stephen Adams [Sat, 29 Jan 1994 21:36:07 +0000 (21:36 +0000)]
Added a comment.
Stephen Adams [Sat, 29 Jan 1994 21:34:20 +0000 (21:34 +0000)]
Removed various #F/() confusion.
Guillermo J. Rozas [Sat, 29 Jan 1994 21:25:33 +0000 (21:25 +0000)]
Replace UXIO with DOSIO.
Stephen Adams [Sat, 29 Jan 1994 21:23:20 +0000 (21:23 +0000)]
Fixed null? -> false?
Guillermo J. Rozas [Sat, 29 Jan 1994 01:47:26 +0000 (01:47 +0000)]
FIRST cannot be integrated as a constant because it is not a primitive.
It must be expanded.
Guillermo J. Rozas [Sat, 29 Jan 1994 00:51:58 +0000 (00:51 +0000)]
compiled-entry/dbg-object now returns meaningful info for the internal
entry point.
Guillermo J. Rozas [Fri, 28 Jan 1994 04:07:52 +0000 (04:07 +0000)]
Add FIRST to list of constants to be expanded.
Guillermo J. Rozas [Fri, 28 Jan 1994 04:04:47 +0000 (04:04 +0000)]
Add handlers for page-up, page-down, and insert keys.
Chris Hanson [Tue, 25 Jan 1994 23:57:50 +0000 (23:57 +0000)]
When constant-folding multiple definition values vector, must unmap
reference traps so that definition works right.
Guillermo J. Rozas [Fri, 14 Jan 1994 03:26:56 +0000 (03:26 +0000)]
Move type-definitions to the end of the definition block.
In this way there is no need for the symbol to be returned,
since the type definition "returns" the symbol, and in addition, all
the forms are definitions, so a DEFINE-STRUCTURE becomes legal
amongst internal definitions.
Chris Hanson [Fri, 14 Jan 1994 00:43:39 +0000 (00:43 +0000)]
Eliminate random error that occurs when file is missing.
Guillermo J. Rozas [Wed, 12 Jan 1994 00:30:57 +0000 (00:30 +0000)]
Make bintopsb align compiled-code blocks as necessary on the source
machine.
For the C back end, this should be innocuous, since there are no
alignment constraints on code.
For the native back ends, the native code is only meaningful on the
same machine, so the alignment constraints should be the same.
Stephen Adams [Wed, 12 Jan 1994 00:23:17 +0000 (00:23 +0000)]
changed ACCESS forms to use system-global-environment
Stephen Adams [Wed, 12 Jan 1994 00:18:06 +0000 (00:18 +0000)]
*** empty log message ***
Guillermo J. Rozas [Mon, 10 Jan 1994 21:31:20 +0000 (21:31 +0000)]
Add cast to eliminate warning.
Chris Hanson [Mon, 10 Jan 1994 19:34:14 +0000 (19:34 +0000)]
Fix bugs that occur after tags-search is finished.
Guillermo J. Rozas [Sat, 8 Jan 1994 21:37:20 +0000 (21:37 +0000)]
Rename runtim.* to runtime.*
Rename comp.* to compiler.*
Guillermo J. Rozas [Sat, 8 Jan 1994 21:23:00 +0000 (21:23 +0000)]
Rename runtim.* to runtime.*
Rename comp.* to compiler.*
Guillermo J. Rozas [Sat, 8 Jan 1994 21:07:17 +0000 (21:07 +0000)]
Forgot to update the copyright.
Guillermo J. Rozas [Sat, 8 Jan 1994 21:06:59 +0000 (21:06 +0000)]
Rename comp.* to compiler.*
Guillermo J. Rozas [Sat, 8 Jan 1994 21:06:17 +0000 (21:06 +0000)]
Rename runtim.* to runtime.*
Guillermo J. Rozas [Sat, 8 Jan 1994 17:05:00 +0000 (17:05 +0000)]
Fix cache-flushing bugs manifested on the MIPS R4000:
- PUSH_D_CACHE_REGION was being called at the wrong time.
Guillermo J. Rozas [Sat, 8 Jan 1994 17:02:13 +0000 (17:02 +0000)]
Fix cache-flushing bugs manifested on the MIPS R4000:
- The linker cannot use PUSH_D_CACHE_REGION on the block being linked
if it is returning to it, it must use FLUSH_I_CACHE_REGION.
Guillermo J. Rozas [Sat, 8 Jan 1994 16:57:21 +0000 (16:57 +0000)]
Fix cache-flushing bugs manifested on the MIPS R4000:
- trampoline entries must be flushed after being written.
- The R4000 has write-back caches, so FLUSH_I_CACHE_REGION and friends
must also flush the D cache.
- PUSH_C_CACHE_REGION != FLUSH_I_CACHE_REGION.
Guillermo J. Rozas [Thu, 6 Jan 1994 19:51:22 +0000 (19:51 +0000)]
Patch to allow ordinary compiled files to work with allow_cc.
The utilities vector is not relevant for ordinary code, only for bands
or dumped linked objects, which, for now, bintopsb cannot handle.
Chris Hanson [Wed, 29 Dec 1993 18:46:41 +0000 (18:46 +0000)]
Check arguments to MAKE-REPL to guarantee that they are valid.
Otherwise, it's all too easy to end up with a REPL that can't be used
at all.
Chris Hanson [Wed, 29 Dec 1993 18:36:01 +0000 (18:36 +0000)]
Change GUARANTEE-SYNTAX-TABLE to take second argument.
Chris Hanson [Tue, 28 Dec 1993 18:20:48 +0000 (18:20 +0000)]
Use FOLD-LEFT instead of REDUCE to do n-ary versions of GCD and LCM --
REDUCE returns a negative number if there is a single negative
argument, which is incorrect.
Chris Hanson [Thu, 23 Dec 1993 11:14:25 +0000 (11:14 +0000)]
Reimplement interval arithmetic and assembler relaxation code. New
arithmetic uses geometric model to get more accurate results.
Relaxation has been changed to eliminate assumption that if the low
bound of an interval doesn't fit, then no point within the interval
will fit. This assumption was proven incorrect by an example on the
MIPS.
Chris Hanson [Thu, 23 Dec 1993 08:03:45 +0000 (08:03 +0000)]
When invoking restart in another thread, must call RESTART-THREAD.
Also, look for a special CONTINUE restart in the current thread and
invoke that.
Chris Hanson [Thu, 23 Dec 1993 06:58:54 +0000 (06:58 +0000)]
Add option to allow RESTART-THREAD to prompt the user regarding
whether events in the thread's queue should be discarded.
Stephen Adams [Wed, 22 Dec 1993 14:59:09 +0000 (14:59 +0000)]
*** empty log message ***
Stephen Adams [Wed, 22 Dec 1993 14:50:37 +0000 (14:50 +0000)]
*** empty log message ***
Stephen Adams [Wed, 22 Dec 1993 14:41:17 +0000 (14:41 +0000)]
*** empty log message ***
Stephen Adams [Wed, 22 Dec 1993 14:27:18 +0000 (14:27 +0000)]
*** empty log message ***
Stephen Adams [Wed, 22 Dec 1993 14:08:39 +0000 (14:08 +0000)]
*** empty log message ***
Stephen Adams [Wed, 22 Dec 1993 13:59:53 +0000 (13:59 +0000)]
*** empty log message ***
Stephen Adams [Wed, 22 Dec 1993 08:09:24 +0000 (08:09 +0000)]
*** empty log message ***
Stephen Adams [Wed, 22 Dec 1993 07:55:42 +0000 (07:55 +0000)]
*** empty log message ***
Stephen Adams [Wed, 22 Dec 1993 07:28:07 +0000 (07:28 +0000)]
Put ucode-type calls in procedures so that the procedures may be redefined
for re-tagging
Jim Miller [Wed, 22 Dec 1993 01:26:13 +0000 (01:26 +0000)]
Generalize Z command to allow NOT discarding thread events when
restarting thread.
Chris Hanson [Tue, 21 Dec 1993 23:42:49 +0000 (23:42 +0000)]
Reference traps must be fasdumpable.
Chris Hanson [Tue, 21 Dec 1993 23:32:46 +0000 (23:32 +0000)]
Fix typo.
Chris Hanson [Tue, 21 Dec 1993 10:45:08 +0000 (10:45 +0000)]
Fix bug in dired-clean-directory -- roles of positive and negative
arguments were reversed.
Chris Hanson [Sat, 18 Dec 1993 21:43:01 +0000 (21:43 +0000)]
Branch-tensioner assumptions are also violated in case where padding
not in use, although I don't understand why since this code used to
work. This patch at least allows the compiler to work without errors
in this case.
Chris Hanson [Sat, 18 Dec 1993 08:49:05 +0000 (08:49 +0000)]
Work around new bug in variable-width instruction assembly: LW is
being forced to use its long-offset form when the offset is small (in
this case the offset is -4).
Chris Hanson [Sat, 18 Dec 1993 07:15:57 +0000 (07:15 +0000)]
Fix bug in previous change.
Chris Hanson [Fri, 17 Dec 1993 22:36:50 +0000 (22:36 +0000)]
Fix typo.
Chris Hanson [Fri, 17 Dec 1993 22:20:37 +0000 (22:20 +0000)]
Numerous low-level changes. Fix capitalization of titles, rewrite
long titles to make them shorter.
Chris Hanson [Fri, 17 Dec 1993 02:47:39 +0000 (02:47 +0000)]
Fix think-o.
Chris Hanson [Fri, 17 Dec 1993 02:34:15 +0000 (02:34 +0000)]
Fix think-o.
Chris Hanson [Fri, 17 Dec 1993 02:10:32 +0000 (02:10 +0000)]
Restore kludge to allow non-interactive restarts to be invoked
interactively.
Chris Hanson [Fri, 17 Dec 1993 01:37:13 +0000 (01:37 +0000)]
Fix some typos.
Chris Hanson [Fri, 17 Dec 1993 00:11:59 +0000 (00:11 +0000)]
Implement WITH-RESTART to replace BIND-RESTART. WITH-RESTART takes an
additional argument that specifies the interactor -- this is no longer
done by means of a restart property.
Chris Hanson [Fri, 17 Dec 1993 00:05:06 +0000 (00:05 +0000)]
Implement WITH-RESTART to replace BIND-RESTART. WITH-RESTART takes an
additional argument that specifies the interactor -- this is no longer
done by means of a restart property.
Chris Hanson [Thu, 16 Dec 1993 23:28:51 +0000 (23:28 +0000)]
Bind BREAK-ON-SIGNALS types to '() when invoking the breakpoint.
Otherwise passing a breakpoint type to BREAK-ON-SIGNALS will cause an
infinite loop.
Stephen Adams [Thu, 16 Dec 1993 22:44:12 +0000 (22:44 +0000)]
*** empty log message ***
Stephen Adams [Thu, 16 Dec 1993 00:04:04 +0000 (00:04 +0000)]
*** empty log message ***
Stephen Adams [Wed, 15 Dec 1993 19:35:37 +0000 (19:35 +0000)]
Added more special readers:
#[name number fnord fnord ...]
now reads as (unhash number), making it possible to read in some
output that contains closures etc into the same Scheme process.
#n= and #n#
A tentative implementation of these Common Lisp readers for cyclic
structures (lists and vectors).
Chris Hanson [Wed, 15 Dec 1993 00:04:45 +0000 (00:04 +0000)]
Handle built-in and utility hardware traps.
Chris Hanson [Tue, 14 Dec 1993 22:22:49 +0000 (22:22 +0000)]
Fix a couple of typos.
Guillermo J. Rozas [Sat, 11 Dec 1993 20:32:23 +0000 (20:32 +0000)]
fasdump_compiled_entry was not aligning compiled-code blocks to
floating-point boundaries as it copied them to the output file.
Guillermo J. Rozas [Sat, 11 Dec 1993 20:31:44 +0000 (20:31 +0000)]
Fix several bugs related to varying the size of constant space:
- The gc file should be large enough to accomodate all the heap and
constant space, not only the space indicated by the -heap parameter.
- The size of the gc file should be a multiple of the gc buffer size.
The garbage collector always writes a multiple of this quantity,
even though at the end, only the area in use is read.
Chris Hanson [Fri, 10 Dec 1993 19:25:09 +0000 (19:25 +0000)]
In M-x show-parameter-list, handle case where no debugging information
is available for procedure.
Guillermo J. Rozas [Thu, 9 Dec 1993 03:23:53 +0000 (03:23 +0000)]
Update to match latest changes to the linearizer.
Guillermo J. Rozas [Thu, 9 Dec 1993 01:17:55 +0000 (01:17 +0000)]
Fix typo in last change.
Guillermo J. Rozas [Wed, 8 Dec 1993 23:48:58 +0000 (23:48 +0000)]
?Fix violation in branch-tensioner assumptions introduced by padding.
It was previously the case that when variable-width directives were
not updated, the minimum width would work for all. This is no longer
true.
Chris Hanson [Wed, 8 Dec 1993 21:13:14 +0000 (21:13 +0000)]
Change procedures that convert hash tables to lists so that they don't
include invalid entries in the result.
Guillermo J. Rozas [Wed, 8 Dec 1993 19:30:58 +0000 (19:30 +0000)]
Several changes:
- Closures are allocated differently: the compiler prepares a pattern,
the linker finalizes it, the garbage collector relocates it, and
the pattern is copied at runtime to make a new closure.
- Tighten up the closure code: eliminate the privilege-bit-clearing
instruction, and share the closure gc stubs between all the closures
in a block.
- Add a code segment facility to the linearizer.
- Add a padding facility to the assembler.
- Compiled code blocks are now aligned to floating-point boundaries
so that they can contain embedded floating-point values and closure
patterns can be copied using floating-point loads and stores.
- Floating-point constants are now embedded in the code area,
requiring fewer operations.
Guillermo J. Rozas [Wed, 8 Dec 1993 17:50:41 +0000 (17:50 +0000)]
Several changes:
- Closures are allocated differently: the compiler prepares a pattern,
the linker finalizes it, the garbage collector relocates it, and
the pattern is copied at runtime to make a new closure.
- Tighten up the closure code: eliminate the privilege-bit-clearing
instruction, and share the closure gc stubs between all the closures
in a block.
- Add a code segment facility to the linearizer.
- Add a padding facility to the assembler.
- Compiled code blocks are now aligned to floating-point boundaries
so that they can contain embedded floating-point values and closure
patterns can be copied using floating-point loads and stores.
- Floating-point constants are now embedded in the code area,
requiring fewer operations.
Jim Miller [Wed, 8 Dec 1993 17:36:14 +0000 (17:36 +0000)]
Added SWAT option
Guillermo J. Rozas [Wed, 8 Dec 1993 09:20:56 +0000 (09:20 +0000)]
Fix "disappearing labels" bug by making the symbol table be strongly
held.
Guillermo J. Rozas [Tue, 7 Dec 1993 20:36:05 +0000 (20:36 +0000)]
Some changes to closures:
- Tightening of the entry sequence.
- Closure generation by copying a pattern made by the compiler.
- Add ability to set breakpoints in closures' internal entry points.
- Add CLOSURE_PATTERN_LINKAGE_KIND used by the new patterns.
Align compiled code blocks on floating-point boundaries so that the
compiler can pad to guarantee that embedded floating-point numbers
(and closure patterns, copied using floating-point instructions on the
hppa) are aligned correctly.
Guillermo J. Rozas [Tue, 7 Dec 1993 20:31:16 +0000 (20:31 +0000)]
Some changes to closures:
- Tightening of the entry sequence.
- Closure generation by copying a pattern made by the compiler.
- Add ability to set breakpoints in closures' internal entry points.
Guillermo J. Rozas [Tue, 7 Dec 1993 20:28:23 +0000 (20:28 +0000)]
*** empty log message ***
Stephen Adams [Tue, 7 Dec 1993 00:19:56 +0000 (00:19 +0000)]
*** empty log message ***