testsuite/binary_leb128_64.wast at main · WebAssembly/testsuite · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
(module binary
  "\00asm" "\01\00\00\00"
  "\01\04\01\60\00\00"             ;; Type section
  "\03\02\01\00"                   ;; Function section
  "\05\03\01\04\00"                ;; Memory section (flags: i64)
  "\0a\13\01"                      ;; Code section
  ;; function 0
  "\11\00"                         ;; local type count
  "\42\00"                         ;; i64.const 0
  "\28"                            ;; i32.load
  "\02"                            ;; alignment 2
  "\ff\ff\ff\ff\ff\ff\ff\ff\ff\01" ;; offset 2^64 - 1
  "\1a"                            ;; drop
  "\0b"                            ;; end
)
(assert_malformed
  (module binary
    "\00asm" "\01\00\00\00"
    "\01\04\01\60\00\00"             ;; Type section
    "\03\02\01\00"                   ;; Function section
    "\05\03\01\04\00"                ;; Memory section (flags: i64)
    "\0a\13\01"                      ;; Code section
    ;; function 0
    "\11\00"                         ;; local type count
    "\42\00"                         ;; i64.const 0
    "\28"                            ;; i32.load
    "\02"                            ;; alignment 2
    "\ff\ff\ff\ff\ff\ff\ff\ff\ff\02" ;; offset 2^64 (one unused bit set)
    "\1a"                            ;; drop
    "\0b"                            ;; end
  )
  "integer too large"
)