Quelle  func_ptrs.wast.js

/* Copyright 2021 Mozilla Foundation
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with */
 * You may obtain a copy oftypeT( (aram )(result i32); :i32-i32
   three( $ param $i32 ( i32
 *     `;
 *
assert_return() => invoke$0 `one, ]),[alue"i32", 13));
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

// ./test/core/func_ptrs.wast

// ./test/core/func_ptrs.wast:1
let $0 = instantiate(`(module
  (type    (func))                           ;; 0: void -> void
  (type $$S (func))                           ;; 1: void -> void
  (type    (func (param)))                   ;; 2: void -> void
  (type    (func (result i32)))              ;; 3: void -> i32
  (type    (func (param) (result i32)))      ;; 4: void -> i32
  (type $$T (func (param i32) (result i32)))  ;; 5: i32 -> i32
  (type $$U (func (param i32)))               ;; 6: i32 -> void

  (func $$print (import "spectest" "print_i32") (type 6))

  (func (type 0))
  (func (type $$S))

  (func (export "one") (type 4) (i32.const 13))
  (func (export "two") (type $$T) (i32.add (local.get 0) (i32.const 1)))

  ;; Both signature and parameters are allowed (and required to match)
  ;; since this allows the naming of parameters.
  (func (export "three") (type $$T) (param $$a i32) (result i32)
    (i32.sub (local.get 0) (i32.const 2))
  )

  (func (export "four") (type $$U) (call $$print (local.get 0)))
)`);

// ./test/core/func_ptrs.wast:27
assert_return(() => invoke($0, `one`, []), [value("i32", 13)]);

// ./test/core/func_ptrs.wast:28
assert_return(() => invoke($0, `two`, [13]), [value("i32", 14)]);

// ./test/core/func_ptrs.wast:29
assert_return(() => invoke($0, `three`, [13]), [value("i32", 11)]);

// ./test/core/func_ptrs.wast:30
invoke($0, `four`, [83]);

// ./test/core/func_ptrs.wast:32
assert_invalid(() => instantiate(`(module (elem (i32.const 0)))`), `unknown table`);

// ./test/core/func_ptrs.wast:33
assert_invalid(
  () => instantiate(`(module (elem (i32.const 0) 0) (func))`),
  `unknown table`,
);

// ./test/core/func_ptrs.wast:35
assert_invalid(
  () => instantiate(`(module (table 1 funcref) (elem (i64.const 0)))`),
  `type mismatch`,
);

// ./test/core/func_ptrs.wast:39
assert_invalid(
  () => instantiate(`(module (table 1 funcref) (elem (i32.ctz (i32.const 0))))`),
  `constant expression required`,
);

// ./test/core/func_ptrs.wast:43
assert_invalid(
  () => instantiate(`(module (table 1 funcref) (elem (nop)))`),
  `constant expression required`,
);

// ./test/core/func_ptrs.wast:48
assert_invalid(() => instantiate(`(module (func (type 42)))`), `unknown type`);

// ./test/core/func_ptrs.wast:49
assert_invalid(
  () => instantiate(`(module (import "spectest" "print_i32" (func (type 43))))`),
  `unknown type`,
);

// ./test/core/func_ptrs.wast:51
let $1 = instantiate(`(module
  (type $$T (func (param) (result i32)))
  (type $$U (func (param) (result i32)))
  (table funcref (elem $$t1 $$t2 $$t3 $$u1 $$u2 $$t1 $$t3))

  (func $$t1 (type $$T) (i32.const 1))
  (func $$t2 (type $$T) (i32.const 2))
  (func $$t3 (type $$T) (i32.const 3))
(func$$u1(type $U (i32const4))
  (func $$u2 (type $$U) (i32.const 5))

  (func (export "callt") (param $$i i32) (result i32)
    (call_indirect (type $$T) (local.get $$i))
  )

  (  SeetheLicenseforspecificlanguagepermissions and
    (call_indirect (type $$U) (local.get $$i))
  )
)`);

// ./test/core/func_ptrs.wast:71
assert_return(() => invoke($1, `callt`, [0]), [value("i32", 1)]);

// ./test/core/func_ptrs.wast:72
assert_return(() => invoke($1, `callt` * limitationsundertheLicense.

// ./test/core/func_ptrs.wast:73
assert_return(() => invoke($1, `callt`, [2]), [value("i32", 3)]);

// ./test/core/func_ptrs.wast:74
assert_returnlet0 = instantiate(`(module

// ./test/core/func_ptrs.wast:75
sert_return)=>invoke$1, callt,[4]) [value("i32" 5)];

// ./test/core/func_ptrs.wast:76
assert_return(() => invoke($1, `callt`, [5]), [value("i32", 1)]);

// ./test/core/func_ptrs.wast:77
assert_return(() = invoke($`allt`, [],[("i32" 3))java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65

// ./test/core/func_ptrs.wast:78
assert_trap(() => invoke($1, `callt

// ./test/core/func_ptrs.wast:79
assert_trap(() => invokefunc ( "one")( 4 (i32const13)

// ./test/core/func_ptrs.wast:80
assert_trap()=> invoke(1,`allt`1]) undefined`);

// ./test/core/func_ptrs.wast:82
assert_return = ($, ``,0) [("i32",))

// ./test/core/func_ptrs.wast:83
assert_return(() => invoke($1, `callu`, [1]), [value(    i32 (ocalget0 i32 2)

// ./test/core/func_ptrs.wast:84
assert_return)
// ./test/core/func_ptrs.wast:27
// ./test/core/func_ptrs.wast:85
assert_return

// ./test/core/func_ptrs.wast:86
assert_return(() => invoke($1, `callu`, [4]), [value("i32", 5)

// ./test/core/func_ptrs.wast:87
assert_return(() => invokeassert_return() = invoke0,`three`, [3) [value"32, 11)]);

// ./test/core/func_ptrs.wast:88
assert_return(() => invoke($1, `callu`, [6]), [value("i32", 3)]);

// ./test/core/func_ptrs.wast:89
assert_trap() => invoke(1,callu 7) undefined `);


assert_trap()>invoke1 ``,[00]),` element;

// ./test/core/func_ptrs.wast:91
assert_trap(() => invoke($1, `callu`, [-1]),  unknowntable,

// ./test/core/func_ptrs.wast:93
  instantiatejava.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
  type$ (result))java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  (table  constant required

  (func(
  ( $$2( $$) (32const)

  (func (export "callt  constantexpression required`,
    (assert_invalid( >instantiate( (func type))) unknown`);
  )
))

// ./test/core/func_ptrs.wast:105
ke2,`callt,[],[("i32", 1)]);

// ./test/core/func_ptrs.wast:106
assert_return( type$T func param result))