// |jit-test| test-also=-P wasm_compact_imports "wasm-binary.js" );const { extractStackFrameFunction } = WasmHelpers;const { Module, RuntimeError, CompileError } = WebAssembly;const magicError = /failed to match magic number/;const unknownSection = /expected custom section/;function sectionError(section) {return RegExp(`failed to start ${section} section`);function versionError(actual) {var expect = encodingVersion;var str = `binary version 0 x${actual.toString(16 )} does not match expected version 0 x${expect.toString(16 )}`;return RegExp(str);const U32MAX_LEB = [255 , 255 , 255 , 255 , 15 ];const wasmEval = (code, imports) => new WebAssembly.Instance(new Module(code), imports).exports;const v2vSig = {args:[], ret:VoidCode};const v2vSigSection = sigSection([v2vSig]);const i2vSig = {args:[I32Code], ret:VoidCode};const v2vBody = funcBody({locals:[], body:[]});if (globalThis.SharedArrayBuffer) {for (let toBuffer of toBufferOpts) {42 ])), CompileError, magicError);gicError);1 ,2 ,3 ,4 ])), CompileError, magicError);rror, /failed to read version/);1 ])), CompileError, /failed to read version/);pileError, /failed to read version/);er2])), CompileError, /failed to read version/);1 , 2 , 3 , 4 ])), CompileError, versionError(0 x4030201));var o = wasmEval(toBuffer(moduleHeaderThen()));0 );// unfinished known sections sectionError("type" ));r, sectionError("import" ));ror, sectionError("function" ));, sectionError("table" ));r, sectionError("memory" ));r, sectionError("global" ));r, sectionError("export" ));, sectionError("start" ));sectionError("elem" ));sectionError("code" ));sectionError("data" ));// unknown sections are unconditionally rejected 37 ))), CompileError, unknownSection);37 , 0 ))), CompileError, unknownSection);37 , 1 , 0 ))), CompileError, unknownSection);// user sections have special rules 0 ))), CompileError, sectionError("custom" )); // no length 0 , 0 ))), CompileError, sectionError("custom" )); // no id 0 , 0 , 0 ))), CompileError, sectionError("custom" )); // payload too small to have id length 0 , 1 , 1 ))), CompileError, sectionError("custom" )); // id not present 0 , 1 , 1 , 65 ))), CompileError, sectionError("custom" )); // id length doesn't fit in section 0 , 1 , 0 , 0 ))), CompileError, sectionError("custom" )); // second, unfinished custom section 0 , 1 , 0 ))); // empty id 0 , 1 , 0 , 0 , 1 , 0 ))); // 2x empty id 0 , 2 , 1 , 65 ))); // id = "A" ], toBuffer)), CompileError, /too many types/);1 , 0 ], } ], toBuffer)), CompileError, /expected type form/);1 , FuncCode, ...U32MAX_LEB], } ], toBuffer)), CompileError, /too many arguments in signature/);1 ]}], toBuffer)), CompileError);1 , 1 , 0 ]}], toBuffer)), CompileError);33 }])], toBuffer)), CompileError, /bad type/);33 ], ret:VoidCode}])], toBuffer)), CompileError, /bad type/);n([0 ])], toBuffer)), CompileError, /signature index out of range/);([1 ])], toBuffer)), CompileError, /signature index out of range/);0 ])], toBuffer)), CompileError, /expected code section/);0 ]), bodySection([v2vBody])], toBuffer));0 ]), bodySection([v2vBody.concat(v2vBody)])], toBuffer)), CompileError, /byte size mismatch in code section/);tId, body:[]}], toBuffer)), CompileError);"a" , item:"b" , type: externtype({ funcTypeIndex:0 })}])], toBuffer)), CompileError, /signature index out of range/);{module:"a" , item:"b" , type: externtype({ funcTypeIndex:1 })}])], toBuffer)), CompileError, /signature index out of range/);// Normal import encoding "a" , item: "b" , type: externtype({ funcTypeIndex: 0 }) },"a" , item: "c" , type: externtype({ globalType: globalType({ valType: I32Code, mut: true }) }) },new WebAssembly.Global({ value: "i32" , mutable: true }) } },// Compact import encodings if (wasmCompactImportsEnabled()) {// Encoding 1: deduplicated module name "a" , items: ["b" , type: externtype({ funcTypeIndex: 0 }) },"c" , type: externtype({ globalType: globalType({ valType: I32Code, mut: true }) }) },new WebAssembly.Global({ value: "i32" , mutable: true }) } },// Zero-length sections are acceptable "a" , items: []}])], toBuffer),new WebAssembly.Global({ value: "i32" , mutable: true }) } },// Encoding 2: deduplicated module name and externtype "a" ,0 }),"b" , "c" ],// Zero-length sections are acceptable. There should not be any side // effects from parsing the externtype before learning that there are // zero items! "a" ,0 }),"a" ,0 })) }),"active" , table: 0 , offset: 0 , indices: [] }]),/);"a" , item:"" , type: externtype({ funcTypeIndex:0 })}]),0 ]),"" :()=>{}}});1 , elems:[]}]) ], toBuffer)), CompileError, /data segment requires a memory section/);0 )], toBuffer));0 ), elemSection([])], toBuffer));1 ), elemSection([{ mode: "active" , offset: 1 , indices: [] }])], toBuffer));1 ), elemSection([{ mode: "active" , offset: 0 , indices: [0 ] }])], toBuffer)), CompileError, /element index out of range/);0 ]), defaultTableSection(1 "active" , offset: 0 , indices: [0 ] }]), bodySection([v2vBody])], toBuffer));0 ]), defaultTableSection(2 "active" , offset: 0 , indices: [0 , 0 ] }]), bodySection([v2vBody])], toBuffer));0 ]), defaultTableSection(2 ), elemSection([{ mode: "active" , offset: 0 , indices: [0 , 1 ] }]), bodySection([v2vBody])], toBuffer)), CompileError, /element index out of range/);0 ,0 ,0 ]), defaultTableSection(4 ), elemSection([{ mode: "active" , offset: 0 , indices: [0 , 1 , 0 , 2 ] }]), bodySection([v2vBody, v2vBody, v2vBody])], toBuffer));0 ,0 ,1 ]), defaultTableSection(3 ), elemSection([{ mode: "active" , offset: 0 , indices: [0 , 1 , 2 ] }]), bodySection([v2vBody, v2vBody, v2vBody])], toBuffer));0 )], toBuffer));function memorySection2() {var body = [];2 )); // number of memories 0 x0));0 ));0 x0));0 ));return { name: memoryId, body };// Test early 'end' const bodyMismatch = /(function body length mismatch)|(operators remaining after end of function )/;0 ]), bodySection([funcBody({locals:[], body:[EndCode]})])], toBuffer)), CompileError, bodyMismatch);0 ]), bodySection([funcBody({locals:[], body:[UnreachableCode,EndCode]})], toBuffer)])), CompileError, bodyMismatch);0 ]), bodySection([funcBody({locals:[], body:[EndCode,UnreachableCode]})])], toBuffer)), CompileError, bodyMismatch);// Ignore errors in name section. var tooBigNameSection = {2 , 31 ))] // declare 2**31 functions. // Custom sections must have valid UTF-8 names 0 ,97 ,115 ,109 ,1 ,0 ,0 ,0 ,0 ,3 ,2 ,254 ,255 ,])), CompileError, /failed to start custom section/);// Skip custom sections before any expected section var customDefSec = customSection("wee" , 42 , 13 );var declSec = declSection([0 ]);var bodySec = bodySection([v2vBody]);var nameSec = nameSection([funcNameSubsection([{name:'hi' }])]);r));r));r));r));ySec], toBuffer));c, declSec, customDefSec, bodySec], toBuffer));// custom sections reflection: function checkCustomSection(buf, val) {instanceof ArrayBuffer, true );1 );new Uint8Array(buf)[0 ], val);var custom1 = customSection("one" , 1 );var custom2 = customSection("one" , 2 );var custom3 = customSection("two" , 3 );var custom4 = customSection("three" , 4 );var custom5 = customSection("three" , 5 );var custom6 = customSection("three" , 6 );var m = new Module(moduleWithSections([custom1, v2vSigSection, custom2, declSec, custom3, bodySec, custom4, nameSec, custom5, custom6], toBuffer));var arr = Module.customSections(m, "one" );2 );0 ], 1 );1 ], 2 );var arr = Module.customSections(m, "two" );1 );0 ], 3 );var arr = Module.customSections(m, "three" );3 );0 ], 4 );1 ], 5 );2 ], 6 );var arr = Module.customSections(m, "name" );1 );0 ].byteLength, nameSec.body.length - 5 /* 4name */); // Test name/custom section warnings: const nameWarning = /validated with warning.*'name' custom section/;const okNameSec = nameSection([]);NameSec], toBuffer)));const badNameSec1 = nameSection([]);1 );ameSec1], toBuffer)), nameWarning);const badNameSec2 = nameSection([funcNameSubsection([{name:'blah' }])]);100 , 20 , 42 , 83 );ameSec2], toBuffer)), nameWarning);const badNameSec3 = nameSection([funcNameSubsection([{name:'blah' }])]);ameSec3], toBuffer)), nameWarning);n('hi' )])])));'hi' 'boo' )])], toBuffer)), nameWarning);// Unknown name subsection n('hi' ), [4 , 0 ]])], toBuffer)));'hi' 4 , 1 ]])], toBuffer)), nameWarning);n('hi' ), [4 , 1 , 42 ]])], toBuffer)));// Provide a module name but no function names. 0 ]),0 , name: "f" }]),'hi' )])])// Diagnose invalid block signature types. for (var bad of [0 xff, 1 , 0 x3f])ion([0 ]), bodySection([funcBody({locals:[], body:[BlockCode, bad, EndCode]})])], toBuffer)), CompileError, /(invalid .*block type)|(unknown type)/);const multiValueModule = moduleWithSections([sigSection([v2vSig]), declSection([0 ]), bodySection([funcBody({locals:[], body:[BlockCode, 0 , EndCode]})])], toBuffer);// In this test module, 0 denotes a void-to-void block type. true );// Ensure all invalid opcodes are rejected. Note that the game here (and for // the prefixed cases below) is to present only opcodes which will be rejected by // *both* Baseline and Ion. for (let op of undefinedOpcodes) {0 ]), bodySection([funcBody({locals:[], body:[op]})])], toBuffer);de)|(tail calls support is not enabled)|(Exceptions support is not enabled)|(Unexpected EOF)/);false );// Prefixed opcodes function checkIllegalPrefixed(prefix, opcode) {0 ]),de)|(Unknown.*subopcode)|(Unexpected EOF)|(SIMD support is not enabled)|(invalid lane index)/);false );// Illegal GcPrefix opcodes // Structure operations 0 x00: true , 0 x01: true , 0 x02: true , 0 x03: true , 0 x04: true , 0 x05: true ,// Array operations 0 x06: true , 0 x07: true , 0 x08: true , 0 x09: true , 0 x0a: true , 0 x0b: true ,0 x0c: true , 0 x0d: true , 0 x0e: true , 0 x0f: true , 0 x10: true , 0 x11: true ,0 x12: true , 0 x13: true ,// Ref operations 0 x14: true , 0 x15: true , 0 x16: true , 0 x17: true , 0 x18: true , 0 x19: true ,0 x1a: true , 0 x1b: true ,// i31 operations 0 x1c: true , 0 x1d: true , 0 x1e: true ,for (let i = 0 ; i < 256 ; i++) {if (reservedGc.hasOwnProperty(i)) {continue ;// Illegal ThreadPrefix opcodes // // June 2017 threads draft: // // 0x00 .. 0x03 are wait/wake/fence ops // 0x10 .. 0x4f are primitive atomic ops for (let i = 0 x4; i < 0 x10; i++)for (let i = 0 x4f; i < 0 x100; i++)// Illegal Misc opcodes var reservedMisc =// Saturating conversions (standardized) 0 x00: true , 0 x01: true , 0 x02: true , 0 x03: true , 0 x04: true , 0 x05: true , 0 x06: true , 0 x07: true ,// Bulk memory (proposed) 0 x08: true , 0 x09: true , 0 x0a: true , 0 x0b: true , 0 x0c: true , 0 x0d: true , 0 x0e: true ,// Table (proposed) 0 x0f: true , 0 x10: true , 0 x11: true , 0 x12: true ,// Wide arithmetic operations (proposed as of Jan 2026) 0 x13: true , 0 x14: true , 0 x15: true , 0 x16: true ,// Structure operations (experimental, internal) 0 x50: true , 0 x51: true , 0 x52: true , 0 x53: true };for (let i = 0 ; i < 256 ; i++) {if (reservedMisc.hasOwnProperty(i))continue ;// Illegal SIMD opcodes - the upper bound is actually very large, not much to be // done about that. if (!wasmSimdEnabled()) {for (let i = 0 ; i < 0 x130; i++) {else {0 x9a, 0 xa2, 0 xa5, 0 xa6, 0 xaf, 0 xb0, 0 xb2, 0 xb3, 0 xb4, 0 xbb,0 xc2, 0 xc5, 0 xc6, 0 xcf, 0 xd0, 0 xd2, 0 xd3, 0 xd4, 0 xe2, 0 xee,0 x115, 0 x116, 0 x117,0 x118, 0 x119, 0 x11a, 0 x11b, 0 x11c, 0 x11d, 0 x11e, 0 x11f,0 x120, 0 x121, 0 x122, 0 x123, 0 x124, 0 x125, 0 x126, 0 x127,0 x128, 0 x129, 0 x12a, 0 x12b, 0 x12c, 0 x12d, 0 x12e, 0 x12f,for (let i of reservedSimd) {// Illegal MozPrefix opcodes (all of them) for (let i = 0 ; i < 256 ; i++)for (let prefix of [ThreadPrefix, MiscPrefix, SimdPrefix, MozPrefix]) {// Prefix without a subsequent opcode. We must ask funcBody not to add an // End code after the prefix, so the body really is just the prefix byte. 0 ]), bodySection([funcBody({locals:[], body:[prefix]}, /*withEndCode=*/false)])], toBuffer); ected EOF)|(Unknown opcode)/);false );// Checking stack trace. function runStackTraceTest(moduleName, funcNames, expectedName) {var sections = ["env" , item:"callback" , type: externtype({ funcTypeIndex:0 })}]),0 ]),1 , name: "run" }]),0 )]})]),"whoa" ),"wee" , 42 ),if (moduleName || funcNames) {var subsections = [];if (moduleName)if (funcNames)"yay" , 13 ));var result = "" ;var callback = () => {new Error().stack.split('\n' )[1 ]);"env" : { callback }}).run();null , null , 'wasm-function[1]' );null , [{name:'blah' }, {name:'test' }], 'test' );null , [{name:'test' , index:1 }], 'test' );null , [{name:'blah' }, {name:'test' , locals: [{name: 'var1' }, {name: 'var2' }]}], 'test' );null , [{name:'blah' }, {name:'test' , locals: [{name: 'var1' }, {name: 'var2' }]}], 'test' );null , [{name:'blah' }, {name:'test1' }], 'test1' );null , [{name:'blah' }, {name:'test☃' }], 'test☃' );null , [{name:'blah' }, {name:'te\xE0\xFF' }], 'te\xE0\xFF' );null , [{name:'blah' }], 'wasm-function[1]' );null , [], 'wasm-function[1]' );"" , [{name:'blah' }, {name:'test' }], 'test' );"a" , [{name:'blah' }, {name:'test' }], 'a.test' );// Notice that invalid names section content shall not fail the parsing null , [{name:'blah' }, {name:'test' , index: 2 }], 'wasm-function[1]' ); // invalid index null , [{name:'blah' }, {name:'test' , index: 100000 }], 'wasm-function[1]' ); // invalid index null , [{name:'blah' }, {name:'test' , nameLen: 100 }], 'wasm-function[1]' ); // invalid name size null , [{name:'blah' }, {name:'' }], 'wasm-function[1]' ); // empty name // Enable and disable Gecko profiling mode, to ensure all live instances // names won't make us crash. function testValidNameSectionWithProfiling() {// Memory alignment can use non-minimal LEB128 0 ]),0 ),0 x00, // i32.const 0 0 x81, 0 x00, // alignment 1, non-minimal 0 x00, // offset 0
Messung V0.5 in Prozent C=85 H=88 G=86
¤ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet am 2026-08-26)
¤ *© Formatika GbR, Deutschland
