// |jit-test| test-also=--gc-zeal=2 // This tests a bunch of wasm struct stuff, but not i8 or i16 fields. // See structs2.js for i8/i16 field tests. var bin = wasmTextToBinary(import "m" "x1" ) (type $f1))import "m" "x2" ) (type $f2))2 funcref)const 0 ) $doit $doitagain)"hello" ) (param f64) (param i32) (result f64)0 ) (local.get 1 )))0 )))0 ) (local.get 0 )))"x1" ) (param i32) (result i32)0 )))"x2" ) (param f64) (result f64)0 )))for testing to ensure that the type is not type #0 here."mk_point" ) (result eqref)new $point (i32.const 37 ) (i32.const 42 )))"mk_int_node" ) (param i32) (param externref) (result eqref)new $int_node (local.get 0 ) (local.get 1 )))"mk_bigger" ) (result eqref)new $biggerconst 0 )const 1 )const 2 )const 3 )const 4 )const 5 )const 6 )const 7 )const 8 )const 9 )const 10 )const 11 )const 12 )const 13 )const 14 )const 15 )const 16 )const 17 )const 18 )const 19 )const 20 )const 21 )const 22 )const 23 )const 24 )const 25 )const 26 )const 27 )const 28 )const 29 )const 30 )const 31 )const 32 )const 33 )const 34 )const 35 )const 36 )const 37 )const 38 )const 39 )const 40 )const 41 )const 42 )const 43 )const 44 )const 45 )const 46 )const 47 )const 48 )const 49 )const 50 )const 51 )))"mk_withfloats" )new $withfloats (local.get 0 ) (local.get 1 ) (local.get 2 ) (local.get 3 ) (local.get 4 var mod = new WebAssembly.Module(bin);var ins = new WebAssembly.Instance(mod, {m:{x1(x){ return x*3 }, x2(x){ return Math.PI }}}).exports;4 .0 , 0 ), 2 .0 )4 .0 , 1 ), 16 .0 )12 ), 36 )8 ), Math.PI)var point = ins.mk_point();0 ), 37 );1 ), 42 );var int_node = ins.mk_int_node(78 , point);0 ), 78 );1 ), point);var bigger = ins.mk_bigger();for ( let i=0 ; i < 52 ; i++ )var withfloats = ins.mk_withfloats(1 /3 , Math.PI, bigger, 5 /6 , 0 x1337);0 ), Math.fround(1 /3 ));1 ), Math.PI);2 ), bigger);3 ), Math.fround(5 /6 ));4 ), 0 x1337);// A simple stress test var stress = wasmTextToBinary(null $node))))"iota1" ) (param $n i32) (result eqref)null $node))new $node (local.get $n) (local.get $list)))const 1 )))var stressIns = new WebAssembly.Instance(new WebAssembly.Module(stress)).exports;var stressLevel ="x64" ) && !getBuildConfiguration("tsan" ) &&"asan" ) && !getBuildConfiguration("valgrind" )100000 1000 ;var the_list = stressIns.iota1(stressLevel);for (let i=1 ; i <= stressLevel; i++) {0 ), i);1 );null );// Fields and their exposure in JS. We can't export types yet so hide them // inside the module with globals. // i64 fields. "set" ) (param eqref)null $big))1 (ref.cast (ref null $big) (local.get 0 )))1 (local.get 1 ) (i64.const 0 x3333333376544567)))"set2" ) (param $p eqref)1 null $big) (local.get $p))const 0 x3141592653589793)))"low" ) (param $p eqref) (result i32)1 (ref.cast (ref null $big) (local.get $p)))))"high" ) (param $p eqref) (result i32)1 (ref.cast (ref null $big) (local.get $p)))const 32 ))))"mk" ) (result eqref)new $big (i32.const 0 x7aaaaaaa) (i64.const 0 x4201020337) (i32.const 0 x6bbbbbbb)))typeof v, "object" );0 ), 0 x7aaaaaaa);1 ), 0 x4201020337n);0 x01020337);0 x42);2 ), 0 x6bbbbbbb);0 ), 0 x7aaaaaaa);1 ), 0 x3333333376544567n);2 ), 0 x6bbbbbbb);1 ), 0 x3141592653589793n);0 x53589793);0 x31415926)null $big)) (ref.null $big))"make" ) (result eqref)new $big (i32.const 0 x7aaaaaaa) (i64.const 0 x4201020337) (i32.const 0 x6bbbbbbb)))"update0" ) (param $x i32)0 (global.get $g) (local.get $x)))"get0" ) (result i32)0 (global.get $g)))"update1" ) (param $hi i32) (param $lo i32)1 (global.get $g)const 32 ))"get1_low" ) (result i32)1 (global.get $g))))"get1_high" ) (result i32)1 (global.get $g)) (i64.const 32 ))))"update2" ) (param $x i32)2 (global.get $g) (local.get $x)))"get2" ) (result i32)2 (global.get $g)))0 ), 0 x7aaaaaaa);1 ), 0 x4201020337n);2 ), 0 x6bbbbbbb);0 x45367101);0 ), 0 x45367101);0 x45367101);1 ), 0 x4201020337n);2 ), 0 x6bbbbbbb);0 x62345123);0 ), 0 x45367101);1 ), 0 x4201020337n);0 x62345123);2 ), 0 x62345123);0 x77777777, 0 x22222222);0 ), 0 x45367101);0 x22222222);0 x77777777);1 ), 0 x7777777722222222n);2 ), 0 x62345123);var bin = wasmTextToBinary(null $cons))))null $cons)) (ref.null $cons))"push" ) (param i32)new $cons (local.get 0 ) (global.get $g))))"top" ) (result i32)0 (global.get $g)))"pop" )1 (global.get $g))))"is_empty" ) (result i32)var mod = new WebAssembly.Module(bin);var ins = new WebAssembly.Instance(mod).exports;37 );42 );86 );86 );42 );37 );1 );null pointer/);// Check that a wrapped object cannot be passed as an eqref even if the wrapper // points to the right type. This is a temporary restriction, until we're able // to avoid dealing with wrappers inside the engine. var ins = wasmEvalText("mk" ) (result eqref)new $Node (i32.const 37 )))"f" ) (param $n eqref) (result eqref)null $Node) (local.get $n))))`).exports;var n = ins.mk();bly GC object/);// Field names. // Test that names map to the right fields. new WebAssembly.Instance(new WebAssembly.Module(wasmTextToBinary(null $s)) (result i32)null $s)) (result i32)"testf" ) (param $n i32) (result i32)new $s (local.get $n) (i32.mul (local.get $n) (i32.const 2 )))))"testg" ) (param $n i32) (result i32)new $s (local.get $n) (i32.mul (local.get $n) (i32.const 2 )))))10 ), 10 );10 ), 20 );// negative tests // Wrong type passed as initializer new WebAssembly.Module(wasmTextToBinary(`new $r (local.get 0 )))// Too few values passed for initializer new WebAssembly.Module(wasmTextToBinary(`new $r (i32.const 0 )))// Too many values passed for initializer, sort of new WebAssembly.Module(wasmTextToBinary(`const 0 )const 1 )const 2 )new $r)// Not referencing a structure type new WebAssembly.Module(wasmTextToBinary(`new 0 ))// Nominal type equivalence for structs, but the prefix rule allows this // conversion to succeed. null $p))new $q (i32.const 0 ))))// The field name is optional, so this should work. // Empty structs are OK. // Multiply defined structures. // Bogus type definition syntax. // Function should not reference struct type: syntactic test 0 ) (param i32) (result i32) (unreachable)))// Can't set immutable fields from JS "make" ) (result eqref)new $s (i32.const 37 ) (i64.const 42 ))))`).exports;0 ] = 12 , TypeError, /can't modify/); 1 ] = 12 , TypeError, /can't modify/); // Function should not reference struct type: binary test var bad = new Uint8Array([0 x00, 0 x61, 0 x73, 0 x6d,0 x01, 0 x00, 0 x00, 0 x00,0 x01, // Type section 0 x03, // Section size 0 x01, // One type 0 x5f, // Struct 0 x00, // Zero fields 0 x03, // Function section 0 x02, // Section size 0 x01, // One function 0 x00, // Type of function 0 x0a, // Code section 0 x05, // Section size 0 x01, // One body 0 x03, // Body size 0 x00, // Zero locals 0 x00, // UNREACHABLE 0 x0b]); // END new WebAssembly.Module(bad),// Exercise alias-analysis code for struct access this point)."create" ) (result eqref)new $hasOOLconst 1 ) (i64.const 2 )const 9876 ) (ref.null $meh)const 3 ) (i64.const 4 ) (i64.const 5 ) (i64.const 6 )const 7 ) (i64.const 8 ) (i64.const 9 ) (i64.const 10 )const 11 ) (i64.const 12 ) (i64.const 13 ) (i64.const 14 )const 4321 ) (ref.null $meh))for the second OOL write. First for non-ref fields .."threeSetsNonReffy" ) (param eqref)1 (ref.as_non_null (ref.cast (ref null $hasOOL) (local.get 0 ))))16 (local.get 1 ) (i64.const 1337 )) ;; set $OOLnonref2 (local.get 1 ) (i64.const 7331 )) ;; set $ILnonref16 (local.get 1 ) (i64.const 9009 )) ;; set $OOLnonreffor ref fields."threeSetsReffy" ) (param eqref)1 (ref.as_non_null (ref.cast (ref null $hasOOL) (local.get 0 ))))17 (local.get 1 ) (ref.null $meh)) ;; set $OOLref3 (local.get 1 ) (ref.null $meh)) ;; set $ILref17 (local.get 1 ) (ref.null $meh)) ;; set $OOLref// Exercise stack maps and GC // Zeal will cause us to allocate structs via instance call, requiring live registers // to be spilled, and then GC values traced while on the stack. 2 , 1 );const { test } = wasmEvalText(`(module"test" ) (param i32) (result i32)0 new $s (i32.const 234 ))new $s (i32.const 345 ))123 ), 123 );const { test } = wasmEvalText(`(module"test" ) (param f32) (result f32)0 new $s (f32.const 234 ))new $s (f32.const 345 ))123 ), 123 );0 );
Messung V0.5 in Prozent C=95 H=96 G=95
¤ Dauer der Verarbeitung: 0.6 Sekunden
¤ *© Formatika GbR, Deutschland
