diff options
Diffstat (limited to 'src/ChezScheme/s/primdata.ss')
| -rw-r--r-- | src/ChezScheme/s/primdata.ss | 44 |
1 files changed, 37 insertions, 7 deletions
diff --git a/src/ChezScheme/s/primdata.ss b/src/ChezScheme/s/primdata.ss index a1dec8f61d..2c65a56cbf 100644 --- a/src/ChezScheme/s/primdata.ss +++ b/src/ChezScheme/s/primdata.ss @@ -45,7 +45,7 @@ (fx=? [sig [(fixnum fixnum fixnum ...) -> (boolean)]] [flags pure cp02 safeongoodargs]) ; restricted to 2+ arguments (fx>? [sig [(fixnum fixnum fixnum ...) -> (boolean)]] [flags pure cp02 safeongoodargs]) ; restricted to 2+ arguments (fx>=? [sig [(fixnum fixnum fixnum ...) -> (boolean)]] [flags pure cp02 safeongoodargs]) ; restricted to 2+ arguments - (fxzero? [sig [(fixnum) -> (boolean)]] [flags pure cp02 safeongoodargs]) + (fxzero? [sig [(fixnum) -> (boolean)]] [flags pure cp02 safeongoodargs cptypes2]) (fxnegative? [sig [(fixnum) -> (boolean)]] [flags pure cp02 safeongoodargs]) (fxpositive? [sig [(fixnum) -> (boolean)]] [flags pure cp02 safeongoodargs]) (fxeven? [sig [(fixnum) -> (boolean)]] [flags pure cp02 safeongoodargs]) @@ -201,7 +201,7 @@ ((r6rs: =) [sig [(number number number ...) -> (boolean)]] [flags pure mifoldable discard safeongoodargs ieee r5rs]) ; restricted to 2+ arguments ((r6rs: >) [sig [(real real real ...) -> (boolean)]] [flags pure mifoldable discard safeongoodargs ieee r5rs]) ; restricted to 2+ arguments ((r6rs: >=) [sig [(real real real ...) -> (boolean)]] [flags pure mifoldable discard safeongoodargs ieee r5rs]) ; restricted to 2+ arguments - (zero? [sig [(number) -> (boolean)]] [flags pure mifoldable discard safeongoodargs ieee r5rs]) + (zero? [sig [(number) -> (boolean)]] [flags pure mifoldable discard safeongoodargs cptypes2 ieee r5rs]) (positive? [sig [(real) -> (boolean)]] [flags pure mifoldable discard safeongoodargs ieee r5rs]) (negative? [sig [(real) -> (boolean)]] [flags pure mifoldable discard safeongoodargs ieee r5rs]) (odd? [sig [(integer) -> (boolean)]] [flags pure mifoldable discard safeongoodargs ieee r5rs]) @@ -1044,10 +1044,12 @@ ) (define-symbol-flags* ([libraries] [flags keyword]) + ($lambda/lift-barrier [flags]) ($system [flags library-uid]) (add-prefix [flags]) (alias [flags]) (annotation-options [flags]) + (begin-unsafe [flags]) (case [flags]) (constructor [flags]) (critical-section [flags]) @@ -1334,12 +1336,21 @@ (fl<= [sig [(flonum flonum ...) -> (boolean)]] [flags pure mifoldable discard safeongoodargs unboxed-arguments]) ; not restricted to 2+ arguments (fl> [sig [(flonum flonum ...) -> (boolean)]] [flags pure mifoldable discard safeongoodargs unboxed-arguments]) ; not restricted to 2+ arguments (fl>= [sig [(flonum flonum ...) -> (boolean)]] [flags pure mifoldable discard safeongoodargs unboxed-arguments]) ; not restricted to 2+ arguments + (flvector [sig [(flonum ...) -> (flvector)]] [flags alloc cp02 safeongoodargs]) + (flvector->list [sig [(flvector) -> (list)]] [flags alloc safeongoodargs]) + (flvector-copy [sig [(flvector) -> (flvector)]] [flags alloc safeongoodargs]) + (flvector-fill! [sig [(flvector flonum) -> (void)]] [flags true]) + (flvector-length [sig [(flvector) -> (length)]] [flags pure mifoldable discard true safeongoodargs]) + (flvector-ref [sig [(flvector sub-index) -> (flonum)]] [flags mifoldable discard cp02]) + (flvector-set! [sig [(flvector sub-index flonum) -> (void)]] [flags true]) + (flvector? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (flush-output-port [sig [() (output-port) -> (void)]] [flags true]) ; not restricted to 1 argument (foreign-entry? [sig [(string) -> (boolean)]] [flags discard]) (foreign-entry [sig [(string) -> (uptr)]] [flags discard true]) (foreign-address-name [sig [(uptr/iptr) -> (maybe-string)]] [flags discard]) (foreign-callable-entry-point [sig [(code) -> (uint)]] [flags discard]) (foreign-callable-code-object [sig [(sint) -> (code)]] [flags discard]) + (foreign-alignof [sig [(sub-symbol) -> (fixnum)]] [flags pure true cp02]) (foreign-alloc [sig [(pfixnum) -> (uint)]] [flags discard true]) (foreign-free [sig [(sub-uint) -> (void)]] [flags true]) (foreign-ref [sig [(sub-symbol uptr/iptr uptr/iptr) -> (ptr)]] [flags]) @@ -1356,8 +1367,11 @@ (ftype-pointer-null? [sig [(ftype-pointer) -> (boolean)]] [flags pure mifoldable discard]) (ftype-pointer->sexpr [sig [(ftype-pointer) -> (ptr)]] [flags]) (fx* [sig [(fixnum ...) -> (fixnum)]] [flags arith-op partial-folder]) ; not restricted to 2 arguments + (fx*/wraparound [sig [(fixnum fixnum) -> (fixnum)]] [flags arith-op partial-folder safeongoodargs]) (fx+ [sig [(fixnum ...) -> (fixnum)]] [flags arith-op partial-folder]) ; not restricted to 2 arguments + (fx+/wraparound [sig [(fixnum fixnum) -> (fixnum)]] [flags arith-op partial-folder safeongoodargs]) (fx- [sig [(fixnum fixnum ...) -> (fixnum)]] [flags arith-op partial-folder]) ; not restricted to 1 or 2 arguments + (fx-/wraparound [sig [(fixnum fixnum) -> (fixnum)]] [flags arith-op partial-folder safeongoodargs]) (fx/ [sig [(fixnum fixnum ...) -> (fixnum)]] [flags arith-op partial-folder]) ; not restricted to 1 or 2 arguments (fx1+ [sig [(fixnum) -> (fixnum)]] [flags arith-op cp02]) (fx1- [sig [(fixnum) -> (fixnum)]] [flags arith-op cp02]) @@ -1385,13 +1399,13 @@ (fxquotient [sig [(fixnum fixnum ...) -> (fixnum)]] [flags arith-op partial-folder]) (fxremainder [sig [(fixnum fixnum) -> (fixnum)]] [flags arith-op cp02]) (fxsll [sig [(fixnum sub-ufixnum) -> (fixnum)]] [flags arith-op cp02]) + (fxsll/wraparound [sig [(fixnum sub-ufixnum) -> (fixnum)]] [flags arith-op cp02]) (fxsra [sig [(fixnum sub-ufixnum) -> (fixnum)]] [flags arith-op cp02]) (fxsrl [sig [(fixnum sub-ufixnum) -> (fixnum)]] [flags arith-op cp02]) (fxvector [sig [(fixnum ...) -> (fxvector)]] [flags alloc cp02 safeongoodargs]) (fxvector->list [sig [(fxvector) -> (list)]] [flags alloc safeongoodargs]) (fxvector-copy [sig [(fxvector) -> (fxvector)]] [flags alloc safeongoodargs]) (fxvector-fill! [sig [(fxvector fixnum) -> (void)]] [flags true]) - (fxvector->immutable-fxvector [sig [(fxvector) -> (fxvector)]] [flags alloc safeongoodargs]) (fxvector-length [sig [(fxvector) -> (length)]] [flags pure mifoldable discard true safeongoodargs]) (fxvector-ref [sig [(fxvector sub-index) -> (fixnum)]] [flags mifoldable discard cp02]) (fxvector-set! [sig [(fxvector sub-index fixnum) -> (void)]] [flags true]) @@ -1427,7 +1441,6 @@ (immutable-string? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (immutable-box? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (immutable-vector? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) - (immutable-fxvector? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (immutable-bytevector? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (initial-bytes-allocated [sig [() -> (uint)]] [flags unrestricted alloc]) (input-port-ready? [sig [(input-port) -> (boolean)]] [flags]) @@ -1440,6 +1453,7 @@ (isqrt [sig [(uinteger) -> (integer)]] [flags arith-op mifoldable discard]) (last-pair [sig [(pair) -> ((ptr . ptr))]] [flags mifoldable discard]) (list* [sig [(ptr) -> (ptr)] [(ptr ptr ptr ...) -> ((ptr . ptr))]] [flags unrestricted discard cp02]) + (list->flvector [sig [(sub-list) -> (flvector)]] [flags alloc]) (list->fxvector [sig [(sub-list) -> (fxvector)]] [flags alloc]) (list-assuming-immutable? [sig [(ptr) -> (boolean)]] [flags unrestricted mifoldable discard]) (list-copy [sig [(list) -> (list)]] [flags alloc]) @@ -1475,8 +1489,10 @@ (make-source-table [sig [() -> (source-table)]] [flags unrestricted alloc]) (make-ephemeron-eq-hashtable [sig [() (uint) -> (eq-hashtable)]] [flags alloc]) (make-ephemeron-eqv-hashtable [sig [() (uint) -> (hashtable)]] [flags alloc]) + (make-ephemeron-hashtable [sig [(procedure procedure) (procedure procedure uint) -> (hashtable)]] [flags alloc]) (make-engine [sig [(procedure) -> (engine)]] [flags pure alloc]) (make-format-condition [sig [() -> (condition)]] [flags pure unrestricted mifoldable discard]) + (make-flvector [sig [(length) (length flonum) -> (flvector)]] [flags alloc]) (make-fxvector [sig [(length) (length fixnum) -> (fxvector)]] [flags alloc]) (make-guardian [sig [() (ptr) -> (procedure)]] [flags alloc cp02]) (make-hash-table [sig [() (ptr) -> (old-hash-table)]] [flags unrestricted alloc]) @@ -1500,6 +1516,7 @@ (make-thread-parameter [feature pthreads] [sig [(ptr) (ptr procedure) -> (thread-parameter)]] [flags true cp02 cp03]) (make-weak-eq-hashtable [sig [() (uint) -> (eq-hashtable)]] [flags alloc]) (make-weak-eqv-hashtable [sig [() (uint) -> (hashtable)]] [flags alloc]) + (make-weak-hashtable [sig [(procedure procedure) (procedure procedure uint) -> (hashtable)]] [flags alloc]) (make-wrapper-procedure [sig [(procedure sint ptr) -> (procedure)]] [flags pure true mifoldable discard]) (mark-port-closed! [sig [(port) -> (void)]] [flags true]) (maximum-memory-bytes [sig [() -> (uint)]] [flags alloc]) @@ -1514,7 +1531,6 @@ (multibyte->string [feature windows] [sig [(sub-uint bytevector) -> (string)]] [flags true discard]) (mutable-box? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (mutable-string? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) - (mutable-fxvector? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (mutable-bytevector? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (mutable-vector? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (mutex-acquire [feature pthreads] [sig [(mutex) (mutex ptr) -> (ptr)]] [flags]) ; can return #f if optional block? arg is #f @@ -1765,6 +1781,8 @@ (textual-port-output-size [sig [(textual-output-port) -> (length)]] [flags discard]) (thread? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (thread-condition? [feature pthreads] [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) + (thread-join [feature pthreads] [sig [(ptr) -> (void)]] [flags true]) + (thread-preserve-ownership! [feature pthreads] [sig [() -> (void)] [(ptr) -> (void)]] [flags true]) (top-level-bound? [sig [(symbol) (symbol environment) -> (boolean)]] [flags discard]) (top-level-mutable? [sig [(symbol) (symbol environment) -> (boolean)]] [flags discard]) (top-level-syntax [sig [(symbol) (symbol environment) -> (ptr)]] [flags discard]) @@ -1810,7 +1828,8 @@ (with-profile-tracker [sig [(procedure) (ptr procedure) -> (ptr ptr ...)]] [flags]) (with-source-path [sig [(maybe-who pathname procedure) -> (ptr ...)]] [flags]) (wrapper-procedure? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) - (wrapper-procedure-data [sig [(ptr) -> (ptr)]] [flags discard]) + (wrapper-procedure-data [sig [(ptr) -> (ptr)]] [flags]) + (wrapper-procedure-procedure [sig [(ptr) -> (procedure)]] [flags true]) ) @@ -1821,6 +1840,8 @@ ($allocate-thread-parameter [feature pthreads] [flags single-valued alloc]) ($app [flags]) ($app/no-inline [flags]) + ($app/no-return [flags]) + ($app/value [flags]) ($apply [sig [(procedure exact-integer list) -> (ptr ...)]] [flags cptypes2x]) ($assembly-output [flags single-valued]) ($assert-continuation [sig [(ptr) -> (void)] [(ptr ptr) -> (void)]] [flags]) @@ -1902,10 +1923,12 @@ ($current-stack-link [flags single-valued]) ($current-winders [flags single-valued]) ($dequeue-scheme-signals [flags]) + ($describe-fasl-from-port [sig [(input-port) (input-port vector) -> (ptr)]] [flags]) ($distinct-bound-ids? [sig [(list) -> (boolean)]] [flags discard]) ($dofmt [flags single-valued]) ($do-wind [flags single-valued]) ($dynamic-closure-counts [flags single-valued alloc]) ; added for closure instrumentation + ($emit-boot-header [flags single-valued]) ($enum-set-members [flags single-valued]) ($eol-style? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable]) ($eq-hashtable-cells [flags single-valued discard]) @@ -1929,15 +1952,19 @@ ($expeditor [feature expeditor] [flags]) ($fasl-base-rtd [flags single-valued]) ($fasl-bld-graph [flags single-valued]) + ($fasl-can-combine? [flags single-valued]) ($fasl-enter [flags single-valued]) ($fasl-file-equal? [sig [(pathname pathname) (pathname pathname ptr) -> (boolean)]] [flags discard]) ($fasl-out [flags single-valued]) ($fasl-start [flags single-valued]) ($fasl-table [flags single-valued]) + ($fasl-to-vfasl [flags single-valued]) ($fasl-wrf-graph [flags single-valued]) ($filter-conv [flags single-valued]) ($filter-foreign-type [flags single-valued]) ($fixed-path? [sig [(string) -> (boolean)]] [flags pure safeongoodargs]) + ($flvector-ref-check? [sig [(ptr ptr) -> (boolean)]] [flags unrestricted pure]) + ($flvector-set!-check? [sig [(ptr ptr) -> (boolean)]] [flags unrestricted discard]) ($<= [flags single-valued]) ($< [flags single-valued]) ($= [flags single-valued]) @@ -2111,6 +2138,7 @@ ($ftd-atomic-category [flags single-valued]) ($ftd-compound? [sig [(sub-ptr) -> (boolean)]] [flags discard]) ($ftd-size [flags single-valued]) + ($ftd-union? [sig [(sub-ptr) -> (boolean)]] [flags discard]) ($ftd-unsigned? [flags single-valued]) ($ftd->members [flags single-valued]) ($ftype-guardian-oops [flags]) @@ -2123,7 +2151,6 @@ ($fxu< [flags single-valued pure cp02]) ($fxvector-ref-check? [sig [(ptr ptr) -> (boolean)]] [flags unrestricted pure]) ($fxvector-set!-check? [sig [(ptr ptr) -> (boolean)]] [flags unrestricted discard]) - ($fxvector-set-immutable! [sig [(fxvector) -> (void)]] [flags true]) ($gc-cpu-time [flags true]) ($gc-real-time [flags true]) ($generation [flags single-valued]) @@ -2275,6 +2302,7 @@ ($raw-collect-cond [feature pthreads] [flags single-valued]) ($raw-collect-thread0-cond [feature pthreads] [flags single-valued]) ($raw-tc-mutex [feature pthreads] [flags single-valued]) + ($raw-terminated-cond [feature pthreads] [flags single-valued]) ($read-performance-monitoring-counter [flags single-valued]) ($read-time-stamp-counter [flags single-valued]) ($real->flonum [flags single-valued arith-op mifoldable discard]) @@ -2426,6 +2454,7 @@ ($enable-pass-timing [flags single-valued]) ($expeditor-history-file [feature expeditor] [flags single-valued]) ($fasl-target [flags single-valued]) + ($lift-closures [sig [() -> (boolean)] [(ptr) -> (void)]] [flags unrestricted]) ($optimize-closures [sig [() -> (boolean)] [(ptr) -> (void)]] [flags unrestricted]) ($suppress-primitive-inlining [sig [() -> (boolean)] [(ptr) -> (void)]] [flags unrestricted]) ($sfd [flags single-valued]) @@ -2450,6 +2479,7 @@ ($session-key [flags]) ($symbol-ht-rtd [flags]) ($tc-mutex [feature pthreads] [flags]) + ($terminated-cond [feature pthreads] [flags]) ) (define-symbol-flags* ([libraries] [flags system-keyword]) ; condition types |