develooper Front page | perl.perl6.internals | Postings from September 2001

Re: PDD 6: Parrot Assembly Language

Thread Previous | Thread Next
Ken Fox
September 10, 2001 14:33
Re: PDD 6: Parrot Assembly Language
Message ID:
Dan Sugalski wrote:
> =item if tx, X, Y

What's the purpose of providing Y? Does it make anything easier
allowing Y != 0?

> =item jump tx

I expected a "call" op too. Not a named sub call, but just "call
tx" where tx has the same semantics as in "jump".

A "return" op is needed too.

> =item iton Nx, Iy
> =item ntoi Ix, Ny
> =item tostring Sx, ty, Iz

Are these good names? They aren't very regular IMHO. Why is
integer abbreviated "i" and string left spelled out? Why does
tostring have three operands and the other two?

> =item inc tx, nn *
> =item dec tx, nn *

> Decrement register x by nn. nn is an integer constant. If nn is
> omitted, decrement by 1.

Variable length ops don't sound so cool to me. Why not use
add/sub to inc/dec by something other than 1?

Also, it would be nice if inc/dec *always* kept Parrot semantics
instead of automagically transmogrifying to Perl inc/dec. Is
this the plan?

> =head2 Register and stack ops

I'm a little confused why we can only push/pop entire register
frames. Won't this make function value returns via registers
impossible? IMHO, instead of push/pop a rotate command
would be nice. That would allow SPARC-like register usage which
has always seemed elegant to me.

> =item warp [string]
> Reset the current register stacks to the state they were in when the
> warp was set. Resets only the frame pointers, doesn't guarantee the
> contents of the registers. Be I<very> careful modifying the frame
> pointers by, for example, pushing register frames.

I don't understand this explanation. It sounds like you are setting
up co-routines or maybe resuming a continuation. Shouldn't the ops
be a little safer? IMHO we don't want a co-routine construction set,
we just want co-routines.

> =item find_lex Px, sy
> Find the lexical of name sy and store the PMC pointer in register Px.

You're expecting the current lexical scope to be carried implicitly
via the PC? Seems like find_lex should really be implemented as a
vtable method on a compiler's scope object.

> =item find_method Px, Py, tz
> =item call_method Px, ty

Multi-methods are notably absent. I'm assuming that Parrot does not
understand multi-methods and requires the object (or the compiler
generating the object) to register a multi-method dispatcher as the
single-dispatch method known to Parrot.

This only lets us use multi-methods where arg0 is an object. Is
this sufficient for implementing Perl 6?

- Ken

Thread Previous | Thread Next Perl Programming lists via nntp and http.
Comments to Ask Bjørn Hansen at | Group listing | About