JIT: procedure-result-arity

[Gustavo Massaccesi]

I'm trying to add support in the JIT for primitive-result-arity and
procedure-result-arity. My idea is to copy the implementation of
procedure-arity-includes? and make some modifications.

In the JIT, procedure-arity-includes? only has a special case for
scheme_native_closure_type and scheme_prim_type. But it ignores other
types of primitives like scheme_closed_prim_type, that are redirected
to the C version.

https://github.com/racket/racket/blob/0fb11e61e6cf4327cf31d7c30ce5a34d11bf60cd/racket/src/racket/src/jitcommon.c#L3166

Are scheme_closed_prim_type rarely used or deprecated? Shoul I (try
to) add a special case for them in the JIT version of
primitive-result-arity, or it's not very usefull? Is there some hidden
problem?

Gustavo

[Robby Findler]

I was wondering the same thing just recently and couldn't find a way to write a racket program that produced a  scheme_closed_prim_type. I think it is safe to just not optimize those and maybe even safe to not work on those, possibly. 

Robby

--
You received this message because you are subscribed to the Google Groups "Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+...@googlegroups.com.
To post to this group, send email to racke...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAPaha9Ppip_AJHH0tbVgw7AUWvUbFs%3DPJTz0oTgW7ECh5xQ5mQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.