Function CheckValuesOfType

deps/v8/test/mjsunit/wasm/cont-bind.js:70–124

(types, block_sig, simd_local)

}

function CheckValuesOfType(types, block_sig, simd_local) {
  let body = [
      kExprBlock, block_sig, // OK.
      kExprBlock, block_sig, // Trap.
  ];
  for (type of types) {
    switch (type) {
      case kWasmI32:
        body.push(...wasmI32Const(12),
            kExprI32Eq,
            kExprBrIf, 1);
        break;
      case kWasmI64:
        body.push(...wasmI64Const(34),
            kExprI64Eq,
            kExprBrIf, 1);
        break;
      case kWasmF32:
        body.push(...wasmF32Const(56),
            kExprF32Eq,
            kExprBrIf, 1);
        break;
      case kWasmF64:
        body.push(...wasmF64Const(56),
            kExprF64Eq,
            kExprBrIf, 1);
        break;
      case kWasmS128:
        body.push(
            kExprLocalTee, simd_local,
            kSimdPrefix, kExprF64x2ExtractLane, 0,
            ...wasmF64Const(Math.PI),
            kExprF64Eq,
            kExprBrIf, 1,
            kExprLocalGet, simd_local,
            kSimdPrefix, kExprF64x2ExtractLane, 0,
            ...wasmF64Const(Math.E),
            kExprF64Eq,
            kExprBrIf, 1);
        break;
      case kWasmExternRef:
        // Just save it, check it outside of the function.
        body.push(kExprGlobalSet, g_ref.index,
            kExprBr, 1);
        break;
    }
  }
  body.push(
    kExprBr, 1, // All equal, escape to outer block.
    kExprEnd,
    kExprUnreachable,
    kExprEnd,
  );
  return body;
}

let gc_index = builder.addImport("m", "gc", kSig_v_v);
let identity_i32 = builder.addFunction("identity_i32", kSig_i_i)