CallSiteHelper

For every L2BasicBlock in my invocationSitesToCreate that is reachable, generate an invocation of the corresponding A_Function. A_Bundle.message

Answer the L2Generator that this CallSiteHelper is within.

Answer the L1Translator that this CallSiteHelper is within.

Record the fact that this call has produced a value in a particular register which is to represent the new top-of-stack value.

Where to jump after a completed call if a return type check isn't needed.

Where to jump after a completed call to perform a return type check.

Where it ends up after the entire call, regardless of whether the returned value had to be checked or not.

A counter for generating unique branch names for this dispatch.

The A_Bundle being dispatched

The type expected to be returned by invoking the function. This may be stronger than the type guaranteed by the VM, which requires a runtime check.

A map from each reachable looked-up A_Function to a Pair containing an L2BasicBlock in which code generation for invocation of this function should/did take place, and a lambda which will cause that code generation to happen.

Whether this call site is a super lookup.

Where to jump to perform the slow lookup.

Where to jump to perform reification without the need for an eventual return type check.

Where to jump to perform reification during a call that cannot ever return.

Where to jump to perform reification, eventually leading to a return type check after completion.

A Java String naming the A_Bundle.

Bottom in the normal case, but for a super-call this is a tuple type with the same size as the number of arguments. For the purpose of looking up the appropriate A_Definition, the type union of each argument's dynamic type and the corresponding entry type from this field is computed, and that's used for the lookup.