* CPS mystery @ 2018-05-28 13:49 Matt Wette 2018-05-29 17:54 ` Mark H Weaver 0 siblings, 1 reply; 3+ messages in thread From: Matt Wette @ 2018-05-28 13:49 UTC (permalink / raw) To: guile-user Hi All, I'm trying to generate CPS to feed to the compiler tower. The following program is supposed to evaluate, expressed in Scheme, `(+ 1 2)'. That is, essentially, scheme@(guile-user)> (apply + '(1 2)) $1 = 3 I get the error message following. Any clues what is going on? (0 . #<cps (kfun () 0 1 9)>) (1 . #<cps (ktail)>) (2 . #<cps (kargs (rval) (1) (continue 1 (values 1)))>) (3 . #<cps (kargs (arg) (4) (continue 2 (call 2 3 4)))>) (4 . #<cps (kargs (arg) (3) (continue 3 (const 2)))>) (5 . #<cps (kargs (arg) (2) (continue 4 (const 1)))>) (6 . #<cps (kargs (t) (6) (continue 5 (primcall resolve 5 6)))>) (7 . #<cps (kargs (name) (5) (continue 6 (const #t)))>) (8 . #<cps (kargs () () (continue 7 (const +)))>) (9 . #<cps (kclause (() () #f () #f) 8)>) While compiling expression: Throw to key `match-error' with args `("match" "no matching pattern" #<cps (kargs (rval) (6) (continue 10 (primcall handle-interrupts)))>)'. And if I fire up Guile and turn off optimization, I get this, where I don't even see the + resolved. scheme@(guile-user)> (define v (compile '(+ 1 2) #:from 'scheme #:to 'cps)) scheme@(guile-user)> (disp-cps v) (0 . #<cps (kfun () 0 1 4)>) (1 . #<cps (ktail)>) (2 . #<cps (kargs (val) (1) (continue 1 (values 1)))>) (3 . #<cps (kargs () () (continue 2 (const 3)))>) (4 . #<cps (kclause (() () #f () #f) 3)>) Matt ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: CPS mystery 2018-05-28 13:49 CPS mystery Matt Wette @ 2018-05-29 17:54 ` Mark H Weaver 2018-05-30 2:58 ` Matt Wette 0 siblings, 1 reply; 3+ messages in thread From: Mark H Weaver @ 2018-05-29 17:54 UTC (permalink / raw) To: Matt Wette; +Cc: guile-user Hi Matt, Matt Wette <matt.wette@gmail.com> writes: > I'm trying to generate CPS to feed to the compiler tower. > The following program is supposed to evaluate, expressed in Scheme, `(+ 1 2)'. > That is, essentially, > scheme@(guile-user)> (apply + '(1 2)) > $1 = 3 > I get the error message following. Any clues what is going on? > > (0 . #<cps (kfun () 0 1 9)>) > (1 . #<cps (ktail)>) > (2 . #<cps (kargs (rval) (1) (continue 1 (values 1)))>) > (3 . #<cps (kargs (arg) (4) (continue 2 (call 2 3 4)))>) > (4 . #<cps (kargs (arg) (3) (continue 3 (const 2)))>) > (5 . #<cps (kargs (arg) (2) (continue 4 (const 1)))>) > (6 . #<cps (kargs (t) (6) (continue 5 (primcall resolve 5 6)))>) The problem here is that 'resolve' returns a variable object, but 'call' expects a procedure. So, you need another continuation between continuations 6 and 5 above, which does (primcall box-ref <>) to extract the procedure from the variable object. Also, I believe the (values 1) in continuation 2 above is incorrect. It expects its argument to be a list, whereas in this case it would be a number. It's not needed here. > And if I fire up Guile and turn off optimization, I get this, where I don't > even see the + resolved. > scheme@(guile-user)> (define v (compile '(+ 1 2) #:from 'scheme #:to 'cps)) > scheme@(guile-user)> (disp-cps v) > (0 . #<cps (kfun () 0 1 4)>) > (1 . #<cps (ktail)>) > (2 . #<cps (kargs (val) (1) (continue 1 (values 1)))>) > (3 . #<cps (kargs () () (continue 2 (const 3)))>) > (4 . #<cps (kclause (() () #f () #f) 3)>) '+' is converted into a primitive operation in an early phase of compilation. For these purposes, it's probably better to choose a procedure that won't be recognized specially by the compiler. --8<---------------cut here---------------start------------->8--- scheme@(guile-user)> ,use (system base compile) scheme@(guile-user)> (define intmap->alist (@@ (language cps intmap) intmap->alist)) scheme@(guile-user)> (define v (compile '(floor/ 3 7) #:from 'scheme #:to 'cps)) scheme@(guile-user)> ,pp (intmap->alist v) $2 = ((0 . #<cps (kfun () 0 1 9)>) (1 . #<cps (ktail)>) (2 . #<cps (kargs (arg) (3) (continue 1 (call 1 2 3)))>) (3 . #<cps (kargs (arg) (2) (continue 2 (const 7)))>) (4 . #<cps (kargs (arg) (1) (continue 3 (const 3)))>) (5 . #<cps (kargs (box) (4) (continue 4 (primcall box-ref 4)))>) (6 . #<cps (kargs (bound?) (6) (continue 5 (primcall resolve 5 6)))>) (7 . #<cps (kargs (name) (5) (continue 6 (const #t)))>) (8 . #<cps (kargs () () (continue 7 (const floor/)))>) (9 . #<cps (kclause (() () #f () #f) 8)>)) scheme@(guile-user)> --8<---------------cut here---------------end--------------->8--- Admittedly, I manually cleaned up the output of ,pp here. Anyway, see the 'box-ref' expression above, which was missing from yours, and also note that in the CPS above, 'call' returns directly to the $ktail, without an intervening 'values'. Hope this helps, Mark ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: CPS mystery 2018-05-29 17:54 ` Mark H Weaver @ 2018-05-30 2:58 ` Matt Wette 0 siblings, 0 replies; 3+ messages in thread From: Matt Wette @ 2018-05-30 2:58 UTC (permalink / raw) To: guile-user On 05/29/2018 10:54 AM, Mark H Weaver wrote: > Hi Matt, > The problem here is that 'resolve' returns a variable object, but 'call' > expects a procedure. So, you need another continuation between > continuations 6 and 5 above, which does (primcall box-ref <>) to extract > the procedure from the variable object. > > Also, I believe the (values 1) in continuation 2 above is incorrect. It > expects its argument to be a list, whereas in this case it would be a > number. It's not needed here. Thanks. I got it working! calc@(guile-user)> 1 + 2 (program (expr-stmt (add (fixed "1") (fixed "2")))) (0 . #<cps (kfun () 0 1 9)>) (1 . #<cps (ktail)>) (2 . #<cps (kargs (arg) (4) (continue 1 (call 2 3 4)))> (3 . #<cps (kargs (arg) (3) (continue 2 (const 2)))>) (4 . #<cps (kargs (arg) (2) (continue 3 (const 1)))>) (5 . #<cps (kargs (bx) (5) (continue 4 (primcall box-ref 5)))>) (6 . #<cps (kargs (t) (7) (continue 5 (primcall resolve 6 7)))>) (7 . #<cps (kargs (name) (6) (continue 6 (const #t)))>) (8 . #<cps (kargs () () (continue 7 (const +)))>) (9 . #<cps (kclause (() () #f () #f) 8)>) $1 = 3 ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2018-05-30 2:58 UTC | newest] Thread overview: 3+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2018-05-28 13:49 CPS mystery Matt Wette 2018-05-29 17:54 ` Mark H Weaver 2018-05-30 2:58 ` Matt Wette
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).