Quelle scalar_replacement.js
Sprache: JAVA
// Scalar Replacement of wasm GC structs. // // These tests exercise the scalar replacement optimization which eliminates // struct allocations when the struct does not escape the function. The // optimization replaces struct fields with local values. // // We compile each module, actually call the exported functions to verify // runtime correctness, and (under jitspew builds) inspect the post- // optimization MIR to verify whether scalar replacement actually fired. // Compile `text` to an instance and return the exports. Also inspect the ion // optimized MIR to check how many struct allocations remain. // // `expected` is a map from function index to the expected number of // `WasmNewStructObject` opcodes remaining in the final MIR pass. function evalAndCountNewStruct(text, expected) {const bytecode = wasmTextToBinary(text);const exports = new WebAssembly.Instance(new WebAssembly.Module(bytecode)).exports;if (getBuildConfiguration("jitspew" )) {for (const [funcIdx, expectedCount] of Object.entries(expected)) {const pass = wasmIonGetLastMIRPass(wasmGetIon(bytecode, funcIdx));const got = wasmIonGetAllOpcodes(pass)"WasmNewStructObject" )).length;return exports;// ========================================================================== // Per-type basic tests: struct.new, struct.new_default, default+set. // ========================================================================== const numericTypes = ["i32" , valA: "42" , valB: "11" , jsA: 42 , jsB: 11 , jsDefault: 0 },"i64" , valA: "0x1234567890" , valB: "0xABCDEF" , jsA: 0 x1234567890n, jsB: 0 xABCDEFn, jsDefault: 0 n},"f32" , valA: "1.5" , valB: "3.25" , jsA: 1 .5 , jsB: 3 .25 , jsDefault: 0 },"f64" , valA: "3.141592653589793" , valB: "2.718281828" , jsA: 3 .141592653589793 , jsB: 2 .718281828 , jsDefault: 0 },for (let {type, valA, valB, jsA, jsB, jsDefault} of numericTypes) {// struct.new with two fields, read both back. "getA" ) (result ${type})new $s (${type}.const ${valA}) (${type}.const ${valB})))"getB" ) (result ${type})new $s (${type}.const ${valA}) (${type}.const ${valB})))0 : 0 , 1 : 0 });// struct.new_default: both fields should have default value. "getA" ) (result ${type})"getB" ) (result ${type})0 : 0 , 1 : 0 });// struct.new_default followed by struct.set for both fields. "getA" ) (result ${type})null $s))const ${valA}))const ${valB}))"getB" ) (result ${type})null $s))const ${valA}))const ${valB}))0 : 0 , 1 : 0 });// ========================================================================== // Packed field tests for i8 and i16. // ========================================================================== const packedTypes = ["i8" , posVal: "42" , jsPosVal: 42 ,"0xFF" , mask: 255 ,"0x1234ABCD" , truncS: -51 , truncU: 205 },"i16" , posVal: "1000" , jsPosVal: 1000 ,"0xFFFF" , mask: 65535 ,"0x1234ABCD" , truncS: -21555 , truncU: 43981 },for (let {type, posVal, jsPosVal, allOnes, mask, truncVal, truncS, truncU} of packedTypes) {// struct.new with packed field, read via struct.get_s and struct.get_u. // Values in the positive range where signed and unsigned reads agree. "testS" ) (result i32)new $s (i32.const ${posVal})))"testU" ) (result i32)new $s (i32.const ${posVal})))0 : 0 , 1 : 0 });// All-ones value: struct.get_s should sign-extend to -1, // struct.get_u should zero-extend to the mask value. "testS" ) (result i32)new $s (i32.const ${allOnes})))"testU" ) (result i32)new $s (i32.const ${allOnes})))0 : 0 , 1 : 0 });1 );// Mixed value with bits set in multiple bytes: verify sign/zero truncation. "testS" ) (result i32)new $s (i32.const ${truncVal})))"testU" ) (result i32)new $s (i32.const ${truncVal})))0 : 0 , 1 : 0 });// struct.new_default then struct.set to all-ones, verify sign/zero extend. "testS" ) (result i32)null $s))const ${allOnes}))"testU" ) (result i32)null $s))const ${allOnes}))0 : 0 , 1 : 0 });1 );// struct.new_default should give 0. "test" ) (result i32)0 (struct.new_default $s))0 : 0 });0 );// ========================================================================== // Float special values (NaN, Infinity, -Infinity). // ========================================================================== for (let type of ["f32" , "f64" ]) {"testNaN" ) (result i32)0 (struct.new $s (${type}.const nan)))0 (struct.new $s (${type}.const nan))))"testInf" ) (result ${type})0 (struct.new $s (${type}.const inf)))"testNegInf" ) (result ${type})0 (struct.new $s (${type}.const -inf)))0 : 0 , 1 : 0 , 2 : 0 });1 );// ========================================================================== // Remaining individual tests for unique edge cases. // ========================================================================== // struct.new with parameters instead of constants. "test" ) (param i32) (param i32) (result i32)new $point (local.get 0 ) (local.get 1 )))0 : 0 });7 , 13 ), 13 );0 , -1 ), -1 );// Mixed numeric types in one struct with struct.new. "getI32" ) (result i32)new $mixconst 10 ) (i64.const 20 ) (f32.const 30 .5 ) (f64.const 40 .5 )))"getI64" ) (result i64)new $mixconst 10 ) (i64.const 20 ) (f32.const 30 .5 ) (f64.const 40 .5 )))"getF32" ) (result f32)new $mixconst 10 ) (i64.const 20 ) (f32.const 30 .5 ) (f64.const 40 .5 )))"getF64" ) (result f64)new $mixconst 10 ) (i64.const 20 ) (f32.const 30 .5 ) (f64.const 40 .5 )))0 : 0 , 1 : 0 , 2 : 0 , 3 : 0 });10 );20 n);30 .5 );40 .5 );// Reference type field (externref) with struct.new_default returns null. "test" ) (result externref)0 : 0 });null );// Reference type field (anyref) set and get. "test" ) (result i32)null $s))new $s (ref.null any) (i32.const 77 )))0 : 0 });77 );// Struct with only reference fields, struct.new_default gives null. "test" ) (result i32)null $s))0 : 0 });1 );// Mutable fields: set then get. "test" ) (param i32) (result i32)null $s))new $s (i32.const 1 ) (i32.const 2 )))0 ))0 : 0 });55 ), 55 );// Multiple sets to the same field. "test" ) (result i32)null $s))new $s (i32.const 1 )))const 2 ))const 3 ))const 4 ))0 : 0 });4 );// Multiple sets to different mutable fields. "test" ) (result i32)null $s))new $s (i32.const 0 ) (i32.const 0 ) (i32.const 0 )))const 10 ))const 20 ))const 30 ))0 : 0 });60 );// Mutable f64 fields: set then get, reading both original and overwritten. "test" ) (result f64)null $s))new $s (f64.const 1 .0 ) (f64.const 2 .0 )))const 99 .5 ))0 : 0 });101 .5 );// Control flow: if/else with struct.set on both branches. "test" ) (param $cond i32) (result i32)null $point))new $point (i32.const 0 ) (i32.const 0 )))if (local.get $cond)const 10 ))const 20 ))else const 30 ))const 40 ))0 : 0 });1 ), 30 );0 ), 70 );// Control flow: struct created with initial values, then one branch modifies. "test" ) (param $cond i32) (result i32)null $s))new $s (i32.const 5 )))if (local.get $cond)const 100 ))0 : 0 });1 ), 100 );0 ), 5 );// Control flow: if/else with f64 fields (tests phi nodes for float types). "test" ) (param $cond i32) (result f64)null $s))new $s (f64.const 0 .0 )))if (local.get $cond)const 1 .5 ))else const 2 .5 ))0 : 0 });1 ), 1 .5 );0 ), 2 .5 );// Nested if/else: multiple levels of branching. "test" ) (param $a i32) (param $b i32) (result i32)null $s))new $s (i32.const 0 )))if (local.get $a)if (local.get $b)const 1 ))else const 2 ))else if (local.get $b)const 3 ))else const 4 ))0 : 0 });1 , 1 ), 1 );1 , 0 ), 2 );0 , 1 ), 3 );0 , 0 ), 4 );// Struct used in arithmetic: create, get fields, compute. "test" ) (param i32) (param i32) (result i32)null $rect))new $rect (local.get 0 ) (local.get 1 )))0 : 0 });6 , 7 ), 42 );0 , 100 ), 0 );1 , 5 ), -5 );// Struct with f64 fields used in computation. "test" ) (param f64) (param f64) (result f64)null $vec2))new $vec2 (local.get 0 ) (local.get 1 )))0 : 0 });3 , 4 ), 25 );// Struct at max field count (10 fields, the limit for scalar replacement). "test" ) (result i32)9 new $bigconst 0 ) (i32.const 1 ) (i32.const 2 ) (i32.const 3 ) (i32.const 4 )const 5 ) (i32.const 6 ) (i32.const 7 ) (i32.const 8 ) (i32.const 9 )))0 : 0 });9 );// Struct at max field count with struct.new_default. "test" ) (result i32)null $big))5 (local.get $s) (i32.const 55 ))5 (local.get $s))0 : 0 });55 );// Struct exceeding max field count (11 fields). Should not be scalar-replaced, // but must still produce correct results. "test" ) (result i32)10 new $toobigconst 0 ) (i32.const 1 ) (i32.const 2 ) (i32.const 3 ) (i32.const 4 )const 5 ) (i32.const 6 ) (i32.const 7 ) (i32.const 8 ) (i32.const 9 )const 42 )))0 : 1 });42 );// Struct with 16 i32 fields (well over the limit). "test" ) (result i32)10 new $sconst 0 ) (i32.const 1 ) (i32.const 2 ) (i32.const 3 )const 4 ) (i32.const 5 ) (i32.const 6 ) (i32.const 7 )const 8 ) (i32.const 9 ) (i32.const 42 ) (i32.const 11 )const 12 ) (i32.const 13 ) (i32.const 14 ) (i32.const 15 )))0 : 1 });42 );// Escape: struct stored into a global prevents scalar replacement. null $point)) (ref.null $point))"test" ) (param $cond i32) (result i32)null $point))new $point (i32.const 12 ) (i32.const 13 )))if (local.get $cond)const 10 ))const 20 ))else const 30 ))const 40 ))0 : 1 });1 ), 10 );0 ), 30 );// Escape: struct returned from function prevents scalar replacement. "test" ) (result eqref)new $s (i32.const 42 ))0 : 1 });0 ), 42 );// Escape: struct passed to a call prevents scalar replacement. // $consume is func 0 (no allocation), test is func 1 (alloc that escapes). null $s)) (result i32)0 ))"test" ) (result i32)new $s (i32.const 42 )))0 : 0 , 1 : 1 });42 );// Escape: inner struct stored into outer struct escapes, outer can be replaced. // One alloc remains (the inner struct). "test" ) (result i32)new $inner (i32.const 42 )))new $outer (i32.const 10 ) (i32.const 20 ) (local.get $i)))0 (local.get $o))0 2 (local.get $o))))0 : 1 });52 );// Two independent non-escaping structs in the same function. "test" ) (result i32)new $s (i32.const 10 )))new $s (i32.const 32 ))))0 : 0 });42 );// Two independent structs of different types. "test" ) (result f64)null $a))null $b))new $a (i32.const 10 )))new $b (f64.const 2 .5 )))0 (local.get $sa)))0 (local.get $sb)))0 : 0 });12 .5 );// Struct with immutable fields (no struct.set possible). "test" ) (result f64)null $s))new $s (i32.const 5 ) (i64.const 10 ) (f64.const 20 .5 )))0 (local.get $p)))1 (local.get $p)))2 (local.get $p))))0 : 0 });35 .5 );// Struct used in a loop body (struct created each iteration, doesn't escape). "test" ) (param $n i32) (result i32)const 0 ))const 0 ))break break (i32.ge_s (local.get $i) (local.get $n)))new $accconst 1 )))0 : 0 });0 ), 0 );1 ), 0 );5 ), 10 );10 ), 45 );// Struct created before a loop, modified inside the loop. "test" ) (param $n i32) (result i32)null $counter))new $counter (i32.const 0 )))const 0 ))break break (i32.ge_s (local.get $i) (local.get $n)))const 1 )))const 1 )))0 : 0 });0 ), 0 );5 ), 5 );100 ), 100 );// Single-field struct (minimal case). "test" ) (result i32)0 (struct.new $s (i32.const 42 )))0 : 0 });42 );// Single mutable i64 field with set via arithmetic. "test" ) (param i64) (result i64)null $s))new $s (local.get 0 )))0 (local.get $p) (i64.add (struct.get $s 0 (local.get $p)) (i64.const 1 )))0 (local.get $p))0 : 0 });100 n), 101 n);1 n), 0 n);// i32 fields with negative values and edge cases. "test" ) (result i32)null $s))new $s (i32.const -1 ) (i32.const 0 x7FFFFFFF)))0 (local.get $p))1 (local.get $p)))0 : 0 });0 x7FFFFFFE);// i64 field edge values. "test" ) (result i64)0 new $s (i64.const 0 x7FFFFFFFFFFFFFFF)))0 : 0 });0 x7FFFFFFFFFFFFFFFn);// Struct with mixed mutable and immutable fields. "test" ) (result i32)null $s))new $s (i32.const 10 ) (i32.const 20 )))const 30 ))0 : 0 });40 );// struct.new_default with mixed mutable types, then set all. "test" ) (result f64)null $s))const 1 ))const 2 ))const 3 .0 ))const 4 .0 ))0 : 0 });10 );// struct.new_default with ref fields, then set a value. "test" ) (result i32)null $s))const 77 ))0 : 0 });78 );// Struct read multiple times (same field read more than once). "test" ) (result i32)null $s))new $s (i32.const 21 )))0 (local.get $p))0 (local.get $p)))0 : 0 });42 );// Struct with i32 computation feeding into field values. "test" ) (param i32) (param i32) (result i32)null $s))new $s (i32.add (local.get 0 ) (local.get 1 ))))0 : 0 });17 , 25 ), 42 );// struct.new_default followed by conditional set with i64. "test" ) (param $cond i32) (result i64)null $s))if (local.get $cond)const 999 ))0 : 0 });1 ), 999 n);0 ), 0 n);// Struct field accessed after select instruction. // The struct refs flow through `select`, which SR does not currently see // through, so both allocations remain. "test" ) (param $cond i32) (result i32)new $s (i32.const 10 ))new $s (i32.const 20 ))0 : 2 });1 ), 10 );0 ), 20 );// Mixed packed and full-width fields. "test" ) (result i32)null $s))new $s (i32.const 7 ) (i32.const 1000 ) (i32.const 500 )))0 : 0 });1507 );// Struct with a nullable struct ref field (not escaping). null $inner)))"test" ) (result i32)null $outer))new $outer (ref.null $inner) (i32.const 42 )))0 : 0 });42 );// Struct created in block scope. "test" ) (result i32)new $s (i32.const 42 )))0 : 0 });42 );// Struct with field value derived from another struct's field. "test" ) (result i32)null $s))null $s))new $s (i32.const 21 )))new $sconst 2 ) (struct.get $s $v (local.get $a)))))0 : 0 });42 );// Two structs of the same type, independent, read different fields. "test" ) (result i32)null $pair))null $pair))new $pair (i32.const 10 ) (i32.const 20 )))new $pair (i32.const 30 ) (i32.const 40 )))0 : 0 });50 );// Struct with externref field set from parameter. "test" ) (param externref) (result i32)null $s))new $s (local.get 0 ) (i32.const 42 )))0 : 0 });null ), 42 );"hello" ), 42 );42 );// Struct.new_default with subsequent overwrites from parameters. "test" ) (param i32) (param i32) (param i32) (result i32)null $s))0 ))1 ))2 ))0 : 0 });1 , 2 , 3 ), 6 );100 , 200 , 300 ), 600 );// Struct.new_default with f64 fields, partial overwrite. "test" ) (result f64)null $s))const 7 .5 ))0 : 0 });7 .5 );// Struct with subtyping: create subtype, access via subtype. "test" ) (result i32)null $derived))new $derived (i32.const 10 ) (i32.const 20 )))0 : 0 });30 );// Deeply nested control flow with struct. "test" ) (param $x i32) (result i32)null $s))new $s (i32.const 0 )))const 10 ))const 20 ))const 30 ))0 : 0 });0 ), 10 );1 ), 20 );2 ), 30 );3 ), 0 );// Struct passed through block result. "test" ) (param i32) (result i32)0 new $s (local.get 0 ))0 : 0 });42 ), 42 );0 ), 0 );// Verify struct.new_default with i8 and i16 packed fields, then set and read. "test" ) (result i32)null $s))const 50 ))const 1000 ))0 : 0 });1050 );// Struct field overwrite tracking: first get returns init, second returns set. "test" ) (result i32)null $s))new $s (i32.const 10 )))const 20 ))0 : 0 });30 );// Struct as an intermediate in a chain of computations. "test" ) (param i32) (result i32)null $s))null $s))null $s))new $s (local.get 0 )))new $sconst 1 ))))new $sconst 1 ))))0 : 0 });0 ), 2 );40 ), 42 );
Messung V0.5 in Prozent C=91 H=90 G=90
¤ Dauer der Verarbeitung: 0.35 Sekunden
(vorverarbeitet am 2026-08-26)
¤ *© Formatika GbR, Deutschland
2026-08-25
Neuigkeiten Aktuelles Motto des Tages Open Source Software
Jenseits des Üblichen ....
Besucherstatistik
Statistik #Sources=277311 #Domains=752002
