Numerous changes to improve register/frame allocation speed for
procedures with large numbers of variables: - added pass-time tracking for pre-cpnanopass passes to compile. compile.ss - added inline handler for fxdiv-and-mod cp0.ss, primdata.ss - changed order in which return-point operations are done (adjust sfp first, then store return values, then restore local saves) to avoid storing return values to homes beyond the end of the stack in cases where adjusting sfp might result in a call to dooverflood. cpnanopass.ss, np-languages.ss - removed unused {make-,}asm-return-registers bindings cpnanopass.ss - corrected the max-fv value field of the lambda produced by the hand-coded bytevector=? handler. cpnanopass.ss - reduced live-pointer and inspector free-variable mask computation overhead cpnanopass.ss - moved regvec cset copies to driver so they aren't copied each time a uvar is assigned to a register. removed checks for missing register csets, since registers always have csets. cpnanopass.ss - added closure-rep else clause in record-inspector-information!. cpnanopass.ss - augmented tree representation with a constant representation for full trees to reduce the overhead of manipulating trees or subtress with all bits set. cpnanopass.ss - tree-for-each now takes start and end offsets; this cuts the cost of traversing and applying the action when the range of applicable offsets is other than 0..tree-size. cpnanopass.ss - introduced the notion of poison variables to reduce the cost of register/frame allocation for procedures with large sets of local variables. When the number of local variables exceeds a given limit (currently hardwired to 1000), each variable with a large live range is considered poison. A reasonable set of variables with large live ranges (the set of poison variables) is computed by successive approximation to avoid excessive overhead. Poison variables directly conflict with all spillables, and all non-poison spillables indirectly conflict with all poison spillables through a shared poison-cset. Thus poison variables cannot live in the same location as any other variable, i.e., they poison the location. Conflicts between frame locations and poison variables are handled normally, which allows poison variables to be assigned to move-related frame homes. Poison variables are spilled prior to register allocation, so conflicts between registers and poison variables are not represented. move relations between poison variables and frame variables are recorded as usual, but other move relations involving poison variables are not recorded. cpnanopass.ss, np-languages.ss - changed the way a uvar's degree is decremented by remove-victim!. instead of checking for a conflict between each pair of victim and keeper and decrementing when the conflict is found, remove-victim! now decrements the degree of each var in each victim's conflict set. while this might decrement other victims' degrees unnecessarily, it can be much less expensive when large numbers of variables are involved, since the number of conflicts between two non-poison variables should be small due to the selection process for (non-)poison variables and the fact that the unspillables introduced by instruction selection should also have few conflicts. That is, it reduces the worst-case complexity of decrementing degrees from O(n^2) to O(n). cpnanopass.ss - took advice in compute-degree! comment to increment the uvars in each registers csets rather than looping over the registers for each uvar asking whether the register conflicts with the uvar. cpnanopass.ss - assign-new-frame! now zeros out save-weight for local saves, since once they are explicitly saved and restored, they are no longer call-live and thus have no save cost. cpnanopass.ss - desensitized the let-values source-caching timing test slightly 8.ms - updated allx, bullyx patches patch* original commit: 3a49d0193ae57b8e31ec6a00b5b49db31a52373f
This commit is contained in:
parent
8d5ba12887
commit
983e8b6c00
76
LOG
76
LOG
|
@ -645,4 +645,78 @@
|
|||
makefiles/Makefile-release_notes.in
|
||||
(renamed from release_notes/Makefile),
|
||||
makefiles/Makefile
|
||||
|
||||
- added pass-time tracking for pre-cpnanopass passes to compile.
|
||||
compile.ss
|
||||
- added inline handler for fxdiv-and-mod
|
||||
cp0.ss, primdata.ss
|
||||
- changed order in which return-point operations are done (adjust
|
||||
sfp first, then store return values, then restore local saves) to
|
||||
avoid storing return values to homes beyond the end of the stack
|
||||
in cases where adjusting sfp might result in a call to dooverflood.
|
||||
cpnanopass.ss, np-languages.ss
|
||||
- removed unused {make-,}asm-return-registers bindings
|
||||
cpnanopass.ss
|
||||
- corrected the max-fv value field of the lambda produced by the
|
||||
hand-coded bytevector=? handler.
|
||||
cpnanopass.ss
|
||||
- reduced live-pointer and inspector free-variable mask computation
|
||||
overhead for live masks.
|
||||
cpnanopass.ss
|
||||
- moved regvec cset copies to driver so they aren't copied each
|
||||
time a uvar is assigned to a register. removed checks for
|
||||
missing register csets, since registers always have csets.
|
||||
cpnanopass.ss
|
||||
- added closure-rep else clause in record-inspector-information!.
|
||||
cpnanopass.ss
|
||||
- augmented tree representation with a constant representation
|
||||
for full trees to reduce the overhead of manipulating trees or
|
||||
subtress with all bits set.
|
||||
cpnanopass.ss
|
||||
- tree-for-each now takes start and end offsets; this cuts the
|
||||
cost of traversing and applying the action when the range of
|
||||
applicable offsets is other than 0..tree-size.
|
||||
cpnanopass.ss
|
||||
- introduced the notion of poison variables to reduce the cost of
|
||||
register/frame allocation for procedures with large sets of local
|
||||
variables. When the number of local variables exceeds a given
|
||||
limit (currently hardwired to 1000), each variable with a large
|
||||
live range is considered poison. A reasonable set of variables
|
||||
with large live ranges (the set of poison variables) is computed
|
||||
by successive approximation to avoid excessive overhead. Poison
|
||||
variables directly conflict with all spillables, and all non-poison
|
||||
spillables indirectly conflict with all poison spillables through
|
||||
a shared poison-cset. Thus poison variables cannot live in the
|
||||
same location as any other variable, i.e., they poison the location.
|
||||
Conflicts between frame locations and poison variables are handled
|
||||
normally, which allows poison variables to be assigned to
|
||||
move-related frame homes. Poison variables are spilled prior to
|
||||
register allocation, so conflicts between registers and poison
|
||||
variables are not represented. move relations between poison
|
||||
variables and frame variables are recorded as usual, but other
|
||||
move relations involving poison variables are not recorded.
|
||||
cpnanopass.ss, np-languages.ss
|
||||
- changed the way a uvar's degree is decremented by remove-victim!.
|
||||
instead of checking for a conflict between each pair of victim
|
||||
and keeper and decrementing when the conflict is found, remove-victim!
|
||||
now decrements the degree of each var in each victim's conflict
|
||||
set. while this might decrement other victims' degrees unnecessarily,
|
||||
it can be much less expensive when large numbers of variables are
|
||||
involved, since the number of conflicts between two non-poison
|
||||
variables should be small due to the selection process for
|
||||
(non-)poison variables and the fact that the unspillables introduced
|
||||
by instruction selection should also have few conflicts. That
|
||||
is, it reduces the worst-case complexity of decrementing degrees
|
||||
from O(n^2) to O(n).
|
||||
cpnanopass.ss
|
||||
- took advice in compute-degree! comment to increment the uvars in
|
||||
each registers csets rather than looping over the registers for
|
||||
each uvar asking whether the register conflicts with the uvar.
|
||||
cpnanopass.ss
|
||||
- assign-new-frame! now zeros out save-weight for local saves, since
|
||||
once they are explicitly saved and restored, they are no longer
|
||||
call-live and thus have no save cost.
|
||||
cpnanopass.ss
|
||||
- desensitized the let-values source-caching timing test slightly
|
||||
8.ms
|
||||
- updated allx, bullyx patches
|
||||
patch*
|
||||
|
|
|
@ -11094,7 +11094,7 @@
|
|||
(pretty-print (make-expr n)))
|
||||
'truncate)
|
||||
(let ([start (current-time)])
|
||||
(load "testfile.ss")
|
||||
(load "testfile.ss" expand)
|
||||
(let ([delta (time-difference (current-time) start)])
|
||||
(+ (time-second delta)
|
||||
(* 1e-9 (time-nanosecond delta))))))
|
||||
|
@ -11102,7 +11102,7 @@
|
|||
(let loop ([tries 3])
|
||||
(when (zero? tries)
|
||||
(error 'source-cache-test "loading lots of `let-values` forms seems to take too long"))
|
||||
(or (> (* 20 (time-expr 100))
|
||||
(or (> (* 30 (time-expr 100))
|
||||
(time-expr 1000))
|
||||
(loop (sub1 tries)))))
|
||||
|
||||
|
|
|
@ -1,7 +1,49 @@
|
|||
*** errors-compile-0-f-f-f 2017-06-06 15:52:54.089820649 -0400
|
||||
--- errors-compile-0-f-f-t 2017-06-06 15:55:15.167428881 -0400
|
||||
*** errors-compile-0-f-f-f 2017-10-26 23:57:58.000000000 -0400
|
||||
--- errors-compile-0-f-f-t 2017-10-27 00:08:47.000000000 -0400
|
||||
***************
|
||||
*** 8461,8473 ****
|
||||
*** 3631,3637 ****
|
||||
misc.mo:Expected error in mat compute-composition: "compute-composition: invalid generation -1".
|
||||
misc.mo:Expected error in mat compute-composition: "compute-composition: invalid generation "static"".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: 17 is not a procedure".
|
||||
! misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation 5".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation oldgen".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation -1".
|
||||
misc.mo:Expected error in mat make-object-finder: "incorrect number of arguments to #<procedure find-next>".
|
||||
--- 3631,3637 ----
|
||||
misc.mo:Expected error in mat compute-composition: "compute-composition: invalid generation -1".
|
||||
misc.mo:Expected error in mat compute-composition: "compute-composition: invalid generation "static"".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: 17 is not a procedure".
|
||||
! misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation 7".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation oldgen".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation -1".
|
||||
misc.mo:Expected error in mat make-object-finder: "incorrect number of arguments to #<procedure find-next>".
|
||||
***************
|
||||
*** 7113,7123 ****
|
||||
7.mo:Expected error in mat sstats: "set-sstats-gc-bytes!: twelve is not an exact integer".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation yuk".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation -1".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 5".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation <int>".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation #f".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 5".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 5".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
--- 7113,7123 ----
|
||||
7.mo:Expected error in mat sstats: "set-sstats-gc-bytes!: twelve is not an exact integer".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation yuk".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation -1".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 7".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation <int>".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation #f".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 7".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 7".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
***************
|
||||
*** 8523,8535 ****
|
||||
fx.mo:Expected error in mat r6rs:fx-: "fx-: #f is not a fixnum".
|
||||
fx.mo:Expected error in mat r6rs:fx-: "fx-: #f is not a fixnum".
|
||||
fx.mo:Expected error in mat fx*: "fx*: (a . b) is not a fixnum".
|
||||
|
@ -15,7 +57,7 @@
|
|||
fx.mo:Expected error in mat r6rs:fx*: "fx*: <int> is not a fixnum".
|
||||
fx.mo:Expected error in mat r6rs:fx*: "fx*: <-int> is not a fixnum".
|
||||
fx.mo:Expected error in mat r6rs:fx*: "fx*: #f is not a fixnum".
|
||||
--- 8461,8473 ----
|
||||
--- 8523,8535 ----
|
||||
fx.mo:Expected error in mat r6rs:fx-: "fx-: #f is not a fixnum".
|
||||
fx.mo:Expected error in mat r6rs:fx-: "fx-: #f is not a fixnum".
|
||||
fx.mo:Expected error in mat fx*: "fx*: (a . b) is not a fixnum".
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-0-f-f-f 2017-10-13 12:34:00.000000000 -0400
|
||||
--- errors-compile-0-f-t-f 2017-10-13 11:59:38.000000000 -0400
|
||||
*** errors-compile-0-f-f-f 2017-10-27 11:03:39.000000000 -0400
|
||||
--- errors-compile-0-f-t-f 2017-10-27 10:30:43.000000000 -0400
|
||||
***************
|
||||
*** 125,131 ****
|
||||
3.mo:Expected error in mat dipa-letrec: "attempt to reference undefined variable a".
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-0-f-f-f 2017-10-13 12:34:00.000000000 -0400
|
||||
--- errors-compile-0-t-f-f 2017-10-13 12:07:22.000000000 -0400
|
||||
*** errors-compile-0-f-f-f 2017-10-27 11:03:39.000000000 -0400
|
||||
--- errors-compile-0-t-f-f 2017-10-27 10:38:13.000000000 -0400
|
||||
***************
|
||||
*** 93,99 ****
|
||||
3.mo:Expected error in mat case-lambda: "incorrect number of arguments to #<procedure foo>".
|
||||
|
|
|
@ -0,0 +1,44 @@
|
|||
*** errors-compile-0-t-f-f 2017-10-27 00:19:35.000000000 -0400
|
||||
--- errors-compile-0-t-f-t 2017-10-27 00:02:11.000000000 -0400
|
||||
***************
|
||||
*** 3631,3637 ****
|
||||
misc.mo:Expected error in mat compute-composition: "compute-composition: invalid generation -1".
|
||||
misc.mo:Expected error in mat compute-composition: "compute-composition: invalid generation "static"".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: 17 is not a procedure".
|
||||
! misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation 5".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation oldgen".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation -1".
|
||||
misc.mo:Expected error in mat make-object-finder: "incorrect number of arguments to #<procedure find-next>".
|
||||
--- 3631,3637 ----
|
||||
misc.mo:Expected error in mat compute-composition: "compute-composition: invalid generation -1".
|
||||
misc.mo:Expected error in mat compute-composition: "compute-composition: invalid generation "static"".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: 17 is not a procedure".
|
||||
! misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation 2".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation oldgen".
|
||||
misc.mo:Expected error in mat make-object-finder: "make-object-finder: invalid generation -1".
|
||||
misc.mo:Expected error in mat make-object-finder: "incorrect number of arguments to #<procedure find-next>".
|
||||
***************
|
||||
*** 7113,7123 ****
|
||||
7.mo:Expected error in mat sstats: "set-sstats-gc-bytes!: twelve is not an exact integer".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation yuk".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation -1".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 5".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation <int>".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation #f".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 5".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 5".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
--- 7113,7123 ----
|
||||
7.mo:Expected error in mat sstats: "set-sstats-gc-bytes!: twelve is not an exact integer".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation yuk".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation -1".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 2".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation <int>".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation #f".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 2".
|
||||
! 7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid generation 2".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-0-t-f-f 2017-06-06 16:02:22.028311707 -0400
|
||||
--- errors-compile-0-t-t-f 2017-06-06 16:07:14.499665698 -0400
|
||||
*** errors-compile-0-t-f-f 2017-10-27 00:19:35.000000000 -0400
|
||||
--- errors-compile-0-t-t-f 2017-10-27 00:13:23.000000000 -0400
|
||||
***************
|
||||
*** 144,150 ****
|
||||
3.mo:Expected error in mat cpvalid: "attempt to reference undefined variable b".
|
||||
|
@ -18,7 +18,7 @@
|
|||
3.mo:Expected error in mat cpvalid: "attempt to reference undefined variable c".
|
||||
3.mo:Expected warning in mat cpvalid: "possible attempt to reference undefined variable x".
|
||||
***************
|
||||
*** 3645,3651 ****
|
||||
*** 3673,3679 ****
|
||||
misc.mo:Expected error in mat cpletrec: "foreign-procedure: no entry for "foo"".
|
||||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable q".
|
||||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable bar".
|
||||
|
@ -26,7 +26,7 @@
|
|||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable b".
|
||||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable b".
|
||||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable a".
|
||||
--- 3645,3651 ----
|
||||
--- 3673,3679 ----
|
||||
misc.mo:Expected error in mat cpletrec: "foreign-procedure: no entry for "foo"".
|
||||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable q".
|
||||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable bar".
|
||||
|
@ -35,7 +35,7 @@
|
|||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable b".
|
||||
misc.mo:Expected error in mat cpletrec: "attempt to reference undefined variable a".
|
||||
***************
|
||||
*** 7095,7102 ****
|
||||
*** 7123,7130 ****
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat error: "a: hit me!".
|
||||
7.mo:Expected error in mat error: "f: n is 0".
|
||||
|
@ -44,7 +44,7 @@
|
|||
record.mo:Expected error in mat record2: "invalid value 3 for foreign type double-float".
|
||||
record.mo:Expected error in mat record2: "3 is not of type #<record type fudge>".
|
||||
record.mo:Expected error in mat record2: "make-record-type: invalid field list ((immutable double-float a) . b)".
|
||||
--- 7095,7102 ----
|
||||
--- 7123,7130 ----
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat error: "a: hit me!".
|
||||
7.mo:Expected error in mat error: "f: n is 0".
|
||||
|
@ -54,7 +54,7 @@
|
|||
record.mo:Expected error in mat record2: "3 is not of type #<record type fudge>".
|
||||
record.mo:Expected error in mat record2: "make-record-type: invalid field list ((immutable double-float a) . b)".
|
||||
***************
|
||||
*** 7104,7118 ****
|
||||
*** 7132,7146 ****
|
||||
record.mo:Expected error in mat type-descriptor: "invalid syntax (type-descriptor 3)".
|
||||
record.mo:Expected error in mat type-descriptor: "type-descriptor: unrecognized record car".
|
||||
record.mo:Expected error in mat record3: "variable set-fudge-a! is not bound".
|
||||
|
@ -70,7 +70,7 @@
|
|||
record.mo:Expected error in mat record9: "record-reader: invalid input #f".
|
||||
record.mo:Expected error in mat record9: "record-reader: invalid second argument fudge".
|
||||
record.mo:Expected error in mat record9: "record-reader: invalid second argument fudge".
|
||||
--- 7104,7118 ----
|
||||
--- 7132,7146 ----
|
||||
record.mo:Expected error in mat type-descriptor: "invalid syntax (type-descriptor 3)".
|
||||
record.mo:Expected error in mat type-descriptor: "type-descriptor: unrecognized record car".
|
||||
record.mo:Expected error in mat record3: "variable set-fudge-a! is not bound".
|
||||
|
@ -87,7 +87,7 @@
|
|||
record.mo:Expected error in mat record9: "record-reader: invalid second argument fudge".
|
||||
record.mo:Expected error in mat record9: "record-reader: invalid second argument fudge".
|
||||
***************
|
||||
*** 7125,7150 ****
|
||||
*** 7153,7178 ****
|
||||
record.mo:Expected error in mat record10: "read: unresolvable cycle constructing record of type #<record type bar> at char 3 of #<input port string>".
|
||||
record.mo:Expected error in mat record16: "read: unresolvable cycle constructing record of type #<record type bazar> at char 3 of #<input port string>".
|
||||
record.mo:Expected error in mat record16: "read: unresolvable cycle constructing record of type #<record type bazar> at char 3 of #<input port string>".
|
||||
|
@ -114,7 +114,7 @@
|
|||
record.mo:Expected error in mat foreign-data: "foreign-alloc: 0 is not a positive fixnum".
|
||||
record.mo:Expected error in mat foreign-data: "foreign-alloc: <int> is not a positive fixnum".
|
||||
record.mo:Expected error in mat foreign-data: "foreign-alloc: -5 is not a positive fixnum".
|
||||
--- 7125,7150 ----
|
||||
--- 7153,7178 ----
|
||||
record.mo:Expected error in mat record10: "read: unresolvable cycle constructing record of type #<record type bar> at char 3 of #<input port string>".
|
||||
record.mo:Expected error in mat record16: "read: unresolvable cycle constructing record of type #<record type bazar> at char 3 of #<input port string>".
|
||||
record.mo:Expected error in mat record16: "read: unresolvable cycle constructing record of type #<record type bazar> at char 3 of #<input port string>".
|
||||
|
@ -142,7 +142,7 @@
|
|||
record.mo:Expected error in mat foreign-data: "foreign-alloc: <int> is not a positive fixnum".
|
||||
record.mo:Expected error in mat foreign-data: "foreign-alloc: -5 is not a positive fixnum".
|
||||
***************
|
||||
*** 7275,7313 ****
|
||||
*** 7303,7341 ****
|
||||
record.mo:Expected error in mat record22: "invalid field specifier (immutable creepy q)".
|
||||
record.mo:Expected error in mat record22: "invalid field specifier (immutable creepy q)".
|
||||
record.mo:Expected error in mat record23: "make-record-type: cannot extend sealed record type #<record type foo>".
|
||||
|
@ -182,7 +182,7 @@
|
|||
record.mo:Expected error in mat record?: "record?: 4 is not a record type descriptor".
|
||||
record.mo:Expected error in mat record?: "record?: a is not a record type descriptor".
|
||||
record.mo:Expected error in mat record?: "record?: #(1) is not a record type descriptor".
|
||||
--- 7275,7313 ----
|
||||
--- 7303,7341 ----
|
||||
record.mo:Expected error in mat record22: "invalid field specifier (immutable creepy q)".
|
||||
record.mo:Expected error in mat record22: "invalid field specifier (immutable creepy q)".
|
||||
record.mo:Expected error in mat record23: "make-record-type: cannot extend sealed record type #<record type foo>".
|
||||
|
@ -223,7 +223,7 @@
|
|||
record.mo:Expected error in mat record?: "record?: a is not a record type descriptor".
|
||||
record.mo:Expected error in mat record?: "record?: #(1) is not a record type descriptor".
|
||||
***************
|
||||
*** 7333,7368 ****
|
||||
*** 7361,7396 ****
|
||||
record.mo:Expected error in mat r6rs-records-procedural: "make-record-constructor-descriptor: record constructor descriptor #<record constructor descriptor> is not for parent of record type #<record type grand-child>".
|
||||
record.mo:Expected error in mat r6rs-records-procedural: "make-record-type-descriptor: cannot extend sealed record type #<record type bar>".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "invalid syntax point".
|
||||
|
@ -260,7 +260,7 @@
|
|||
record.mo:Expected error in mat r6rs-records-syntactic: "record-rtd: #<ex3> is not a record".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "record-rtd: #<ex3> is not a record".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "parent record type is sealed ex3".
|
||||
--- 7333,7368 ----
|
||||
--- 7361,7396 ----
|
||||
record.mo:Expected error in mat r6rs-records-procedural: "make-record-constructor-descriptor: record constructor descriptor #<record constructor descriptor> is not for parent of record type #<record type grand-child>".
|
||||
record.mo:Expected error in mat r6rs-records-procedural: "make-record-type-descriptor: cannot extend sealed record type #<record type bar>".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "invalid syntax point".
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-0-f-f-f 2017-10-13 12:34:00.000000000 -0400
|
||||
--- errors-interpret-0-f-f-f 2017-10-13 12:15:36.000000000 -0400
|
||||
*** errors-compile-0-f-f-f 2017-10-27 11:03:39.000000000 -0400
|
||||
--- errors-interpret-0-f-f-f 2017-10-27 10:46:02.000000000 -0400
|
||||
***************
|
||||
*** 1,7 ****
|
||||
primvars.mo:Expected error in mat make-parameter: "make-parameter: 2 is not a procedure".
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-0-f-t-f 2017-10-13 11:59:38.000000000 -0400
|
||||
--- errors-interpret-0-f-t-f 2017-10-13 12:23:52.000000000 -0400
|
||||
*** errors-compile-0-f-t-f 2017-10-27 10:30:43.000000000 -0400
|
||||
--- errors-interpret-0-f-t-f 2017-10-27 10:54:02.000000000 -0400
|
||||
***************
|
||||
*** 1,7 ****
|
||||
primvars.mo:Expected error in mat make-parameter: "make-parameter: 2 is not a procedure".
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-0-t-f-f 2017-06-06 16:02:22.028311707 -0400
|
||||
--- errors-interpret-0-t-f-f 2017-06-06 17:00:22.766486846 -0400
|
||||
*** errors-compile-0-t-f-f 2017-10-27 00:19:35.000000000 -0400
|
||||
--- errors-interpret-0-t-f-f 2017-10-27 01:28:06.000000000 -0400
|
||||
***************
|
||||
*** 1,7 ****
|
||||
primvars.mo:Expected error in mat make-parameter: "make-parameter: 2 is not a procedure".
|
||||
|
@ -169,7 +169,7 @@
|
|||
3.mo:Expected error in mat letrec: "variable f is not bound".
|
||||
3.mo:Expected error in mat letrec: "attempt to reference undefined variable a".
|
||||
***************
|
||||
*** 4004,4019 ****
|
||||
*** 4032,4047 ****
|
||||
6.mo:Expected error in mat pretty-print: "incorrect number of arguments to #<procedure pretty-format>".
|
||||
6.mo:Expected error in mat pretty-print: "pretty-format: 3 is not a symbol".
|
||||
6.mo:Expected error in mat pretty-print: "pretty-format: invalid format (bad 0 ... ... 0 format)".
|
||||
|
@ -186,9 +186,9 @@
|
|||
6.mo:Expected warning in mat cp1in-verify-format-warnings: "compile: too few arguments for control string "abc~s" in call to fprintf at line 1, char 29 of testfile.ss".
|
||||
6.mo:Expected warning in mat cp1in-verify-format-warnings: "compile: too many arguments for control string "~%~abc~adef~ag~s~~~%" in call to fprintf at line 1, char 29 of testfile.ss".
|
||||
6.mo:Expected error in mat print-parameters: "write: cycle detected; proceeding with (print-graph #t)".
|
||||
--- 4010,4019 ----
|
||||
--- 4038,4047 ----
|
||||
***************
|
||||
*** 6959,6965 ****
|
||||
*** 6987,6993 ****
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in include: failed for testfile-mc-1a.ss: no such file or directory
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in maybe-compile-library: failed for "testfile-mc-1a.ss": no such file or directory
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in maybe-compile-library: file "testfile-mc-1a.ss" not found in source directories
|
||||
|
@ -196,7 +196,7 @@
|
|||
7.mo:Expected error in mat eval: "interpret: 7 is not an environment".
|
||||
7.mo:Expected error in mat eval: "compile: 7 is not an environment".
|
||||
7.mo:Expected error in mat expand: "sc-expand: 7 is not an environment".
|
||||
--- 6959,6965 ----
|
||||
--- 6987,6993 ----
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in include: failed for testfile-mc-1a.ss: no such file or directory
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in maybe-compile-library: failed for "testfile-mc-1a.ss": no such file or directory
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in maybe-compile-library: file "testfile-mc-1a.ss" not found in source directories
|
||||
|
@ -205,7 +205,7 @@
|
|||
7.mo:Expected error in mat eval: "compile: 7 is not an environment".
|
||||
7.mo:Expected error in mat expand: "sc-expand: 7 is not an environment".
|
||||
***************
|
||||
*** 7286,7292 ****
|
||||
*** 7314,7320 ****
|
||||
record.mo:Expected error in mat record25: "invalid value #\9 for foreign type uptr".
|
||||
record.mo:Expected error in mat record25: "invalid value 10 for foreign type float".
|
||||
record.mo:Expected error in mat record25: "invalid value 11.0+0.0i for foreign type double".
|
||||
|
@ -213,7 +213,7 @@
|
|||
record.mo:Expected error in mat record25: "invalid value 12.0 for foreign type long-long".
|
||||
record.mo:Expected error in mat record25: "invalid value 13.0 for foreign type unsigned-long-long".
|
||||
record.mo:Expected error in mat record25: "invalid value 3.0 for foreign type int".
|
||||
--- 7286,7292 ----
|
||||
--- 7314,7320 ----
|
||||
record.mo:Expected error in mat record25: "invalid value #\9 for foreign type uptr".
|
||||
record.mo:Expected error in mat record25: "invalid value 10 for foreign type float".
|
||||
record.mo:Expected error in mat record25: "invalid value 11.0+0.0i for foreign type double".
|
||||
|
@ -222,7 +222,7 @@
|
|||
record.mo:Expected error in mat record25: "invalid value 13.0 for foreign type unsigned-long-long".
|
||||
record.mo:Expected error in mat record25: "invalid value 3.0 for foreign type int".
|
||||
***************
|
||||
*** 9224,9248 ****
|
||||
*** 9286,9310 ****
|
||||
foreign.mo:Expected error in mat foreign-procedure: "foreign-procedure: invalid foreign procedure handle foo".
|
||||
foreign.mo:Expected error in mat foreign-procedure: "foreign-procedure: invalid foreign procedure handle foo".
|
||||
foreign.mo:Expected error in mat foreign-procedure: "foreign-procedure: invalid foreign procedure handle foo".
|
||||
|
@ -248,7 +248,7 @@
|
|||
foreign.mo:Expected error in mat foreign-procedure: "invalid foreign-procedure argument type specifier booleen".
|
||||
foreign.mo:Expected error in mat foreign-procedure: "invalid foreign-procedure argument type specifier integer-34".
|
||||
foreign.mo:Expected error in mat foreign-procedure: "invalid foreign-procedure result type specifier chare".
|
||||
--- 9224,9248 ----
|
||||
--- 9286,9310 ----
|
||||
foreign.mo:Expected error in mat foreign-procedure: "foreign-procedure: invalid foreign procedure handle foo".
|
||||
foreign.mo:Expected error in mat foreign-procedure: "foreign-procedure: invalid foreign procedure handle foo".
|
||||
foreign.mo:Expected error in mat foreign-procedure: "foreign-procedure: invalid foreign procedure handle foo".
|
||||
|
@ -275,7 +275,7 @@
|
|||
foreign.mo:Expected error in mat foreign-procedure: "invalid foreign-procedure argument type specifier integer-34".
|
||||
foreign.mo:Expected error in mat foreign-procedure: "invalid foreign-procedure result type specifier chare".
|
||||
***************
|
||||
*** 9255,9286 ****
|
||||
*** 9317,9348 ****
|
||||
foreign.mo:Expected error in mat foreign-sizeof: "incorrect number of arguments to #<procedure foreign-sizeof>".
|
||||
foreign.mo:Expected error in mat foreign-sizeof: "foreign-sizeof: invalid foreign type specifier i-am-not-a-type".
|
||||
foreign.mo:Expected error in mat foreign-sizeof: "foreign-sizeof: invalid foreign type specifier 1".
|
||||
|
@ -308,7 +308,7 @@
|
|||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
--- 9255,9286 ----
|
||||
--- 9317,9348 ----
|
||||
foreign.mo:Expected error in mat foreign-sizeof: "incorrect number of arguments to #<procedure foreign-sizeof>".
|
||||
foreign.mo:Expected error in mat foreign-sizeof: "foreign-sizeof: invalid foreign type specifier i-am-not-a-type".
|
||||
foreign.mo:Expected error in mat foreign-sizeof: "foreign-sizeof: invalid foreign type specifier 1".
|
||||
|
@ -342,7 +342,7 @@
|
|||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
***************
|
||||
*** 9288,9313 ****
|
||||
*** 9350,9375 ****
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
|
@ -369,7 +369,7 @@
|
|||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
--- 9288,9313 ----
|
||||
--- 9350,9375 ----
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-strings: "foreign-callable: invalid return value ("ello" 4) from #<procedure>".
|
||||
|
@ -397,7 +397,7 @@
|
|||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
***************
|
||||
*** 9318,9352 ****
|
||||
*** 9380,9414 ****
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
|
@ -433,7 +433,7 @@
|
|||
foreign.mo:Expected error in mat foreign-C-types: "foreign-callable: invalid return value (73 74) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-C-types: "foreign-callable: invalid return value (73 74) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-C-types: "foreign-callable: invalid return value (73 74) from #<procedure>".
|
||||
--- 9318,9352 ----
|
||||
--- 9380,9414 ----
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-fixed-types: "foreign-callable: invalid return value (- x 7) from #<procedure>".
|
||||
|
@ -470,7 +470,7 @@
|
|||
foreign.mo:Expected error in mat foreign-C-types: "foreign-callable: invalid return value (73 74) from #<procedure>".
|
||||
foreign.mo:Expected error in mat foreign-C-types: "foreign-callable: invalid return value (73 74) from #<procedure>".
|
||||
***************
|
||||
*** 9939,9948 ****
|
||||
*** 10001,10010 ****
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (memq (quote b) (quote (1 2 a 3 4)))".
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (q ...)".
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (andmap symbol? (syntax (x ...)))".
|
||||
|
@ -481,7 +481,7 @@
|
|||
oop.mo:Expected error in mat oop: "m1: not applicable to 17".
|
||||
oop.mo:Expected error in mat oop: "variable <a>-x1 is not bound".
|
||||
oop.mo:Expected error in mat oop: "variable <a>-x1-set! is not bound".
|
||||
--- 9939,9948 ----
|
||||
--- 10001,10010 ----
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (memq (quote b) (quote (1 2 a 3 4)))".
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (q ...)".
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (andmap symbol? (syntax (x ...)))".
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-0-t-t-f 2017-06-06 16:07:14.499665698 -0400
|
||||
--- errors-interpret-0-t-t-f 2017-06-06 17:05:55.514674822 -0400
|
||||
*** errors-compile-0-t-t-f 2017-10-27 00:13:23.000000000 -0400
|
||||
--- errors-interpret-0-t-t-f 2017-10-27 01:33:39.000000000 -0400
|
||||
***************
|
||||
*** 1,7 ****
|
||||
primvars.mo:Expected error in mat make-parameter: "make-parameter: 2 is not a procedure".
|
||||
|
@ -169,7 +169,7 @@
|
|||
3.mo:Expected error in mat letrec: "variable f is not bound".
|
||||
3.mo:Expected error in mat letrec: "attempt to reference undefined variable a".
|
||||
***************
|
||||
*** 4004,4019 ****
|
||||
*** 4032,4047 ****
|
||||
6.mo:Expected error in mat pretty-print: "incorrect number of arguments to #<procedure pretty-format>".
|
||||
6.mo:Expected error in mat pretty-print: "pretty-format: 3 is not a symbol".
|
||||
6.mo:Expected error in mat pretty-print: "pretty-format: invalid format (bad 0 ... ... 0 format)".
|
||||
|
@ -186,9 +186,9 @@
|
|||
6.mo:Expected warning in mat cp1in-verify-format-warnings: "compile: too few arguments for control string "abc~s" in call to fprintf at line 1, char 29 of testfile.ss".
|
||||
6.mo:Expected warning in mat cp1in-verify-format-warnings: "compile: too many arguments for control string "~%~abc~adef~ag~s~~~%" in call to fprintf at line 1, char 29 of testfile.ss".
|
||||
6.mo:Expected error in mat print-parameters: "write: cycle detected; proceeding with (print-graph #t)".
|
||||
--- 4010,4019 ----
|
||||
--- 4038,4047 ----
|
||||
***************
|
||||
*** 6959,6965 ****
|
||||
*** 6987,6993 ****
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in include: failed for testfile-mc-1a.ss: no such file or directory
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in maybe-compile-library: failed for "testfile-mc-1a.ss": no such file or directory
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in maybe-compile-library: file "testfile-mc-1a.ss" not found in source directories
|
||||
|
@ -196,7 +196,7 @@
|
|||
7.mo:Expected error in mat eval: "interpret: 7 is not an environment".
|
||||
7.mo:Expected error in mat eval: "compile: 7 is not an environment".
|
||||
7.mo:Expected error in mat expand: "sc-expand: 7 is not an environment".
|
||||
--- 6959,6965 ----
|
||||
--- 6987,6993 ----
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in include: failed for testfile-mc-1a.ss: no such file or directory
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in maybe-compile-library: failed for "testfile-mc-1a.ss": no such file or directory
|
||||
7.mo:Expected error in mat maybe-compile: "separate-compile: Exception in maybe-compile-library: file "testfile-mc-1a.ss" not found in source directories
|
||||
|
@ -205,7 +205,7 @@
|
|||
7.mo:Expected error in mat eval: "compile: 7 is not an environment".
|
||||
7.mo:Expected error in mat expand: "sc-expand: 7 is not an environment".
|
||||
***************
|
||||
*** 7095,7102 ****
|
||||
*** 7123,7130 ****
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat error: "a: hit me!".
|
||||
7.mo:Expected error in mat error: "f: n is 0".
|
||||
|
@ -214,7 +214,7 @@
|
|||
record.mo:Expected error in mat record2: "invalid value 3 for foreign type double-float".
|
||||
record.mo:Expected error in mat record2: "3 is not of type #<record type fudge>".
|
||||
record.mo:Expected error in mat record2: "make-record-type: invalid field list ((immutable double-float a) . b)".
|
||||
--- 7095,7102 ----
|
||||
--- 7123,7130 ----
|
||||
7.mo:Expected error in mat bytes-allocated: "bytes-allocated: invalid space gnu".
|
||||
7.mo:Expected error in mat error: "a: hit me!".
|
||||
7.mo:Expected error in mat error: "f: n is 0".
|
||||
|
@ -224,7 +224,7 @@
|
|||
record.mo:Expected error in mat record2: "3 is not of type #<record type fudge>".
|
||||
record.mo:Expected error in mat record2: "make-record-type: invalid field list ((immutable double-float a) . b)".
|
||||
***************
|
||||
*** 7104,7118 ****
|
||||
*** 7132,7146 ****
|
||||
record.mo:Expected error in mat type-descriptor: "invalid syntax (type-descriptor 3)".
|
||||
record.mo:Expected error in mat type-descriptor: "type-descriptor: unrecognized record car".
|
||||
record.mo:Expected error in mat record3: "variable set-fudge-a! is not bound".
|
||||
|
@ -240,7 +240,7 @@
|
|||
record.mo:Expected error in mat record9: "record-reader: invalid input #f".
|
||||
record.mo:Expected error in mat record9: "record-reader: invalid second argument fudge".
|
||||
record.mo:Expected error in mat record9: "record-reader: invalid second argument fudge".
|
||||
--- 7104,7118 ----
|
||||
--- 7132,7146 ----
|
||||
record.mo:Expected error in mat type-descriptor: "invalid syntax (type-descriptor 3)".
|
||||
record.mo:Expected error in mat type-descriptor: "type-descriptor: unrecognized record car".
|
||||
record.mo:Expected error in mat record3: "variable set-fudge-a! is not bound".
|
||||
|
@ -257,7 +257,7 @@
|
|||
record.mo:Expected error in mat record9: "record-reader: invalid second argument fudge".
|
||||
record.mo:Expected error in mat record9: "record-reader: invalid second argument fudge".
|
||||
***************
|
||||
*** 7125,7150 ****
|
||||
*** 7153,7178 ****
|
||||
record.mo:Expected error in mat record10: "read: unresolvable cycle constructing record of type #<record type bar> at char 3 of #<input port string>".
|
||||
record.mo:Expected error in mat record16: "read: unresolvable cycle constructing record of type #<record type bazar> at char 3 of #<input port string>".
|
||||
record.mo:Expected error in mat record16: "read: unresolvable cycle constructing record of type #<record type bazar> at char 3 of #<input port string>".
|
||||
|
@ -284,7 +284,7 @@
|
|||
record.mo:Expected error in mat foreign-data: "foreign-alloc: 0 is not a positive fixnum".
|
||||
record.mo:Expected error in mat foreign-data: "foreign-alloc: <int> is not a positive fixnum".
|
||||
record.mo:Expected error in mat foreign-data: "foreign-alloc: -5 is not a positive fixnum".
|
||||
--- 7125,7150 ----
|
||||
--- 7153,7178 ----
|
||||
record.mo:Expected error in mat record10: "read: unresolvable cycle constructing record of type #<record type bar> at char 3 of #<input port string>".
|
||||
record.mo:Expected error in mat record16: "read: unresolvable cycle constructing record of type #<record type bazar> at char 3 of #<input port string>".
|
||||
record.mo:Expected error in mat record16: "read: unresolvable cycle constructing record of type #<record type bazar> at char 3 of #<input port string>".
|
||||
|
@ -312,7 +312,7 @@
|
|||
record.mo:Expected error in mat foreign-data: "foreign-alloc: <int> is not a positive fixnum".
|
||||
record.mo:Expected error in mat foreign-data: "foreign-alloc: -5 is not a positive fixnum".
|
||||
***************
|
||||
*** 7275,7313 ****
|
||||
*** 7303,7341 ****
|
||||
record.mo:Expected error in mat record22: "invalid field specifier (immutable creepy q)".
|
||||
record.mo:Expected error in mat record22: "invalid field specifier (immutable creepy q)".
|
||||
record.mo:Expected error in mat record23: "make-record-type: cannot extend sealed record type #<record type foo>".
|
||||
|
@ -352,7 +352,7 @@
|
|||
record.mo:Expected error in mat record?: "record?: 4 is not a record type descriptor".
|
||||
record.mo:Expected error in mat record?: "record?: a is not a record type descriptor".
|
||||
record.mo:Expected error in mat record?: "record?: #(1) is not a record type descriptor".
|
||||
--- 7275,7313 ----
|
||||
--- 7303,7341 ----
|
||||
record.mo:Expected error in mat record22: "invalid field specifier (immutable creepy q)".
|
||||
record.mo:Expected error in mat record22: "invalid field specifier (immutable creepy q)".
|
||||
record.mo:Expected error in mat record23: "make-record-type: cannot extend sealed record type #<record type foo>".
|
||||
|
@ -393,7 +393,7 @@
|
|||
record.mo:Expected error in mat record?: "record?: a is not a record type descriptor".
|
||||
record.mo:Expected error in mat record?: "record?: #(1) is not a record type descriptor".
|
||||
***************
|
||||
*** 7333,7368 ****
|
||||
*** 7361,7396 ****
|
||||
record.mo:Expected error in mat r6rs-records-procedural: "make-record-constructor-descriptor: record constructor descriptor #<record constructor descriptor> is not for parent of record type #<record type grand-child>".
|
||||
record.mo:Expected error in mat r6rs-records-procedural: "make-record-type-descriptor: cannot extend sealed record type #<record type bar>".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "invalid syntax point".
|
||||
|
@ -430,7 +430,7 @@
|
|||
record.mo:Expected error in mat r6rs-records-syntactic: "record-rtd: #<ex3> is not a record".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "record-rtd: #<ex3> is not a record".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "parent record type is sealed ex3".
|
||||
--- 7333,7368 ----
|
||||
--- 7361,7396 ----
|
||||
record.mo:Expected error in mat r6rs-records-procedural: "make-record-constructor-descriptor: record constructor descriptor #<record constructor descriptor> is not for parent of record type #<record type grand-child>".
|
||||
record.mo:Expected error in mat r6rs-records-procedural: "make-record-type-descriptor: cannot extend sealed record type #<record type bar>".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "invalid syntax point".
|
||||
|
@ -468,7 +468,7 @@
|
|||
record.mo:Expected error in mat r6rs-records-syntactic: "record-rtd: #<ex3> is not a record".
|
||||
record.mo:Expected error in mat r6rs-records-syntactic: "parent record type is sealed ex3".
|
||||
***************
|
||||
*** 9939,9948 ****
|
||||
*** 10001,10010 ****
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (memq (quote b) (quote (1 2 a 3 4)))".
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (q ...)".
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (andmap symbol? (syntax (x ...)))".
|
||||
|
@ -479,7 +479,7 @@
|
|||
oop.mo:Expected error in mat oop: "m1: not applicable to 17".
|
||||
oop.mo:Expected error in mat oop: "variable <a>-x1 is not bound".
|
||||
oop.mo:Expected error in mat oop: "variable <a>-x1-set! is not bound".
|
||||
--- 9939,9948 ----
|
||||
--- 10001,10010 ----
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (memq (quote b) (quote (1 2 a 3 4)))".
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (q ...)".
|
||||
exceptions.mo:Expected error in mat assert: "failed assertion (andmap symbol? (syntax (x ...)))".
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-3-f-f-f 2017-10-13 11:55:48.000000000 -0400
|
||||
--- errors-interpret-3-f-f-f 2017-10-13 12:40:16.000000000 -0400
|
||||
*** errors-compile-3-f-f-f 2017-10-27 10:26:56.000000000 -0400
|
||||
--- errors-interpret-3-f-f-f 2017-10-27 11:09:29.000000000 -0400
|
||||
***************
|
||||
*** 1,3 ****
|
||||
--- 1,9 ----
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-3-f-t-f 2017-10-13 12:03:19.000000000 -0400
|
||||
--- errors-interpret-3-f-t-f 2017-10-13 12:27:55.000000000 -0400
|
||||
*** errors-compile-3-f-t-f 2017-10-27 10:34:20.000000000 -0400
|
||||
--- errors-interpret-3-f-t-f 2017-10-27 10:57:54.000000000 -0400
|
||||
***************
|
||||
*** 1,3 ****
|
||||
--- 1,9 ----
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-3-t-f-f 2017-06-06 16:40:11.147295805 -0400
|
||||
--- errors-interpret-3-t-f-f 2017-06-06 17:42:49.478165307 -0400
|
||||
*** errors-compile-3-t-f-f 2017-10-27 02:41:58.000000000 -0400
|
||||
--- errors-interpret-3-t-f-f 2017-10-27 03:47:08.000000000 -0400
|
||||
***************
|
||||
*** 1,3 ****
|
||||
--- 1,9 ----
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
*** errors-compile-3-t-t-f 2017-06-06 16:44:51.178581446 -0400
|
||||
--- errors-interpret-3-t-t-f 2017-06-06 17:48:13.954153204 -0400
|
||||
*** errors-compile-3-t-t-f 2017-10-27 02:36:19.000000000 -0400
|
||||
--- errors-interpret-3-t-t-f 2017-10-27 03:52:31.000000000 -0400
|
||||
***************
|
||||
*** 1,3 ****
|
||||
--- 1,9 ----
|
||||
|
|
12
s/compile.ss
12
s/compile.ss
|
@ -1403,20 +1403,20 @@
|
|||
[else (sorry! who "unexpected Lexpand record ~s" ir)]))
|
||||
(unless (environment? env-spec) ($oops who "~s is not an environment" env-spec))
|
||||
((parameterize ([$target-machine (constant machine-type-name)] [$sfd #f])
|
||||
(let* ([x1 (expand-Lexpand (expand x0 env-spec #t))]
|
||||
(let* ([x1 (expand-Lexpand ($pass-time 'expand (lambda () (expand x0 env-spec #t))))]
|
||||
[waste ($uncprep x1 #t)] ; populate preinfo sexpr fields
|
||||
[waste (when (and (expand-output) (not ($noexpand? x0)))
|
||||
(pretty-print ($uncprep x1) (expand-output)))]
|
||||
[x2 ($cpvalid x1)]
|
||||
[x2 ($pass-time 'cpvalid (lambda () ($cpvalid x1)))]
|
||||
[x2a (let ([cpletrec-ran? #f])
|
||||
(let ([x ((run-cp0)
|
||||
(lambda (x)
|
||||
(set! cpletrec-ran? #t)
|
||||
(let ([x ($cp0 x)])
|
||||
($cpletrec x)))
|
||||
(let ([x ($pass-time 'cp0 (lambda () ($cp0 x)))])
|
||||
($pass-time 'cpletrec (lambda () ($cpletrec x)))))
|
||||
x2)])
|
||||
(if cpletrec-ran? x ($cpletrec x))))]
|
||||
[x2b ($cpcheck x2a)])
|
||||
(if cpletrec-ran? x ($pass-time 'cpletrec (lambda () ($cpletrec x))))))]
|
||||
[x2b ($pass-time 'cpcheck (lambda () ($cpcheck x2a)))])
|
||||
(when (and (expand/optimize-output) (not ($noexpand? x0)))
|
||||
(pretty-print ($uncprep x2b) (expand/optimize-output)))
|
||||
(if (and (compile-interpret-simple)
|
||||
|
|
14
s/cp0.ss
14
s/cp0.ss
|
@ -2594,6 +2594,20 @@
|
|||
(define-inline-carry-op fx-/carry -)
|
||||
(define-inline-carry-op fx*/carry (lambda (x y z) (+ (* x y) z))))
|
||||
|
||||
(define-inline 3 fxdiv-and-mod
|
||||
[(x y)
|
||||
(and likely-to-be-compiled?
|
||||
(cp0-constant? (result-exp (value-visit-operand! y)))
|
||||
(cp0
|
||||
(let ([tx (cp0-make-temp #t)] [ty (cp0-make-temp #t)])
|
||||
(let ([refx (build-ref tx)] [refy (build-ref ty)])
|
||||
(build-lambda (list tx ty)
|
||||
(build-primcall 3 'values
|
||||
(list
|
||||
(build-primcall 3 'fxdiv (list refx refy))
|
||||
(build-primcall 3 'fxmod (list refx refy)))))))
|
||||
ctxt empty-env sc wd name moi))])
|
||||
|
||||
(define-inline 2 $top-level-value
|
||||
[(x)
|
||||
(nanopass-case (Lsrc Expr) (result-exp (value-visit-operand! x))
|
||||
|
|
810
s/cpnanopass.ss
810
s/cpnanopass.ss
File diff suppressed because it is too large
Load Diff
|
@ -21,12 +21,13 @@
|
|||
uvar-referenced? uvar-referenced! uvar-assigned? uvar-assigned!
|
||||
uvar-was-closure-ref? uvar-was-closure-ref!
|
||||
uvar-unspillable? uvar-spilled? uvar-spilled! uvar-local-save? uvar-local-save!
|
||||
uvar-seen? uvar-seen! uvar-loop? uvar-loop!
|
||||
uvar-seen? uvar-seen! uvar-loop? uvar-loop! uvar-poison? uvar-poison!
|
||||
uvar-in-prefix? uvar-in-prefix!
|
||||
uvar-location uvar-location-set!
|
||||
uvar-move* uvar-move*-set!
|
||||
uvar-conflict*
|
||||
uvar-ref-weight uvar-ref-weight-set! uvar-save-weight uvar-save-weight-set!
|
||||
uvar-live-count uvar-live-count-set!
|
||||
uvar
|
||||
fv-offset
|
||||
var-spillable-conflict* var-spillable-conflict*-set!
|
||||
|
@ -161,6 +162,7 @@
|
|||
(loop #b00001000000)
|
||||
(in-prefix #b00010000000)
|
||||
(local-save #b00100000000)
|
||||
(poison #b01000000000)
|
||||
)
|
||||
|
||||
(define-record-type (uvar $make-uvar uvar?)
|
||||
|
@ -178,13 +180,14 @@
|
|||
(mutable iii) ; inspector info index
|
||||
(mutable ref-weight) ; must be a fixnum!
|
||||
(mutable save-weight) ; must be a fixnum!
|
||||
(mutable live-count) ; must be a fixnum!
|
||||
)
|
||||
(nongenerative)
|
||||
(sealed #t)
|
||||
(protocol
|
||||
(lambda (pargs->new)
|
||||
(lambda (name source type conflict* flags)
|
||||
((pargs->new) name source type conflict* flags #f #f '() #f #f 0 0)))))
|
||||
((pargs->new) name source type conflict* flags #f #f '() #f #f 0 0 0)))))
|
||||
(define prelex->uvar
|
||||
(lambda (x)
|
||||
($make-uvar (prelex-name x) (prelex-source x) 'ptr '()
|
||||
|
@ -829,6 +832,7 @@
|
|||
(return-point info rpl mrvl (cnfv* ...))
|
||||
(rp-header mrvl fs lpm)
|
||||
(remove-frame info)
|
||||
(restore-local-saves info)
|
||||
(shift-arg reg imm info)
|
||||
(set! lvalue rhs)
|
||||
(inline info effect-prim t* ...) => (inline info effect-prim t* ...)
|
||||
|
@ -949,6 +953,7 @@
|
|||
(return-point info rpl mrvl (cnfv* ...))
|
||||
(rp-header mrvl fs lpm)
|
||||
(remove-frame live-info info)
|
||||
(restore-local-saves live-info info)
|
||||
(shift-arg live-info reg imm info)
|
||||
(set! live-info lvalue rhs)
|
||||
(inline live-info info effect-prim t* ...)
|
||||
|
@ -967,6 +972,7 @@
|
|||
(label (l))))
|
||||
(Effect (e)
|
||||
(- (remove-frame live-info info)
|
||||
(restore-local-saves live-info info)
|
||||
(return-point info rpl mrvl (cnfv* ...))
|
||||
(shift-arg live-info reg imm info)
|
||||
(check-live live-info reg* ...))
|
||||
|
|
|
@ -55,7 +55,7 @@
|
|||
((r6rs: fx*) [sig [(fixnum fixnum) -> (fixnum)]] [flags arith-op partial-folder]) ; restricted to 2 arguments
|
||||
((r6rs: fx+) [sig [(fixnum fixnum) -> (fixnum)]] [flags arith-op partial-folder]) ; restricted to 2 arguments
|
||||
((r6rs: fx-) [sig [(fixnum) (fixnum fixnum) -> (fixnum)]] [flags arith-op partial-folder]) ; restricted to 1 or 2 arguments
|
||||
(fxdiv-and-mod [sig [(fixnum fixnum) -> (fixnum fixnum)]] [flags discard])
|
||||
(fxdiv-and-mod [sig [(fixnum fixnum) -> (fixnum fixnum)]] [flags discard cp03])
|
||||
(fxdiv [sig [(fixnum fixnum) -> (fixnum)]] [flags arith-op cp02])
|
||||
(fxmod [sig [(fixnum fixnum) -> (fixnum)]] [flags arith-op cp02])
|
||||
(fxdiv0-and-mod0 [sig [(fixnum fixnum) -> (fixnum fixnum)]] [flags discard])
|
||||
|
|
Loading…
Reference in New Issue
Block a user