Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Mats tests fail #3

Closed
johnwcowan opened this issue Apr 26, 2016 · 0 comments
Closed

Mats tests fail #3

johnwcowan opened this issue Apr 26, 2016 · 0 comments

Comments

@johnwcowan
Copy link

This is on Linux with gcc 6.0.0, the same conditions as issue #1. The contains of a6le/mats/summary is:

-------- o=0 --------
0a1,2
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=3 --------
0a1,2
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=0 cp0=t --------
0a1,2
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=3 cp0=t --------
0a1,2
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=0 spi=t p=t --------
0a1,2
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=3 spi=t p=t --------
0a1,2
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=0 eval=interpret --------
6a7,8
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=3 eval=interpret --------
6a7,8
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=0 cp0=t eval=interpret --------
6a7,8
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=3 cp0=t eval=interpret --------
6a7,8
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=0 ehc=t eoc=f --------
0a1,2
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms
-------- o=3 ehc=t eval=interpret --------
6a7,8
> 6.mo:Bug in mat filesystem-operations clause 104 at line 2888, char 3 of 6.ms
> date.mo:Bug in mat time&date-printing clause 2 at line 565, char 3 of date.ms

I can supply additional files if needed.
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Oct 22, 2017
@gus-massa
add safeongoodargs flag to primref
e18e3d4 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Oct 28, 2017
@gus-massa
add safeongoodargs flag to primref
e388b65 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Oct 30, 2017
@gus-massa
add safeongoodargs flag to primref
f780545 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Nov 3, 2017
@gus-massa
add safeongoodargs flag to primref
ffd1f8b 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Dec 17, 2017
@gus-massa
add safeongoodargs flag to primref
d304550 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Dec 26, 2017
@gus-massa
add safeongoodargs flag to primref
9769dde 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Dec 27, 2017
@gus-massa
add safeongoodargs flag to primref
3a5500e 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Dec 27, 2017
@gus-massa
add safeongoodargs flag to primref
1df833f 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Dec 28, 2017
@gus-massa
add safeongoodargs flag to primref
749e8d6 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Dec 28, 2017
@gus-massa
add safeongoodargs flag to primref
a7e2f8e 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Jan 3, 2018
@gus-massa
add safeongoodargs flag to primref
a2eb845 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Jan 5, 2018
@gus-massa
add safeongoodargs flag to primref
eec430b 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Jan 5, 2018
@gus-massa
add safeongoodargs flag to primref
11d4fc4 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Jan 16, 2018
@gus-massa
add safeongoodargs flag to primref
bd1cbcc 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Jan 16, 2018
@gus-massa
add safeongoodargs flag to primref
6647ca5 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Jan 16, 2018
@gus-massa
add safeongoodargs flag to primref
717680f 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Feb 12, 2018
@gus-massa
add safeongoodargs flag to primref
f602dc9 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Feb 12, 2018
@gus-massa
add safeongoodargs flag to primref
2204dd7 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Apr 6, 2018
@gus-massa
add safeongoodargs flag to primref
6fd179f 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Apr 9, 2018
@gus-massa
add safeongoodargs flag to primref
6e3fed9 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Apr 12, 2018
@gus-massa
add safeongoodargs flag to primref
3f5c1a5 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Apr 13, 2018
@gus-massa
Add safeongoodargs flag to primref
fedfc84 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Feb 19, 2019
@gus-massa
Add safeongoodargs flag to primref
95034d9 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Feb 27, 2019
@gus-massa
Add safeongoodargs flag to primref
26c83b0 
for example reduce (car <pair>) => (cisco#3%car <pair>)
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Feb 27, 2019
@gus-massa
Add safeongoodargs flag to primref
ce4ad3e 
for example reduce (car <pair>) => (cisco#3%car <pair>)
@michaellenaghan michaellenaghan mentioned this issue May 15, 2019
Open
@burgerrg burgerrg mentioned this issue May 23, 2019
Merged
mflatt added a commit to mflatt/ChezScheme that referenced this issue Oct 7, 2019
@mflatt
add $app
d7960da 
Using `cisco#3%$app` disables a `procedure?` check in an application.
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Mar 4, 2020
@gus-massa
fix test cisco#2%gensym -> cisco#3%gensym
79243b5
mflatt added a commit to mflatt/ChezScheme that referenced this issue Mar 24, 2021
@mflatt
cs: use wraparound functions for hashing
b1f5ecc 
Change hash-code calculations to use `fx+/wraparound` and
`fxsll/wraparound` instead of `cisco#3%fx+` and `cisco#3%fxsll`. The resulting
code should be the same in the default unsafe compilation mode for the
Racket core, but the `wraparound` versions can be checked in safe
mode.

Also, fill in missing tests in Chez Scheme, which exposed cp0 problems
with `fx-/wraparound`.
spall pushed a commit to spall/ChezScheme that referenced this issue May 25, 2021
@gus-massa
Add safeongoodargs flag to primref
fbc94a7 
for example reduce (car <pair>) => (cisco#3%car <pair>)
spall pushed a commit to spall/ChezScheme that referenced this issue May 25, 2021
@mflatt
add $app
69e89d8 
Using `cisco#3%$app` disables a `procedure?` check in an application.
spall pushed a commit to spall/ChezScheme that referenced this issue May 25, 2021
@mflatt
cs: use wraparound functions for hashing
fd845d7 
Change hash-code calculations to use `fx+/wraparound` and
`fxsll/wraparound` instead of `cisco#3%fx+` and `cisco#3%fxsll`. The resulting
code should be the same in the default unsafe compilation mode for the
Racket core, but the `wraparound` versions can be checked in safe
mode.

Also, fill in missing tests in Chez Scheme, which exposed cp0 problems
with `fx-/wraparound`.
spall pushed a commit to spall/ChezScheme that referenced this issue Mar 8, 2022
@gus-massa @mflatt
Chez Scheme: specialize =, max and similar function in cptypes
b69b4e5 
For example, transform
  (= <fixnum> <fixnum>)
to
  (cisco#3%fx= <fixnum> <fixnum>)
spall pushed a commit to spall/ChezScheme that referenced this issue Mar 8, 2022
@gus-massa @mflatt
Chez Scheme: filter the type of the arguments in unsafe primitives
f27891d 
In an expression like

  (cisco#3%zero? <maybe-fixnum>)

the compiler can assume the type of the argument is
correct, so the handler for the specialization will
get only <fixnum> instead of <maybe-fixnum>.

Also, remove an unnecessary check in the specialization of cdr.
spall pushed a commit to spall/ChezScheme that referenced this issue Mar 8, 2022
@gus-massa @mflatt
Chez Scheme: add reductions for bitwise operations in cptypes
ebfb2eb 
In particular reduce

  (bitwise-and <fixnum> <fixnum>)
  ==>
  (cisco#3%fxand <fixnum> <fixnum>)

also

  (bitwise-and (f) <fixnum>)
  ==>
  (let ([x (f)])
    (if (fixnum? x))
        (cisco#3%fxand x <fixnum>)
        (bitwise-and x <fixnum>)))

and know that the result of
  (bitwise-and x <positive-fixnum>)
is a fixnum.
gus-massa added a commit to gus-massa/ChezScheme that referenced this issue Apr 28, 2022
@gus-massa
reduce (if (cisco#2%car x) (cisco#3%car x) #f)
82de9c2
jltaylor-us pushed a commit to jltaylor-us/ChezScheme that referenced this issue Oct 9, 2022
@mflatt
replace internal cisco#3%fx... with fx.../wraparound
913b0d4 
Like fd845d7. The generated code is the same in unsafe mode, but
`fx.../wraparound` can apply suitable checks in safe mode.
jltaylor-us pushed a commit to jltaylor-us/ChezScheme that referenced this issue Oct 9, 2022
@gus-massa @mflatt
replace another internal cisco#3%fx+
0c649f9
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa
Add safeongoodargs flag to primref
20db55a 
for example reduce (car <pair>) => (cisco#3%car <pair>)

Original commit: racket/ChezScheme@fbc94a7
mflatt added a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@mflatt
add $app
2454e64 
Using `cisco#3%$app` disables a `procedure?` check in an application.

Original commit: racket/ChezScheme@69e89d8
mflatt added a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@mflatt
use wraparound functions for hashing
461a0cd 
Change hash-code calculations to use `fx+/wraparound` and
`fxsll/wraparound` instead of `cisco#3%fx+` and `cisco#3%fxsll`. The resulting
code should be the same in the default unsafe compilation mode for the
Racket core, but the `wraparound` versions can be checked in safe
mode.

Also, fill in missing tests in Chez Scheme, which exposed cp0 problems
with `fx-/wraparound`.

Original commit: racket/ChezScheme@fd845d7
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa @mflatt
specialize =, max and similar function in cptypes
bb31ca3 
For example, transform
  (= <fixnum> <fixnum>)
to
  (cisco#3%fx= <fixnum> <fixnum>)

Original commit: racket/ChezScheme@b69b4e5
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa @mflatt
filter the type of the arguments in unsafe primitives
43af93e 
In an expression like

  (cisco#3%zero? <maybe-fixnum>)

the compiler can assume the type of the argument is
correct, so the handler for the specialization will
get only <fixnum> instead of <maybe-fixnum>.

Also, remove an unnecessary check in the specialization of cdr.

Original commit: racket/ChezScheme@f27891d
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa @mflatt
add reductions for bitwise operations in cptypes
de56c27 
In particular reduce

  (bitwise-and <fixnum> <fixnum>)
  ==>
  (cisco#3%fxand <fixnum> <fixnum>)

also

  (bitwise-and (f) <fixnum>)
  ==>
  (let ([x (f)])
    (if (fixnum? x))
        (cisco#3%fxand x <fixnum>)
        (bitwise-and x <fixnum>)))

and know that the result of
  (bitwise-and x <positive-fixnum>)
is a fixnum.

Original commit: racket/ChezScheme@ebfb2eb
mflatt added a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@mflatt
replace internal cisco#3%fx... with fx.../wraparound
3d16b8f 
Like fd845d7. The generated code is the same in unsafe mode, but
`fx.../wraparound` can apply suitable checks in safe mode.

Original commit: racket/ChezScheme@913b0d4
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa @mflatt
replace another internal cisco#3%fx+
6275815 
Original commit: racket/ChezScheme@0c649f9
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa
Add safeongoodargs flag to primref
b832eab 
for example reduce (car <pair>) => (cisco#3%car <pair>)

Original commit: racket/ChezScheme@81f4181
mflatt added a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@mflatt
add $app
7cb7a36 
Using `cisco#3%$app` disables a `procedure?` check in an application.

Original commit: racket/ChezScheme@f506a0f
mflatt added a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@mflatt
use wraparound functions for hashing
171bcfc 
Change hash-code calculations to use `fx+/wraparound` and
`fxsll/wraparound` instead of `cisco#3%fx+` and `cisco#3%fxsll`. The resulting
code should be the same in the default unsafe compilation mode for the
Racket core, but the `wraparound` versions can be checked in safe
mode.

Also, fill in missing tests in Chez Scheme, which exposed cp0 problems
with `fx-/wraparound`.

Original commit: racket/ChezScheme@a6ac040
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa @mflatt
specialize =, max and similar function in cptypes
94dc80b 
For example, transform
  (= <fixnum> <fixnum>)
to
  (cisco#3%fx= <fixnum> <fixnum>)

Original commit: racket/ChezScheme@4cab0b3
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa @mflatt
filter the type of the arguments in unsafe primitives
d41565e 
In an expression like

  (cisco#3%zero? <maybe-fixnum>)

the compiler can assume the type of the argument is
correct, so the handler for the specialization will
get only <fixnum> instead of <maybe-fixnum>.

Also, remove an unnecessary check in the specialization of cdr.

Original commit: racket/ChezScheme@462df96
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa @mflatt
add reductions for bitwise operations in cptypes
d74b85e 
In particular reduce

  (bitwise-and <fixnum> <fixnum>)
  ==>
  (cisco#3%fxand <fixnum> <fixnum>)

also

  (bitwise-and (f) <fixnum>)
  ==>
  (let ([x (f)])
    (if (fixnum? x))
        (cisco#3%fxand x <fixnum>)
        (bitwise-and x <fixnum>)))

and know that the result of
  (bitwise-and x <positive-fixnum>)
is a fixnum.

Original commit: racket/ChezScheme@8123141
mflatt added a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@mflatt
replace internal cisco#3%fx... with fx.../wraparound
7c0cbfb 
Like a6ac040ee7. The generated code is the same in unsafe mode, but
`fx.../wraparound` can apply suitable checks in safe mode.

Original commit: racket/ChezScheme@ec64259
mflatt pushed a commit to mflatt/ChezScheme that referenced this issue Oct 10, 2023
@gus-massa @mflatt
replace another internal cisco#3%fx+
1d5c97b 
Original commit: racket/ChezScheme@b0330bb
owaddell pushed a commit to owaddell/ChezScheme that referenced this issue Oct 19, 2023
@owaddell-beckman
fix cisco#3%record? inline primitive
a2eda72
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@johnwcowan