@soundscript/soundscript 0.1.12 → 0.1.15

package/project-transform/src/compiler/wat_tagged.js

@@ -0,0 +1,548 @@
+export function getTaggedHostBoundaryUsage(module) {
+    const specializedRepresentationByName = new Map((module.runtime?.representations ?? [])
+        .filter((representation) => representation.kind === 'specialized_object_representation')
+        .map((representation) => [representation.name, representation]));
+    const getSpecializedFieldKinds = (representationName) => specializedRepresentationByName.get(representationName)?.fields
+        .flatMap((field) => field.taggedPrimitiveKinds ? [field.taggedPrimitiveKinds] : []) ?? [];
+    const specializedParamFieldKinds = module.functions.flatMap((func) => [
+        ...(func.heapParamRepresentations ?? []).flatMap((boundary) => boundary.representation.kind === 'specialized_object_representation'
+            ? getSpecializedFieldKinds(boundary.representation.name)
+            : []),
+        ...(func.hostTaggedHeapNullableParams ?? []).flatMap((boundary) => boundary.representation.kind === 'specialized_object_representation'
+            ? getSpecializedFieldKinds(boundary.representation.name)
+            : []),
+    ]);
+    const specializedResultFieldKinds = module.functions.flatMap((func) => [
+        ...(func.heapResultRepresentation?.kind === 'specialized_object_representation'
+            ? getSpecializedFieldKinds(func.heapResultRepresentation.name)
+            : []),
+        ...(func.hostTaggedHeapNullableResult?.representation.kind === 'specialized_object_representation'
+            ? getSpecializedFieldKinds(func.hostTaggedHeapNullableResult.representation.name)
+            : []),
+    ]);
+    const fallbackTaggedHeapFieldKinds = module.functions.flatMap((func) => (func.hostFallbackTaggedHeapProperties ?? []).map((property) => ({
+        includesBoolean: property.includesBoolean,
+        includesNull: property.includesNull,
+        includesNumber: property.includesNumber,
+        includesString: property.includesString,
+        includesUndefined: property.includesUndefined,
+    })));
+    const signatureById = new Map((module.closureSignatures ?? []).map((signature) => [signature.id, signature]));
+    const closureUsageById = new Map();
+    const markClosureUsage = (signatureId, flags) => {
+        const current = closureUsageById.get(signatureId) ?? {
+            needsParamBoundary: false,
+            needsResultBoundary: false,
+        };
+        const next = {
+            needsParamBoundary: current.needsParamBoundary || flags.needsParamBoundary === true,
+            needsResultBoundary: current.needsResultBoundary || flags.needsResultBoundary === true,
+        };
+        const changed = next.needsParamBoundary !== current.needsParamBoundary ||
+            next.needsResultBoundary !== current.needsResultBoundary;
+        if (changed) {
+            closureUsageById.set(signatureId, next);
+        }
+        return changed;
+    };
+    for (const func of module.functions) {
+        for (const param of func.hostClosureParams ?? []) {
+            markClosureUsage(param.signatureId, { needsParamBoundary: true, needsResultBoundary: true });
+        }
+        if (func.hostClosureResultSignatureId !== undefined) {
+            markClosureUsage(func.hostClosureResultSignatureId, {
+                needsParamBoundary: true,
+                needsResultBoundary: true,
+            });
+        }
+    }
+    const pending = [...closureUsageById.keys()];
+    while (pending.length > 0) {
+        const signatureId = pending.pop();
+        const usage = closureUsageById.get(signatureId);
+        const signature = signatureById.get(signatureId);
+        if (!usage || !signature) {
+            continue;
+        }
+        signature.paramClosureSignatureIds?.forEach((nestedSignatureId) => {
+            if (nestedSignatureId === undefined) {
+                return;
+            }
+            const changed = markClosureUsage(nestedSignatureId, {
+                needsParamBoundary: usage.needsResultBoundary,
+                needsResultBoundary: usage.needsParamBoundary,
+            });
+            if (changed) {
+                pending.push(nestedSignatureId);
+            }
+        });
+        if (signature.resultClosureSignatureId !== undefined) {
+            const changed = markClosureUsage(signature.resultClosureSignatureId, {
+                needsParamBoundary: usage.needsParamBoundary,
+                needsResultBoundary: usage.needsResultBoundary,
+            });
+            if (changed) {
+                pending.push(signature.resultClosureSignatureId);
+            }
+        }
+    }
+    const usesParamBoundary = module.functions.some((func) => (func.hostTaggedPrimitiveParams?.length ?? 0) > 0);
+    const usesResultBoundary = module.functions.some((func) => func.hostTaggedPrimitiveResultKinds !== undefined);
+    const usesParamStringBoundary = module.functions.some((func) => func.hostTaggedPrimitiveParams?.some((param) => param.includesString === true) === true);
+    const usesResultStringBoundary = module.functions.some((func) => func.hostTaggedPrimitiveResultKinds?.includesString === true);
+    const usesParamNumberBoundary = module.functions.some((func) => func.hostTaggedPrimitiveParams?.some((param) => param.includesNumber === true) === true);
+    const usesResultNumberBoundary = module.functions.some((func) => func.hostTaggedPrimitiveResultKinds?.includesNumber === true);
+    const usesParamBooleanBoundary = module.functions.some((func) => func.hostTaggedPrimitiveParams?.some((param) => param.includesBoolean === true) === true);
+    const usesResultBooleanBoundary = module.functions.some((func) => func.hostTaggedPrimitiveResultKinds?.includesBoolean === true);
+    const usesParamUndefinedBoundary = module.functions.some((func) => func.hostTaggedPrimitiveParams?.some((param) => param.includesUndefined === true) === true ||
+        func.hostTaggedHeapNullableParams?.some((param) => param.includesUndefined === true) === true);
+    const usesResultUndefinedBoundary = module.functions.some((func) => func.hostTaggedPrimitiveResultKinds?.includesUndefined === true ||
+        func.hostTaggedHeapNullableResult?.includesUndefined === true);
+    const usesParamNullBoundary = module.functions.some((func) => func.hostTaggedPrimitiveParams?.some((param) => param.includesNull === true) === true ||
+        func.hostTaggedHeapNullableParams?.some((param) => param.includesNull === true) === true);
+    const usesResultNullBoundary = module.functions.some((func) => func.hostTaggedPrimitiveResultKinds?.includesNull === true ||
+        func.hostTaggedHeapNullableResult?.includesNull === true);
+    const closureUsesParamStringBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsParamBoundary &&
+        signatureById.get(signatureId)?.paramTaggedPrimitiveKinds?.some((kinds) => kinds?.includesString === true) === true);
+    const closureUsesResultStringBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsResultBoundary && signatureById.get(signatureId)?.resultTaggedPrimitiveKinds?.includesString === true);
+    const closureUsesParamNumberBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsParamBoundary &&
+        signatureById.get(signatureId)?.paramTaggedPrimitiveKinds?.some((kinds) => kinds?.includesNumber === true) === true);
+    const closureUsesResultNumberBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsResultBoundary && signatureById.get(signatureId)?.resultTaggedPrimitiveKinds?.includesNumber === true);
+    const closureUsesParamBooleanBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsParamBoundary &&
+        signatureById.get(signatureId)?.paramTaggedPrimitiveKinds?.some((kinds) => kinds?.includesBoolean === true) === true);
+    const closureUsesResultBooleanBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsResultBoundary && signatureById.get(signatureId)?.resultTaggedPrimitiveKinds?.includesBoolean === true);
+    const closureUsesParamUndefinedBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsParamBoundary &&
+        signatureById.get(signatureId)?.paramTaggedPrimitiveKinds?.some((kinds) => kinds?.includesUndefined === true) === true);
+    const closureUsesResultUndefinedBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsResultBoundary && signatureById.get(signatureId)?.resultTaggedPrimitiveKinds?.includesUndefined === true);
+    const closureUsesParamNullBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsParamBoundary &&
+        signatureById.get(signatureId)?.paramTaggedPrimitiveKinds?.some((kinds) => kinds?.includesNull === true) === true);
+    const closureUsesResultNullBoundary = [...closureUsageById.entries()].some(([signatureId, usage]) => usage.needsResultBoundary && signatureById.get(signatureId)?.resultTaggedPrimitiveKinds?.includesNull === true);
+    const usesSpecializedParamStringBoundary = specializedParamFieldKinds.some((kinds) => kinds.includesString === true);
+    const usesSpecializedResultStringBoundary = specializedResultFieldKinds.some((kinds) => kinds.includesString === true);
+    const usesFallbackTaggedStringBoundary = fallbackTaggedHeapFieldKinds.some((kinds) => kinds.includesString === true);
+    const usesSpecializedParamNumberBoundary = specializedParamFieldKinds.some((kinds) => kinds.includesNumber === true);
+    const usesSpecializedResultNumberBoundary = specializedResultFieldKinds.some((kinds) => kinds.includesNumber === true);
+    const usesFallbackTaggedNumberBoundary = fallbackTaggedHeapFieldKinds.some((kinds) => kinds.includesNumber === true);
+    const usesSpecializedParamBooleanBoundary = specializedParamFieldKinds.some((kinds) => kinds.includesBoolean === true);
+    const usesSpecializedResultBooleanBoundary = specializedResultFieldKinds.some((kinds) => kinds.includesBoolean === true);
+    const usesFallbackTaggedBooleanBoundary = fallbackTaggedHeapFieldKinds.some((kinds) => kinds.includesBoolean === true);
+    const usesSpecializedParamUndefinedBoundary = specializedParamFieldKinds.some((kinds) => kinds.includesUndefined === true);
+    const usesSpecializedResultUndefinedBoundary = specializedResultFieldKinds.some((kinds) => kinds.includesUndefined === true);
+    const usesFallbackTaggedUndefinedBoundary = fallbackTaggedHeapFieldKinds.some((kinds) => kinds.includesUndefined === true);
+    const usesSpecializedParamNullBoundary = specializedParamFieldKinds.some((kinds) => kinds.includesNull === true);
+    const usesSpecializedResultNullBoundary = specializedResultFieldKinds.some((kinds) => kinds.includesNull === true);
+    const usesFallbackTaggedNullBoundary = fallbackTaggedHeapFieldKinds.some((kinds) => kinds.includesNull === true);
+    return {
+        usesHostBoundary: usesParamBoundary ||
+            usesResultBoundary ||
+            specializedParamFieldKinds.length > 0 ||
+            specializedResultFieldKinds.length > 0 ||
+            fallbackTaggedHeapFieldKinds.length > 0 ||
+            module.functions.some((func) => (func.hostTaggedHeapNullableParams?.length ?? 0) > 0) ||
+            module.functions.some((func) => func.hostTaggedHeapNullableResult !== undefined) ||
+            closureUsageById.size > 0,
+        usesParamBoundary: usesParamBoundary ||
+            specializedParamFieldKinds.length > 0 ||
+            fallbackTaggedHeapFieldKinds.length > 0 ||
+            module.functions.some((func) => (func.hostTaggedHeapNullableParams?.length ?? 0) > 0) ||
+            [...closureUsageById.values()].some((usage) => usage.needsParamBoundary),
+        usesResultBoundary: usesResultBoundary ||
+            specializedResultFieldKinds.length > 0 ||
+            fallbackTaggedHeapFieldKinds.length > 0 ||
+            module.functions.some((func) => func.hostTaggedHeapNullableResult !== undefined) ||
+            [...closureUsageById.values()].some((usage) => usage.needsResultBoundary),
+        usesParamStringBoundary: usesParamStringBoundary || usesSpecializedParamStringBoundary || usesFallbackTaggedStringBoundary ||
+            closureUsesParamStringBoundary,
+        usesResultStringBoundary: usesResultStringBoundary || usesSpecializedResultStringBoundary || usesFallbackTaggedStringBoundary ||
+            closureUsesResultStringBoundary,
+        usesStringBoundary: usesParamStringBoundary || usesResultStringBoundary || usesSpecializedParamStringBoundary ||
+            usesSpecializedResultStringBoundary || usesFallbackTaggedStringBoundary ||
+            closureUsesParamStringBoundary || closureUsesResultStringBoundary,
+        usesParamNumberBoundary: usesParamNumberBoundary || usesSpecializedParamNumberBoundary || usesFallbackTaggedNumberBoundary ||
+            closureUsesParamNumberBoundary,
+        usesResultNumberBoundary: usesResultNumberBoundary || usesSpecializedResultNumberBoundary || usesFallbackTaggedNumberBoundary ||
+            closureUsesResultNumberBoundary,
+        usesNumberBoundary: usesParamNumberBoundary || usesResultNumberBoundary || usesSpecializedParamNumberBoundary ||
+            usesSpecializedResultNumberBoundary || usesFallbackTaggedNumberBoundary ||
+            closureUsesParamNumberBoundary || closureUsesResultNumberBoundary,
+        usesParamBooleanBoundary: usesParamBooleanBoundary || usesSpecializedParamBooleanBoundary || usesFallbackTaggedBooleanBoundary ||
+            closureUsesParamBooleanBoundary,
+        usesResultBooleanBoundary: usesResultBooleanBoundary || usesSpecializedResultBooleanBoundary || usesFallbackTaggedBooleanBoundary ||
+            closureUsesResultBooleanBoundary,
+        usesBooleanBoundary: usesParamBooleanBoundary || usesResultBooleanBoundary || usesSpecializedParamBooleanBoundary ||
+            usesSpecializedResultBooleanBoundary || usesFallbackTaggedBooleanBoundary ||
+            closureUsesParamBooleanBoundary || closureUsesResultBooleanBoundary,
+        usesParamUndefinedBoundary: usesParamUndefinedBoundary || usesSpecializedParamUndefinedBoundary ||
+            usesFallbackTaggedUndefinedBoundary || closureUsesParamUndefinedBoundary,
+        usesResultUndefinedBoundary: usesResultUndefinedBoundary || usesSpecializedResultUndefinedBoundary ||
+            usesFallbackTaggedUndefinedBoundary || closureUsesResultUndefinedBoundary,
+        usesUndefinedBoundary: usesParamUndefinedBoundary || usesResultUndefinedBoundary || usesSpecializedParamUndefinedBoundary ||
+            usesSpecializedResultUndefinedBoundary || usesFallbackTaggedUndefinedBoundary ||
+            closureUsesParamUndefinedBoundary || closureUsesResultUndefinedBoundary,
+        usesParamNullBoundary: usesParamNullBoundary || usesSpecializedParamNullBoundary || usesFallbackTaggedNullBoundary ||
+            closureUsesParamNullBoundary,
+        usesResultNullBoundary: usesResultNullBoundary || usesSpecializedResultNullBoundary || usesFallbackTaggedNullBoundary ||
+            closureUsesResultNullBoundary,
+        usesNullBoundary: usesParamNullBoundary || usesResultNullBoundary || usesSpecializedParamNullBoundary ||
+            usesSpecializedResultNullBoundary || usesFallbackTaggedNullBoundary ||
+            closureUsesParamNullBoundary || closureUsesResultNullBoundary,
+    };
+}
+export function emitHostTaggedPrimitiveExternrefToTagged(externrefLocalName, tagLocalName, taggedLocalName, kinds, level, indent) {
+    const doneLabel = `$${taggedLocalName}__done`;
+    return [
+        `${indent(level)}local.get $${externrefLocalName}`,
+        `${indent(level)}call $tagged_type_tag`,
+        `${indent(level)}local.set $${tagLocalName}`,
+        `${indent(level)}(block ${doneLabel}`,
+        ...(kinds.includesUndefined
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 0`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}call $tag_undefined`,
+                `${indent(level + 3)}local.set $${taggedLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesNull
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 6`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}call $tag_null`,
+                `${indent(level + 3)}local.set $${taggedLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesBoolean
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 1`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${externrefLocalName}`,
+                `${indent(level + 3)}call $tagged_boolean_value`,
+                `${indent(level + 3)}call $tag_boolean`,
+                `${indent(level + 3)}local.set $${taggedLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesNumber
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 2`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${externrefLocalName}`,
+                `${indent(level + 3)}call $tagged_number_value`,
+                `${indent(level + 3)}call $tag_number`,
+                `${indent(level + 3)}local.set $${taggedLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesString
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 3`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${externrefLocalName}`,
+                `${indent(level + 3)}call $string_to_owned`,
+                `${indent(level + 3)}call $tag_string`,
+                `${indent(level + 3)}local.set $${taggedLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        `${indent(level + 1)}unreachable`,
+        `${indent(level)})`,
+        `${indent(level)}local.get $${taggedLocalName}`,
+    ];
+}
+export function emitTaggedPrimitiveToHostExternref(taggedLocalName, tagLocalName, externrefLocalName, kinds, level, indent) {
+    const doneLabel = `$${externrefLocalName}__done`;
+    return [
+        `${indent(level)}local.get $${taggedLocalName}`,
+        `${indent(level)}struct.get $tagged_value 0`,
+        `${indent(level)}local.set $${tagLocalName}`,
+        `${indent(level)}(block ${doneLabel}`,
+        ...(kinds.includesUndefined
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 0`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}call $tagged_undefined_value`,
+                `${indent(level + 3)}local.set $${externrefLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesNull
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 6`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}ref.null extern`,
+                `${indent(level + 3)}local.set $${externrefLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesBoolean
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 1`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${taggedLocalName}`,
+                `${indent(level + 3)}call $untag_boolean`,
+                `${indent(level + 3)}call $tagged_from_boolean`,
+                `${indent(level + 3)}local.set $${externrefLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesNumber
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 2`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${taggedLocalName}`,
+                `${indent(level + 3)}call $untag_number`,
+                `${indent(level + 3)}call $tagged_from_number`,
+                `${indent(level + 3)}local.set $${externrefLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesString
+            ? [
+                `${indent(level + 1)}local.get $${tagLocalName}`,
+                `${indent(level + 1)}i32.const 3`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${taggedLocalName}`,
+                `${indent(level + 3)}call $untag_owned_string`,
+                `${indent(level + 3)}call $owned_string_to_host`,
+                `${indent(level + 3)}local.set $${externrefLocalName}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        `${indent(level + 1)}unreachable`,
+        `${indent(level)})`,
+        `${indent(level)}local.get $${externrefLocalName}`,
+    ];
+}
+export function emitHostTaggedPrimitiveParamAdaptation(paramName, kinds, level, indent) {
+    const tagLocal = `$${paramName}__host_tag`;
+    const valueLocal = `$${paramName}__host_tagged`;
+    const doneLabel = `$${paramName}__host_done`;
+    return [
+        `${indent(level)}local.get $${paramName}`,
+        `${indent(level)}call $tagged_type_tag`,
+        `${indent(level)}local.set ${tagLocal}`,
+        `${indent(level)}(block ${doneLabel}`,
+        ...(kinds.includesUndefined
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 0`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}call $tag_undefined`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesNull
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 6`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}call $tag_null`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesBoolean
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 1`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${paramName}`,
+                `${indent(level + 3)}call $tagged_boolean_value`,
+                `${indent(level + 3)}call $tag_boolean`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesNumber
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 2`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${paramName}`,
+                `${indent(level + 3)}call $tagged_number_value`,
+                `${indent(level + 3)}call $tag_number`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesString
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 3`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get $${paramName}`,
+                `${indent(level + 3)}call $string_to_owned`,
+                `${indent(level + 3)}call $tag_string`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        `${indent(level + 1)}unreachable`,
+        `${indent(level)})`,
+        `${indent(level)}local.get ${valueLocal}`,
+    ];
+}
+export function emitHostTaggedPrimitiveResultAdaptation(kinds, level, indent) {
+    const taggedLocal = '$result__host_tagged';
+    const tagLocal = '$result__host_tag';
+    const valueLocal = '$result__host_value';
+    const doneLabel = '$result__host_done';
+    return [
+        `${indent(level)}local.set ${taggedLocal}`,
+        `${indent(level)}local.get ${taggedLocal}`,
+        `${indent(level)}struct.get $tagged_value 0`,
+        `${indent(level)}local.set ${tagLocal}`,
+        `${indent(level)}(block ${doneLabel}`,
+        ...(kinds.includesUndefined
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 0`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}call $tagged_undefined_value`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesNull
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 6`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}ref.null extern`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesBoolean
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 1`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get ${taggedLocal}`,
+                `${indent(level + 3)}call $untag_boolean`,
+                `${indent(level + 3)}call $tagged_from_boolean`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesNumber
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 2`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get ${taggedLocal}`,
+                `${indent(level + 3)}call $untag_number`,
+                `${indent(level + 3)}call $tagged_from_number`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        ...(kinds.includesString
+            ? [
+                `${indent(level + 1)}local.get ${tagLocal}`,
+                `${indent(level + 1)}i32.const 3`,
+                `${indent(level + 1)}i32.eq`,
+                `${indent(level + 1)}(if`,
+                `${indent(level + 2)}(then`,
+                `${indent(level + 3)}local.get ${taggedLocal}`,
+                `${indent(level + 3)}call $untag_owned_string`,
+                `${indent(level + 3)}call $owned_string_to_host`,
+                `${indent(level + 3)}local.set ${valueLocal}`,
+                `${indent(level + 3)}br ${doneLabel}`,
+                `${indent(level + 2)})`,
+                `${indent(level + 1)})`,
+            ]
+            : []),
+        `${indent(level + 1)}unreachable`,
+        `${indent(level)})`,
+        `${indent(level)}local.get ${valueLocal}`,
+    ];
+}