Adding upstream version 1:115.7.0.upstream/1%115.7.0upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 863 insertions, 0 deletions

diff --git a/js/src/wasm/WasmOpIter.cpp b/js/src/wasm/WasmOpIter.cpp
new file mode 100644
index 0000000000..91e2e17a70
--- /dev/null
+++ b/js/src/wasm/WasmOpIter.cpp
@@ -0,0 +1,863 @@
+/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
+ * vim: set ts=8 sts=2 et sw=2 tw=80:
+ *
+ * Copyright 2015 Mozilla Foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#include "wasm/WasmOpIter.h"
+
+#include "jit/AtomicOp.h"
+
+using namespace js;
+using namespace js::jit;
+using namespace js::wasm;
+
+#ifdef ENABLE_WASM_GC
+#  ifndef ENABLE_WASM_FUNCTION_REFERENCES
+#    error "GC types require the function-references feature"
+#  endif
+#endif
+
+#ifdef DEBUG
+
+#  ifdef ENABLE_WASM_FUNCTION_REFERENCES
+#    define WASM_FUNCTION_REFERENCES_OP(code) return code
+#  else
+#    define WASM_FUNCTION_REFERENCES_OP(code) break
+#  endif
+#  ifdef ENABLE_WASM_GC
+#    define WASM_GC_OP(code) return code
+#  else
+#    define WASM_GC_OP(code) break
+#  endif
+#  ifdef ENABLE_WASM_SIMD
+#    define WASM_SIMD_OP(code) return code
+#  else
+#    define WASM_SIMD_OP(code) break
+#  endif
+
+OpKind wasm::Classify(OpBytes op) {
+  switch (Op(op.b0)) {
+    case Op::Block:
+      return OpKind::Block;
+    case Op::Loop:
+      return OpKind::Loop;
+    case Op::Unreachable:
+      return OpKind::Unreachable;
+    case Op::Drop:
+      return OpKind::Drop;
+    case Op::I32Const:
+      return OpKind::I32;
+    case Op::I64Const:
+      return OpKind::I64;
+    case Op::F32Const:
+      return OpKind::F32;
+    case Op::F64Const:
+      return OpKind::F64;
+    case Op::Br:
+      return OpKind::Br;
+    case Op::BrIf:
+      return OpKind::BrIf;
+    case Op::BrTable:
+      return OpKind::BrTable;
+    case Op::Nop:
+      return OpKind::Nop;
+    case Op::I32Clz:
+    case Op::I32Ctz:
+    case Op::I32Popcnt:
+    case Op::I64Clz:
+    case Op::I64Ctz:
+    case Op::I64Popcnt:
+    case Op::F32Abs:
+    case Op::F32Neg:
+    case Op::F32Ceil:
+    case Op::F32Floor:
+    case Op::F32Trunc:
+    case Op::F32Nearest:
+    case Op::F32Sqrt:
+    case Op::F64Abs:
+    case Op::F64Neg:
+    case Op::F64Ceil:
+    case Op::F64Floor:
+    case Op::F64Trunc:
+    case Op::F64Nearest:
+    case Op::F64Sqrt:
+      return OpKind::Unary;
+    case Op::I32Add:
+    case Op::I32Sub:
+    case Op::I32Mul:
+    case Op::I32DivS:
+    case Op::I32DivU:
+    case Op::I32RemS:
+    case Op::I32RemU:
+    case Op::I32And:
+    case Op::I32Or:
+    case Op::I32Xor:
+    case Op::I32Shl:
+    case Op::I32ShrS:
+    case Op::I32ShrU:
+    case Op::I32Rotl:
+    case Op::I32Rotr:
+    case Op::I64Add:
+    case Op::I64Sub:
+    case Op::I64Mul:
+    case Op::I64DivS:
+    case Op::I64DivU:
+    case Op::I64RemS:
+    case Op::I64RemU:
+    case Op::I64And:
+    case Op::I64Or:
+    case Op::I64Xor:
+    case Op::I64Shl:
+    case Op::I64ShrS:
+    case Op::I64ShrU:
+    case Op::I64Rotl:
+    case Op::I64Rotr:
+    case Op::F32Add:
+    case Op::F32Sub:
+    case Op::F32Mul:
+    case Op::F32Div:
+    case Op::F32Min:
+    case Op::F32Max:
+    case Op::F32CopySign:
+    case Op::F64Add:
+    case Op::F64Sub:
+    case Op::F64Mul:
+    case Op::F64Div:
+    case Op::F64Min:
+    case Op::F64Max:
+    case Op::F64CopySign:
+      return OpKind::Binary;
+    case Op::I32Eq:
+    case Op::I32Ne:
+    case Op::I32LtS:
+    case Op::I32LtU:
+    case Op::I32LeS:
+    case Op::I32LeU:
+    case Op::I32GtS:
+    case Op::I32GtU:
+    case Op::I32GeS:
+    case Op::I32GeU:
+    case Op::I64Eq:
+    case Op::I64Ne:
+    case Op::I64LtS:
+    case Op::I64LtU:
+    case Op::I64LeS:
+    case Op::I64LeU:
+    case Op::I64GtS:
+    case Op::I64GtU:
+    case Op::I64GeS:
+    case Op::I64GeU:
+    case Op::F32Eq:
+    case Op::F32Ne:
+    case Op::F32Lt:
+    case Op::F32Le:
+    case Op::F32Gt:
+    case Op::F32Ge:
+    case Op::F64Eq:
+    case Op::F64Ne:
+    case Op::F64Lt:
+    case Op::F64Le:
+    case Op::F64Gt:
+    case Op::F64Ge:
+      return OpKind::Comparison;
+    case Op::I32Eqz:
+    case Op::I32WrapI64:
+    case Op::I32TruncF32S:
+    case Op::I32TruncF32U:
+    case Op::I32ReinterpretF32:
+    case Op::I32TruncF64S:
+    case Op::I32TruncF64U:
+    case Op::I64ExtendI32S:
+    case Op::I64ExtendI32U:
+    case Op::I64TruncF32S:
+    case Op::I64TruncF32U:
+    case Op::I64TruncF64S:
+    case Op::I64TruncF64U:
+    case Op::I64ReinterpretF64:
+    case Op::I64Eqz:
+    case Op::F32ConvertI32S:
+    case Op::F32ConvertI32U:
+    case Op::F32ReinterpretI32:
+    case Op::F32ConvertI64S:
+    case Op::F32ConvertI64U:
+    case Op::F32DemoteF64:
+    case Op::F64ConvertI32S:
+    case Op::F64ConvertI32U:
+    case Op::F64ConvertI64S:
+    case Op::F64ConvertI64U:
+    case Op::F64ReinterpretI64:
+    case Op::F64PromoteF32:
+    case Op::I32Extend8S:
+    case Op::I32Extend16S:
+    case Op::I64Extend8S:
+    case Op::I64Extend16S:
+    case Op::I64Extend32S:
+      return OpKind::Conversion;
+    case Op::I32Load8S:
+    case Op::I32Load8U:
+    case Op::I32Load16S:
+    case Op::I32Load16U:
+    case Op::I64Load8S:
+    case Op::I64Load8U:
+    case Op::I64Load16S:
+    case Op::I64Load16U:
+    case Op::I64Load32S:
+    case Op::I64Load32U:
+    case Op::I32Load:
+    case Op::I64Load:
+    case Op::F32Load:
+    case Op::F64Load:
+      return OpKind::Load;
+    case Op::I32Store8:
+    case Op::I32Store16:
+    case Op::I64Store8:
+    case Op::I64Store16:
+    case Op::I64Store32:
+    case Op::I32Store:
+    case Op::I64Store:
+    case Op::F32Store:
+    case Op::F64Store:
+      return OpKind::Store;
+    case Op::SelectNumeric:
+    case Op::SelectTyped:
+      return OpKind::Select;
+    case Op::LocalGet:
+      return OpKind::GetLocal;
+    case Op::LocalSet:
+      return OpKind::SetLocal;
+    case Op::LocalTee:
+      return OpKind::TeeLocal;
+    case Op::GlobalGet:
+      return OpKind::GetGlobal;
+    case Op::GlobalSet:
+      return OpKind::SetGlobal;
+    case Op::TableGet:
+      return OpKind::TableGet;
+    case Op::TableSet:
+      return OpKind::TableSet;
+    case Op::Call:
+      return OpKind::Call;
+    case Op::CallIndirect:
+      return OpKind::CallIndirect;
+    case Op::CallRef:
+      WASM_FUNCTION_REFERENCES_OP(OpKind::CallRef);
+    case Op::Return:
+    case Op::Limit:
+      // Accept Limit, for use in decoding the end of a function after the body.
+      return OpKind::Return;
+    case Op::If:
+      return OpKind::If;
+    case Op::Else:
+      return OpKind::Else;
+    case Op::End:
+      return OpKind::End;
+    case Op::Catch:
+      return OpKind::Catch;
+    case Op::CatchAll:
+      return OpKind::CatchAll;
+    case Op::Delegate:
+      return OpKind::Delegate;
+    case Op::Throw:
+      return OpKind::Throw;
+    case Op::Rethrow:
+      return OpKind::Rethrow;
+    case Op::Try:
+      return OpKind::Try;
+    case Op::MemorySize:
+      return OpKind::MemorySize;
+    case Op::MemoryGrow:
+      return OpKind::MemoryGrow;
+    case Op::RefNull:
+      return OpKind::RefNull;
+    case Op::RefIsNull:
+      return OpKind::Conversion;
+    case Op::RefFunc:
+      return OpKind::RefFunc;
+    case Op::RefAsNonNull:
+      WASM_FUNCTION_REFERENCES_OP(OpKind::RefAsNonNull);
+    case Op::BrOnNull:
+      WASM_FUNCTION_REFERENCES_OP(OpKind::BrOnNull);
+    case Op::BrOnNonNull:
+      WASM_FUNCTION_REFERENCES_OP(OpKind::BrOnNonNull);
+    case Op::RefEq:
+      WASM_GC_OP(OpKind::Comparison);
+    case Op::GcPrefix: {
+      switch (GcOp(op.b1)) {
+        case GcOp::Limit:
+          // Reject Limit for GcPrefix encoding
+          break;
+        case GcOp::StructNew:
+          WASM_GC_OP(OpKind::StructNew);
+        case GcOp::StructNewDefault:
+          WASM_GC_OP(OpKind::StructNewDefault);
+        case GcOp::StructGet:
+        case GcOp::StructGetS:
+        case GcOp::StructGetU:
+          WASM_GC_OP(OpKind::StructGet);
+        case GcOp::StructSet:
+          WASM_GC_OP(OpKind::StructSet);
+        case GcOp::ArrayNew:
+          WASM_GC_OP(OpKind::ArrayNew);
+        case GcOp::ArrayNewFixed:
+          WASM_GC_OP(OpKind::ArrayNewFixed);
+        case GcOp::ArrayNewDefault:
+          WASM_GC_OP(OpKind::ArrayNewDefault);
+        case GcOp::ArrayNewData:
+        case GcOp::ArrayInitFromElemStaticV5:
+        case GcOp::ArrayNewElem:
+          WASM_GC_OP(OpKind::ArrayNewData);
+        case GcOp::ArrayGet:
+        case GcOp::ArrayGetS:
+        case GcOp::ArrayGetU:
+          WASM_GC_OP(OpKind::ArrayGet);
+        case GcOp::ArraySet:
+          WASM_GC_OP(OpKind::ArraySet);
+        case GcOp::ArrayLenWithTypeIndex:
+        case GcOp::ArrayLen:
+          WASM_GC_OP(OpKind::ArrayLen);
+        case GcOp::ArrayCopy:
+          WASM_GC_OP(OpKind::ArrayCopy);
+        case GcOp::RefTestV5:
+          WASM_GC_OP(OpKind::RefTestV5);
+        case GcOp::RefCastV5:
+          WASM_GC_OP(OpKind::RefCastV5);
+        case GcOp::RefTest:
+        case GcOp::RefTestNull:
+          WASM_GC_OP(OpKind::RefTest);
+        case GcOp::RefCast:
+        case GcOp::RefCastNull:
+          WASM_GC_OP(OpKind::RefCast);
+        case GcOp::BrOnCast:
+          WASM_GC_OP(OpKind::BrOnCast);
+        case GcOp::BrOnCastV5:
+        case GcOp::BrOnCastHeapV5:
+        case GcOp::BrOnCastHeapNullV5:
+          WASM_GC_OP(OpKind::BrOnCastV5);
+        case GcOp::BrOnCastFailV5:
+        case GcOp::BrOnCastFailHeapV5:
+        case GcOp::BrOnCastFailHeapNullV5:
+          WASM_GC_OP(OpKind::BrOnCastFailV5);
+        case GcOp::RefAsStructV5:
+          WASM_GC_OP(OpKind::Conversion);
+        case GcOp::BrOnNonStructV5:
+          WASM_GC_OP(OpKind::BrOnNonStructV5);
+        case GcOp::ExternInternalize:
+          WASM_GC_OP(OpKind::RefConversion);
+        case GcOp::ExternExternalize:
+          WASM_GC_OP(OpKind::RefConversion);
+      }
+      break;
+    }
+    case Op::SimdPrefix: {
+      switch (SimdOp(op.b1)) {
+        case SimdOp::MozPMADDUBSW:
+        case SimdOp::Limit:
+          // Reject Limit and reserved codes for SimdPrefix encoding
+          break;
+        case SimdOp::I8x16ExtractLaneS:
+        case SimdOp::I8x16ExtractLaneU:
+        case SimdOp::I16x8ExtractLaneS:
+        case SimdOp::I16x8ExtractLaneU:
+        case SimdOp::I32x4ExtractLane:
+        case SimdOp::I64x2ExtractLane:
+        case SimdOp::F32x4ExtractLane:
+        case SimdOp::F64x2ExtractLane:
+          WASM_SIMD_OP(OpKind::ExtractLane);
+        case SimdOp::I8x16Splat:
+        case SimdOp::I16x8Splat:
+        case SimdOp::I32x4Splat:
+        case SimdOp::I64x2Splat:
+        case SimdOp::F32x4Splat:
+        case SimdOp::F64x2Splat:
+        case SimdOp::V128AnyTrue:
+        case SimdOp::I8x16AllTrue:
+        case SimdOp::I16x8AllTrue:
+        case SimdOp::I32x4AllTrue:
+        case SimdOp::I64x2AllTrue:
+        case SimdOp::I8x16Bitmask:
+        case SimdOp::I16x8Bitmask:
+        case SimdOp::I32x4Bitmask:
+        case SimdOp::I64x2Bitmask:
+          WASM_SIMD_OP(OpKind::Conversion);
+        case SimdOp::I8x16ReplaceLane:
+        case SimdOp::I16x8ReplaceLane:
+        case SimdOp::I32x4ReplaceLane:
+        case SimdOp::I64x2ReplaceLane:
+        case SimdOp::F32x4ReplaceLane:
+        case SimdOp::F64x2ReplaceLane:
+          WASM_SIMD_OP(OpKind::ReplaceLane);
+        case SimdOp::I8x16Eq:
+        case SimdOp::I8x16Ne:
+        case SimdOp::I8x16LtS:
+        case SimdOp::I8x16LtU:
+        case SimdOp::I8x16GtS:
+        case SimdOp::I8x16GtU:
+        case SimdOp::I8x16LeS:
+        case SimdOp::I8x16LeU:
+        case SimdOp::I8x16GeS:
+        case SimdOp::I8x16GeU:
+        case SimdOp::I16x8Eq:
+        case SimdOp::I16x8Ne:
+        case SimdOp::I16x8LtS:
+        case SimdOp::I16x8LtU:
+        case SimdOp::I16x8GtS:
+        case SimdOp::I16x8GtU:
+        case SimdOp::I16x8LeS:
+        case SimdOp::I16x8LeU:
+        case SimdOp::I16x8GeS:
+        case SimdOp::I16x8GeU:
+        case SimdOp::I32x4Eq:
+        case SimdOp::I32x4Ne:
+        case SimdOp::I32x4LtS:
+        case SimdOp::I32x4LtU:
+        case SimdOp::I32x4GtS:
+        case SimdOp::I32x4GtU:
+        case SimdOp::I32x4LeS:
+        case SimdOp::I32x4LeU:
+        case SimdOp::I32x4GeS:
+        case SimdOp::I32x4GeU:
+        case SimdOp::I64x2Eq:
+        case SimdOp::I64x2Ne:
+        case SimdOp::I64x2LtS:
+        case SimdOp::I64x2GtS:
+        case SimdOp::I64x2LeS:
+        case SimdOp::I64x2GeS:
+        case SimdOp::F32x4Eq:
+        case SimdOp::F32x4Ne:
+        case SimdOp::F32x4Lt:
+        case SimdOp::F32x4Gt:
+        case SimdOp::F32x4Le:
+        case SimdOp::F32x4Ge:
+        case SimdOp::F64x2Eq:
+        case SimdOp::F64x2Ne:
+        case SimdOp::F64x2Lt:
+        case SimdOp::F64x2Gt:
+        case SimdOp::F64x2Le:
+        case SimdOp::F64x2Ge:
+        case SimdOp::V128And:
+        case SimdOp::V128Or:
+        case SimdOp::V128Xor:
+        case SimdOp::V128AndNot:
+        case SimdOp::I8x16AvgrU:
+        case SimdOp::I16x8AvgrU:
+        case SimdOp::I8x16Add:
+        case SimdOp::I8x16AddSatS:
+        case SimdOp::I8x16AddSatU:
+        case SimdOp::I8x16Sub:
+        case SimdOp::I8x16SubSatS:
+        case SimdOp::I8x16SubSatU:
+        case SimdOp::I8x16MinS:
+        case SimdOp::I8x16MaxS:
+        case SimdOp::I8x16MinU:
+        case SimdOp::I8x16MaxU:
+        case SimdOp::I16x8Add:
+        case SimdOp::I16x8AddSatS:
+        case SimdOp::I16x8AddSatU:
+        case SimdOp::I16x8Sub:
+        case SimdOp::I16x8SubSatS:
+        case SimdOp::I16x8SubSatU:
+        case SimdOp::I16x8Mul:
+        case SimdOp::I16x8MinS:
+        case SimdOp::I16x8MaxS:
+        case SimdOp::I16x8MinU:
+        case SimdOp::I16x8MaxU:
+        case SimdOp::I32x4Add:
+        case SimdOp::I32x4Sub:
+        case SimdOp::I32x4Mul:
+        case SimdOp::I32x4MinS:
+        case SimdOp::I32x4MaxS:
+        case SimdOp::I32x4MinU:
+        case SimdOp::I32x4MaxU:
+        case SimdOp::I64x2Add:
+        case SimdOp::I64x2Sub:
+        case SimdOp::I64x2Mul:
+        case SimdOp::F32x4Add:
+        case SimdOp::F32x4Sub:
+        case SimdOp::F32x4Mul:
+        case SimdOp::F32x4Div:
+        case SimdOp::F32x4Min:
+        case SimdOp::F32x4Max:
+        case SimdOp::F64x2Add:
+        case SimdOp::F64x2Sub:
+        case SimdOp::F64x2Mul:
+        case SimdOp::F64x2Div:
+        case SimdOp::F64x2Min:
+        case SimdOp::F64x2Max:
+        case SimdOp::I8x16NarrowI16x8S:
+        case SimdOp::I8x16NarrowI16x8U:
+        case SimdOp::I16x8NarrowI32x4S:
+        case SimdOp::I16x8NarrowI32x4U:
+        case SimdOp::I8x16Swizzle:
+        case SimdOp::F32x4PMin:
+        case SimdOp::F32x4PMax:
+        case SimdOp::F64x2PMin:
+        case SimdOp::F64x2PMax:
+        case SimdOp::I32x4DotI16x8S:
+        case SimdOp::I16x8ExtmulLowI8x16S:
+        case SimdOp::I16x8ExtmulHighI8x16S:
+        case SimdOp::I16x8ExtmulLowI8x16U:
+        case SimdOp::I16x8ExtmulHighI8x16U:
+        case SimdOp::I32x4ExtmulLowI16x8S:
+        case SimdOp::I32x4ExtmulHighI16x8S:
+        case SimdOp::I32x4ExtmulLowI16x8U:
+        case SimdOp::I32x4ExtmulHighI16x8U:
+        case SimdOp::I64x2ExtmulLowI32x4S:
+        case SimdOp::I64x2ExtmulHighI32x4S:
+        case SimdOp::I64x2ExtmulLowI32x4U:
+        case SimdOp::I64x2ExtmulHighI32x4U:
+        case SimdOp::I16x8Q15MulrSatS:
+        case SimdOp::F32x4RelaxedMin:
+        case SimdOp::F32x4RelaxedMax:
+        case SimdOp::F64x2RelaxedMin:
+        case SimdOp::F64x2RelaxedMax:
+        case SimdOp::I8x16RelaxedSwizzle:
+        case SimdOp::I16x8RelaxedQ15MulrS:
+        case SimdOp::I16x8DotI8x16I7x16S:
+          WASM_SIMD_OP(OpKind::Binary);
+        case SimdOp::I8x16Neg:
+        case SimdOp::I16x8Neg:
+        case SimdOp::I16x8ExtendLowI8x16S:
+        case SimdOp::I16x8ExtendHighI8x16S:
+        case SimdOp::I16x8ExtendLowI8x16U:
+        case SimdOp::I16x8ExtendHighI8x16U:
+        case SimdOp::I32x4Neg:
+        case SimdOp::I32x4ExtendLowI16x8S:
+        case SimdOp::I32x4ExtendHighI16x8S:
+        case SimdOp::I32x4ExtendLowI16x8U:
+        case SimdOp::I32x4ExtendHighI16x8U:
+        case SimdOp::I32x4TruncSatF32x4S:
+        case SimdOp::I32x4TruncSatF32x4U:
+        case SimdOp::I64x2Neg:
+        case SimdOp::I64x2ExtendLowI32x4S:
+        case SimdOp::I64x2ExtendHighI32x4S:
+        case SimdOp::I64x2ExtendLowI32x4U:
+        case SimdOp::I64x2ExtendHighI32x4U:
+        case SimdOp::F32x4Abs:
+        case SimdOp::F32x4Neg:
+        case SimdOp::F32x4Sqrt:
+        case SimdOp::F32x4ConvertI32x4S:
+        case SimdOp::F32x4ConvertI32x4U:
+        case SimdOp::F64x2Abs:
+        case SimdOp::F64x2Neg:
+        case SimdOp::F64x2Sqrt:
+        case SimdOp::V128Not:
+        case SimdOp::I8x16Popcnt:
+        case SimdOp::I8x16Abs:
+        case SimdOp::I16x8Abs:
+        case SimdOp::I32x4Abs:
+        case SimdOp::I64x2Abs:
+        case SimdOp::F32x4Ceil:
+        case SimdOp::F32x4Floor:
+        case SimdOp::F32x4Trunc:
+        case SimdOp::F32x4Nearest:
+        case SimdOp::F64x2Ceil:
+        case SimdOp::F64x2Floor:
+        case SimdOp::F64x2Trunc:
+        case SimdOp::F64x2Nearest:
+        case SimdOp::F32x4DemoteF64x2Zero:
+        case SimdOp::F64x2PromoteLowF32x4:
+        case SimdOp::F64x2ConvertLowI32x4S:
+        case SimdOp::F64x2ConvertLowI32x4U:
+        case SimdOp::I32x4TruncSatF64x2SZero:
+        case SimdOp::I32x4TruncSatF64x2UZero:
+        case SimdOp::I16x8ExtaddPairwiseI8x16S:
+        case SimdOp::I16x8ExtaddPairwiseI8x16U:
+        case SimdOp::I32x4ExtaddPairwiseI16x8S:
+        case SimdOp::I32x4ExtaddPairwiseI16x8U:
+        case SimdOp::I32x4RelaxedTruncF32x4S:
+        case SimdOp::I32x4RelaxedTruncF32x4U:
+        case SimdOp::I32x4RelaxedTruncF64x2SZero:
+        case SimdOp::I32x4RelaxedTruncF64x2UZero:
+          WASM_SIMD_OP(OpKind::Unary);
+        case SimdOp::I8x16Shl:
+        case SimdOp::I8x16ShrS:
+        case SimdOp::I8x16ShrU:
+        case SimdOp::I16x8Shl:
+        case SimdOp::I16x8ShrS:
+        case SimdOp::I16x8ShrU:
+        case SimdOp::I32x4Shl:
+        case SimdOp::I32x4ShrS:
+        case SimdOp::I32x4ShrU:
+        case SimdOp::I64x2Shl:
+        case SimdOp::I64x2ShrS:
+        case SimdOp::I64x2ShrU:
+          WASM_SIMD_OP(OpKind::VectorShift);
+        case SimdOp::V128Bitselect:
+          WASM_SIMD_OP(OpKind::Ternary);
+        case SimdOp::I8x16Shuffle:
+          WASM_SIMD_OP(OpKind::VectorShuffle);
+        case SimdOp::V128Const:
+          WASM_SIMD_OP(OpKind::V128);
+        case SimdOp::V128Load:
+        case SimdOp::V128Load8Splat:
+        case SimdOp::V128Load16Splat:
+        case SimdOp::V128Load32Splat:
+        case SimdOp::V128Load64Splat:
+        case SimdOp::V128Load8x8S:
+        case SimdOp::V128Load8x8U:
+        case SimdOp::V128Load16x4S:
+        case SimdOp::V128Load16x4U:
+        case SimdOp::V128Load32x2S:
+        case SimdOp::V128Load32x2U:
+        case SimdOp::V128Load32Zero:
+        case SimdOp::V128Load64Zero:
+          WASM_SIMD_OP(OpKind::Load);
+        case SimdOp::V128Store:
+          WASM_SIMD_OP(OpKind::Store);
+        case SimdOp::V128Load8Lane:
+        case SimdOp::V128Load16Lane:
+        case SimdOp::V128Load32Lane:
+        case SimdOp::V128Load64Lane:
+          WASM_SIMD_OP(OpKind::LoadLane);
+        case SimdOp::V128Store8Lane:
+        case SimdOp::V128Store16Lane:
+        case SimdOp::V128Store32Lane:
+        case SimdOp::V128Store64Lane:
+          WASM_SIMD_OP(OpKind::StoreLane);
+        case SimdOp::F32x4RelaxedFma:
+        case SimdOp::F32x4RelaxedFnma:
+        case SimdOp::F64x2RelaxedFma:
+        case SimdOp::F64x2RelaxedFnma:
+        case SimdOp::I8x16RelaxedLaneSelect:
+        case SimdOp::I16x8RelaxedLaneSelect:
+        case SimdOp::I32x4RelaxedLaneSelect:
+        case SimdOp::I64x2RelaxedLaneSelect:
+        case SimdOp::I32x4DotI8x16I7x16AddS:
+          WASM_SIMD_OP(OpKind::Ternary);
+      }
+      break;
+    }
+    case Op::MiscPrefix: {
+      switch (MiscOp(op.b1)) {
+        case MiscOp::Limit:
+          // Reject Limit for MiscPrefix encoding
+          break;
+        case MiscOp::I32TruncSatF32S:
+        case MiscOp::I32TruncSatF32U:
+        case MiscOp::I32TruncSatF64S:
+        case MiscOp::I32TruncSatF64U:
+        case MiscOp::I64TruncSatF32S:
+        case MiscOp::I64TruncSatF32U:
+        case MiscOp::I64TruncSatF64S:
+        case MiscOp::I64TruncSatF64U:
+          return OpKind::Conversion;
+        case MiscOp::MemoryCopy:
+        case MiscOp::TableCopy:
+          return OpKind::MemOrTableCopy;
+        case MiscOp::DataDrop:
+        case MiscOp::ElemDrop:
+          return OpKind::DataOrElemDrop;
+        case MiscOp::MemoryFill:
+          return OpKind::MemFill;
+        case MiscOp::MemoryInit:
+        case MiscOp::TableInit:
+          return OpKind::MemOrTableInit;
+        case MiscOp::TableFill:
+          return OpKind::TableFill;
+        case MiscOp::MemoryDiscard:
+          return OpKind::MemDiscard;
+        case MiscOp::TableGrow:
+          return OpKind::TableGrow;
+        case MiscOp::TableSize:
+          return OpKind::TableSize;
+      }
+      break;
+    }
+    case Op::ThreadPrefix: {
+      switch (ThreadOp(op.b1)) {
+        case ThreadOp::Limit:
+          // Reject Limit for ThreadPrefix encoding
+          break;
+        case ThreadOp::Wake:
+          return OpKind::Wake;
+        case ThreadOp::I32Wait:
+        case ThreadOp::I64Wait:
+          return OpKind::Wait;
+        case ThreadOp::Fence:
+          return OpKind::Fence;
+        case ThreadOp::I32AtomicLoad:
+        case ThreadOp::I64AtomicLoad:
+        case ThreadOp::I32AtomicLoad8U:
+        case ThreadOp::I32AtomicLoad16U:
+        case ThreadOp::I64AtomicLoad8U:
+        case ThreadOp::I64AtomicLoad16U:
+        case ThreadOp::I64AtomicLoad32U:
+          return OpKind::AtomicLoad;
+        case ThreadOp::I32AtomicStore:
+        case ThreadOp::I64AtomicStore:
+        case ThreadOp::I32AtomicStore8U:
+        case ThreadOp::I32AtomicStore16U:
+        case ThreadOp::I64AtomicStore8U:
+        case ThreadOp::I64AtomicStore16U:
+        case ThreadOp::I64AtomicStore32U:
+          return OpKind::AtomicStore;
+        case ThreadOp::I32AtomicAdd:
+        case ThreadOp::I64AtomicAdd:
+        case ThreadOp::I32AtomicAdd8U:
+        case ThreadOp::I32AtomicAdd16U:
+        case ThreadOp::I64AtomicAdd8U:
+        case ThreadOp::I64AtomicAdd16U:
+        case ThreadOp::I64AtomicAdd32U:
+        case ThreadOp::I32AtomicSub:
+        case ThreadOp::I64AtomicSub:
+        case ThreadOp::I32AtomicSub8U:
+        case ThreadOp::I32AtomicSub16U:
+        case ThreadOp::I64AtomicSub8U:
+        case ThreadOp::I64AtomicSub16U:
+        case ThreadOp::I64AtomicSub32U:
+        case ThreadOp::I32AtomicAnd:
+        case ThreadOp::I64AtomicAnd:
+        case ThreadOp::I32AtomicAnd8U:
+        case ThreadOp::I32AtomicAnd16U:
+        case ThreadOp::I64AtomicAnd8U:
+        case ThreadOp::I64AtomicAnd16U:
+        case ThreadOp::I64AtomicAnd32U:
+        case ThreadOp::I32AtomicOr:
+        case ThreadOp::I64AtomicOr:
+        case ThreadOp::I32AtomicOr8U:
+        case ThreadOp::I32AtomicOr16U:
+        case ThreadOp::I64AtomicOr8U:
+        case ThreadOp::I64AtomicOr16U:
+        case ThreadOp::I64AtomicOr32U:
+        case ThreadOp::I32AtomicXor:
+        case ThreadOp::I64AtomicXor:
+        case ThreadOp::I32AtomicXor8U:
+        case ThreadOp::I32AtomicXor16U:
+        case ThreadOp::I64AtomicXor8U:
+        case ThreadOp::I64AtomicXor16U:
+        case ThreadOp::I64AtomicXor32U:
+        case ThreadOp::I32AtomicXchg:
+        case ThreadOp::I64AtomicXchg:
+        case ThreadOp::I32AtomicXchg8U:
+        case ThreadOp::I32AtomicXchg16U:
+        case ThreadOp::I64AtomicXchg8U:
+        case ThreadOp::I64AtomicXchg16U:
+        case ThreadOp::I64AtomicXchg32U:
+          return OpKind::AtomicBinOp;
+        case ThreadOp::I32AtomicCmpXchg:
+        case ThreadOp::I64AtomicCmpXchg:
+        case ThreadOp::I32AtomicCmpXchg8U:
+        case ThreadOp::I32AtomicCmpXchg16U:
+        case ThreadOp::I64AtomicCmpXchg8U:
+        case ThreadOp::I64AtomicCmpXchg16U:
+        case ThreadOp::I64AtomicCmpXchg32U:
+          return OpKind::AtomicCompareExchange;
+        default:
+          break;
+      }
+      break;
+    }
+    case Op::MozPrefix: {
+      switch (MozOp(op.b1)) {
+        case MozOp::Limit:
+          // Reject Limit for the MozPrefix encoding
+          break;
+        case MozOp::TeeGlobal:
+          return OpKind::TeeGlobal;
+        case MozOp::I32BitNot:
+        case MozOp::I32Abs:
+        case MozOp::I32Neg:
+          return OpKind::Unary;
+        case MozOp::I32Min:
+        case MozOp::I32Max:
+        case MozOp::F64Mod:
+        case MozOp::F64Pow:
+        case MozOp::F64Atan2:
+          return OpKind::Binary;
+        case MozOp::F64SinNative:
+        case MozOp::F64SinFdlibm:
+        case MozOp::F64CosNative:
+        case MozOp::F64CosFdlibm:
+        case MozOp::F64TanNative:
+        case MozOp::F64TanFdlibm:
+        case MozOp::F64Asin:
+        case MozOp::F64Acos:
+        case MozOp::F64Atan:
+        case MozOp::F64Exp:
+        case MozOp::F64Log:
+          return OpKind::Unary;
+        case MozOp::I32TeeStore8:
+        case MozOp::I32TeeStore16:
+        case MozOp::I64TeeStore8:
+        case MozOp::I64TeeStore16:
+        case MozOp::I64TeeStore32:
+        case MozOp::I32TeeStore:
+        case MozOp::I64TeeStore:
+        case MozOp::F32TeeStore:
+        case MozOp::F64TeeStore:
+        case MozOp::F32TeeStoreF64:
+        case MozOp::F64TeeStoreF32:
+          return OpKind::TeeStore;
+        case MozOp::OldCallDirect:
+          return OpKind::OldCallDirect;
+        case MozOp::OldCallIndirect:
+          return OpKind::OldCallIndirect;
+        case MozOp::Intrinsic:
+          return OpKind::Intrinsic;
+      }
+      break;
+    }
+    case Op::FirstPrefix:
+      break;
+  }
+  MOZ_CRASH("unimplemented opcode");
+}
+
+#  undef WASM_GC_OP
+#  undef WASM_REF_OP
+
+#endif  // DEBUG
+
+bool UnsetLocalsState::init(const ValTypeVector& locals, size_t numParams) {
+  MOZ_ASSERT(setLocalsStack_.empty());
+
+  // Find the first and total count of non-defaultable locals.
+  size_t firstNonDefaultable = UINT32_MAX;
+  size_t countNonDefaultable = 0;
+  for (size_t i = numParams; i < locals.length(); i++) {
+    if (!locals[i].isDefaultable()) {
+      firstNonDefaultable = std::min(i, firstNonDefaultable);
+      countNonDefaultable++;
+    }
+  }
+  firstNonDefaultLocal_ = firstNonDefaultable;
+  if (countNonDefaultable == 0) {
+    // No locals to track, saving CPU cycles.
+    MOZ_ASSERT(firstNonDefaultable == UINT32_MAX);
+    return true;
+  }
+
+  // setLocalsStack_ cannot be deeper than amount of non-defaultable locals.
+  if (!setLocalsStack_.reserve(countNonDefaultable)) {
+    return false;
+  }
+
+  // Allocate a bitmap for locals starting at the first non-defaultable local.
+  size_t bitmapSize =
+      ((locals.length() - firstNonDefaultable) + (WordBits - 1)) / WordBits;
+  if (!unsetLocals_.resize(bitmapSize)) {
+    return false;
+  }
+  memset(unsetLocals_.begin(), 0, bitmapSize * WordSize);
+  for (size_t i = firstNonDefaultable; i < locals.length(); i++) {
+    if (!locals[i].isDefaultable()) {
+      size_t localUnsetIndex = i - firstNonDefaultable;
+      unsetLocals_[localUnsetIndex / WordBits] |=
+          1 << (localUnsetIndex % WordBits);
+    }
+  }
+  return true;
+}