Function MakeFuncs

deps/v8/test/mjsunit/wasm/custom-descriptors-casts.js:49–80

(name, type_index, global_index, exact_bit)

]);

function MakeFuncs(name, type_index, global_index, exact_bit) {
  let sig_r_v = makeSig([], [wasmRefType(type_index)]);
  let exact = exact_bit ? [kWasmExact] : [];
  builder.addFunction("cast" + name, sig_r_v).exportFunc().addBody([
    kExprGlobalGet, global_index,
    kGCPrefix, kExprRefCast, ...exact, type_index,
  ]);
  builder.addFunction("test" + name, kSig_i_v).exportFunc().addBody([
    kExprGlobalGet, global_index,
    kGCPrefix, kExprRefTest, ...exact, type_index,
  ]);
  builder.addFunction("br" + name, kSig_i_v).exportFunc().addBody([
    kExprBlock, kAnyRefCode,
    kExprGlobalGet, global_index,
    kGCPrefix, kExprBrOnCast, 0b11, 0, kAnyRefCode, ...exact, type_index,
    kExprI32Const, 0,  // Branch not taken.
    kExprReturn,
    kExprEnd,
    kExprDrop,
    kExprI32Const, 1,  // Branch taken.
  ]);
  builder.addFunction("brfail" + name, kSig_i_v).exportFunc().addBody([
    kExprBlock, kAnyRefCode,
    kExprGlobalGet, global_index,
    kGCPrefix, kExprBrOnCastFail, 0b11, 0, kAnyRefCode, ...exact, type_index,
    kExprI32Const, 1,  // Branch not taken.
    kExprReturn,
    kExprEnd,
    kExprDrop,
    kExprI32Const, 0,  // Branch taken.
  ]);
}

MakeFuncs("_exact", $s0, $glob_s0.index, true);
MakeFuncs("_final_exact", $s1, $glob_s1.index, true);