github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/spectest/v2/testdata/unreached-invalid.wast (about)

     1  ;; Failures in unreachable code.
     2  
     3  (assert_invalid
     4    (module (func $local-index (unreachable) (drop (local.get 0))))
     5    "unknown local"
     6  )
     7  (assert_invalid
     8    (module (func $global-index (unreachable) (drop (global.get 0))))
     9    "unknown global"
    10  )
    11  (assert_invalid
    12    (module (func $func-index (unreachable) (call 1)))
    13    "unknown function"
    14  )
    15  (assert_invalid
    16    (module (func $label-index (unreachable) (br 1)))
    17    "unknown label"
    18  )
    19  
    20  (assert_invalid
    21    (module (func $type-num-vs-num
    22      (unreachable) (drop (i64.eqz (i32.const 0))))
    23    )
    24    "type mismatch"
    25  )
    26  (assert_invalid
    27    (module (func $type-poly-num-vs-num (result i32)
    28      (unreachable) (i64.const 0) (i32.const 0) (select)
    29    ))
    30    "type mismatch"
    31  )
    32  (assert_invalid
    33    (module (func $type-poly-transitive-num-vs-num (result i32)
    34      (unreachable)
    35      (i64.const 0) (i32.const 0) (select)
    36      (i32.const 0) (i32.const 0) (select)
    37    ))
    38    "type mismatch"
    39  )
    40  
    41  (assert_invalid
    42    (module (func $type-unconsumed-const (unreachable) (i32.const 0)))
    43    "type mismatch"
    44  )
    45  (assert_invalid
    46    (module (func $type-unconsumed-result (unreachable) (i32.eqz)))
    47    "type mismatch"
    48  )
    49  (assert_invalid
    50    (module (func $type-unconsumed-result2
    51      (unreachable) (i32.const 0) (i32.add)
    52    ))
    53    "type mismatch"
    54  )
    55  (assert_invalid
    56    (module (func $type-unconsumed-poly0 (unreachable) (select)))
    57    "type mismatch"
    58  )
    59  (assert_invalid
    60    (module (func $type-unconsumed-poly1 (unreachable) (i32.const 0) (select)))
    61    "type mismatch"
    62  )
    63  (assert_invalid
    64    (module (func $type-unconsumed-poly2
    65      (unreachable) (i32.const 0) (i32.const 0) (select)
    66    ))
    67    "type mismatch"
    68  )
    69  
    70  (assert_invalid
    71    (module (func $type-unary-num-vs-void-after-break
    72      (block (br 0) (block (drop (i32.eqz (nop)))))
    73    ))
    74    "type mismatch"
    75  )
    76  (assert_invalid
    77    (module (func $type-unary-num-vs-num-after-break
    78      (block (br 0) (drop (i32.eqz (f32.const 1))))
    79    ))
    80    "type mismatch"
    81  )
    82  (assert_invalid
    83    (module (func $type-binary-num-vs-void-after-break
    84      (block (br 0) (block (drop (f32.eq (i32.const 1)))))
    85    ))
    86    "type mismatch"
    87  )
    88  (assert_invalid
    89    (module (func $type-binary-num-vs-num-after-break
    90      (block (br 0) (drop (f32.eq (i32.const 1) (f32.const 0))))
    91    ))
    92    "type mismatch"
    93  )
    94  (assert_invalid
    95    (module (func $type-block-value-num-vs-void-after-break
    96      (block (br 0) (i32.const 1))
    97    ))
    98    "type mismatch"
    99  )
   100  (assert_invalid
   101    (module (func $type-block-value-num-vs-num-after-break (result i32)
   102      (block (result i32) (i32.const 1) (br 0) (f32.const 0))
   103    ))
   104    "type mismatch"
   105  )
   106  (assert_invalid
   107    (module (func $type-loop-value-num-vs-void-after-break
   108      (block (loop (br 1) (i32.const 1)))
   109    ))
   110    "type mismatch"
   111  )
   112  (assert_invalid
   113    (module (func $type-loop-value-num-vs-num-after-break (result i32)
   114      (loop (result i32) (br 1 (i32.const 1)) (f32.const 0))
   115    ))
   116    "type mismatch"
   117  )
   118  (assert_invalid
   119    (module (func $type-func-value-num-vs-void-after-break
   120      (br 0) (i32.const 1)
   121    ))
   122    "type mismatch"
   123  )
   124  (assert_invalid
   125    (module (func $type-func-value-num-vs-num-after-break (result i32)
   126      (br 0 (i32.const 1)) (f32.const 0)
   127    ))
   128    "type mismatch"
   129  )
   130  
   131  (assert_invalid
   132    (module (func $type-unary-num-vs-void-after-return
   133      (return) (block (drop (i32.eqz (nop))))
   134    ))
   135    "type mismatch"
   136  )
   137  (assert_invalid
   138    (module (func $type-unary-num-vs-num-after-return
   139      (return) (drop (i32.eqz (f32.const 1)))
   140    ))
   141    "type mismatch"
   142  )
   143  (assert_invalid
   144    (module (func $type-binary-num-vs-void-after-return
   145      (return) (block (drop (f32.eq (i32.const 1))))
   146    ))
   147    "type mismatch"
   148  )
   149  (assert_invalid
   150    (module (func $type-binary-num-vs-num-after-return
   151      (return) (drop (f32.eq (i32.const 1) (f32.const 0)))
   152    ))
   153    "type mismatch"
   154  )
   155  (assert_invalid
   156    (module (func $type-block-value-num-vs-void-after-return
   157      (block (return) (i32.const 1))
   158    ))
   159    "type mismatch"
   160  )
   161  (assert_invalid
   162    (module (func $type-block-value-num-vs-num-after-return (result i32)
   163      (block (result i32) (i32.const 1) (return (i32.const 0)) (f32.const 0))
   164    ))
   165    "type mismatch"
   166  )
   167  (assert_invalid
   168    (module (func $type-loop-value-num-vs-void-after-return
   169      (block (loop (return) (i32.const 1)))
   170    ))
   171    "type mismatch"
   172  )
   173  (assert_invalid
   174    (module (func $type-loop-value-num-vs-num-after-return (result i32)
   175      (loop (result i32) (return (i32.const 1)) (f32.const 0))
   176    ))
   177    "type mismatch"
   178  )
   179  (assert_invalid
   180    (module (func $type-func-value-num-vs-void-after-return
   181      (return) (i32.const 1)
   182    ))
   183    "type mismatch"
   184  )
   185  (assert_invalid
   186    (module (func $type-func-value-num-vs-num-after-return (result i32)
   187      (return (i32.const 1)) (f32.const 0)
   188    ))
   189    "type mismatch"
   190  )
   191  
   192  (assert_invalid
   193    (module (func $type-unary-num-vs-void-after-unreachable
   194      (unreachable) (block (drop (i32.eqz (nop))))
   195    ))
   196    "type mismatch"
   197  )
   198  (assert_invalid
   199    (module (func $type-unary-num-vs-void-in-loop-after-unreachable
   200      (unreachable) (loop (drop (i32.eqz (nop))))
   201    ))
   202    "type mismatch"
   203  )
   204  (assert_invalid
   205    (module (func $type-unary-num-vs-void-in-i32-loop-after-unreachable
   206      (unreachable) (loop (result i32) (i32.eqz (nop)))
   207    ))
   208    "type mismatch"
   209  )
   210  (assert_invalid
   211    (module (func $type-unary-num-vs-num-after-unreachable
   212      (unreachable) (drop (i32.eqz (f32.const 1)))
   213    ))
   214    "type mismatch"
   215  )
   216  (assert_invalid
   217    (module (func $type-binary-num-vs-void-after-unreachable
   218      (unreachable) (block (drop (f32.eq (i32.const 1))))
   219    ))
   220    "type mismatch"
   221  )
   222  (assert_invalid
   223    (module (func $type-binary-num-vs-num-after-unreachable
   224      (unreachable) (drop (f32.eq (i32.const 1) (f32.const 0)))
   225    ))
   226    "type mismatch"
   227  )
   228  (assert_invalid
   229    (module (func $type-block-value-num-vs-void-after-unreachable
   230      (block (unreachable) (i32.const 1))
   231    ))
   232    "type mismatch"
   233  )
   234  (assert_invalid
   235    (module (func $type-block-value-num-vs-num-after-unreachable (result i32)
   236      (block (result i32) (i32.const 1) (unreachable) (f32.const 0))
   237    ))
   238    "type mismatch"
   239  )
   240  (assert_invalid
   241    (module (func $type-loop-value-num-vs-void-after-unreachable
   242      (block (loop (unreachable) (i32.const 1)))
   243    ))
   244    "type mismatch"
   245  )
   246  (assert_invalid
   247    (module (func $type-loop-value-num-vs-num-after-unreachable (result i32)
   248      (loop (result i32) (unreachable) (f32.const 0))
   249    ))
   250    "type mismatch"
   251  )
   252  (assert_invalid
   253    (module (func $type-func-value-num-vs-void-after-unreachable
   254      (unreachable) (i32.const 1)
   255    ))
   256    "type mismatch"
   257  )
   258  (assert_invalid
   259    (module (func $type-func-value-num-vs-num-after-unreachable (result i32)
   260      (unreachable) (f32.const 0)
   261    ))
   262    "type mismatch"
   263  )
   264  (assert_invalid
   265    (module (func $type-unary-num-vs-void-in-if-after-unreachable
   266      (unreachable) (if (i32.const 0) (then (drop (i32.eqz (nop)))))
   267    ))
   268    "type mismatch"
   269  )
   270  (assert_invalid
   271    (module (func $type-unary-num-vs-void-in-else-after-unreachable
   272      (unreachable) (if (i32.const 0) (then (nop)) (else (drop (i32.eqz (nop)))))
   273    ))
   274    "type mismatch"
   275  )
   276  (assert_invalid
   277    (module (func $type-unary-num-vs-void-in-else-after-unreachable-if
   278      (if (i32.const 0) (then (unreachable)) (else (drop (i32.eqz (nop)))))
   279    ))
   280    "type mismatch"
   281  )
   282  
   283  (assert_invalid
   284    (module (func $type-unary-num-vs-void-after-nested-unreachable
   285      (block (unreachable)) (block (drop (i32.eqz (nop))))
   286    ))
   287    "type mismatch"
   288  )
   289  (assert_invalid
   290    (module (func $type-unary-num-vs-num-after-nested-unreachable
   291      (block (unreachable)) (drop (i32.eqz (f32.const 1)))
   292    ))
   293    "type mismatch"
   294  )
   295  (assert_invalid
   296    (module (func $type-binary-num-vs-void-after-nested-unreachable
   297      (block (unreachable)) (block (drop (f32.eq (i32.const 1))))
   298    ))
   299    "type mismatch"
   300  )
   301  (assert_invalid
   302    (module (func $type-binary-num-vs-num-after-nested-unreachable
   303      (block (unreachable)) (drop (f32.eq (i32.const 1) (f32.const 0)))
   304    ))
   305    "type mismatch"
   306  )
   307  (assert_invalid
   308    (module (func $type-block-value-num-vs-void-after-nested-unreachable
   309      (block (block (unreachable)) (i32.const 1))
   310    ))
   311    "type mismatch"
   312  )
   313  (assert_invalid
   314    (module (func $type-block-value-num-vs-num-after-nested-unreachable
   315      (result i32)
   316      (block (result i32) (i32.const 1) (block (unreachable)) (f32.const 0))
   317    ))
   318    "type mismatch"
   319  )
   320  (assert_invalid
   321    (module (func $type-loop-value-num-vs-void-after-nested-unreachable
   322      (block (loop (block (unreachable)) (i32.const 1)))
   323    ))
   324    "type mismatch"
   325  )
   326  (assert_invalid
   327    (module (func $type-loop-value-num-vs-num-after-nested-unreachable
   328      (result i32)
   329      (loop (result i32) (block (unreachable)) (f32.const 0))
   330    ))
   331    "type mismatch"
   332  )
   333  (assert_invalid
   334    (module (func $type-func-value-num-vs-void-after-nested-unreachable
   335      (block (unreachable)) (i32.const 1)
   336    ))
   337    "type mismatch"
   338  )
   339  (assert_invalid
   340    (module (func $type-func-value-num-vs-num-after-nested-unreachable
   341      (result i32)
   342      (block (unreachable)) (f32.const 0)
   343    ))
   344    "type mismatch"
   345  )
   346  
   347  (assert_invalid
   348    (module (func $type-unary-num-vs-void-after-infinite-loop
   349      (loop (br 0)) (block (drop (i32.eqz (nop))))
   350    ))
   351    "type mismatch"
   352  )
   353  (assert_invalid
   354    (module (func $type-unary-num-vs-num-after-infinite-loop
   355      (loop (br 0)) (drop (i32.eqz (f32.const 1)))
   356    ))
   357    "type mismatch"
   358  )
   359  (assert_invalid
   360    (module (func $type-binary-num-vs-void-after-infinite-loop
   361      (loop (br 0)) (block (drop (f32.eq (i32.const 1))))
   362    ))
   363    "type mismatch"
   364  )
   365  (assert_invalid
   366    (module (func $type-binary-num-vs-num-after-infinite-loop
   367      (loop (br 0)) (drop (f32.eq (i32.const 1) (f32.const 0)))
   368    ))
   369    "type mismatch"
   370  )
   371  (assert_invalid
   372    (module (func $type-block-value-num-vs-void-after-infinite-loop
   373      (block (loop (br 0)) (i32.const 1))
   374    ))
   375    "type mismatch"
   376  )
   377  (assert_invalid
   378    (module (func $type-block-value-num-vs-num-after-infinite-loop (result i32)
   379      (block (result i32) (i32.const 1) (loop (br 0)) (f32.const 0))
   380    ))
   381    "type mismatch"
   382  )
   383  (assert_invalid
   384    (module (func $type-loop-value-num-vs-void-after-infinite-loop
   385      (block (loop (loop (br 0)) (i32.const 1)))
   386    ))
   387    "type mismatch"
   388  )
   389  (assert_invalid
   390    (module (func $type-loop-value-num-vs-num-after-infinite-loop (result i32)
   391      (loop (result i32) (loop (br 0)) (f32.const 0))
   392    ))
   393    "type mismatch"
   394  )
   395  (assert_invalid
   396    (module (func $type-func-value-num-vs-void-after-infinite-loop
   397      (loop (br 0)) (i32.const 1)
   398    ))
   399    "type mismatch"
   400  )
   401  (assert_invalid
   402    (module (func $type-func-value-num-vs-num-after-infinite-loop (result i32)
   403      (loop (br 0)) (f32.const 0)
   404    ))
   405    "type mismatch"
   406  )
   407  
   408  (assert_invalid
   409    (module (func $type-unary-num-vs-void-in-dead-body
   410      (if (i32.const 0) (then (drop (i32.eqz (nop)))))
   411    ))
   412    "type mismatch"
   413  )
   414  (assert_invalid
   415    (module (func $type-unary-num-vs-num-in-dead-body
   416      (if (i32.const 0) (then (drop (i32.eqz (f32.const 1)))))
   417    ))
   418    "type mismatch"
   419  )
   420  (assert_invalid
   421    (module (func $type-binary-num-vs-void-in-dead-body
   422      (if (i32.const 0) (then (drop (f32.eq (i32.const 1)))))
   423    ))
   424    "type mismatch"
   425  )
   426  (assert_invalid
   427    (module (func $type-binary-num-vs-num-in-dead-body
   428      (if (i32.const 0) (then (drop (f32.eq (i32.const 1) (f32.const 0)))))
   429    ))
   430    "type mismatch"
   431  )
   432  (assert_invalid
   433    (module (func $type-if-value-num-vs-void-in-dead-body
   434      (if (i32.const 0) (then (i32.const 1)))
   435    ))
   436    "type mismatch"
   437  )
   438  (assert_invalid
   439    (module (func $type-if-value-num-vs-num-in-dead-body (result i32)
   440      (if (result i32) (i32.const 0) (then (f32.const 0)))
   441    ))
   442    "type mismatch"
   443  )
   444  (assert_invalid
   445    (module (func $type-block-value-num-vs-void-in-dead-body
   446      (if (i32.const 0) (then (block (i32.const 1))))
   447    ))
   448    "type mismatch"
   449  )
   450  (assert_invalid
   451    (module (func $type-block-value-num-vs-num-in-dead-body (result i32)
   452      (if (result i32) (i32.const 0) (then (block (result i32) (f32.const 0))))
   453    ))
   454    "type mismatch"
   455  )
   456  (assert_invalid
   457    (module (func $type-block-value-num-vs-void-in-dead-body
   458      (if (i32.const 0) (then (loop (i32.const 1))))
   459    ))
   460    "type mismatch"
   461  )
   462  (assert_invalid
   463    (module (func $type-block-value-num-vs-num-in-dead-body (result i32)
   464      (if (result i32) (i32.const 0) (then (loop (result i32) (f32.const 0))))
   465    ))
   466    "type mismatch"
   467  )
   468  
   469  (assert_invalid
   470    (module (func $type-return-second-num-vs-num (result i32)
   471      (return (i32.const 1)) (return (f64.const 1))
   472    ))
   473    "type mismatch"
   474  )
   475  
   476  (assert_invalid
   477    (module (func $type-br-second-num-vs-num (result i32)
   478      (block (result i32) (br 0 (i32.const 1)) (br 0 (f64.const 1)))
   479    ))
   480    "type mismatch"
   481  )
   482  
   483  (assert_invalid
   484    (module (func $type-br_if-cond-num-vs-num-after-unreachable
   485      (block (br_if 0 (unreachable) (f32.const 0)))
   486    ))
   487    "type mismatch"
   488  )
   489  (assert_invalid
   490    (module (func $type-br_if-num-vs-void-after-unreachable (result i32)
   491      (block (result i32)
   492        (block (unreachable) (br_if 1 (i32.const 0) (i32.const 0)))
   493      )
   494    ))
   495    "type mismatch"
   496  )
   497  (assert_invalid
   498    (module (func $type-br_if-num-vs-num-after-unreachable (result i32)
   499      (block (result i32)
   500        (block (result f32) (unreachable) (br_if 1 (i32.const 0) (i32.const 0)))
   501        (drop) (i32.const 0)
   502      )
   503    ))
   504    "type mismatch"
   505  )
   506  (assert_invalid
   507    (module (func $type-br_if-num2-vs-num-after-unreachable (result i32)
   508      (block (result i32)
   509        (unreachable) (br_if 0 (i32.const 0) (i32.const 0)) (i32.const 0)
   510      )
   511    ))
   512    "type mismatch"
   513  )
   514  (assert_invalid
   515    (module (func $type-br_table-num-vs-num-after-unreachable
   516      (block (br_table 0 (unreachable) (f32.const 1)))
   517    ))
   518    "type mismatch"
   519  )
   520  (assert_invalid
   521    (module (func $type-br_table-label-num-vs-num-after-unreachable (result i32)
   522      (block (result i32) (unreachable) (br_table 0 (f32.const 0) (i32.const 1)))
   523    ))
   524    "type mismatch"
   525  )
   526  (assert_invalid
   527    (module (func $type-br_table-label-num-vs-label-void-after-unreachable
   528      (block
   529        (block (result f32)
   530          (unreachable)
   531          (br_table 0 1 0 (i32.const 1))
   532        )
   533        (drop)
   534      )
   535    ))
   536    "type mismatch"
   537  )
   538  
   539  (assert_invalid
   540    (module (func $type-block-value-nested-unreachable-num-vs-void
   541      (block (i32.const 3) (block (unreachable)))
   542    ))
   543    "type mismatch"
   544  )
   545  (assert_invalid
   546    (module (func $type-block-value-nested-unreachable-void-vs-num (result i32)
   547      (block (block (unreachable)))
   548    ))
   549    "type mismatch"
   550  )
   551  (assert_invalid
   552    (module (func $type-block-value-nested-unreachable-num-vs-num (result i32)
   553      (block (result i64) (i64.const 0) (block (unreachable)))
   554    ))
   555    "type mismatch"
   556  )
   557  (assert_invalid
   558    (module (func $type-block-value-nested-unreachable-num2-vs-void (result i32)
   559      (block (i32.const 3) (block (i64.const 1) (unreachable))) (i32.const 9)
   560    ))
   561    "type mismatch"
   562  )
   563  
   564  (assert_invalid
   565    (module (func $type-block-value-nested-br-num-vs-void
   566      (block (i32.const 3) (block (br 1)))
   567    ))
   568    "type mismatch"
   569  )
   570  (assert_invalid
   571    (module (func $type-block-value-nested-br-void-vs-num (result i32)
   572      (block (result i32) (block (br 1 (i32.const 0))))
   573    ))
   574    "type mismatch"
   575  )
   576  (assert_invalid
   577    (module (func $type-block-value-nested-br-num-vs-num (result i32)
   578      (block (result i32) (i64.const 0) (block (br 1 (i32.const 0))))
   579    ))
   580    "type mismatch"
   581  )
   582  
   583  (assert_invalid
   584    (module (func $type-block-value-nested2-br-num-vs-void
   585      (block (block (i32.const 3) (block (br 2))))
   586    ))
   587    "type mismatch"
   588  )
   589  (assert_invalid
   590    (module (func $type-block-value-nested2-br-void-vs-num (result i32)
   591      (block (result i32) (block (block (br 2 (i32.const 0)))))
   592    ))
   593    "type mismatch"
   594  )
   595  (assert_invalid
   596    (module (func $type-block-value-nested2-br-num-vs-num (result i32)
   597      (block (result i32)
   598        (block (result i64) (i64.const 0) (block (br 2 (i32.const 0))))
   599      )
   600    ))
   601    "type mismatch"
   602  )
   603  (assert_invalid
   604    (module (func $type-block-value-nested2-br-num2-vs-void (result i32)
   605      (block (i32.const 3) (block (i64.const 1) (br 1))) (i32.const 9)
   606    ))
   607    "type mismatch"
   608  )
   609  
   610  (assert_invalid
   611    (module (func $type-block-value-nested-return-num-vs-void
   612      (block (i32.const 3) (block (return)))
   613    ))
   614    "type mismatch"
   615  )
   616  (assert_invalid
   617    (module (func $type-block-value-nested-return-void-vs-num (result i32)
   618      (block (block (return (i32.const 0))))
   619    ))
   620    "type mismatch"
   621  )
   622  (assert_invalid
   623    (module (func $type-block-value-nested-return-num-vs-num (result i32)
   624      (block (result i64) (i64.const 0) (block (return (i32.const 0))))
   625    ))
   626    "type mismatch"
   627  )
   628  (assert_invalid
   629    (module (func $type-block-value-nested-return-num2-vs-void (result i32)
   630      (block (i32.const 3) (block (i64.const 1) (return (i32.const 0))))
   631      (i32.const 9)
   632    ))
   633    "type mismatch"
   634  )
   635  
   636  (assert_invalid
   637    (module (func $type-loop-value-nested-unreachable-num-vs-void
   638      (loop (i32.const 3) (block (unreachable)))
   639    ))
   640    "type mismatch"
   641  )
   642  (assert_invalid
   643    (module (func $type-loop-value-nested-unreachable-void-vs-num (result i32)
   644      (loop (block (unreachable)))
   645    ))
   646    "type mismatch"
   647  )
   648  (assert_invalid
   649    (module (func $type-loop-value-nested-unreachable-num-vs-num (result i32)
   650      (loop (result i64) (i64.const 0) (block (unreachable)))
   651    ))
   652    "type mismatch"
   653  )
   654  
   655  (assert_invalid
   656    (module (func $type-cont-last-void-vs-empty (result i32)
   657      (loop (br 0 (nop)))
   658    ))
   659    "type mismatch"
   660  )
   661  (assert_invalid
   662    (module (func $type-cont-last-num-vs-empty (result i32)
   663      (loop (br 0 (i32.const 0)))
   664    ))
   665    "type mismatch"
   666  )
   667  
   668  (assert_invalid
   669    (module (func $tee-local-unreachable-value
   670      (local i32)
   671      (local.tee 0 (unreachable))
   672    ))
   673    "type mismatch"
   674  )
   675  (assert_invalid
   676    (module (func $br_if-unreachable (result i32)
   677      (block (result i32)
   678        (block
   679          (br_if 1 (unreachable) (i32.const 0))
   680        )
   681        (i32.const 0)
   682      )
   683    ))
   684    "type mismatch"
   685  )
   686  (assert_invalid 
   687    (module
   688      (func $type-br_if-after-unreachable (result i64)
   689        unreachable
   690        br_if 0
   691        i64.extend_i32_u
   692      )
   693    )
   694   "type mismatch"
   695  )
   696  
   697  ;; The first two operands should have the same type as each other
   698  (assert_invalid
   699    (module (func (unreachable) (select (i32.const 1) (i64.const 1) (i32.const 1)) (drop)))
   700    "type mismatch"
   701  )
   702  
   703  (assert_invalid
   704    (module (func (unreachable) (select (i64.const 1) (i32.const 1) (i32.const 1)) (drop)))
   705    "type mismatch"
   706  )
   707  
   708  ;; Third operand must be i32
   709  (assert_invalid
   710    (module (func (unreachable) (select (i32.const 1) (i32.const 1) (i64.const 1)) (drop)))
   711    "type mismatch"
   712  )
   713  
   714  (assert_invalid
   715    (module (func (unreachable) (select (i32.const 1) (i64.const 1)) (drop)))
   716    "type mismatch"
   717  )
   718  
   719  (assert_invalid
   720    (module (func (unreachable) (select (i64.const 1)) (drop)))
   721    "type mismatch"
   722  )
   723  
   724  ;; Result of select has type of first two operands (type of second operand when first one is omitted)
   725  (assert_invalid
   726    (module (func (result i32) (unreachable) (select (i64.const 1) (i32.const 1))))
   727    "type mismatch"
   728  )
   729  
   730  
   731  ;; select always has non-empty result
   732  (assert_invalid
   733    (module (func (unreachable) (select)))
   734    "type mismatch"
   735  )
   736  
   737  (assert_invalid
   738    (module (func $meet-bottom (param i32) (result externref)
   739      (block $l1 (result externref)
   740        (drop
   741          (block $l2 (result i32)
   742            (br_table $l2 $l1 $l2 (ref.null extern) (local.get 0))
   743          )
   744        )
   745        (ref.null extern)
   746      )
   747    ))
   748    "type mismatch"
   749  )
   750