// Tests for Wasm exception proposal instructions. // Test try blocks with no handlers. "f" ) (result i32)try (result i32) (i32.const 0) end))`"f" ) (result i32)try (result i32) (i32.const 0) (br 0) (i32.const 1) end))`"f" ) (result i32)try (result i32)try (result i32)throw $exn)const 1)const 2)catch $exnconst 0)"f" ) (result i32)try (result i32)try (result i32)try try throw $exn)const 1)const 2)catch $exnconst 0)"f" ) (result i32)try (result i32)try (result i32)try try throw $exn)const 1)const 2)catch $exnconst 0)// Test trivial try-catch with empty bodies. "f" ) (result i32)try nop catch $exn endconst 0)))`"f" ) (result i32)try nop catch_all endconst 0)))`// Test try block with no throws "f" ) (result i32)try (result i32)const 0)catch $exnconst 1)// Ensure catch block is really not run when no throw occurs. "f" ) (result i32) (local i32)try const 42))catch $exnconst 99))// Simple uses of throw. "f" ) (result i32)try (result i32)const 42)throw $exn)catch $exnconst 1)throw $exn))"f" ) (result i32)try (result i32)const 42)catch $exnconst 1)// Simple uses of throw of some Wasm vectortype values (Simd128). if (wasmSimdEnabled()) {"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 $exnthrow $exn (local.get 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)catch $exn"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)try (param v128) (result v128)throws )catch $exnconst i32x4 5 6 7 8)// Further nested call frames should be ok. throw $exn))"f" ) (result i32)try (result i32)const 42)catch $exnconst 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)))`// Ensure conditional throw works. "f" ) (param i32) (result i32)try (result i32)if (result i32)throw $exn)else const 42)catch $exnconst 99)// Ensure multiple & nested try-catch blocks work. throw $exn))"f" ) (result i32) (local i32)try catch $exnconst 99))try catch $exnconst 42))"f" ) (result i32) (local i32)try try try throw $exn)catch $exnconst 42))catch $exnconst 97))catch $exnconst 98))"f" ) (result i32)try throw $exncatch $exntry throw $exn)catch $exnconst 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))"f" ) (result i32)try (result i32)try (result i32)throw $thrownExn)catch $notThrownExnconst 19)catch $thrownExnconst 20)const 21)// Test that uncaught exceptions get propagated. "f" ) (result i32) (local i32)try try try throw $thrownExn)catch $notThrownExnconst 1)))catch $notThrownExnconst 2)))catch $thrownExnconst 4)))// Test tag dispatch for catches. "f" ) (result i32)try (result i32)throw $exn1catch $exn1const 1catch $exn2const 2catch $exn3const 3"f" ) (result i32)try (result i32)throw $exn2catch $exn1const 1catch $exn2const 2catch $exn3const 3"f" ) (result i32)try (result i32)throw $exn3catch $exn1const 1catch $exn2const 2catch $exn3const 3"f" ) (result i32)try (result i32)try (result i32)throw $exn4catch $exn1const 1catch $exn2const 2catch $exn3const 3catch $exn4const 4// Test usage of br before a throw. "f" ) (result i32)try $l (result i32)const 2)throw $exn)catch $exnconst 1)"f" ) (result i32)try $l (result i32)throw $exn)catch $exnconst 2)"f" ) (result i32)try $l (result i32)throw $exn)const 2)// Test br branching out of a catch block. "f" ) (result i32)try (result i32)const 42)throw $exn)catch $exnconst 99)// Test dead catch block. "f" ) (result i32)const 0return try nop catch $exn end))`"f" ) (result i32)const 0return try nop catch_all end))`// Test catch with exception values pushed to stack. "f" ) (result i32)try $l (result i32)const 42)throw $exn)catch $exnconst 99)// Throw an exception carrying more than one value. "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)// This should also work inside nested frames. 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)// Multiple tagged catch in succession. "f" ) (result i32)try (result i32)const 42)throw $exn2)catch $exn1catch $exn2const 99)"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)// Try catch with block parameters. "f" ) (result i32)const 42)try (param i32) (result i32)catch $exnconst 99)"f" ) (result i32)const 42)try $l (param i32) (result i32)throw $exn)catch $exnconst 99)// Test the catch_all case. "f" ) (result i32)try $l (result i32)const 42)throw $exn2)catch $exn1const 99)"f" ) (result i32)try (result i32)try (result i32)const 42)throw $exn)const 99)catch $exn// Test foreign exception catch. import "m" "foreign" (func $foreign))"f" ) (result i32) (local i32)try $lcatch $exnconst 42))throw 5;// Exception handlers should not catch traps. "f" ) (result i32) (local i32)try $lcatch $exnconst 98))const 99))"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();// 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)const 9))else "safediv" ) ${divFunctypeInline}try (param i32 i32) (result i32)catch $notThrownExncatch $divexnconst 44)// Test simple rethrow. "f" ) (result i32)try (result i32)try throw $exncatch $exnconst 1catch $exnconst 27"f" ) (result i32)try (result i32)try throw $exnconst 1catch $exnconst 27// Test rethrows in nested blocks. "f" ) (result i32)try (result i32)try throw $exncatch $exnconst 1catch $exnconst 27"f" ) (result i32)try (result i32)try throw $exnconst 1catch $exnconst 27"f" ) (result i32)try (result i32)try throw $exn1catch $exn1try throw $exn2catch $exn2const 0catch $exn1const 1catch $exn2const 2"f" ) (result i32)try (result i32)try throw $exn1catch $exn1try throw $exn2const 0catch $exn1const 1catch $exn2const 2// Test that rethrow makes the rest of the block dead code. "f" ) (result i32)try (result i32)const 1)catch 0const 2)"f" ) (result i32)try (result i32)try const 13)throw 0)catch 0catch 0"f" ) (result i32)try (result i32)try throw 0)catch 0const 4)catch 0const 13)"f" ) (result i32)try (result i32)try const 13)throw 0)catch 0const 111)const 222)catch 0// Test try-delegate blocks. // Dead delegate to caller "f" ) (result i32)const 1try throw $exn// Nested try-delegate. "f" ) (result i32)try (result i32)try try throw $exnconst 0catch $exnconst 1// Non-throwing and breaking try-delegate. "f" ) (result i32)try (result i32)const 1"f" ) (result i32)try (result i32)const 1return // More nested try-delegate. "f" ) (result i32)try (result i32)try const 42throw $exnconst 0catch $exnconst 1"f" ) (result i32)try (result i32)try (result i32)try const 42throw $exnconst 0catch $exnconst 1catch $exnconst 2"f" ) (result i32)try (result i32)try (result i32)try (result i32)try const 42throw $exnconst 0catch $exnconst 1catch $exnconst 2const 42))"f" ) (result i32)try (result i32)try $tconst 4)try throw $exnconst 0const 1// Test delegation to function body and blocks. // Non-throwing. "f" ) (result i32)try (result i32)const 1// Block target. "f" ) (result i32)try (result i32)try const 1throw $exnconst 0catch $exn// Catch target. "f" ) (result i32)try (result i32)try throw $exncatch $exntry throw $exnconst 0const 1// Target function body. "f" ) (result i32)try (result i32)catch $exntry (result i32)try const 42throw $exnconst 0catch $exnconst 1// 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)
Messung V0.5 C=96 H=95 G=95
¤ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
