Taylor R Campbell [Tue, 3 Aug 2010 22:35:33 +0000 (22:35 +0000)]
Use intmax and uintmax to support 64-bit off_t, time_t, &c.
Eliminate BIGNUM_NO_ULONG. Twenty years ago it may have made sense;
now too much of the system relies on having unsigned longs for it to
matter.
New routines convert between integers and intmax/uintmax. The old
ones for long/unsigned long are still there, because they are likely
to be much faster on 32-bit systems. Only a few uses of long have
been replaced by intmax -- the ones where it was obvious we were
converting between time_t, off_t, ino_t, &c., and long. Others may
still be there. Before:
(file-length "fnord")
;Value: 1235
After:
(file-length "fnord")
;Value:
4294968531
(`fnord' was created by seeking to byte 2^32 + 1234 or something and
writing a single byte there.)
Chris Hanson [Wed, 28 Jul 2010 06:53:46 +0000 (23:53 -0700)]
Don't delete runtime.com from the distribution.
Chris Hanson [Wed, 28 Jul 2010 05:27:12 +0000 (22:27 -0700)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Joe Marshall [Tue, 27 Jul 2010 19:33:58 +0000 (12:33 -0700)]
Implement SYMBOL>?
Taylor R Campbell [Tue, 27 Jul 2010 16:52:43 +0000 (16:52 +0000)]
Don't make lib/lib a symlink to ../microcode; this breaks liarc.
Chris Hanson [Tue, 27 Jul 2010 05:15:40 +0000 (22:15 -0700)]
Properly fix handling of pstring.
Chris Hanson [Tue, 27 Jul 2010 05:01:52 +0000 (22:01 -0700)]
Fix typo.
Taylor R Campbell [Tue, 27 Jul 2010 01:56:36 +0000 (01:56 +0000)]
Fix microcode's `--version' output.
Write a newline, and force console output.
Chris Hanson [Mon, 26 Jul 2010 07:18:36 +0000 (00:18 -0700)]
Fix bug: change to MODULE_LDFLAGS broke liarc-ld on MacOS.
Chris Hanson [Mon, 26 Jul 2010 07:17:34 +0000 (00:17 -0700)]
Nuke trailing whitespace.
Chris Hanson [Sun, 25 Jul 2010 07:54:24 +0000 (00:54 -0700)]
Broaden handling of pstring to accept NIL.
Taylor R Campbell [Fri, 23 Jul 2010 18:33:32 +0000 (18:33 +0000)]
Use _init and etext on NetBSD to find the text segment's bounds.
Taylor R Campbell [Fri, 23 Jul 2010 02:30:25 +0000 (02:30 +0000)]
Eliminate vestiges of i386 code from cmpintmd/x86-64.h.
Taylor R Campbell [Fri, 23 Jul 2010 01:28:59 +0000 (01:28 +0000)]
Unmask IEEE 754 floating-point exceptions on x86-64.
Should this instead be part of Scheme's dynamic environment, like the
floating-point rounding mode?
Taylor R Campbell [Thu, 22 Jul 2010 23:12:37 +0000 (23:12 +0000)]
Relax plausible_cc_block_p.
Some leaf procedures and continuations do not have GC trap prefixes,
so don't require the block in question to have one.
On i386, this makes the trap handler successfully figure out where it
is in (FIX:QUOTIENT 1 0). FIX:QUOTIENT is a leaf procedure, unlike
FLO:/, although perhaps FIX:QUOTIENT ought to do checks and defer to
the microcode primitive like FLO:/.
Taylor R Campbell [Thu, 22 Jul 2010 21:16:08 +0000 (21:16 +0000)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Thu, 22 Jul 2010 20:25:19 +0000 (20:25 +0000)]
Reorganize Linux section of uxtrap.h and add x86-64 support.
Also add signal codes for SIGSEGV, SIGBUS, and SIGTRAP.
Taylor R Campbell [Thu, 22 Jul 2010 20:23:04 +0000 (20:23 +0000)]
Exploit common mcontext structure shared between NetBSD ports.
Taylor R Campbell [Thu, 22 Jul 2010 20:20:53 +0000 (20:20 +0000)]
Omit explicit disabling of trap recovery on x86-64.
There are still no platforms that support it, but it doesn't need to
be explicitly disabled.
Joe Marshall [Thu, 22 Jul 2010 20:16:12 +0000 (13:16 -0700)]
Restore the classical exit message.
Taylor R Campbell [Thu, 22 Jul 2010 19:51:14 +0000 (19:51 +0000)]
Enable trap recovery on NetBSD.
Not really tested, but this triggers only when you're already
screwed, so enabling trap recovery probably won't make anything
worse.
Taylor R Campbell [Thu, 22 Jul 2010 17:28:07 +0000 (17:28 +0000)]
Improve trap handling under NetBSD.
Taylor R Campbell [Thu, 22 Jul 2010 17:24:45 +0000 (17:24 +0000)]
Kludgily use a few unsigned chars in uxutil.c for tolower &c.
Joe Marshall [Tue, 13 Jul 2010 18:40:35 +0000 (11:40 -0700)]
Add block to access so we can integrate accesses in argument position.
Joe Marshall [Mon, 12 Jul 2010 22:57:56 +0000 (15:57 -0700)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Mon, 12 Jul 2010 22:57:34 +0000 (15:57 -0700)]
Fix typos caused by cut and paste.
Joe Marshall [Mon, 12 Jul 2010 22:54:20 +0000 (15:54 -0700)]
Remove undefined binding.
Taylor R Campbell [Mon, 12 Jul 2010 16:25:24 +0000 (16:25 +0000)]
Add some guarantees to scode constructors.
Taylor R Campbell [Mon, 12 Jul 2010 16:08:43 +0000 (16:08 +0000)]
Simplify lookup.c's interface.
Environment operations now take only symbols, and check. The
interpreter now extracts symbols from variables, not lookup.c.
This prevents non-symbols from passing into strengthen_symbol and
weaken_symbol in intern.c, which would barf on them.
Taylor R Campbell [Mon, 12 Jul 2010 15:40:16 +0000 (15:40 +0000)]
Strengthen or weaken only interned symbols. Ignore uninterned ones.
Taylor R Campbell [Wed, 7 Jul 2010 19:34:05 +0000 (19:34 +0000)]
Add O(1) ADD-TO-POPULATION!/UNSAFE to the runtime (unexported).
This does not check whether the population already holds the object
to be added; hence it is unsafe.
Change MAKE-1D-TABLE and MAKE-THREAD to use it: newly allocated
objects are guaranteed not to be in the population.
Taylor R Campbell [Wed, 7 Jul 2010 18:50:37 +0000 (18:50 +0000)]
Fix bug in INTEGER->FLONUM primitive on 64-bit systems.
Not all fixnums can be converted losslessly into flonums.
Taylor R Campbell [Sun, 27 Jun 2010 22:18:10 +0000 (22:18 +0000)]
Work around a buggy IMAP server that returns bogus UNSEEN counts.
Chris Hanson [Sun, 27 Jun 2010 08:33:25 +0000 (01:33 -0700)]
Clean up top level controller. Don't use Scheme packages as a
substitute for Lisp packages; instead use environments. Implement
support for slime-repl. Fix broken implementation of apropos. Hide
restarts and stack frames that aren't relevant to the Emacs user.
Chris Hanson [Sun, 27 Jun 2010 05:22:58 +0000 (22:22 -0700)]
Add INDEX matcher since that's so common.
Chris Hanson [Sat, 26 Jun 2010 09:14:24 +0000 (02:14 -0700)]
Fix broken implementation of completion.
Chris Hanson [Sat, 26 Jun 2010 08:50:16 +0000 (01:50 -0700)]
Add suggested elisp code for using this.
Chris Hanson [Sat, 26 Jun 2010 08:41:39 +0000 (01:41 -0700)]
Gobble up swank support and integrate it.
Chris Hanson [Tue, 15 Jun 2010 10:54:16 +0000 (03:54 -0700)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Mon, 14 Jun 2010 04:05:08 +0000 (21:05 -0700)]
Add some more named patterns.
Chris Hanson [Mon, 14 Jun 2010 03:52:52 +0000 (20:52 -0700)]
Fix bug: logic for ->URI wasn't handling no-error case right.
Matt Birkholz [Sun, 13 Jun 2010 00:50:08 +0000 (17:50 -0700)]
Finished the disassembler. Debugging the machine (too).
* src/Makefile.in: Make sure the assembler-compiler ran, generating
compiler/machines/svm/svm1-defns.h, assembler-db.scm, etc.
* src/Stage.sh: Punt avoiding subdirs with nothing to stage. A few
empty STAGE subdirs should not hurt, and maybe_mv is quiet.
* src/compiler/Clean.sh (distclean, maintainer-clean): Use maybe_rm
and clean up assembler compilation products.
* src/compiler/Stage.sh, src/etc/Stage.sh: Use maybe_mv to avoid
errors when the subdir has not been compiled, so that an incomplete
compile can be stashed and unstashed without horror.
* src/compiler/machines/svm/assembler-compiler.scm
(write-copyright+license): Resurrected with the 9.0.1 runtime system's
procedures. Used to generate the standard copyright though the GNU
standards suggest assembler-db's copyright should be copied.
(rt-defn-encoder-constructor): Include the opcode byte.
* src/compiler/machines/svm/assembler-rules.scm (interrupt-test-closure):
Folded into the enter-closure instruction, which knows the index.
* src/compiler/machines/svm/assembler-runtime.scm
(init-assembler-instructions!): Build fixed instruction assemblers in
smallest-to-largest order, else the largest encoding is always chosen.
(assemble-fixed-instruction): Punt consing a new bit-string.
(pc-relative-stats, pc-relative-selector): New. The former computes
static info about a class of variable-width instructions so that the
latter need only cons a handler. Use these in the variable-width
instruction encoders.
(fix-offset): Fix the width of a pc-relative offset, to force a wider
encoding than required by the actual magnitude. Use this procedure in
the primitive encoders. The bit tensioner cannot always find an
optimal solution, where no instruction is wider than its operands
require. Warn when this happens.
(decode-rt-coding-type): Return a list headed by the rt-defn name,
else signal a coding-error.
(coding-error): Signals a condition that the disassembler wants to
catch.
(define-pvt-signed, encode-signed-*, write-bytes): Accept bit-strings
as well as integers. See fix-offset.
(encode-unsigned-integer-8): Fixed.
(decode-rref): Give symbolic names to the fixed registers.
* src/compiler/machines/svm/compiler.pkg: Moved the (compiler
disassembler) package to inherit from (compiler assembler). The
disassembler uses many definitions in assembler-runtime.scm.
* src/compiler/machines/svm/compiler.sf: Syntax make.scm. It is not
mentioned in compiler.pkg, from which syntax-files!(decls.scm) gets
its list of files to syntax.
* src/compiler/machines/svm/decls.scm: Moved lapgen.scm from
lapgen-base to lapgen-body because it depends on assembler-runtime.
* src/compiler/machines/svm/disassembler.scm: New.
* src/compiler/machines/svm/lapgen.scm: Get the entry-types right with
those used in svm1-interp.c.
(encode-procedure-type): Take the frame size min/max per the RTL,
and convert them to required/optional arg counts. Use this in
generate/cons-*closure as well as make-procedure-label.
(encode-internal-procedure-offset): Punted. This encoding is also
generated by encode-continuation-offset.
* src/compiler/machines/svm/machine.scm (ea:uuo-entry-address): New,
encoding a peculiar type of pc-relative address.
(trap:set!, trap:define, trap:unbound?, trap:access): Not defined in
svm1-interp.c.
(interrupt-test-closure): Folded into the enter-closure instruction.
(closure-entry-size, entry-type-size, closure-first-offset): Added an
cc-entry type field to each closure entry.
* src/compiler/machines/svm/rules.scm (POP-RETURN): Added entry-type
and gc-offset half words before inst:interrupt-test-continuation, so
that this instruction can push its address on the stack.
(INVOCATION:UUO-LINK, INVOCATION:GLOBAL-LINK): Use the new
ea:uuo-entry-address.
(PROCEDURE-HEADER): Pass min/max directly to make-procedure-label
(generate/cons-closure, generate/cons-multiclosure): Added a cc-entry
type field before each entry point. Do NOT tag the target register.
No need to interrupt-test-closure after entering.
(generate-uuos): This is not actually generating LAP.
(interpreter-call:cache-reference, interpreter-call:cache-assignment):
(interpreter-call:cache-unassigned?): Need an entry point after the
trap instructions.
(Interpreter Calls, lookup-call, assignment-call): Removed. I could
not find the corresponding compiler utilities: comutil_access,
comutil_define, comutil_set, comutil_unbound_p_trap. The utilities I
DID find want a cache address. Removing these rules left lookup-call
and assignment-call unused.
* src/etc/compile-svm.sh: Use src/Stage.sh to un/stash the
cross-compiler.
* src/microcode/cmpint.c, src/microcode/cmpint.h: Move
trampoline_type_t to cmpint.h, where svm1-interp.c can include it.
* src/microcode/cmpintmd/svm1.c: Use new closure entry point type
field in read_cc_entry_type.
(store_trampoline_insns): Translate from abstract trampoline kinds to
trap-0 operations, e.g. TRAMPOLINE_K_APPLY to
SVM1_TRAP_0_OPERATOR_APPLY.
* src/microcode/cmpintmd/svm1.h:
* src/microcode/svm1-defns.h:
* src/microcode/svm1-interp.c:
Chris Hanson [Tue, 8 Jun 2010 19:08:13 +0000 (12:08 -0700)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Tue, 8 Jun 2010 19:08:03 +0000 (12:08 -0700)]
Implement ENCODE-URI-PATH-SEGMENT.
Taylor R Campbell [Sun, 6 Jun 2010 15:04:38 +0000 (15:04 +0000)]
Fix fencepost in ASCII-RANGE->CHAR-SET.
Matt Birkholz [Sat, 5 Jun 2010 16:01:04 +0000 (09:01 -0700)]
Alien address offsets are byte offsets.
Matt Birkholz [Sat, 5 Jun 2010 04:19:01 +0000 (21:19 -0700)]
Restored more copyright dates.
Chris Hanson [Wed, 2 Jun 2010 09:10:25 +0000 (02:10 -0700)]
Use properties in RUN-SUB-TEST where appropriate. Change tests to run
properly now that argument SVLs may contain null ranges.
Chris Hanson [Wed, 2 Jun 2010 09:08:06 +0000 (02:08 -0700)]
Change RUN-SUB-TEST to allow it to take properties.
Chris Hanson [Wed, 2 Jun 2010 08:44:09 +0000 (01:44 -0700)]
Fix thinko in previous change.
Chris Hanson [Wed, 2 Jun 2010 08:39:21 +0000 (01:39 -0700)]
Change MAKE-RANDOM-SVL to generate empty ranges.
Chris Hanson [Wed, 2 Jun 2010 08:39:02 +0000 (01:39 -0700)]
Change MAKE-RANDOM-SVL to generate empty ranges.
Chris Hanson [Wed, 2 Jun 2010 08:38:16 +0000 (01:38 -0700)]
Change MAPPER->GENERATOR to generate empty ranges.
Chris Hanson [Wed, 2 Jun 2010 08:36:42 +0000 (01:36 -0700)]
Change %CANONICALIZE-SCALAR-VALUE-LIST to eliminate empty ranges.
Chris Hanson [Wed, 2 Jun 2010 08:34:20 +0000 (01:34 -0700)]
Don't restrict character sets to Unicode characters.
Chris Hanson [Wed, 2 Jun 2010 08:30:43 +0000 (01:30 -0700)]
More simplification and restyling.
Chris Hanson [Wed, 2 Jun 2010 08:06:10 +0000 (01:06 -0700)]
Fix compilation errors. Simplify part of the code by a suitable
macro. Do a little style tweaking.
Chris Hanson [Wed, 2 Jun 2010 08:04:30 +0000 (01:04 -0700)]
Fix broken reference: "load.scm" -> "make.scm".
Chris Hanson [Wed, 2 Jun 2010 08:03:50 +0000 (01:03 -0700)]
Add name for CALLBACK_HANDLER slot.
Chris Hanson [Wed, 2 Jun 2010 07:58:57 +0000 (00:58 -0700)]
Eliminate trailing whitespace.
Chris Hanson [Wed, 2 Jun 2010 07:58:08 +0000 (00:58 -0700)]
Restore copyright dates.
Chris Hanson [Wed, 2 Jun 2010 06:53:33 +0000 (23:53 -0700)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Tue, 1 Jun 2010 05:31:29 +0000 (22:31 -0700)]
Put back alphabet compatibility, in a different form.
Matt Birkholz [Mon, 31 May 2010 20:39:18 +0000 (13:39 -0700)]
A fairly straightforward merge of the FFI.
* src/etc/Clean.sh (maintainer-clean): Clean up src/*/TAGS.
* src/ffi/Clean.sh (maintainer-clean): Clean up prhello-const*.
* src/ffi/ffi.cbf, src/ffi/ffi.sf: Separate syntaxing and compiling.
Temporarily hacked to load the (runtime ffi) package when necessary.
Replaces compile.scm.
* src/ffi/make.scm: Replaces load.scm.
* src/ffi/compile.scm, src/ffi/load.scm: Replaced by ffi.sf, ffi.cbf
and make.scm.
Chris Hanson [Mon, 31 May 2010 10:04:43 +0000 (03:04 -0700)]
Implement SCALAR-VALUE-IN-CHAR-SET?.
Chris Hanson [Mon, 31 May 2010 09:54:18 +0000 (02:54 -0700)]
Eliminate PREDICATE->CHAR-SET, and tweak documentation.
Chris Hanson [Mon, 31 May 2010 09:41:21 +0000 (02:41 -0700)]
Eliminate all trace of the alphabet abstraction.
Chris Hanson [Mon, 31 May 2010 08:32:12 +0000 (01:32 -0700)]
Fix swapped conditional arms in RE-COMPILE-CHAR-SET; then split off
part of it as RE-CHAR-PATTERN->SCALAR-VALUES.
Chris Hanson [Mon, 31 May 2010 00:37:45 +0000 (17:37 -0700)]
Move Unicode char predicates to "char.scm".
Chris Hanson [Mon, 31 May 2010 00:37:11 +0000 (17:37 -0700)]
Improve test reporting for errors. Add boolean equality assertions.
Chris Hanson [Mon, 31 May 2010 00:36:11 +0000 (17:36 -0700)]
Don't restrict CHAR-SET-MEMBERS; it gets used on the inversion of
8-bit char sets, which aren't 8-bit.
Chris Hanson [Sun, 30 May 2010 23:43:57 +0000 (16:43 -0700)]
Fix thinko.
Chris Hanson [Sun, 30 May 2010 23:43:40 +0000 (16:43 -0700)]
Fix typo.
Chris Hanson [Sun, 30 May 2010 23:26:47 +0000 (16:26 -0700)]
Fix fencepost error.
Chris Hanson [Sun, 30 May 2010 23:26:32 +0000 (16:26 -0700)]
Add membership test.
Chris Hanson [Sun, 30 May 2010 11:10:30 +0000 (04:10 -0700)]
Fix broken reference.
Chris Hanson [Sun, 30 May 2010 11:09:06 +0000 (04:09 -0700)]
Update to use new test framework.
Chris Hanson [Sun, 30 May 2010 11:04:34 +0000 (04:04 -0700)]
Refactor test infrastructure to use conditions and to have more flexible reporting.
Chris Hanson [Sun, 30 May 2010 11:03:39 +0000 (04:03 -0700)]
Rewrite, this time to use "signal processing" mode for high segments.
Also, don't use combinators at top level; instead use combinations
called at run time.
Chris Hanson [Mon, 24 May 2010 08:42:26 +0000 (01:42 -0700)]
When re-loading unit-testing, unlink the previous copy so it will be
garbage collected.
Chris Hanson [Mon, 24 May 2010 08:40:04 +0000 (01:40 -0700)]
Restructure test to use new multiple-result mechanism.
Chris Hanson [Mon, 24 May 2010 08:39:28 +0000 (01:39 -0700)]
Allow each sub-test to return multiple test results.
Chris Hanson [Mon, 24 May 2010 05:12:54 +0000 (22:12 -0700)]
Use new ASSERT-ERROR.
Chris Hanson [Mon, 24 May 2010 05:11:40 +0000 (22:11 -0700)]
Fix some bugs discovered by unit testing.
Chris Hanson [Mon, 24 May 2010 05:11:11 +0000 (22:11 -0700)]
Add LOAD-WITH-BOOT-INITS! for testing.
Chris Hanson [Mon, 24 May 2010 05:09:30 +0000 (22:09 -0700)]
Get unit tests working.
Chris Hanson [Mon, 24 May 2010 05:09:08 +0000 (22:09 -0700)]
Add ASSERT-ERROR. Small reorganization to improve readability.
Taylor R Campbell [Mon, 24 May 2010 01:02:35 +0000 (01:02 +0000)]
Fix parsing of multiline comments from ports without line numbers.
Taylor R Campbell [Sun, 23 May 2010 20:23:19 +0000 (20:23 +0000)]
Fix parsing of comments.
Comment handlers should return CONTINUE-PARSING, not UNSPECIFIC.
Chris Hanson [Sun, 23 May 2010 12:11:02 +0000 (05:11 -0700)]
Implement alphabet as char-set.
Chris Hanson [Sun, 23 May 2010 11:50:46 +0000 (04:50 -0700)]
Change char-set abstraction to handle unicode.
Chris Hanson [Sun, 23 May 2010 11:50:00 +0000 (04:50 -0700)]
Implement VECTOR-HEAD!.
Chris Hanson [Sun, 23 May 2010 11:49:42 +0000 (04:49 -0700)]
Rename DEFAULT_STAGE0 to STAGE0.
Taylor R Campbell [Mon, 10 May 2010 22:29:07 +0000 (22:29 +0000)]
Fix x86-64 lapgen rules for simple float offsets.
This should fix flonum vector references in cases where type and
range checks are disabled.
Taylor R Campbell [Sun, 25 Apr 2010 15:27:32 +0000 (11:27 -0400)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Sun, 25 Apr 2010 15:24:54 +0000 (11:24 -0400)]
Make the m4 test in microcode/configure.ac less strict.
Some luser might run `./configure M4=/usr/frobblethorpe/bin/m4'.
This requires makegen/m4.sh to accept the m4 program as an argument.
(Don't try to pass any extra arguments to the m4 program that way...)
Chris Hanson [Sun, 25 Apr 2010 04:34:55 +0000 (21:34 -0700)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Sun, 25 Apr 2010 04:34:25 +0000 (21:34 -0700)]
Fix bug: when merging register maps, if a pseudo register was saved
into its home on some of the maps, and not saved on the other maps,
then the resulting map would show that it was saved. Instead, it
should show that it is NOT saved. That's less optimal but correct.
Chris Hanson [Sun, 25 Apr 2010 04:31:36 +0000 (21:31 -0700)]
Handle case where INPUT-LINE port operation isn't available; was
breaking use of comments in Edwin evaluation.
Taylor R Campbell [Sat, 24 Apr 2010 19:18:24 +0000 (15:18 -0400)]
In dist/make-native-files, don't rmdir src/lib/lib.
src/lib/lib is a symbolic link to ../microcode, created by
src/Setup.sh.