| (module | |
| (type $T (func (result i32))) | |
| (table 4 funcref) | |
| (elem (i32.const 1) $t1 $t2 $t3) | |
| (func $t1 (type $T) (i32.const 1)) | |
| (func $t2 (type $T) (i32.const 2)) | |
| (func $t3 (type $T) (i32.const 3)) | |
| (func (export "call") (param i32) (result i32) | |
| (call_indirect (type $T) (local.get 0)) | |
| ) | |
| ) | |
| (assert_return (invoke "call" (i32.const 1)) (i32.const 1)) | |
| (assert_return (invoke "call" (i32.const 2)) (i32.const 2)) | |
| (assert_return (invoke "call" (i32.const 3)) (i32.const 3)) |