diff options
Diffstat (limited to 'test/passes/inlining_all-features.wast')
-rw-r--r-- | test/passes/inlining_all-features.wast | 68 |
1 files changed, 0 insertions, 68 deletions
diff --git a/test/passes/inlining_all-features.wast b/test/passes/inlining_all-features.wast deleted file mode 100644 index 99fab7d26..000000000 --- a/test/passes/inlining_all-features.wast +++ /dev/null @@ -1,68 +0,0 @@ -(module - (export "ref_func_test" (func $ref_func_test)) - ;; $foo should not be removed after being inlined, because there is 'ref.func' - ;; instruction that refers to it - (func $foo) - (func $ref_func_test (result funcref) - (call $foo) - (ref.func $foo) - ) -) -(module - ;; a function reference in a global's init should be noticed, and prevent us - ;; from removing an inlined function - (global $global$0 (mut funcref) (ref.func $0)) - (func $0 (result i32) - (i32.const 1337) - ) - (func $1 (result i32) - (call $0) - ) -) -(module - ;; a function reference in the start should be noticed, and prevent us - ;; from removing an inlined function - (start $0) - (func $0 - (nop) - ) - (func $1 - (call $0) - ) -) -;; inline a return_call_ref -(module - (type $none_=>_none (func)) - (export "func_36_invoker" (func $1)) - (func $0 - (return_call_ref - (ref.null $none_=>_none) - ) - ) - (func $1 - (call $0) - ) -) -;; handle non-nullable parameter types (which turn into local types after -;; inlining) -(module - (func $0 (param $non-null (ref func)) (result (ref func)) - (local.get $non-null) - ) - (func $1 (result (ref func)) - (call $0 - (ref.func $1) - ) - ) -) -;; never inline an rtt parameter, as those cannot be handled as locals -(module - (type $struct (struct)) - (func $0 (param $rtt (rtt $struct)) - ) - (func $1 - (call $0 - (rtt.canon $struct) - ) - ) -) |