suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

another repair to bitwise-arithmetic-shift/ash folding

Browse Source 
Fuzz testing exposed a problem with the example

   (bitwise-arithmetic-shift-left -1 -1)

original commit: fc6f411ffc65f436d54979dfc0455ae771f3375d
This commit is contained in:
Matthew Flatt 2020-01-06 04:35:26 -07:00
parent e039b19653
commit 27883d2749
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
s/cp0.ss
View File

@ -2419,9 +2419,10 @@
(and xval (and xval
yval yval
(let ([r (guard (c [#t #f]) (op xval yval))]) (let ([r (guard (c [#t #f]) (op xval yval))])
(when r (cond
(residualize-seq '() (list x y) ctxt) [r (residualize-seq '() (list x y) ctxt)
`(quote ,r)))))) `(quote ,r)]
[else #f])))))
(define-syntax define-inline-ash-op (define-syntax define-inline-ash-op
(syntax-rules () (syntax-rules ()
[(_ op) [(_ op)