Verifying the validity of a transition from a current tail template to a new tail template for a fused object

A system, comprising:

• at least one device including a hardware processor;
• and
• the system being configured to perform operations comprising:
• identifying a set of one or more instructions to instantiate a fused object associated with a head and a repeating tail;
• determining a tail template to be repeated in the repeating tail;
• determining a memory layout for the fused object, wherein determining the memory layout for the fused object comprises:
• repeating the tail template in the repeating tail;
• allocating a particular portion of memory for the fused object according to the memory layout;
• wherein the tail template indicates a plurality of types corresponding respectively to a plurality of offsets;
• wherein repeating the tail template in the repeating tail comprises:
• determining that a first set of offsets in the repeating tail correspond respectively to the plurality of types;
• and
• determining that a second set of offsets, subsequent to the first set of offsets, in the repeating tail correspond respectively to the plurality of types.

One or more non-transitory machine-readable media storing instructions which, when executed by one or more processors, cause:

• identifying a set of one or more instructions to instantiate a fused object associated with a head and a repeating tail;
• determining a tail template to be repeated in the repeating tail;
• determining a memory layout for the fused object, wherein determining the memory layout for the fused object comprises:
• repeating the tail template in the repeating tail;
• allocating a particular portion of memory for the fused object according to the memory layout;
• wherein the tail template indicates a plurality of types corresponding respectively to a plurality of offsets;
• wherein repeating the tail template in the repeating tail comprises:
• determining that a first set of offsets in the repeating tail correspond respectively to the plurality of types;
• and
• determining that a second set of offsets, subsequent to the first set of offsets, in the repeating tail correspond respectively to the plurality of types.

One or more non-transitory machine-readable media storing instructions which, when executed by one or more processors, cause:

• identifying a set of one or more instructions to instantiate a fused object associated with a head and a repeating tail;
• determining a tail template to be repeated in the repeating tail;
• determining a number of times to repeat the tail template in the repeating tail as specified by the set of instructions;
• determining a size of memory occupied by a single instance of the tail template based on types specified by the tail template;
• determining a size of memory to allocate to the repeating tail based on (a) the number of times to repeat the tail template in the repeating tail and (b) the size of memory occupied by the single instance of the tail template;
• determining a memory layout for the fused object, wherein determining the memory layout for the fused object comprises:
• repeating the tail template in the repeating tail;
• allocating a particular portion of memory for the fused object according to the memory layout.

One or more non-transitory machine-readable media storing instructions which, when executed by one or more processors, cause:

• identifying a set of one or more instructions to instantiate a fused object associated with a head and a repeating tail;
• determining a tail template to be repeated in the repeating tail;
• determining a size of memory to be allocated to the repeating tail as specified by the set of instructions;
• determining a size of memory occupied by a single instance of the tail template based on types specified by the tail template;
• determining a number of times to repeat the tail template in the repeating tail based on (a) the size of memory to be allocated to the repeating tail and (b) the size of memory occupied by a single instance of the tail template;
• determining a memory layout for the fused object, wherein determining the memory layout for the fused object comprises:
• repeating the tail template in the repeating tail;
• allocating a particular portion of memory for the fused object according to the memory layout.

One or more non-transitory machine-readable media storing instructions which, when executed by one or more processors, cause:

• identifying a set of one or more instructions to instantiate a fused object associated with a head and a repeating tail;
• determining a tail template to be repeated in the repeating tail;
• determining a memory layout for the fused object, wherein determining the memory layout for the fused object comprises:
• repeating the tail template in the repeating tail;
• allocating a particular portion of memory for the fused object according to the memory layout;
• based on the tail template indicating a plurality of types:
• interpreting respective values stored at a first set of memory locations, within the repeating tail, as being respectively associated with the plurality of types;
• and
• interpreting respective values stored at a second set of memory locations, within the repeating tail, as being respectively associated with the plurality of types.

One or more non-transitory machine-readable media storing instructions which, when executed by one or more processors, cause:

• identifying a set of one or more instructions to instantiate a fused object associated with a head and a repeating tail;
• determining a tail template to be repeated in the repeating tail;
• determining a memory layout for the fused object, wherein determining the memory layout for the fused object comprises:
• repeating the tail template in the repeating tail;
• allocating a particular portion of memory for the fused object according to the memory layout;
• determining that a first set of memory slots within a first instance of the tail template in the repeating tail is associated with pointers, wherein determining that the first set of memory slots is associated with pointers comprises:
• determining a set of memory slots respectively corresponding to types specified by the tail template;
• identifying a subset of the set of memory slots that is associated with pointers as specified by the tail template;
• determining that the first set of memory slots, within the first instance of the tail template, correspond to the subset of the set of memory slots that is associated with pointers as specified by the tail template;
• determining that a second set of memory slots within a second instance of the tail template in the repeating tail is associated with pointers, wherein determining that the second set of memory slots is associated with pointers comprises:
• determining a count associated with the set of memory slots respectively corresponding to the types specified by the tail template;
• adding the count to each of the first set of memory slots to determine the second set of memory slots.