decoupling interpreter buffers from the JIT's value processing

Roland Westrelin rwestrel at
Thu Jul 6 11:57:46 UTC 2017

> 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.


More information about the valhalla-dev mailing list