// Tests for Wasm exception proposal instructions. // Test try blocks with no handlers. "f" ) (result i32)try (result i32) (i32.const 0 ) end))`0 "f" ) (result i32)try (result i32) (i32.const 0 ) (br 0 ) (i32.const 1 ) end))`0 0 ))"f" ) (result i32)try (result i32)try (result i32)throw $exn)const 1 )const 2 )catch $exnconst 0 )0 0 ))"f" ) (result i32)try (result i32)try (result i32)try try throw $exn)const 1 )const 2 )catch $exnconst 0 )0 0 ))"f" ) (result i32)try (result i32)try (result i32)try try throw $exn)0 const 1 )const 2 )catch $exnconst 0 )0 // Test trivial try-catch with empty bodies. 0 ))"f" ) (result i32)try nop catch $exn endconst 0 )))`0 "f" ) (result i32)try nop catch_all endconst 0 )))`0 // Test try block with no throws 0 ))"f" ) (result i32)try (result i32)const 0 )catch $exnconst 1 )0 // Ensure catch block is really not run when no throw occurs. 0 ))"f" ) (result i32) (local i32)try 0 (i32.const 42 ))catch $exn0 (i32.const 99 ))0 )))`42 // Simple uses of throw. 0 ))"f" ) (result i32)try (result i32)const 42 )throw $exn)catch $exnconst 1 )1 0 ))0 ) (throw $exn))"f" ) (result i32)try (result i32)const 42 )catch $exnconst 1 )1 // Simple uses of throw of some Wasm vectortype values (Simd128). if (wasmSimdEnabled()) {0 ))"f" ) (result i32)try (result i32)const i32x4 42 41 40 39 )const f32x4 4 .2 4 .1 0 .40 3 .9 )const i64x2 42 41 )const f64x2 4 .2 4 .1 )throw $exn)catch $exn1 0 ))throw $exn (local.get 0 )1 )2 )3 )))"f" ) (result i32)try (result i32)const i32x4 42 41 40 39 )const f32x4 4 .2 4 .1 0 .40 3 .9 )const i64x2 42 41 )const f64x2 4 .2 4 .1 )catch $exn1 "exn" ) (param v128))"throws" ) (param v128) (result v128)throw $exn (local.get 0 ))const i32x4 9 10 11 12 )))`).exports;import "m" "exn" (tag $exn (param v128)))import "m" "throws" (func $throws (param v128) (result v128)))"f" ) (result i32) (local v128)const i32x4 1 2 3 4 )0 )try (param v128) (result v128)throws )catch $exnconst i32x4 5 6 7 8 )0 )1 );// Further nested call frames should be ok. 0 ))0 ) (call $bar))0 ) (call $quux))0 ) (throw $exn))"f" ) (result i32)try (result i32)const 42 )catch $exnconst 1 )1 // Basic throwing from loop. For the purpose of this test, the params below should be increasing."f" ) (param $depth_to_throw_exn i32)catch if (i32.eqz (local.get $loop_counter))return (i32.const 440 )))else try if (i32.eq (local.get $depth_to_throw_exn)throw $exn))else const 1 )))))catch $exn (br $catch )return (i32.const 10001 )))const 10000 )))`2 , 4 ),10000 // Ensure conditional throw works. 0 ))"f" ) (param i32) (result i32)try (result i32)0 )if (result i32)throw $exn)else const 42 )catch $exnconst 99 )0 ), 42 );1 ), 99 );// Ensure multiple & nested try-catch blocks work. 0 ))throw $exn))"f" ) (result i32) (local i32)try catch $exn0 (i32.const 99 ))try catch $exn0 (i32.const 42 ))0 )))`42 0 ))"f" ) (result i32) (local i32)try try try throw $exn)catch $exn0 (i32.const 42 ))catch $exn0 (i32.const 97 ))catch $exn0 (i32.const 98 ))0 )))`42 "f" ) (result i32)try throw $exncatch $exntry throw $exn)catch $exnconst 27 )))`27 throw throw $exn))"f" ) (param $arg i32) (result i32)try (result i32)throw )catch $exnif (result i32)try (result i32)throw )catch $exnconst 27 )else const 11 ))1 ), 27 );0 ), 11 );"f" ) (result i32)try (result i32)try (result i32)throw $thrownExn)catch $notThrownExnconst 19 )catch $thrownExnconst 20 )const 21 )20 // Test that uncaught exceptions get propagated. "f" ) (result i32) (local i32)try try try throw $thrownExn)catch $notThrownExn0 0 )const 1 )))catch $notThrownExn0 0 )const 2 )))catch $thrownExn0 0 )const 4 )))0 )))`4 // Test tag dispatch for catches. 0 ))0 ))0 ))"f" ) (result i32)try (result i32)throw $exn1catch $exn1const 1 catch $exn2const 2 catch $exn3const 3 1 0 ))0 ))0 ))"f" ) (result i32)try (result i32)throw $exn2catch $exn1const 1 catch $exn2const 2 catch $exn3const 3 2 0 ))0 ))0 ))"f" ) (result i32)try (result i32)throw $exn3catch $exn1const 1 catch $exn2const 2 catch $exn3const 3 3 0 ))0 ))0 ))0 ))"f" ) (result i32)try (result i32)try (result i32)throw $exn4catch $exn1const 1 catch $exn2const 2 catch $exn3const 3 catch $exn4const 4 4 // Test usage of br before a throw. 0 ))"f" ) (result i32)try $l (result i32)const 2 )throw $exn)catch $exnconst 1 )2 0 ))"f" ) (result i32)try $l (result i32)throw $exn)catch $exnconst 2 )0 2 0 ))"f" ) (result i32)try $l (result i32)throw $exn)const 2 )0 2 // Test br branching out of a catch block. 0 ))"f" ) (result i32)try (result i32)const 42 )throw $exn)catch $exnconst 99 )42 // Test dead catch block. 0 ))"f" ) (result i32)const 0 return try nop catch $exn end))`0 "f" ) (result i32)const 0 return try nop catch_all end))`0 // Test catch with exception values pushed to stack. 0 ))1 ))2 ))"f" ) (result i32)try $l (result i32)const 42 )throw $exn)catch $exnconst 99 )42 // Throw an exception carrying more than one value. 0 ))"f" ) (result i32)try $l (result i32 i64 f32 f64)const 42 )const 84 )const 42 .2 )const 84 .4 )throw $exn)catch $exnconst 99 )const 999 )const 99 .9 )const 999 .9 )42 // This should also work inside nested frames. 0 ))0 )1 )2 )3 )throw $exn))"f" ) (result i32)try $l (result i32 i64 f32 f64)const 42 )const 84 )const 42 .2 )const 84 .4 )catch $exnconst 99 )const 999 )const 99 .9 )const 999 .9 )42 // Multiple tagged catch in succession. 0 ))0 ))"f" ) (result i32)try (result i32)const 42 )throw $exn2)catch $exn1catch $exn2const 99 )42 "f" ) (result i32)try (result i32)throw $exn4)catch $exn5 (i32.const 5 )catch $exn2 (i32.const 2 )catch $exn4 (i32.const 4 ) ;; Caught here.catch $exn4 (i32.const 44 )4 // Try catch with block parameters. 0 ))"f" ) (result i32)const 42 )try (param i32) (result i32)catch $exnconst 99 )42 0 ))"f" ) (result i32)const 42 )try $l (param i32) (result i32)throw $exn)catch $exnconst 99 )42 // Test the catch_all case. 0 ))0 ))"f" ) (result i32)try $l (result i32)const 42 )throw $exn2)catch $exn1const 99 )99 "f" ) (result i32)try (result i32)try (result i32)const 42 )throw $exn)const 99 )catch $exn99 // Test foreign exception catch. import "m" "foreign" (func $foreign))0 ))"f" ) (result i32) (local i32)try $lcatch $exn0 (i32.const 42 ))0 )))`,throw 5 ;42 // Exception handlers should not catch traps. 0 ))"f" ) (result i32) (local i32)try $lcatch $exn0 (i32.const 98 ))0 (i32.const 99 ))0 )))`"unreachable executed" // Ensure that a RuntimeError created by the user is not filtered out // as a trap emitted by the runtime (i.e., the filtering predicate is not // observable from JS). import "m" "foreign" (func $foreign))"f" ) (result i32)try (result i32)const 99 )const 42 )throw new WebAssembly.RuntimeError();42 // Test uncatchable JS exceptions (OOM & stack overflow). import "m" "foreign" (func $foreign))"f" ) (result)try var thrownVal;try {catch (exn) {"out of memory" );import "m" "foreign" (func $foreign))"f" )try function foreign() {"too much recursion" // Test all implemented instructions in a single module. if (param i32 i32) (result i32)try (param i32 i32)throw $divexn)0 const 9 ))else "safediv" ) ${divFunctypeInline}try (param i32 i32) (result i32)catch $notThrownExncatch $divexnconst 44 )6 , 3 ), 2 );6 , 0 ), 6 );// Test simple rethrow. 0 ))"f" ) (result i32)try (result i32)try throw $exncatch $exn0 const 1 catch $exnconst 27 27 0 ))"f" ) (result i32)try (result i32)try throw $exn0 const 1 catch $exnconst 27 27 // Test rethrows in nested blocks. 0 ))"f" ) (result i32)try (result i32)try throw $exncatch $exn1 const 1 catch $exnconst 27 27 0 ))"f" ) (result i32)try (result i32)try throw $exn1 const 1 catch $exnconst 27 27 0 ))0 ))"f" ) (result i32)try (result i32)try throw $exn1catch $exn1try throw $exn2catch $exn21 const 0 catch $exn1const 1 catch $exn2const 2 1 0 ))0 ))"f" ) (result i32)try (result i32)try throw $exn1catch $exn1try throw $exn21 const 0 catch $exn1const 1 catch $exn2const 2 1 // Test that rethrow makes the rest of the block dead code. "f" ) (result i32)try (result i32)const 1 )catch 0 0 )const 2 )1 "f" ) (result i32)try (result i32)try const 13 )throw 0 )catch 0 0 )catch 0 13 "f" ) (result i32)try (result i32)try throw 0 )catch 0 const 4 )0 )catch 0 const 13 )13 "f" ) (result i32)try (result i32)try const 13 )throw 0 )catch 0 const 111 )0 )const 222 )catch 0 13 // Test try-delegate blocks. // Dead delegate to caller "f" ) (result i32)const 1 0 try throw $exn0 ))`1 // Nested try-delegate. "f" ) (result i32)try (result i32)try try throw $exn0 const 0 catch $exnconst 1 1 // Non-throwing and breaking try-delegate. "f" ) (result i32)try (result i32)const 1 0 0 ))`1 "f" ) (result i32)try (result i32)const 1 return 0 ))`1 // More nested try-delegate. 0 ))"f" ) (result i32)try (result i32)try const 42 throw $exn0 const 0 catch $exnconst 1 43 0 ))"f" ) (result i32)try (result i32)try (result i32)try const 42 throw $exn1 const 0 catch $exnconst 1 catch $exnconst 2 44 0 ))"f" ) (result i32)try (result i32)try (result i32)try (result i32)try const 42 throw $exn1 const 0 catch $exnconst 1 0 catch $exnconst 2 44 const 42 ))"f" ) (result i32)try (result i32)try $tconst 4 )try throw $exnconst 0 const 1 1 // Test delegation to function body and blocks. // Non-throwing. "f" ) (result i32)try (result i32)const 1 0 ))`1 // Block target. "f" ) (result i32)try (result i32)try const 1 throw $exn0 const 0 catch $exn1 // Catch target. "f" ) (result i32)try (result i32)try throw $exncatch $exntry throw $exn0 const 0 const 1 1 // Target function body. 0 ))"f" ) (result i32)try (result i32)catch $exntry (result i32)try const 42 throw $exn1 const 0 catch $exnconst 1 42 // Try-delegate from inside a loop. For the purpose of this test, the params below should be increasing."f" ) (param $depth_to_throw_exn i32)try $catch_exn (result i32)try const 1 )if (i32.eqz (local.get $loop_countdown))return (i32.const 440 )))else try $rethrow_labelif (i32.eq (local.get $depth_to_throw_exn)throw $exn))else const 1 )))))catch $exn try const 2000 )const 10000 )3 , 5 ),10003
Messung V0.5 in Prozent C=98 H=98 G=97
¤ Dauer der Verarbeitung: 0.14 Sekunden
¤ *© Formatika GbR, Deutschland
