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

trying to fix let-void

Browse Source
This commit is contained in:
Danny Yoo 2011-07-01 11:17:36 -04:00
parent 0a4b6da39e
commit 9b3951adb6
1 changed files with 34 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
compiler/compiler.rkt
View File

@ -1777,16 +1777,40 @@
,(make-PushEnvironment n (LetVoid-boxes? exp))))
body-code
after-body-code
;; There may be multiple values coming back at this point.
;; We need to route around those.
(make-instruction-sequence
`(,(make-PopEnvironment (make-Const n)
(make-Const 0)
;(make-SubtractArg
; (make-Reg 'argcount)
; (make-Const 1))
)))
;; We want to clear out the scratch space introduced by the
;; let-void. However, there may be multiple values coming
;; back at this point, from the evaluation of the body. We
;; look at the context and route around those values
;; appropriate.
(cond
[(eq? context 'tail)
empty-instruction-sequence]
[(eq? context 'drop-multiple)
(make-PopEnvironment (make-Const n)
(make-Const 0))]
[(eq? context 'keep-multiple)
;; dynamic number of arguments that need
;; to be preserved
(make-PopEnvironment (make-Const n)
(make-SubtractArg
(make-Reg 'argcount)
(make-Const 1)))]
[else
(cond [(= context 0)
(make-PopEnvironment (make-Const n)
(make-Const 0))]
[(= context 1)
(make-PopEnvironment (make-Const n)
(make-Const 0))]
[else
;; n-1 values on stack that we need to route
;; around
(make-PopEnvironment (make-Const n)
(make-SubtractArg
(make-Const context)
(make-Const 1)))])])
after-let))))