Quelle ref-struct.js
Sprache: JAVA
// |jit-test| test-also=--gc-zeal=2 // We'll be running some binary-format tests shortly. "wasm-binary.js" );const v2vSigSection = sigSection([{args:[], ret:VoidCode}]);function checkInvalid(body, errorMessage) {new WebAssembly.Module(// General test case for struct.new, struct.get, and struct.set: binary tree // manipulation. import "" "print_lp" (func $print_lp))import "" "print_rp" (func $print_rp))import "" "print_int" (func $print_int (param i32)))null $wabbit)))null $wabbit)))))null $wabbit)) (ref.null $wabbit))const 0))"init" ) (param $n i32)null $wabbit))const 1)))if (result (ref null $wabbit)) (i32.le_s (local.get $n) (i32.const 2))new $wabbit (local.get $tmp) (ref.null $wabbit) (ref.null $wabbit)))else null $wabbit))new $wabbitconst 1)))const 2))))))))"accumulate" ) (result i32)null $wabbit)) (result i32)if (result i32) (ref.is_null (local.get $w))const 0))else "reverse" )null $wabbit))null $wabbit))if (i32.eqz (ref.is_null (local.get $w)))const 2) (struct.get $wabbit 0 (local.get $w))))"print" )null $wabbit))if (i32.eqz (ref.is_null (local.get $w)))"" ;function pr_int(k) { s += k + " " ; }function pr_lp() { s += "(" };function pr_rp() { s += ")" }new WebAssembly.Module(bin);new WebAssembly.Instance(mod, {"" :{print_int:pr_int,print_lp:pr_lp,print_rp:pr_rp}}).exports;"" ; ins.print(); assertEq(s, "(0 (1 (2 (3 (4 )(5 ))(6 ))(7 (8 )(9 )))(10 (11 (12 )(13 ))(14 )))" );"" ; ins.print(); assertEq(s, "(0 (20 (28 )(22 (26 )(24 )))(2 (14 (18 )(16 ))(4 (12 )(6 (10 )(8 )))))" );for (let i=10; i < 22; i++ ) {// Sanity check for struct.set: we /can/ store a (ref null T) into a (ref null U) field // with struct.set if T <: U; this should fall out of normal coercion but good // to test. null $node))))))null $node))) (field i32))))null $node)) (param $q (ref null $nix))// ref.cast: if the downcast succeeds we get the original pointer null $node)) (result (ref null $node2))null $node2) (local.get $p)))"test" ) (result i32)null $node))new $node2 (i32.const 0) (f32.const 12)))// ref.cast: if the pointer is null we trap null $node)) (result (ref null $node2))"test" ) (result eqref)null $node))))`).exports.test(),// ref.cast null: if the pointer is null we do not trap null $node)) (result (ref null $node2))null $node2) (local.get $p)))"test" ) (result eqref)null $node))))`).exports.test();// And once more with mutable fields null $node)) (result (ref null $node2))null $node2) (local.get $p)))"test" ) (result i32)null $node))new $node2 (i32.const 0) (f32.const 12)))// ref.cast: eqref -> struct when the eqref is the right struct; // special case since eqref requires unboxing null $node))null $node) (local.get $p)))"test" ) (result i32)null $node))new $node (i32.const 0)))// Can default initialize a struct which zero initializes "makeA" ) (result eqref)"makeB" ) (result eqref)"makeC" ) (result eqref)null );// struct.new_default: valid if all struct fields are defaultable // Negative tests // Attempting to mutate immutable field with struct.set null $node))const 37))))`),// Attempting to store incompatible value in mutable field with struct.set null $node))const 37))))`),// Out-of-bounds reference for struct.get null $node)) (result i32)// Out-of-bounds reference for struct.set null $node))const 37))))`),// Base pointer is of unrelated type to stated type in struct.get null $snort)) (result i32)// Base pointer is of unrelated type to stated type in struct.set null $snort)) (result i32)const 0))))`),// Null pointer dereference in struct.get function () {"test" )null $node))))null $node)) (result i32)null pointer/);// Null pointer dereference in struct.set function () {"test" )null $node)))null $node))const 0))))`);null pointer/);
Messung V0.5 C=92 H=97 G=94
¤ Dauer der Verarbeitung: 0.29 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
2026-04-02
