Skip to content

Commit

Permalink
Update repos (#93)
Browse files Browse the repository at this point in the history 
spec:
    WebAssembly/spec@bbe955d1
  exception-handling:
    WebAssembly/exception-handling@24be4255
  gc:
    WebAssembly/gc@706fbf86
  function-references:
    WebAssembly/function-references@9660b283
  memory64:
    WebAssembly/memory64@1bf8e0f5
  multi-memory:
    WebAssembly/multi-memory@4d503df4

This change was automatically generated by `update-testsuite.sh`

Co-authored-by: WebAssembly/testsuite auto-update <[email protected]>
  • Loading branch information
@github-actions
github-actions[bot] and WebAssembly/testsuite auto-update authored Aug 13, 2024
1 parent 7479fb1 commit 5741d6c
Show file tree
Hide file tree
Showing 6 changed files with 678 additions and 0 deletions.
113 changes: 113 additions & 0 deletions binary.wast
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1258,3 +1258,116 @@
)
"unexpected content after last section"
)

;; Type section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\02\01\00" ;; Import section with zero entries
"\01\01\00" ;; Type section with zero entries
)
"unexpected content after last section"
)

;; Import section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\01\00" ;; Function section with zero entries
"\02\01\00" ;; Import section with zero entries
)
"unexpected content after last section"
)

;; Function section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\04\01\00" ;; Table section with zero entries
"\03\01\00" ;; Function section with zero entries
)
"unexpected content after last section"
)

;; Table section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\05\01\00" ;; Memory section with zero entries
"\04\01\00" ;; Table section with zero entries
)
"unexpected content after last section"
)

;; Memory section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\06\01\00" ;; Global section with zero entries
"\05\01\00" ;; Memory section with zero entries
)
"unexpected content after last section"
)

;; Global section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\07\01\00" ;; Export section with zero entries
"\06\01\00" ;; Global section with zero entries
)
"unexpected content after last section"
)

;; Export section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\02\01\00" ;; Function section
"\08\01\00" ;; Start section: function 0
"\07\01\00" ;; Export section with zero entries
)
"unexpected content after last section"
)

;; Start section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\02\01\00" ;; Function section
"\09\01\00" ;; Element section with zero entries
"\08\01\00" ;; Start section: function 0
)
"unexpected content after last section"
)

;; Element section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0c\01\01" ;; Datacount section with value "1"
"\09\01\00" ;; Element section with zero entries
)
"unexpected content after last section"
)

;; Datacount section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0a\01\00" ;; Code section with zero entries
"\0c\01\01" ;; Datacount section with value "1"
)
"unexpected content after last section"
)

;; Code section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0b\01\00" ;; Data section with zero entries
"\0a\01\00" ;; Code section with zero entries
)
"unexpected content after last section"
)

113 changes: 113 additions & 0 deletions proposals/exception-handling/binary.wast
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1258,3 +1258,116 @@
)
"unexpected content after last section"
)

;; Type section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\02\01\00" ;; Import section with zero entries
"\01\01\00" ;; Type section with zero entries
)
"unexpected content after last section"
)

;; Import section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\01\00" ;; Function section with zero entries
"\02\01\00" ;; Import section with zero entries
)
"unexpected content after last section"
)

;; Function section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\04\01\00" ;; Table section with zero entries
"\03\01\00" ;; Function section with zero entries
)
"unexpected content after last section"
)

;; Table section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\05\01\00" ;; Memory section with zero entries
"\04\01\00" ;; Table section with zero entries
)
"unexpected content after last section"
)

;; Memory section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\06\01\00" ;; Global section with zero entries
"\05\01\00" ;; Memory section with zero entries
)
"unexpected content after last section"
)

;; Global section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\07\01\00" ;; Export section with zero entries
"\06\01\00" ;; Global section with zero entries
)
"unexpected content after last section"
)

;; Export section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\02\01\00" ;; Function section
"\08\01\00" ;; Start section: function 0
"\07\01\00" ;; Export section with zero entries
)
"unexpected content after last section"
)

;; Start section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\02\01\00" ;; Function section
"\09\01\00" ;; Element section with zero entries
"\08\01\00" ;; Start section: function 0
)
"unexpected content after last section"
)

;; Element section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0c\01\01" ;; Datacount section with value "1"
"\09\01\00" ;; Element section with zero entries
)
"unexpected content after last section"
)

;; Datacount section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0a\01\00" ;; Code section with zero entries
"\0c\01\01" ;; Datacount section with value "1"
)
"unexpected content after last section"
)

;; Code section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0b\01\00" ;; Data section with zero entries
"\0a\01\00" ;; Code section with zero entries
)
"unexpected content after last section"
)

113 changes: 113 additions & 0 deletions proposals/function-references/binary.wast
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1258,3 +1258,116 @@
)
"unexpected content after last section"
)

;; Type section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\02\01\00" ;; Import section with zero entries
"\01\01\00" ;; Type section with zero entries
)
"unexpected content after last section"
)

;; Import section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\01\00" ;; Function section with zero entries
"\02\01\00" ;; Import section with zero entries
)
"unexpected content after last section"
)

;; Function section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\04\01\00" ;; Table section with zero entries
"\03\01\00" ;; Function section with zero entries
)
"unexpected content after last section"
)

;; Table section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\05\01\00" ;; Memory section with zero entries
"\04\01\00" ;; Table section with zero entries
)
"unexpected content after last section"
)

;; Memory section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\06\01\00" ;; Global section with zero entries
"\05\01\00" ;; Memory section with zero entries
)
"unexpected content after last section"
)

;; Global section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\07\01\00" ;; Export section with zero entries
"\06\01\00" ;; Global section with zero entries
)
"unexpected content after last section"
)

;; Export section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\02\01\00" ;; Function section
"\08\01\00" ;; Start section: function 0
"\07\01\00" ;; Export section with zero entries
)
"unexpected content after last section"
)

;; Start section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\03\02\01\00" ;; Function section
"\09\01\00" ;; Element section with zero entries
"\08\01\00" ;; Start section: function 0
)
"unexpected content after last section"
)

;; Element section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0c\01\01" ;; Datacount section with value "1"
"\09\01\00" ;; Element section with zero entries
)
"unexpected content after last section"
)

;; Datacount section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0a\01\00" ;; Code section with zero entries
"\0c\01\01" ;; Datacount section with value "1"
)
"unexpected content after last section"
)

;; Code section out of order
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\0b\01\00" ;; Data section with zero entries
"\0a\01\00" ;; Code section with zero entries
)
"unexpected content after last section"
)

Loading

0 comments on commit 5741d6c

Please sign in to comment.