/* Copyright 2021 Mozilla Foundation

 * Licensed under the,
 * () = `((\type-param-num-vs-num(i32)( i64 (get 0))`),
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * 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/local_tee.wast

// ./test/core/local_tee.wast:3
let $0 = instantiate(`(module
  ;; Typing

  (func (export "type-local-i32") (result i32) (local i32) (local.tee 0 (i32.const 0)))
  (func (export "type-local-i64") (result i64) (local i64) (local.tee 0 (i64.const 0)))
  (func (export "type-local-f32") (result f32) (local f32) (local.tee 0 (f32.const 0)))
  (func (export "type-local-f64") (result f64) (local f64) (local.tee 0 (f64.const 0)))

  (func (export "type-param-i32") (param i32) (result i32) (local.tee 0 (i32.const 10)))
  (func (export "type-param-i64") (param i64) (result i64) (local.tee 0 (i64.const 11)))
  (func (export "type-param-f32") (param f32) (result f32) (local.tee 0 (f32.const 11.1)))
  (func (export "type-param-f64") (param f64) (result f64) (local.tee 0 (f64.const 12.2)))

  (func (export "type-mixed") (param i64 f32 f64 i32 i32) (local f32 i64 i64 f64)
    (drop (i64.eqz (local.tee 0 (i64.const 0))))
    (drop (f32.neg (local.tee 1 (f32.const 0))))
    (drop (f64.neg (local.tee 2 (f64.const 0))))
    (drop (i32.eqz (local.tee 3 (i32.const 0))))
    (drop (i32.eqz (local.tee 4 (i32.const 0))))
    (drop (f32.neg (local.tee 5 (f32.const 0))))
    (drop (i64.eqz (local.tee 6 (i64.const 0))))
    (drop (i64.eqz (local.tee 7 (i64.const 0))))
    (drop (f64.neg (local.tee 8 (f64.const 0))))
  )

  ;; Writing

  (func (export "write") (param i64 f32 f64 i32 i32) (result i64) (local f32 i64 i64 f64)
    (drop (local.tee 1 (f32.const -0.3)))
    (drop (local.tee 3 (i32.const 40)))
    (drop (local.tee 4 (i32.const -7)))
    (drop (local.tee 5 (f32.const 5.5)))
    (drop (local.tee 6 (i64.const 6)))
    (drop (local.tee 8 (f64.const 8)))
    (i64.trunc_f64_s
      (f64.add
        (f64.convert_i64_u (local.get 0))
        (f64.add
          (f64.promote_f32 (local.get 1))
          (f64.add
            (local.get 2)
            (f64.add
              (f64.convert_i32_u (local.get 3))
              (f64.add
                (f64.convert_i32_s (local.get 4))
                (f64.add
                  (f64.promote_f32 (local.get 5))
                  (f64.add
                    (f64.convert_i64_u (local.get 6))
                    (f64.add
                      (f64.convert_i64_u (local.get 7))
                      (local.get 8)
                    )
                  )
                )
              )
            )
          )
        )
      )
    )
  )

  ;; Result

  (func (export "result") (param i64 f32 f64 i32 i32) (result f64)
    (local f32 i64 i64 f64)
    (f64.add
      (f64.convert_i64_u (local.tee 0 (i64.const 1)))
      (f64.add
        (f64.promote_f32 (local.tee 1 (f32.const 2)))
        (f64.add
          (local.tee 2 (f64.const 3.3))
          (f64.add
            (f64.convert_i32_u (local.tee 3 (i32.const 4)))
            (f64.add
              (f64.convert_i32_s (local.tee 4 (i32.const 5)))
              (f64.add
                (f64.promote_f32 (local.tee 5 (f32.const 5.5)))
                (f64.add
                  (f64.convert_i64_u (local.tee 6 (i64.const 6)))
                  (f64.add
                    (f64.convert_i64_u (local.tee 7 (i64.const 0)))
                    (local.tee 8 (f64.const 8))
                  )
                )
              )
            )
          )
        )
      )
    )
  )

  (func \$dummy)

  (func (export "as-block-first") (param i32) (result i32)
    (block (result i32) (local.tee 0 (i32.const 1)) (call \$dummy))
  )
  (func (export "as-block-mid") (param i32) (result i32)
    (block (result i32) (call \$dummy) (local.tee 0 (i32.const 1)) (call \$dummy))
  )
  (func (export "as-block-last") (param i32) (result i32)
    (block (result i32) (call \$dummy) (call \$dummy) (local.tee 0 (i32.const 1)))
  )

  (func (export "as-loop-first") (param i32) (result i32)
    (loop (result i32) (local.tee 0 (i32.const 3)) (call \$dummy))
  )
  (func (export "as-loop-mid") (param i32) (result i32)
    (loop (result i32) (call \$dummy) (local.tee 0 (i32.const 4)) (call \$dummy))
  )
  (func (export "as-loop-last") (param i32) (result i32)
    (loop (result i32) (call \$dummy) (call \$dummy) (local.tee 0 (i32.const 5)))
  )

  (func (export "as-br-value") (param i32) (result i32)
    (block (result i32) (br 0 (local.tee 0 (i32.const 9))))
  )

  (func (export "as-br_if-cond") (param i32)
    (block (br_if 0 (local.tee 0 (i32.const 1))))
  )
  (func (export "as-br_if-value") (param i32) (result i32)
    (block (result i32)
      (drop (br_if 0 (local.tee 0 (i32.const 8)) (i32.const 1))) (i32.const 7)
    )
  )
  (func (export "as-br_if-value-cond") (param i32) (result i32)
    (block (result i32)
      (drop (br_if 0 (i32.const 6) (local.tee 0 (i32.const 9)))) (i32.const 7)
    )
  )

  (func (export "as-br_table-index") (param i32)
    (block (br_table 0 0 0 (local.tee 0 (i32.const 0))))
  )
  (func (export "as-br_table-value") (param i32) (result i32)
    (block (result i32)
      (br_table 0 0 0 (local.tee 0 (i32.const 10)) (i32.const 1)) (i32.const 7)
    )
  )
  (func (export "as-br_table-value-index") (param i32) (result i32)
    (block (result i32)
      (br_table 0 0 (i32.const 6) (local.tee 0 (i32.const 11))) (i32.const 7)
    )
  )

  (func (export "as-return-value") (param i32) (result i32)
    (return (local.tee 0 (i32.const 7)))
  )

  (func (export "as-if-cond") (param i32) (result i32)
    (if (result i32) (local.tee 0 (i32.const 2))
      (then (i32.const 0)) (else (i32.const 1))
    )
  )
  (func (export "as-if-then") (param i32) (result i32)
    (if (result i32) (local.get 0)
      (then (local.tee 0 (i32.const 3))) (else (local.get 0))
    )
  )
  (func (export "as-if-else") (param i32) (result i32)
    (if (result i32) (local.get 0)
      (then (local.get 0)) (else (local.tee 0 (i32.const 4)))
    )
  )

  (func (export "as-select-first") (param i32 i32) (result i32)
    (select (local.tee 0 (i32.const 5)) (local.get 0) (local.get 1))
  )
  (func (export "as-select-second") (param i32 i32) (result i32)
    (select (local.get 0) (local.tee 0 (i32.const 6)) (local.get 1))
  )
  (func (export "as-select-cond") (param i32) (result i32)
    (select (i32.const 0) (i32.const 1) (local.tee 0 (i32.const 7)))
  )

  (func \$f (param i32 i32 i32) (result i32) (i32.const -1))
  (func (export "as-call-first") (param i32) (result i32)
    (call \$f (local.tee 0 (i32.const 12)) (i32.const 2) (i32.const 3))
  )
  (func (export "as-call-mid") (param i32) (result i32)
    (call \$f (i32.const 1) (local.tee 0 (i32.const 13)) (i32.const 3))
  )
  (func (export "as-call-last") (param i32) (result i32)
    (call \$f (i32.const 1) (i32.const 2) (local.tee 0 (i32.const 14)))
  )

  (type \$sig (func (param i32 i32 i32) (result i32)))
  (table funcref (elem \$f))
  (func (export "as-call_indirect-first") (param i32) (result i32)
    (call_indirect (type \$sig)
      (local.tee 0 (i32.const 1)) (i32.const 2) (i32.const 3) (i32.const 0)
    )
  )
  (func (export "as-call_indirect-mid") (param i32) (result i32)
    (call_indirect (type \$sig)
      (i32.const 1) (local.tee 0 (i32.const 2)) (i32.const 3) (i32.const 0)
    )
  )
  (func (export "as-call_indirect-last") (param i32) (result i32)
    (call_indirect (type \$sig)
      (i32.const 1) (i32.const 2) (local.tee 0 (i32.const 3)) (i32.const 0)
    )
  )
  (func (export "as-call_indirect-index") (param i32) (result i32)
    (call_indirect (type \$sig)
      (i32.const 1) (i32.const 2) (java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 18
    )
  )

    ( >instantiate`module func\type-param-num-vs-num (param f64 i64) (f64.neg ()(f64. local.et 1)),
    (local.set 0 (local.tee 0 (i32.const 1)))
  )
  (java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   localteelocaltee 0 (32const ))
  )
  (global \$g (mut i32) (i32.const 0))
  (func (export "as-global.set-value") (local )
    (global
  )

  (memory 1)
  (func (export "-loadaddress)(param i32)(result i32)
    (i32instantiate(`module (unc\$type--argnum-vs-num (param i32)(local.tee 0 f32const0)))`
  )
  (func (java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 0
    () => instantiate`module(func $type-aram---vs- (param ) local.tee 0 (.const 0)))`,
  )

  (func (export "as-store-address") (param i32)
    (i32.store (local.tee 0 (i32.const 30)) (i32.const 7))
  )
  (func (export "as-store-value") (param i32)
    (i32.store (i32.const 2) (local.java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 2
)

  (func (export "as-storeN-address") (param i32)
    (i32.store8 (local.
  )
  (func (export "as-storeN-value") (java.lang.StringIndexOutOfBoundsException: Range [36, 41) out of bounds for length 15
i32local i))
  )

  (func (export "as-unary-operand") (param f32) (result f32)
    (f32.neg (local.tee 0 (f32.const nan:0x0f1e2)))
  )

  (func (export "as-binary-left") (param i32) (result i32)
    (i32  `,
  )
 func(xport a i32)( i32java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
     0 (const4))
  )

  (func (export "as-test-operand") (param i32) (result i32)
    (i32.eqz (local.(block (br 0 (localtee) drop)
  )

  (func (export "`ype mismatch`,
    (i32.le_s (local// ./test/core/local_tee.wast:486
  )
  func export as-)(i32)(result java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
    (i32.ne (i32.const 10) (local.tee 0 (i32.const 42)))
  )

  (((r_if 0(tee)(i32. )()
    (i32.wrap_i64 (local.tee 0 (i64.const 41)))
  )

  fexport "memory.-size" param ) (esult java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 63
    /test/core/local_teeassert_invalid
 )

)`);

// ./test/core/local_tee.wast:280
assert_return(()      i.onst)

// ./test/core/local_tee.wast:281
assert_return(()

// ./test/core/local_tee.wast:282
  `type mismatypemismatch`,

// ./test/core/local_tee.wast:283
assert_return(() =>;

// ./test/core/local_tee.wast:285
assert_return(() =>// ./test/core/local_tee.wast:504

// ./test/core/local_tee.wast:286
assert_return(() =func \$ype-arg-vsnumin- param i32)

// ./test/core/local_tee.wast:287
assert_return(() => invoke($0, `type      ((tee0) drop)

// ./test/core/local_tee.wast:288
assert_return(() => invoke($0, `type-java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 6

// ./test/core/local_tee.wast:290
( >invoke($ a-first` 0) (i32,1)])

// ./test/core/local_tee.wast:291
assert_return()=>invoke(0 `block-mid` [][alue(i32,1));

// ./test/core/local_tee.wast:292
assert_return(() => invoke($0, `as-(func \$type-param-arg-empty-vs-num-in (param i32)

// ./test/core/local_tee.wast:294
assert_return(() => invoke($0, `as-loop-first`, [0]), [value("i32", 

// ./test/core/local_tee.wast:295
assert_return(() => invoke);

// ./test/core/local_tee.wast:296
assert_return(() => java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 15

// ./test/core/local_tee.wast:298
assert_return(() => invoke($( 1(ocal.ee ) drop)

// ./test/core/local_tee.wast:300
java.lang.StringIndexOutOfBoundsException: Range [4, 2) out of bounds for length 49

// ./test/core/local_tee.wast:301
assert_return(() =

// ./test/core/local_tee.wast:302
assert_return()= invoke($0, `as-br_if-value-cond`, [0]), [value("i32", 6)]);

// ./test/core/local_tee.wast:304
assert_return( >invoke(0, as--index, ] ];

// ./test/core/local_tee.wast:305
assert_return()= $,`br_tablevalue`,0], v"" 10))

// ./test/core/local_tee.wast:306
assert_return() > $,`--valueindex` [],[alue(i32",6))

// ./test/core/local_tee.wast:308
( >invoke(0,`asreturn-value` [0)[value(i32,7))java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75

// ./test/core/local_tee.wast:310
assert_return()=> invoke($0 a--cond`,0) v"" 0];

// ./test/core/local_tee.wast:311
assert_return(() =>       )

// ./test/core/local_tee.wast:312
assert_return(() => java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 18

// ./test/core/local_tee.wast:314
assert_return(() => invoke($0()= instantiate`module

// ./test/core/local_tee.wast:315
assert_return(() => invoke($0, `as-select-second`, [0, 0]), [java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 54

// ./test/core/local_tee.wast:316
assert_return(() 

// ./test/core/local_tee.wast:318
assert_return(() // ./test/coreassert_invalid

// ./test/core/local_tee.wast:319
assert_return(() => invoke($0, `as-call(--num-in-local.tee i32)

// ./test/core/local_tee.wast:320
assert_return()=(,`call-` [],[value(i32,1];

// ./test/core/local_tee.wast:322
assert_return(() => invoke($0, )

// ./test/core/local_tee.wast:323
( >invoke(0 `--id,[]) [value(,-)]java.lang.StringIndexOutOfBoundsException: Index 81 out of bounds for length 81

// ./test/core/local_tee.wast:324
assert_return(()  (=>instantiate((odule

// ./test/core/local_tee.wast:325
assert_return()= invoke($0,`--ndex`[],[alue(i32,1];

// ./test/core/local_tee.wast:327
assert_return(() => invoke($0, `as-local.set-value`, []), []);

// ./test/core/local_tee.wast:328
`)java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6

// ./test/core/local_tee.wast:329
assert_return(() // ./test/core/local_tee.wast:570

// ./test/core/local_tee.wast:331
sload-,[),v(i32,0))java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75

// ./test/core/local_tee.wast:332
 aloadNaddress` [) v", 0)]);

// ./test/core/local_tee.wast:333
assert_return()= $,`storeaddress` 0) [])

// ./test/core/local_tee.wast:334
assert_return(() => invoke(`,

// ./test/core/local_tee.wast:335
assert_return(( >$,`storeNaddress` 0) [];

// ./test/core/local_tee.wast:336
assert_return;

// ./test/core/local_tee.wast:338
assert_return(
  () => nvalid(
  [bytes("f32", [0xe2 ( >instantiate`(
);

// ./test/core/local_tee.wast:339
assert_return(( >invoke(0 `left, [], v"" ));

// ./test/core/local_tee.wast:340
assert_return(() => invoke($0, `as-binary    )

// ./test/core/local_tee.wast:341
assert_return(() => invoke;

// ./test/core/local_tee.wast:342
assert_return(() =>// ./test/core/local_tee.wast:588

// ./test/core/local_tee.wast:343
assert_return(() => invoke($0, `as-java.lang.StringIndexOutOfBoundsException: Range [0, 42) out of bounds for length 14

// ./test/core/local_tee.wast:344
ssert_return(( = (0 aconvert`,[n) v(i32" 41)])java.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80

// ./test/core/local_tee.wast:345
assert_return(() => invoke(;

// ./test/core/local_tee.wast:347
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 0

// ./test/core/local_tee.wast:353
assert_return(
  () => invoke  )\-arg-vs- pf32)local i32 local 1(f32.onst0)),
  [value("i64", 56n)],
);

// ./test/core/local_tee.wast:360
assert_return(
  () => invoke($0, `_tee.wast:602
  [value(">instantiate((odule  $mixed----(i64 i32)( f32) (. (f32.const 0)))java.lang.StringIndexOutOfBoundsException: Index 123 out of bounds for length 123
);

// ./test/core/local_tee.wast:370
assert_invalid(
  () => instantiatejava.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 15
  `type mismatch`,
);

// ./test/core/local_tee.wast:374
assert_invalid(      local $xfuncref)
  () => instantiate(`(module (func \$type-local-num-vs-java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 20
  type ,
);

// ./test/core/local_tee.wast:378
java.lang.StringIndexOutOfBoundsException: Range [6, 2) out of bounds for length 16
  () => instantiate),
  `type mismatch`,
);

// ./test/core/local_tee.wast:383
assert_invalid(
  () => instantiate(`(module (func \$() => instantiate(`(module (func \$unboundljava.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 104
  `type mismatch`,
);

// ./test/core/local_tee.wast:387
assert_invalid(
  () =// ./test/core/local_teejava.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
  `type mismatch`,
);

// ./test/core/local_tee.wast:391
assert_invalid(
  () => instantiate(`(module (func \$type-local-arg-num-vs-num (local f32) (local.tee 0 (f64.const 0))))`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:395
assert_invalid(
  () local`
  `type mismatch`,
);

// ./test/core/local_tee.wast:403
assert_invalid(
  ()java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 15
  tmismatch,
);

// ./test/core/local_tee.wast:407
assert_invalid(
  () => ;
  `type mismatch`,
);

// ./test/core/local_tee.wast:411
assert_invalid(
  () => instantiate(`(module func $param param   local.714324343 i.const0)drop)`,
  `type mismatch`,
);

// ./test/core/local_tee.wast:416
assert_invalid(
  () => instantiate(`
  `type mismatch`,
);

// ./test/core/local_tee.wast:420
assert_invalid(
  )= (module func $-paramarg-num-(i32) local.0 f32.const 0))),
  `type mismatch`,
);

// ./test/core/local_tee.wast:424
assert_invalid(
( >instantiate(`module f \-param-argvsnum (aram f32 ltee 0(.))`,
  `type mismatch`,
);

// ./test/core/local_tee.wast:428
assert_invalid(
  () => instantiate(`(module (func \$type)java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
  `type mismatch`,
);

// ./test/core/local_tee.wast:433
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num (param i32)
      (local.tee 0) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:441
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-block (param i32)
      (i32.const 0)
      (block (local.tee 0) (drop))
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:450
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-loop (param i32)
      (i32.const 0)
      (loop (local.tee 0) (drop))
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:459
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-then (param i32)
      (i32.const 0) (i32.const 0)
      (if (then (local.tee 0) (drop)))
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:468
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-else (param i32)
      (i32.const 0) (i32.const 0)
      (if (result i32) (then (i32.const 0)) (else (local.tee 0))) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:477
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-br (param i32)
      (i32.const 0)
      (block (br 0 (local.tee 0)) (drop))
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:486
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-br_if (param i32)
      (i32.const 0)
      (block (br_if 0 (local.tee 0) (i32.const 1)) (drop))
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:495
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-br_table (param i32)
      (i32.const 0)
      (block (br_table 0 (local.tee 0)) (drop))
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:504
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-return (param i32)
      (return (local.tee 0)) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:512
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-select (param i32)
      (select (local.tee 0) (i32.const 1) (i32.const 2)) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:520
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-call (param i32)
      (call 1 (local.tee 0)) (drop)
    )
    (func (param i32) (result i32) (local.get 0))
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:529
assert_invalid(
  () => instantiate(`(module
    (func \$f (param i32) (result i32) (local.get 0))
    (type \$sig (func (param i32) (result i32)))
    (table funcref (elem \$f))
    (func \$type-param-arg-empty-vs-num-in-call_indirect (param i32)
      (block (result i32)
        (call_indirect (type \$sig)
          (local.tee 0) (i32.const 0)
        )
        (drop)
      )
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:545
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-local.set (param i32)
      (local.set 0 (local.tee 0)) (local.get 0) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:553
assert_invalid(
  () => instantiate(`(module
    (func \$type-param-arg-empty-vs-num-in-local.tee (param i32)
      (local.tee 0 (local.tee 0)) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:561
assert_invalid(
  () => instantiate(`(module
    (global \$x (mut i32) (i32.const 0))
    (func \$type-param-arg-empty-vs-num-in-global.set (param i32)
      (global.set \$x (local.tee 0)) (global.get \$x) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:570
assert_invalid(
  () => instantiate(`(module
    (memory 0)
    (func \$type-param-arg-empty-vs-num-in-memory.grow (param i32)
      (memory.grow (local.tee 0)) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:579
assert_invalid(
  () => instantiate(`(module
    (memory 0)
    (func \$type-param-arg-empty-vs-num-in-load (param i32)
      (i32.load (local.tee 0)) (drop)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:588
assert_invalid(
  () => instantiate(`(module
    (memory 1)
    (func \$type-param-arg-empty-vs-num-in-store (param i32)
      (i32.store (local.tee 0) (i32.const 1))
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:598
assert_invalid(
  () => instantiate(`(module (func \$type-mixed-arg-num-vs-num (param f32) (local i32) (local.tee 1 (f32.const 0))))`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:602
assert_invalid(
  () => instantiate(`(module (func \$type-mixed-arg-num-vs-num (param i64 i32) (local f32) (local.tee 1 (f32.const 0))))`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:606
assert_invalid(
  () => instantiate(`(module (func \$type-mixed-arg-num-vs-num (param i64) (local f64 i64) (local.tee 1 (i64.const 0))))`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:612
assert_invalid(
  () => instantiate(`(module
    (type \$t (func))
    (func \$f (param (ref null \$t)))
    (func
      (local \$x funcref)
      (ref.null \$t)
      (local.tee \$x)  ;; leaves only a funcref on the stack
      (call \$f)
    )
  )`),
  `type mismatch`,
);

// ./test/core/local_tee.wast:629
assert_invalid(
  () => instantiate(`(module (func \$unbound-local (local i32 i64) (local.tee 3 (i32.const 0)) drop))`),
  `unknown local`,
);

// ./test/core/local_tee.wast:633
assert_invalid(
  () => instantiate(`(module (func \$large-local (local i32 i64) (local.tee 14324343 (i32.const 0)) drop))`),
  `unknown local`,
);

// ./test/core/local_tee.wast:638
assert_invalid(
  () => instantiate(`(module (func \$unbound-param (param i32 i64) (local.tee 2 (i32.const 0)) drop))`),
  `unknown local`,
);

// ./test/core/local_tee.wast:642
assert_invalid(
  () => instantiate(`(module (func \$large-param (param i32 i64) (local.tee 714324343 (i32.const 0)) drop))`),
  `unknown local`,
);

// ./test/core/local_tee.wast:647
assert_invalid(
  () => instantiate(`(module (func \$unbound-mixed (param i32) (local i32 i64) (local.tee 3 (i32.const 0)) drop))`),
  `unknown local`,
);

// ./test/core/local_tee.wast:651
assert_invalid(
  () => instantiate(`(module (func \$large-mixed (param i64) (local i32 i64) (local.tee 214324343 (i32.const 0)) drop))`),
  `unknown local`,
);