memory.html

<a href="./index.html">Home</a><br><h3>Errors: 23</h3>
<h3>Warnings: 0</h3>
<h3>Successes: 56</h3>
<hr>
<h1>memory.wast</h1>
<pre>{"type":"module","line":3,"filename":"memory.0.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":4,"filename":"memory.1.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":5,"filename":"memory.2.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":6,"filename":"memory.3.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":7,"filename":"memory.4.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":8,"filename":"memory.5.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_invalid","line":10,"filename":"memory.6.wasm","text":"multiple memories"}</pre>
<p style="background-color: green">got error: multiple memories</p>
<pre>{"type":"assert_invalid","line":11,"filename":"memory.7.wasm","text":"multiple memories"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"module","line":13,"filename":"memory.8.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":14,"action":{"type":"invoke","field":"memsize"},"expected":[{"type":"i32","value":"0"}]}</pre>
<pre>(assert_return (invoke "memsize") (i32.const 0))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"module","line":15,"filename":"memory.9.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":16,"action":{"type":"invoke","field":"memsize"},"expected":[{"type":"i32","value":"0"}]}</pre>
<pre>(assert_return (invoke "memsize") (i32.const 0))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"module","line":17,"filename":"memory.10.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":18,"action":{"type":"invoke","field":"memsize"},"expected":[{"type":"i32","value":"1"}]}</pre>
<pre>(assert_return (invoke "memsize") (i32.const 1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_invalid","line":20,"filename":"memory.11.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":21,"filename":"memory.12.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":22,"filename":"memory.13.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":25,"filename":"memory.14.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":29,"filename":"memory.15.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":33,"filename":"memory.16.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":37,"filename":"memory.17.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":41,"filename":"memory.18.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":45,"filename":"memory.19.wasm","text":"unknown memory"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":51,"filename":"memory.20.wasm","text":"size minimum must not be greater than maximum"}</pre>
<p style="background-color: green">got error: size minimum must not be greater than maximum</p>
<pre>{"type":"assert_invalid","line":55,"filename":"memory.21.wasm","text":"memory size must be at most 65536 pages (4GiB)"}</pre>
<p style="background-color: green">got error: memory size must be at most 65536 pages (4GiB)</p>
<pre>{"type":"assert_invalid","line":59,"filename":"memory.22.wasm","text":"memory size must be at most 65536 pages (4GiB)"}</pre>
<p style="background-color: green">got error: memory size must be at most 65536 pages (4GiB)</p>
<pre>{"type":"assert_invalid","line":63,"filename":"memory.23.wasm","text":"memory size must be at most 65536 pages (4GiB)"}</pre>
<p style="background-color: green">got error: memory size must be at most 65536 pages (4GiB)</p>
<pre>{"type":"assert_invalid","line":67,"filename":"memory.24.wasm","text":"memory size must be at most 65536 pages (4GiB)"}</pre>
<p style="background-color: green">got error: memory size must be at most 65536 pages (4GiB)</p>
<pre>{"type":"assert_invalid","line":71,"filename":"memory.25.wasm","text":"memory size must be at most 65536 pages (4GiB)"}</pre>
<p style="background-color: green">got error: memory size must be at most 65536 pages (4GiB)</p>
<pre>{"type":"assert_invalid","line":75,"filename":"memory.26.wasm","text":"memory size must be at most 65536 pages (4GiB)"}</pre>
<p style="background-color: green">got error: memory size must be at most 65536 pages (4GiB)</p>
<pre>{"type":"assert_malformed","line":80,"filename":"memory.27.wat","text":"i32 constant out of range"}</pre>
<p style="background-color: green">got error: unexpected magic number</p>
<pre>{"type":"assert_malformed","line":84,"filename":"memory.28.wat","text":"i32 constant out of range"}</pre>
<p style="background-color: green">got error: unexpected magic number</p>
<pre>{"type":"assert_malformed","line":88,"filename":"memory.29.wat","text":"i32 constant out of range"}</pre>
<p style="background-color: green">got error: unexpected magic number</p>
<pre>{"type":"module","line":92,"filename":"memory.30.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":180,"action":{"type":"invoke","field":"data"},"expected":[{"type":"i32","value":"1"}]}</pre>
<pre>(assert_return (invoke "data") (i32.const 1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":181,"action":{"type":"invoke","field":"cast"},"expected":[{"type":"f64","value":"4631107791820423168"}]}</pre>
<pre>(assert_return (invoke "cast") (f64.const 42.0))</pre>
<p style="background-color: red">error, wrong result, expected 4631107791820423168, got 0</p>
<pre>{"type":"assert_return","line":183,"action":{"type":"invoke","field":"i32_load8_s","args":[{"type":"i32","value":"4294967295"}]},"expected":[{"type":"i32","value":"4294967295"}]}</pre>
<pre>(assert_return (invoke "i32_load8_s" (i32.const -1)) (i32.const -1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":184,"action":{"type":"invoke","field":"i32_load8_u","args":[{"type":"i32","value":"4294967295"}]},"expected":[{"type":"i32","value":"255"}]}</pre>
<pre>(assert_return (invoke "i32_load8_u" (i32.const -1)) (i32.const 255))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":185,"action":{"type":"invoke","field":"i32_load16_s","args":[{"type":"i32","value":"4294967295"}]},"expected":[{"type":"i32","value":"4294967295"}]}</pre>
<pre>(assert_return (invoke "i32_load16_s" (i32.const -1)) (i32.const -1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":186,"action":{"type":"invoke","field":"i32_load16_u","args":[{"type":"i32","value":"4294967295"}]},"expected":[{"type":"i32","value":"65535"}]}</pre>
<pre>(assert_return (invoke "i32_load16_u" (i32.const -1)) (i32.const 65535))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":188,"action":{"type":"invoke","field":"i32_load8_s","args":[{"type":"i32","value":"100"}]},"expected":[{"type":"i32","value":"100"}]}</pre>
<pre>(assert_return (invoke "i32_load8_s" (i32.const 100)) (i32.const 100))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":189,"action":{"type":"invoke","field":"i32_load8_u","args":[{"type":"i32","value":"200"}]},"expected":[{"type":"i32","value":"200"}]}</pre>
<pre>(assert_return (invoke "i32_load8_u" (i32.const 200)) (i32.const 200))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":190,"action":{"type":"invoke","field":"i32_load16_s","args":[{"type":"i32","value":"20000"}]},"expected":[{"type":"i32","value":"20000"}]}</pre>
<pre>(assert_return (invoke "i32_load16_s" (i32.const 20000)) (i32.const 20000))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":191,"action":{"type":"invoke","field":"i32_load16_u","args":[{"type":"i32","value":"40000"}]},"expected":[{"type":"i32","value":"40000"}]}</pre>
<pre>(assert_return (invoke "i32_load16_u" (i32.const 40000)) (i32.const 40000))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":193,"action":{"type":"invoke","field":"i32_load8_s","args":[{"type":"i32","value":"4275856707"}]},"expected":[{"type":"i32","value":"67"}]}</pre>
<pre>(assert_return (invoke "i32_load8_s" (i32.const 0xfedc6543)) (i32.const 0x43))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":194,"action":{"type":"invoke","field":"i32_load8_s","args":[{"type":"i32","value":"878104047"}]},"expected":[{"type":"i32","value":"4294967279"}]}</pre>
<pre>(assert_return (invoke "i32_load8_s" (i32.const 0x3456cdef)) (i32.const 0xffffffef))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":195,"action":{"type":"invoke","field":"i32_load8_u","args":[{"type":"i32","value":"4275856707"}]},"expected":[{"type":"i32","value":"67"}]}</pre>
<pre>(assert_return (invoke "i32_load8_u" (i32.const 0xfedc6543)) (i32.const 0x43))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":196,"action":{"type":"invoke","field":"i32_load8_u","args":[{"type":"i32","value":"878104047"}]},"expected":[{"type":"i32","value":"239"}]}</pre>
<pre>(assert_return (invoke "i32_load8_u" (i32.const 0x3456cdef)) (i32.const 0xef))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":197,"action":{"type":"invoke","field":"i32_load16_s","args":[{"type":"i32","value":"4275856707"}]},"expected":[{"type":"i32","value":"25923"}]}</pre>
<pre>(assert_return (invoke "i32_load16_s" (i32.const 0xfedc6543)) (i32.const 0x6543))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":198,"action":{"type":"invoke","field":"i32_load16_s","args":[{"type":"i32","value":"878104047"}]},"expected":[{"type":"i32","value":"4294954479"}]}</pre>
<pre>(assert_return (invoke "i32_load16_s" (i32.const 0x3456cdef)) (i32.const 0xffffcdef))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":199,"action":{"type":"invoke","field":"i32_load16_u","args":[{"type":"i32","value":"4275856707"}]},"expected":[{"type":"i32","value":"25923"}]}</pre>
<pre>(assert_return (invoke "i32_load16_u" (i32.const 0xfedc6543)) (i32.const 0x6543))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":200,"action":{"type":"invoke","field":"i32_load16_u","args":[{"type":"i32","value":"878104047"}]},"expected":[{"type":"i32","value":"52719"}]}</pre>
<pre>(assert_return (invoke "i32_load16_u" (i32.const 0x3456cdef)) (i32.const 0xcdef))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":202,"action":{"type":"invoke","field":"i64_load8_s","args":[{"type":"i64","value":"18446744073709551615"}]},"expected":[{"type":"i64","value":"18446744073709551615"}]}</pre>
<pre>(assert_return (invoke "i64_load8_s" (i64.const -1)) (i64.const -1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":203,"action":{"type":"invoke","field":"i64_load8_u","args":[{"type":"i64","value":"18446744073709551615"}]},"expected":[{"type":"i64","value":"255"}]}</pre>
<pre>(assert_return (invoke "i64_load8_u" (i64.const -1)) (i64.const 255))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":204,"action":{"type":"invoke","field":"i64_load16_s","args":[{"type":"i64","value":"18446744073709551615"}]},"expected":[{"type":"i64","value":"18446744073709551615"}]}</pre>
<pre>(assert_return (invoke "i64_load16_s" (i64.const -1)) (i64.const -1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":205,"action":{"type":"invoke","field":"i64_load16_u","args":[{"type":"i64","value":"18446744073709551615"}]},"expected":[{"type":"i64","value":"65535"}]}</pre>
<pre>(assert_return (invoke "i64_load16_u" (i64.const -1)) (i64.const 65535))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":206,"action":{"type":"invoke","field":"i64_load32_s","args":[{"type":"i64","value":"18446744073709551615"}]},"expected":[{"type":"i64","value":"18446744073709551615"}]}</pre>
<pre>(assert_return (invoke "i64_load32_s" (i64.const -1)) (i64.const -1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":207,"action":{"type":"invoke","field":"i64_load32_u","args":[{"type":"i64","value":"18446744073709551615"}]},"expected":[{"type":"i64","value":"4294967295"}]}</pre>
<pre>(assert_return (invoke "i64_load32_u" (i64.const -1)) (i64.const 4294967295))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":209,"action":{"type":"invoke","field":"i64_load8_s","args":[{"type":"i64","value":"100"}]},"expected":[{"type":"i64","value":"100"}]}</pre>
<pre>(assert_return (invoke "i64_load8_s" (i64.const 100)) (i64.const 100))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":210,"action":{"type":"invoke","field":"i64_load8_u","args":[{"type":"i64","value":"200"}]},"expected":[{"type":"i64","value":"200"}]}</pre>
<pre>(assert_return (invoke "i64_load8_u" (i64.const 200)) (i64.const 200))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":211,"action":{"type":"invoke","field":"i64_load16_s","args":[{"type":"i64","value":"20000"}]},"expected":[{"type":"i64","value":"20000"}]}</pre>
<pre>(assert_return (invoke "i64_load16_s" (i64.const 20000)) (i64.const 20000))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":212,"action":{"type":"invoke","field":"i64_load16_u","args":[{"type":"i64","value":"40000"}]},"expected":[{"type":"i64","value":"40000"}]}</pre>
<pre>(assert_return (invoke "i64_load16_u" (i64.const 40000)) (i64.const 40000))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":213,"action":{"type":"invoke","field":"i64_load32_s","args":[{"type":"i64","value":"20000"}]},"expected":[{"type":"i64","value":"20000"}]}</pre>
<pre>(assert_return (invoke "i64_load32_s" (i64.const 20000)) (i64.const 20000))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":214,"action":{"type":"invoke","field":"i64_load32_u","args":[{"type":"i64","value":"40000"}]},"expected":[{"type":"i64","value":"40000"}]}</pre>
<pre>(assert_return (invoke "i64_load32_u" (i64.const 40000)) (i64.const 40000))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":216,"action":{"type":"invoke","field":"i64_load8_s","args":[{"type":"i64","value":"18364758543954109763"}]},"expected":[{"type":"i64","value":"67"}]}</pre>
<pre>(assert_return (invoke "i64_load8_s" (i64.const 0xfedcba9856346543)) (i64.const 0x43))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "18364758543954109763"</p>
<pre>{"type":"assert_return","line":217,"action":{"type":"invoke","field":"i64_load8_s","args":[{"type":"i64","value":"3771275841602506223"}]},"expected":[{"type":"i64","value":"18446744073709551599"}]}</pre>
<pre>(assert_return (invoke "i64_load8_s" (i64.const 0x3456436598bacdef)) (i64.const 0xffffffffffffffef))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "3771275841602506223"</p>
<pre>{"type":"assert_return","line":218,"action":{"type":"invoke","field":"i64_load8_u","args":[{"type":"i64","value":"18364758543954109763"}]},"expected":[{"type":"i64","value":"67"}]}</pre>
<pre>(assert_return (invoke "i64_load8_u" (i64.const 0xfedcba9856346543)) (i64.const 0x43))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "18364758543954109763"</p>
<pre>{"type":"assert_return","line":219,"action":{"type":"invoke","field":"i64_load8_u","args":[{"type":"i64","value":"3771275841602506223"}]},"expected":[{"type":"i64","value":"239"}]}</pre>
<pre>(assert_return (invoke "i64_load8_u" (i64.const 0x3456436598bacdef)) (i64.const 0xef))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "3771275841602506223"</p>
<pre>{"type":"assert_return","line":220,"action":{"type":"invoke","field":"i64_load16_s","args":[{"type":"i64","value":"18364758543954109763"}]},"expected":[{"type":"i64","value":"25923"}]}</pre>
<pre>(assert_return (invoke "i64_load16_s" (i64.const 0xfedcba9856346543)) (i64.const 0x6543))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "18364758543954109763"</p>
<pre>{"type":"assert_return","line":221,"action":{"type":"invoke","field":"i64_load16_s","args":[{"type":"i64","value":"3771275841602506223"}]},"expected":[{"type":"i64","value":"18446744073709538799"}]}</pre>
<pre>(assert_return (invoke "i64_load16_s" (i64.const 0x3456436598bacdef)) (i64.const 0xffffffffffffcdef))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "3771275841602506223"</p>
<pre>{"type":"assert_return","line":222,"action":{"type":"invoke","field":"i64_load16_u","args":[{"type":"i64","value":"18364758543954109763"}]},"expected":[{"type":"i64","value":"25923"}]}</pre>
<pre>(assert_return (invoke "i64_load16_u" (i64.const 0xfedcba9856346543)) (i64.const 0x6543))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "18364758543954109763"</p>
<pre>{"type":"assert_return","line":223,"action":{"type":"invoke","field":"i64_load16_u","args":[{"type":"i64","value":"3771275841602506223"}]},"expected":[{"type":"i64","value":"52719"}]}</pre>
<pre>(assert_return (invoke "i64_load16_u" (i64.const 0x3456436598bacdef)) (i64.const 0xcdef))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "3771275841602506223"</p>
<pre>{"type":"assert_return","line":224,"action":{"type":"invoke","field":"i64_load32_s","args":[{"type":"i64","value":"18364758543954109763"}]},"expected":[{"type":"i64","value":"1446274371"}]}</pre>
<pre>(assert_return (invoke "i64_load32_s" (i64.const 0xfedcba9856346543)) (i64.const 0x56346543))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "18364758543954109763"</p>
<pre>{"type":"assert_return","line":225,"action":{"type":"invoke","field":"i64_load32_s","args":[{"type":"i64","value":"3771275841602506223"}]},"expected":[{"type":"i64","value":"18446744071976963567"}]}</pre>
<pre>(assert_return (invoke "i64_load32_s" (i64.const 0x3456436598bacdef)) (i64.const 0xffffffff98bacdef))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "3771275841602506223"</p>
<pre>{"type":"assert_return","line":226,"action":{"type":"invoke","field":"i64_load32_u","args":[{"type":"i64","value":"18364758543954109763"}]},"expected":[{"type":"i64","value":"1446274371"}]}</pre>
<pre>(assert_return (invoke "i64_load32_u" (i64.const 0xfedcba9856346543)) (i64.const 0x56346543))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "18364758543954109763"</p>
<pre>{"type":"assert_return","line":227,"action":{"type":"invoke","field":"i64_load32_u","args":[{"type":"i64","value":"3771275841602506223"}]},"expected":[{"type":"i64","value":"2562379247"}]}</pre>
<pre>(assert_return (invoke "i64_load32_u" (i64.const 0x3456436598bacdef)) (i64.const 0x98bacdef))</pre>
<p style="background-color: red">exception: i64, from_unsigned, value too long, todo, "3771275841602506223"</p>
<pre>{"type":"assert_malformed","line":231,"filename":"memory.31.wat","text":"duplicate memory"}</pre>
<p style="background-color: green">got error: unexpected magic number</p>
<pre>{"type":"assert_malformed","line":235,"filename":"memory.32.wat","text":"duplicate memory"}</pre>
<p style="background-color: green">got error: unexpected magic number</p>
<pre>{"type":"assert_malformed","line":239,"filename":"memory.33.wat","text":"duplicate memory"}</pre>
<p style="background-color: green">got error: unexpected magic number</p>
<p>Generated at 2025-05-03T14:31:57</p>