test/mjsunit/wasm/wasm-constants.js - v8/v8 - Git at Google

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.

 // Flags: --expose-wasm

 function bytes() {
   var buffer = new ArrayBuffer(arguments.length);
   var view = new Uint8Array(buffer);
   for (var i = 0; i < arguments.length; i++) {
     var val = arguments[i];
     if ((typeof val) == "string") val = val.charCodeAt(0);
     view[i] = val | 0;
   }
   return buffer;
 }

 // V8 internal constants
 var kV8MaxPages = 32767;

 // Header declaration constants
 var kWasmH0 = 0;
 var kWasmH1 = 0x61;
 var kWasmH2 = 0x73;
 var kWasmH3 = 0x6d;

 var kWasmV0 = 0x1;
 var kWasmV1 = 0;
 var kWasmV2 = 0;
 var kWasmV3 = 0;

 var kHeaderSize = 8;
 var kPageSize = 65536;
 var kSpecMaxPages = 65535;

 function bytesWithHeader() {
   var buffer = new ArrayBuffer(kHeaderSize + arguments.length);
   var view = new Uint8Array(buffer);
   view[0] = kWasmH0;
   view[1] = kWasmH1;
   view[2] = kWasmH2;
   view[3] = kWasmH3;
   view[4] = kWasmV0;
   view[5] = kWasmV1;
   view[6] = kWasmV2;
   view[7] = kWasmV3;
   for (var i = 0; i < arguments.length; i++) {
     var val = arguments[i];
     if ((typeof val) == "string") val = val.charCodeAt(0);
     view[kHeaderSize + i] = val | 0;
   }
   return buffer;
 }

 let kDeclNoLocals = 0;

 // Section declaration constants
 let kUnknownSectionCode = 0;
 let kTypeSectionCode = 1;        // Function signature declarations
 let kImportSectionCode = 2;      // Import declarations
 let kFunctionSectionCode = 3;    // Function declarations
 let kTableSectionCode = 4;       // Indirect function table and other tables
 let kMemorySectionCode = 5;      // Memory attributes
 let kGlobalSectionCode = 6;      // Global declarations
 let kExportSectionCode = 7;      // Exports
 let kStartSectionCode = 8;       // Start function declaration
 let kElementSectionCode = 9;     // Elements section
 let kCodeSectionCode = 10;       // Function code
 let kDataSectionCode = 11;       // Data segments
 let kNameSectionCode = 12;       // Name section (encoded as string)
 let kExceptionSectionCode = 13;  // Exception section (must appear before code section)

 // Name section types
 let kModuleNameCode = 0;
 let kFunctionNamesCode = 1;
 let kLocalNamesCode = 2;

 let kWasmFunctionTypeForm = 0x60;
 let kWasmAnyFunctionTypeForm = 0x70;

 let kResizableMaximumFlag = 1;

 // Function declaration flags
 let kDeclFunctionName   = 0x01;
 let kDeclFunctionImport = 0x02;
 let kDeclFunctionLocals = 0x04;
 let kDeclFunctionExport = 0x08;

 // Local types
 let kWasmStmt = 0x40;
 let kWasmI32 = 0x7f;
 let kWasmI64 = 0x7e;
 let kWasmF32 = 0x7d;
 let kWasmF64 = 0x7c;
 let kWasmS128  = 0x7b;

 let kExternalFunction = 0;
 let kExternalTable = 1;
 let kExternalMemory = 2;
 let kExternalGlobal = 3;

 let kTableZero = 0;
 let kMemoryZero = 0;

 // Useful signatures
 let kSig_i_i = makeSig([kWasmI32], [kWasmI32]);
 let kSig_l_l = makeSig([kWasmI64], [kWasmI64]);
 let kSig_i_l = makeSig([kWasmI64], [kWasmI32]);
 let kSig_i_ii = makeSig([kWasmI32, kWasmI32], [kWasmI32]);
 let kSig_i_iii = makeSig([kWasmI32, kWasmI32, kWasmI32], [kWasmI32]);
 let kSig_d_dd = makeSig([kWasmF64, kWasmF64], [kWasmF64]);
 let kSig_l_ll = makeSig([kWasmI64, kWasmI64], [kWasmI64]);
 let kSig_i_dd = makeSig([kWasmF64, kWasmF64], [kWasmI32]);
 let kSig_v_v = makeSig([], []);
 let kSig_i_v = makeSig([], [kWasmI32]);
 let kSig_l_v = makeSig([], [kWasmI64]);
 let kSig_f_v = makeSig([], [kWasmF64]);
 let kSig_d_v = makeSig([], [kWasmF64]);
 let kSig_v_i = makeSig([kWasmI32], []);
 let kSig_v_ii = makeSig([kWasmI32, kWasmI32], []);
 let kSig_v_iii = makeSig([kWasmI32, kWasmI32, kWasmI32], []);
 let kSig_v_l = makeSig([kWasmI64], []);
 let kSig_v_d = makeSig([kWasmF64], []);
 let kSig_v_dd = makeSig([kWasmF64, kWasmF64], []);
 let kSig_v_ddi = makeSig([kWasmF64, kWasmF64, kWasmI32], []);

 let kSig_v_f = makeSig([kWasmF32], []);
 let kSig_f_f = makeSig([kWasmF32], [kWasmF32]);
 let kSig_d_d = makeSig([kWasmF64], [kWasmF64]);

 function makeSig(params, results) {
   return {params: params, results: results};
 }

 function makeSig_v_x(x) {
   return makeSig([x], []);
 }

 function makeSig_v_xx(x) {
   return makeSig([x, x], []);
 }

 function makeSig_r_v(r) {
   return makeSig([], [r]);
 }

 function makeSig_r_x(r, x) {
   return makeSig([x], [r]);
 }

 function makeSig_r_xx(r, x) {
   return makeSig([x, x], [r]);
 }

 // Opcodes
 let kExprUnreachable = 0x00;
 let kExprNop = 0x01;
 let kExprBlock = 0x02;
 let kExprLoop = 0x03;
 let kExprIf = 0x04;
 let kExprElse = 0x05;
 let kExprTry = 0x06;
 let kExprCatch = 0x07;
 let kExprThrow = 0x08;
 let kExprEnd = 0x0b;
 let kExprBr = 0x0c;
 let kExprBrIf = 0x0d;
 let kExprBrTable = 0x0e;
 let kExprReturn = 0x0f;
 let kExprCallFunction = 0x10;
 let kExprCallIndirect = 0x11;
 let kExprDrop = 0x1a;
 let kExprSelect = 0x1b;
 let kExprGetLocal = 0x20;
 let kExprSetLocal = 0x21;
 let kExprTeeLocal = 0x22;
 let kExprGetGlobal = 0x23;
 let kExprSetGlobal = 0x24;
 let kExprI32Const = 0x41;
 let kExprI64Const = 0x42;
 let kExprF32Const = 0x43;
 let kExprF64Const = 0x44;
 let kExprI32LoadMem = 0x28;
 let kExprI64LoadMem = 0x29;
 let kExprF32LoadMem = 0x2a;
 let kExprF64LoadMem = 0x2b;
 let kExprI32LoadMem8S = 0x2c;
 let kExprI32LoadMem8U = 0x2d;
 let kExprI32LoadMem16S = 0x2e;
 let kExprI32LoadMem16U = 0x2f;
 let kExprI64LoadMem8S = 0x30;
 let kExprI64LoadMem8U = 0x31;
 let kExprI64LoadMem16S = 0x32;
 let kExprI64LoadMem16U = 0x33;
 let kExprI64LoadMem32S = 0x34;
 let kExprI64LoadMem32U = 0x35;
 let kExprI32StoreMem = 0x36;
 let kExprI64StoreMem = 0x37;
 let kExprF32StoreMem = 0x38;
 let kExprF64StoreMem = 0x39;
 let kExprI32StoreMem8 = 0x3a;
 let kExprI32StoreMem16 = 0x3b;
 let kExprI64StoreMem8 = 0x3c;
 let kExprI64StoreMem16 = 0x3d;
 let kExprI64StoreMem32 = 0x3e;
 let kExprMemorySize = 0x3f;
 let kExprGrowMemory = 0x40;
 let kExprI32Eqz = 0x45;
 let kExprI32Eq = 0x46;
 let kExprI32Ne = 0x47;
 let kExprI32LtS = 0x48;
 let kExprI32LtU = 0x49;
 let kExprI32GtS = 0x4a;
 let kExprI32GtU = 0x4b;
 let kExprI32LeS = 0x4c;
 let kExprI32LeU = 0x4d;
 let kExprI32GeS = 0x4e;
 let kExprI32GeU = 0x4f;
 let kExprI64Eqz = 0x50;
 let kExprI64Eq = 0x51;
 let kExprI64Ne = 0x52;
 let kExprI64LtS = 0x53;
 let kExprI64LtU = 0x54;
 let kExprI64GtS = 0x55;
 let kExprI64GtU = 0x56;
 let kExprI64LeS = 0x57;
 let kExprI64LeU = 0x58;
 let kExprI64GeS = 0x59;
 let kExprI64GeU = 0x5a;
 let kExprF32Eq = 0x5b;
 let kExprF32Ne = 0x5c;
 let kExprF32Lt = 0x5d;
 let kExprF32Gt = 0x5e;
 let kExprF32Le = 0x5f;
 let kExprF32Ge = 0x60;
 let kExprF64Eq = 0x61;
 let kExprF64Ne = 0x62;
 let kExprF64Lt = 0x63;
 let kExprF64Gt = 0x64;
 let kExprF64Le = 0x65;
 let kExprF64Ge = 0x66;
 let kExprI32Clz = 0x67;
 let kExprI32Ctz = 0x68;
 let kExprI32Popcnt = 0x69;
 let kExprI32Add = 0x6a;
 let kExprI32Sub = 0x6b;
 let kExprI32Mul = 0x6c;
 let kExprI32DivS = 0x6d;
 let kExprI32DivU = 0x6e;
 let kExprI32RemS = 0x6f;
 let kExprI32RemU = 0x70;
 let kExprI32And = 0x71;
 let kExprI32Ior = 0x72;
 let kExprI32Xor = 0x73;
 let kExprI32Shl = 0x74;
 let kExprI32ShrS = 0x75;
 let kExprI32ShrU = 0x76;
 let kExprI32Rol = 0x77;
 let kExprI32Ror = 0x78;
 let kExprI64Clz = 0x79;
 let kExprI64Ctz = 0x7a;
 let kExprI64Popcnt = 0x7b;
 let kExprI64Add = 0x7c;
 let kExprI64Sub = 0x7d;
 let kExprI64Mul = 0x7e;
 let kExprI64DivS = 0x7f;
 let kExprI64DivU = 0x80;
 let kExprI64RemS = 0x81;
 let kExprI64RemU = 0x82;
 let kExprI64And = 0x83;
 let kExprI64Ior = 0x84;
 let kExprI64Xor = 0x85;
 let kExprI64Shl = 0x86;
 let kExprI64ShrS = 0x87;
 let kExprI64ShrU = 0x88;
 let kExprI64Rol = 0x89;
 let kExprI64Ror = 0x8a;
 let kExprF32Abs = 0x8b;
 let kExprF32Neg = 0x8c;
 let kExprF32Ceil = 0x8d;
 let kExprF32Floor = 0x8e;
 let kExprF32Trunc = 0x8f;
 let kExprF32NearestInt = 0x90;
 let kExprF32Sqrt = 0x91;
 let kExprF32Add = 0x92;
 let kExprF32Sub = 0x93;
 let kExprF32Mul = 0x94;
 let kExprF32Div = 0x95;
 let kExprF32Min = 0x96;
 let kExprF32Max = 0x97;
 let kExprF32CopySign = 0x98;
 let kExprF64Abs = 0x99;
 let kExprF64Neg = 0x9a;
 let kExprF64Ceil = 0x9b;
 let kExprF64Floor = 0x9c;
 let kExprF64Trunc = 0x9d;
 let kExprF64NearestInt = 0x9e;
 let kExprF64Sqrt = 0x9f;
 let kExprF64Add = 0xa0;
 let kExprF64Sub = 0xa1;
 let kExprF64Mul = 0xa2;
 let kExprF64Div = 0xa3;
 let kExprF64Min = 0xa4;
 let kExprF64Max = 0xa5;
 let kExprF64CopySign = 0xa6;
 let kExprI32ConvertI64 = 0xa7;
 let kExprI32SConvertF32 = 0xa8;
 let kExprI32UConvertF32 = 0xa9;
 let kExprI32SConvertF64 = 0xaa;
 let kExprI32UConvertF64 = 0xab;
 let kExprI64SConvertI32 = 0xac;
 let kExprI64UConvertI32 = 0xad;
 let kExprI64SConvertF32 = 0xae;
 let kExprI64UConvertF32 = 0xaf;
 let kExprI64SConvertF64 = 0xb0;
 let kExprI64UConvertF64 = 0xb1;
 let kExprF32SConvertI32 = 0xb2;
 let kExprF32UConvertI32 = 0xb3;
 let kExprF32SConvertI64 = 0xb4;
 let kExprF32UConvertI64 = 0xb5;
 let kExprF32ConvertF64 = 0xb6;
 let kExprF64SConvertI32 = 0xb7;
 let kExprF64UConvertI32 = 0xb8;
 let kExprF64SConvertI64 = 0xb9;
 let kExprF64UConvertI64 = 0xba;
 let kExprF64ConvertF32 = 0xbb;
 let kExprI32ReinterpretF32 = 0xbc;
 let kExprI64ReinterpretF64 = 0xbd;
 let kExprF32ReinterpretI32 = 0xbe;
 let kExprF64ReinterpretI64 = 0xbf;

 // Prefix opcodes
 let kAtomicPrefix = 0xfe;

 let kExprI32AtomicAdd = 0x1e;
 let kExprI32AtomicAdd8U = 0x20;
 let kExprI32AtomicAdd16U = 0x21;
 let kExprI32AtomicSub = 0x25;
 let kExprI32AtomicSub8U = 0x27;
 let kExprI32AtomicSub16U = 0x28;
 let kExprI32AtomicAnd = 0x2c;
 let kExprI32AtomicAnd8U = 0x2e;
 let kExprI32AtomicAnd16U = 0x2f;
 let kExprI32AtomicOr = 0x33;
 let kExprI32AtomicOr8U = 0x35;
 let kExprI32AtomicOr16U = 0x36;
 let kExprI32AtomicXor = 0x3a;
 let kExprI32AtomicXor8U = 0x3c;
 let kExprI32AtomicXor16U = 0x3d;
 let kExprI32AtomicExchange = 0x41;
 let kExprI32AtomicExchange8U = 0x43;
 let kExprI32AtomicExchange16U = 0x44;
 let kExprI32AtomicCompareExchange = 0x48
 let kExprI32AtomicCompareExchange8U = 0x4a
 let kExprI32AtomicCompareExchange16U = 0x4b

 let kTrapUnreachable          = 0;
 let kTrapMemOutOfBounds       = 1;
 let kTrapDivByZero            = 2;
 let kTrapDivUnrepresentable   = 3;
 let kTrapRemByZero            = 4;
 let kTrapFloatUnrepresentable = 5;
 let kTrapFuncInvalid          = 6;
 let kTrapFuncSigMismatch      = 7;
 let kTrapInvalidIndex         = 8;

 let kTrapMsgs = [
   "unreachable",
   "memory access out of bounds",
   "divide by zero",
   "divide result unrepresentable",
   "remainder by zero",
   "integer result unrepresentable",
   "invalid function",
   "function signature mismatch",
   "invalid index into function table"
 ];

 function assertTraps(trap, code) {
   try {
     if (typeof code === 'function') {
       code();
     } else {
       eval(code);
     }
   } catch (e) {
     assertEquals('object', typeof e);
     assertEquals(kTrapMsgs[trap], e.message);
     // Success.
     return;
   }
   throw new MjsUnitAssertionError('Did not trap, expected: ' + kTrapMsgs[trap]);
 }

 function assertWasmThrows(runtime_id, values, code) {
   try {
     if (typeof code === 'function') {
       code();
     } else {
       eval(code);
     }
   } catch (e) {
     assertTrue(e instanceof WebAssembly.RuntimeError);
     var e_runtime_id = e['WasmExceptionRuntimeId'];
     assertEquals(e_runtime_id, runtime_id);
     assertTrue(Number.isInteger(e_runtime_id));
     var e_values = e['WasmExceptionValues'];
     assertEquals(values.length, e_values.length);
     for (i = 0; i < values.length; ++i) {
       assertEquals(values[i], e_values[i]);
     }
     // Success.
     return;
   }
   throw new MjsUnitAssertionError('Did not throw expected: ' + runtime_id + values);
 }

 function wasmI32Const(val) {
   let bytes = [kExprI32Const];
   for (let i = 0; i < 4; ++i) {
     bytes.push(0x80 | ((val >> (7 * i)) & 0x7f));
   }
   bytes.push((val >> (7 * 4)) & 0x7f);
   return bytes;
 }

 function wasmF32Const(f) {
   return [kExprF32Const].concat(Array.from(new Uint8Array((new Float32Array([f])).buffer)));
 }

 function wasmF64Const(f) {
   return [kExprF64Const].concat(Array.from(new Uint8Array((new Float64Array([f])).buffer)));
 }
	// Copyright 2015 the V8 project authors. All rights reserved.
	// Use of this source code is governed by a BSD-style license that can be
	// found in the LICENSE file.

	// Flags: --expose-wasm

	function bytes() {
	var buffer = new ArrayBuffer(arguments.length);
	var view = new Uint8Array(buffer);
	for (var i = 0; i < arguments.length; i++) {
	var val = arguments[i];
	if ((typeof val) == "string") val = val.charCodeAt(0);
	view[i] = val \| 0;
	}
	return buffer;
	}

	// V8 internal constants
	var kV8MaxPages = 32767;

	// Header declaration constants
	var kWasmH0 = 0;
	var kWasmH1 = 0x61;
	var kWasmH2 = 0x73;
	var kWasmH3 = 0x6d;

	var kWasmV0 = 0x1;
	var kWasmV1 = 0;
	var kWasmV2 = 0;
	var kWasmV3 = 0;

	var kHeaderSize = 8;
	var kPageSize = 65536;
	var kSpecMaxPages = 65535;

	function bytesWithHeader() {
	var buffer = new ArrayBuffer(kHeaderSize + arguments.length);
	var view = new Uint8Array(buffer);
	view[0] = kWasmH0;
	view[1] = kWasmH1;
	view[2] = kWasmH2;
	view[3] = kWasmH3;
	view[4] = kWasmV0;
	view[5] = kWasmV1;
	view[6] = kWasmV2;
	view[7] = kWasmV3;
	for (var i = 0; i < arguments.length; i++) {
	var val = arguments[i];
	if ((typeof val) == "string") val = val.charCodeAt(0);
	view[kHeaderSize + i] = val \| 0;
	}
	return buffer;
	}

	let kDeclNoLocals = 0;

	// Section declaration constants
	let kUnknownSectionCode = 0;
	let kTypeSectionCode = 1; // Function signature declarations
	let kImportSectionCode = 2; // Import declarations
	let kFunctionSectionCode = 3; // Function declarations
	let kTableSectionCode = 4; // Indirect function table and other tables
	let kMemorySectionCode = 5; // Memory attributes
	let kGlobalSectionCode = 6; // Global declarations
	let kExportSectionCode = 7; // Exports
	let kStartSectionCode = 8; // Start function declaration
	let kElementSectionCode = 9; // Elements section
	let kCodeSectionCode = 10; // Function code
	let kDataSectionCode = 11; // Data segments
	let kNameSectionCode = 12; // Name section (encoded as string)
	let kExceptionSectionCode = 13; // Exception section (must appear before code section)

	// Name section types
	let kModuleNameCode = 0;
	let kFunctionNamesCode = 1;
	let kLocalNamesCode = 2;

	let kWasmFunctionTypeForm = 0x60;
	let kWasmAnyFunctionTypeForm = 0x70;

	let kResizableMaximumFlag = 1;

	// Function declaration flags
	let kDeclFunctionName = 0x01;
	let kDeclFunctionImport = 0x02;
	let kDeclFunctionLocals = 0x04;
	let kDeclFunctionExport = 0x08;

	// Local types
	let kWasmStmt = 0x40;
	let kWasmI32 = 0x7f;
	let kWasmI64 = 0x7e;
	let kWasmF32 = 0x7d;
	let kWasmF64 = 0x7c;
	let kWasmS128 = 0x7b;

	let kExternalFunction = 0;
	let kExternalTable = 1;
	let kExternalMemory = 2;
	let kExternalGlobal = 3;

	let kTableZero = 0;
	let kMemoryZero = 0;

	// Useful signatures
	let kSig_i_i = makeSig([kWasmI32], [kWasmI32]);
	let kSig_l_l = makeSig([kWasmI64], [kWasmI64]);
	let kSig_i_l = makeSig([kWasmI64], [kWasmI32]);
	let kSig_i_ii = makeSig([kWasmI32, kWasmI32], [kWasmI32]);
	let kSig_i_iii = makeSig([kWasmI32, kWasmI32, kWasmI32], [kWasmI32]);
	let kSig_d_dd = makeSig([kWasmF64, kWasmF64], [kWasmF64]);
	let kSig_l_ll = makeSig([kWasmI64, kWasmI64], [kWasmI64]);
	let kSig_i_dd = makeSig([kWasmF64, kWasmF64], [kWasmI32]);
	let kSig_v_v = makeSig([], []);
	let kSig_i_v = makeSig([], [kWasmI32]);
	let kSig_l_v = makeSig([], [kWasmI64]);
	let kSig_f_v = makeSig([], [kWasmF64]);
	let kSig_d_v = makeSig([], [kWasmF64]);
	let kSig_v_i = makeSig([kWasmI32], []);
	let kSig_v_ii = makeSig([kWasmI32, kWasmI32], []);
	let kSig_v_iii = makeSig([kWasmI32, kWasmI32, kWasmI32], []);
	let kSig_v_l = makeSig([kWasmI64], []);
	let kSig_v_d = makeSig([kWasmF64], []);
	let kSig_v_dd = makeSig([kWasmF64, kWasmF64], []);
	let kSig_v_ddi = makeSig([kWasmF64, kWasmF64, kWasmI32], []);

	let kSig_v_f = makeSig([kWasmF32], []);
	let kSig_f_f = makeSig([kWasmF32], [kWasmF32]);
	let kSig_d_d = makeSig([kWasmF64], [kWasmF64]);

	function makeSig(params, results) {
	return {params: params, results: results};
	}

	function makeSig_v_x(x) {
	return makeSig([x], []);
	}

	function makeSig_v_xx(x) {
	return makeSig([x, x], []);
	}

	function makeSig_r_v(r) {
	return makeSig([], [r]);
	}

	function makeSig_r_x(r, x) {
	return makeSig([x], [r]);
	}

	function makeSig_r_xx(r, x) {
	return makeSig([x, x], [r]);
	}

	// Opcodes
	let kExprUnreachable = 0x00;
	let kExprNop = 0x01;
	let kExprBlock = 0x02;
	let kExprLoop = 0x03;
	let kExprIf = 0x04;
	let kExprElse = 0x05;
	let kExprTry = 0x06;
	let kExprCatch = 0x07;
	let kExprThrow = 0x08;
	let kExprEnd = 0x0b;
	let kExprBr = 0x0c;
	let kExprBrIf = 0x0d;
	let kExprBrTable = 0x0e;
	let kExprReturn = 0x0f;
	let kExprCallFunction = 0x10;
	let kExprCallIndirect = 0x11;
	let kExprDrop = 0x1a;
	let kExprSelect = 0x1b;
	let kExprGetLocal = 0x20;
	let kExprSetLocal = 0x21;
	let kExprTeeLocal = 0x22;
	let kExprGetGlobal = 0x23;
	let kExprSetGlobal = 0x24;
	let kExprI32Const = 0x41;
	let kExprI64Const = 0x42;
	let kExprF32Const = 0x43;
	let kExprF64Const = 0x44;
	let kExprI32LoadMem = 0x28;
	let kExprI64LoadMem = 0x29;
	let kExprF32LoadMem = 0x2a;
	let kExprF64LoadMem = 0x2b;
	let kExprI32LoadMem8S = 0x2c;
	let kExprI32LoadMem8U = 0x2d;
	let kExprI32LoadMem16S = 0x2e;
	let kExprI32LoadMem16U = 0x2f;
	let kExprI64LoadMem8S = 0x30;
	let kExprI64LoadMem8U = 0x31;
	let kExprI64LoadMem16S = 0x32;
	let kExprI64LoadMem16U = 0x33;
	let kExprI64LoadMem32S = 0x34;
	let kExprI64LoadMem32U = 0x35;
	let kExprI32StoreMem = 0x36;
	let kExprI64StoreMem = 0x37;
	let kExprF32StoreMem = 0x38;
	let kExprF64StoreMem = 0x39;
	let kExprI32StoreMem8 = 0x3a;
	let kExprI32StoreMem16 = 0x3b;
	let kExprI64StoreMem8 = 0x3c;
	let kExprI64StoreMem16 = 0x3d;
	let kExprI64StoreMem32 = 0x3e;
	let kExprMemorySize = 0x3f;
	let kExprGrowMemory = 0x40;
	let kExprI32Eqz = 0x45;
	let kExprI32Eq = 0x46;
	let kExprI32Ne = 0x47;
	let kExprI32LtS = 0x48;
	let kExprI32LtU = 0x49;
	let kExprI32GtS = 0x4a;
	let kExprI32GtU = 0x4b;
	let kExprI32LeS = 0x4c;
	let kExprI32LeU = 0x4d;
	let kExprI32GeS = 0x4e;
	let kExprI32GeU = 0x4f;
	let kExprI64Eqz = 0x50;
	let kExprI64Eq = 0x51;
	let kExprI64Ne = 0x52;
	let kExprI64LtS = 0x53;
	let kExprI64LtU = 0x54;
	let kExprI64GtS = 0x55;
	let kExprI64GtU = 0x56;
	let kExprI64LeS = 0x57;
	let kExprI64LeU = 0x58;
	let kExprI64GeS = 0x59;
	let kExprI64GeU = 0x5a;
	let kExprF32Eq = 0x5b;
	let kExprF32Ne = 0x5c;
	let kExprF32Lt = 0x5d;
	let kExprF32Gt = 0x5e;
	let kExprF32Le = 0x5f;
	let kExprF32Ge = 0x60;
	let kExprF64Eq = 0x61;
	let kExprF64Ne = 0x62;
	let kExprF64Lt = 0x63;
	let kExprF64Gt = 0x64;
	let kExprF64Le = 0x65;
	let kExprF64Ge = 0x66;
	let kExprI32Clz = 0x67;
	let kExprI32Ctz = 0x68;
	let kExprI32Popcnt = 0x69;
	let kExprI32Add = 0x6a;
	let kExprI32Sub = 0x6b;
	let kExprI32Mul = 0x6c;
	let kExprI32DivS = 0x6d;
	let kExprI32DivU = 0x6e;
	let kExprI32RemS = 0x6f;
	let kExprI32RemU = 0x70;
	let kExprI32And = 0x71;
	let kExprI32Ior = 0x72;
	let kExprI32Xor = 0x73;
	let kExprI32Shl = 0x74;
	let kExprI32ShrS = 0x75;
	let kExprI32ShrU = 0x76;
	let kExprI32Rol = 0x77;
	let kExprI32Ror = 0x78;
	let kExprI64Clz = 0x79;
	let kExprI64Ctz = 0x7a;
	let kExprI64Popcnt = 0x7b;
	let kExprI64Add = 0x7c;
	let kExprI64Sub = 0x7d;
	let kExprI64Mul = 0x7e;
	let kExprI64DivS = 0x7f;
	let kExprI64DivU = 0x80;
	let kExprI64RemS = 0x81;
	let kExprI64RemU = 0x82;
	let kExprI64And = 0x83;
	let kExprI64Ior = 0x84;
	let kExprI64Xor = 0x85;
	let kExprI64Shl = 0x86;
	let kExprI64ShrS = 0x87;
	let kExprI64ShrU = 0x88;
	let kExprI64Rol = 0x89;
	let kExprI64Ror = 0x8a;
	let kExprF32Abs = 0x8b;
	let kExprF32Neg = 0x8c;
	let kExprF32Ceil = 0x8d;
	let kExprF32Floor = 0x8e;
	let kExprF32Trunc = 0x8f;
	let kExprF32NearestInt = 0x90;
	let kExprF32Sqrt = 0x91;
	let kExprF32Add = 0x92;
	let kExprF32Sub = 0x93;
	let kExprF32Mul = 0x94;
	let kExprF32Div = 0x95;
	let kExprF32Min = 0x96;
	let kExprF32Max = 0x97;
	let kExprF32CopySign = 0x98;
	let kExprF64Abs = 0x99;
	let kExprF64Neg = 0x9a;
	let kExprF64Ceil = 0x9b;
	let kExprF64Floor = 0x9c;
	let kExprF64Trunc = 0x9d;
	let kExprF64NearestInt = 0x9e;
	let kExprF64Sqrt = 0x9f;
	let kExprF64Add = 0xa0;
	let kExprF64Sub = 0xa1;
	let kExprF64Mul = 0xa2;
	let kExprF64Div = 0xa3;
	let kExprF64Min = 0xa4;
	let kExprF64Max = 0xa5;
	let kExprF64CopySign = 0xa6;
	let kExprI32ConvertI64 = 0xa7;
	let kExprI32SConvertF32 = 0xa8;
	let kExprI32UConvertF32 = 0xa9;
	let kExprI32SConvertF64 = 0xaa;
	let kExprI32UConvertF64 = 0xab;
	let kExprI64SConvertI32 = 0xac;
	let kExprI64UConvertI32 = 0xad;
	let kExprI64SConvertF32 = 0xae;
	let kExprI64UConvertF32 = 0xaf;
	let kExprI64SConvertF64 = 0xb0;
	let kExprI64UConvertF64 = 0xb1;
	let kExprF32SConvertI32 = 0xb2;
	let kExprF32UConvertI32 = 0xb3;
	let kExprF32SConvertI64 = 0xb4;
	let kExprF32UConvertI64 = 0xb5;
	let kExprF32ConvertF64 = 0xb6;
	let kExprF64SConvertI32 = 0xb7;
	let kExprF64UConvertI32 = 0xb8;
	let kExprF64SConvertI64 = 0xb9;
	let kExprF64UConvertI64 = 0xba;
	let kExprF64ConvertF32 = 0xbb;
	let kExprI32ReinterpretF32 = 0xbc;
	let kExprI64ReinterpretF64 = 0xbd;
	let kExprF32ReinterpretI32 = 0xbe;
	let kExprF64ReinterpretI64 = 0xbf;

	// Prefix opcodes
	let kAtomicPrefix = 0xfe;

	let kExprI32AtomicAdd = 0x1e;
	let kExprI32AtomicAdd8U = 0x20;
	let kExprI32AtomicAdd16U = 0x21;
	let kExprI32AtomicSub = 0x25;
	let kExprI32AtomicSub8U = 0x27;
	let kExprI32AtomicSub16U = 0x28;
	let kExprI32AtomicAnd = 0x2c;
	let kExprI32AtomicAnd8U = 0x2e;
	let kExprI32AtomicAnd16U = 0x2f;
	let kExprI32AtomicOr = 0x33;
	let kExprI32AtomicOr8U = 0x35;
	let kExprI32AtomicOr16U = 0x36;
	let kExprI32AtomicXor = 0x3a;
	let kExprI32AtomicXor8U = 0x3c;
	let kExprI32AtomicXor16U = 0x3d;
	let kExprI32AtomicExchange = 0x41;
	let kExprI32AtomicExchange8U = 0x43;
	let kExprI32AtomicExchange16U = 0x44;
	let kExprI32AtomicCompareExchange = 0x48
	let kExprI32AtomicCompareExchange8U = 0x4a
	let kExprI32AtomicCompareExchange16U = 0x4b

	let kTrapUnreachable = 0;
	let kTrapMemOutOfBounds = 1;
	let kTrapDivByZero = 2;
	let kTrapDivUnrepresentable = 3;
	let kTrapRemByZero = 4;
	let kTrapFloatUnrepresentable = 5;
	let kTrapFuncInvalid = 6;
	let kTrapFuncSigMismatch = 7;
	let kTrapInvalidIndex = 8;

	let kTrapMsgs = [
	"unreachable",
	"memory access out of bounds",
	"divide by zero",
	"divide result unrepresentable",
	"remainder by zero",
	"integer result unrepresentable",
	"invalid function",
	"function signature mismatch",
	"invalid index into function table"
	];

	function assertTraps(trap, code) {
	try {
	if (typeof code === 'function') {
	code();
	} else {
	eval(code);
	}
	} catch (e) {
	assertEquals('object', typeof e);
	assertEquals(kTrapMsgs[trap], e.message);
	// Success.
	return;
	}
	throw new MjsUnitAssertionError('Did not trap, expected: ' + kTrapMsgs[trap]);
	}

	function assertWasmThrows(runtime_id, values, code) {
	try {
	if (typeof code === 'function') {
	code();
	} else {
	eval(code);
	}
	} catch (e) {
	assertTrue(e instanceof WebAssembly.RuntimeError);
	var e_runtime_id = e['WasmExceptionRuntimeId'];
	assertEquals(e_runtime_id, runtime_id);
	assertTrue(Number.isInteger(e_runtime_id));
	var e_values = e['WasmExceptionValues'];
	assertEquals(values.length, e_values.length);
	for (i = 0; i < values.length; ++i) {
	assertEquals(values[i], e_values[i]);
	}
	// Success.
	return;
	}
	throw new MjsUnitAssertionError('Did not throw expected: ' + runtime_id + values);
	}

	function wasmI32Const(val) {
	let bytes = [kExprI32Const];
	for (let i = 0; i < 4; ++i) {
	bytes.push(0x80 \| ((val >> (7 * i)) & 0x7f));
	}
	bytes.push((val >> (7 * 4)) & 0x7f);
	return bytes;
	}

	function wasmF32Const(f) {
	return [kExprF32Const].concat(Array.from(new Uint8Array((new Float32Array([f])).buffer)));
	}

	function wasmF64Const(f) {
	return [kExprF64Const].concat(Array.from(new Uint8Array((new Float64Array([f])).buffer)));
	}