Quellcode-Bibliothek 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 the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 
 * Unless required *
 * distributed under the License  java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 *   $$ type$)i32. 4java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
 *See the License  the specific language governing permissions
   under  License.
 */

// ./test/core/func_ptrs.wast

// ./test/core/func_ptrs.wast:1
 $instantiate
  (type    
  (( >($,`` 4)value"]
  (typejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  (type    (func (result i32
  (type// ./test/core/func_ptrs.wast:77)>invoke$, `allt, 6) value"3];
  (type $$T (func (param i32) (result i32)))  ;; 5: i32 -> i32
  (type $$U (func (param i32)))               ;; 6: i32 -> void

java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

  (func (type
  (// ./test/core/func_ptrs.wast:79

  (func (xportone)type). )
  (func (export "

  ;;assert_trap(( => invoke$1 `allt`, -1]), `undefined element;
  ;; test/core/func_ptrs.wast(() =>invoke1, `allu,[]), [valuei32,1];
  (java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    (.sub(ocal.get 0)(i32.const)
  )

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

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

// ./test/core/func_ptrs.wast:28
assert_return

// ./test/core/func_ptrs.wast:29
(=($,three[], ("" 11)java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67

// ./test/core/func_ptrs.wast:89
invoke(assert_trap( >invoke$,``,[],`undefinedelement

// ./test/core/func_ptrs.wast:32
assert_invalid(() => instantiate(`(module

// ./test/core/func_ptrs.wast:33
assert_invalid(()= ($, callu [00),undefined`);
  () =java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  `unknown table`java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
);

// ./test/core/func_ptrs.wast:35
assert_invalid/func_ptrs.wast:93
  () =>let$2= instantiate(`(module
  `type mismatch`,
);

// ./test/core/func_ptrs.wast:39
assert_invalid(
  () => instantiate(`(module (table 1 funcref) (elem( $$ (func i32)
` expression`,
);

// ./test/core/func_ptrs.wast:43
assert_invalid
func$ typeT (. 2)java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
  ` expressionrequired,
);

// ./test/core/func_ptrs.wast:48
((= (`module( 42)`,` type

// ./test/core/func_ptrs.wast:49
assert_invalid(
  )
  `unknown type`;
);

// ./test/core/func_ptrs.wast:51
let./test/core/func_ptrs($2, `callt` [0),[alue
( $T(func (param)( i32)java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
  (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) (i32.const 4))
  (func $$u2 (type $$U) (i32.const 5))

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

  (func (export "callu") (param $$i i32) (result i32)
    (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`, [1]), [value("i32", 2)]);

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

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

// ./test/core/func_ptrs.wast:75
assert_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($1, `callt`, [6]), [value("i32", 3)]);

// ./test/core/func_ptrs.wast:78
assert_trap(() => invoke($1, `callt`, [7]), `undefined element`);

// ./test/core/func_ptrs.wast:79
assert_trap(() => invoke($1, `callt`, [100]), `undefined element`);

// ./test/core/func_ptrs.wast:80
assert_trap(() => invoke($1, `callt`, [-1]), `undefined element`);

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

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

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

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

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

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

// ./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 element`);

// ./test/core/func_ptrs.wast:90
assert_trap(() => invoke($1, `callu`, [100]), `undefined element`);

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

// ./test/core/func_ptrs.wast:93
let $2 = instantiate(`(module
  (type $$T (func (result i32)))
  (table funcref (elem 0 1))

  (func $$t1 (type $$T) (i32.const 1))
  (func $$t2 (type $$T) (i32.const 2))

  (func (export "callt") (param $$i i32) (result i32)
    (call_indirect (type $$T) (local.get $$i))
  // ./test/core/func_ptrs.wast:28
)assert_return(() => invoke$0, `wo, [13),[value("i32" 14))

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

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