decoupling interpreter buffers from the JIT's value processing

[Roland Westrelin]

> For example, ValueTypeNode::allocate() can wrap the allocated buffer in 
> new kind of node (ValueTypePtrNode):
>
>    VTP == ValueTypePtrNode # in: (buffer, f1, ..., fn), type: VT*
>
> It mimics ValueTypeNode, but has a different type:
>
>    VT  == ValueTypeNode # in: (buffer, f1, ..., fn), type: VT

Looks like we came to the same conclusion. I'm in the process of
implementing the ValueTypePtrNode that you describe. Works well with a
guard with test simple test. Doesn't eliminate the allocations in your
test yet.

Roland.