labels.html

<a href="./index.html">Home</a><br><h3>Errors: 3</h3>
<h3>Warnings: 0</h3>
<h3>Successes: 26</h3>
<hr>
<h1>labels.wast</h1>
<pre>{"type":"module","line":1,"filename":"labels.0.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":291,"action":{"type":"invoke","field":"block"},"expected":[{"type":"i32","value":"1"}]}</pre>
<pre>(assert_return (invoke "block") (i32.const 1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":292,"action":{"type":"invoke","field":"loop1"},"expected":[{"type":"i32","value":"5"}]}</pre>
<pre>(assert_return (invoke "loop1") (i32.const 5))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":293,"action":{"type":"invoke","field":"loop2"},"expected":[{"type":"i32","value":"8"}]}</pre>
<pre>(assert_return (invoke "loop2") (i32.const 8))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":294,"action":{"type":"invoke","field":"loop3"},"expected":[{"type":"i32","value":"1"}]}</pre>
<pre>(assert_return (invoke "loop3") (i32.const 1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":295,"action":{"type":"invoke","field":"loop4","args":[{"type":"i32","value":"8"}]},"expected":[{"type":"i32","value":"16"}]}</pre>
<pre>(assert_return (invoke "loop4" (i32.const 8)) (i32.const 16))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":296,"action":{"type":"invoke","field":"loop5"},"expected":[{"type":"i32","value":"2"}]}</pre>
<pre>(assert_return (invoke "loop5") (i32.const 2))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":297,"action":{"type":"invoke","field":"loop6"},"expected":[{"type":"i32","value":"3"}]}</pre>
<pre>(assert_return (invoke "loop6") (i32.const 3))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":298,"action":{"type":"invoke","field":"if"},"expected":[{"type":"i32","value":"5"}]}</pre>
<pre>(assert_return (invoke "if") (i32.const 5))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":299,"action":{"type":"invoke","field":"if2"},"expected":[{"type":"i32","value":"5"}]}</pre>
<pre>(assert_return (invoke "if2") (i32.const 5))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":300,"action":{"type":"invoke","field":"switch","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"50"}]}</pre>
<pre>(assert_return (invoke "switch" (i32.const 0)) (i32.const 50))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":301,"action":{"type":"invoke","field":"switch","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"20"}]}</pre>
<pre>(assert_return (invoke "switch" (i32.const 1)) (i32.const 20))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":302,"action":{"type":"invoke","field":"switch","args":[{"type":"i32","value":"2"}]},"expected":[{"type":"i32","value":"20"}]}</pre>
<pre>(assert_return (invoke "switch" (i32.const 2)) (i32.const 20))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":303,"action":{"type":"invoke","field":"switch","args":[{"type":"i32","value":"3"}]},"expected":[{"type":"i32","value":"3"}]}</pre>
<pre>(assert_return (invoke "switch" (i32.const 3)) (i32.const 3))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":304,"action":{"type":"invoke","field":"switch","args":[{"type":"i32","value":"4"}]},"expected":[{"type":"i32","value":"50"}]}</pre>
<pre>(assert_return (invoke "switch" (i32.const 4)) (i32.const 50))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":305,"action":{"type":"invoke","field":"switch","args":[{"type":"i32","value":"5"}]},"expected":[{"type":"i32","value":"50"}]}</pre>
<pre>(assert_return (invoke "switch" (i32.const 5)) (i32.const 50))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":306,"action":{"type":"invoke","field":"return","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"0"}]}</pre>
<pre>(assert_return (invoke "return" (i32.const 0)) (i32.const 0))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":307,"action":{"type":"invoke","field":"return","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"2"}]}</pre>
<pre>(assert_return (invoke "return" (i32.const 1)) (i32.const 2))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":308,"action":{"type":"invoke","field":"return","args":[{"type":"i32","value":"2"}]},"expected":[{"type":"i32","value":"2"}]}</pre>
<pre>(assert_return (invoke "return" (i32.const 2)) (i32.const 2))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":309,"action":{"type":"invoke","field":"br_if0"},"expected":[{"type":"i32","value":"29"}]}</pre>
<pre>(assert_return (invoke "br_if0") (i32.const 0x1d))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":310,"action":{"type":"invoke","field":"br_if1"},"expected":[{"type":"i32","value":"1"}]}</pre>
<pre>(assert_return (invoke "br_if1") (i32.const 1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":311,"action":{"type":"invoke","field":"br_if2"},"expected":[{"type":"i32","value":"1"}]}</pre>
<pre>(assert_return (invoke "br_if2") (i32.const 1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":312,"action":{"type":"invoke","field":"br_if3"},"expected":[{"type":"i32","value":"2"}]}</pre>
<pre>(assert_return (invoke "br_if3") (i32.const 2))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":313,"action":{"type":"invoke","field":"br"},"expected":[{"type":"i32","value":"1"}]}</pre>
<pre>(assert_return (invoke "br") (i32.const 1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":314,"action":{"type":"invoke","field":"shadowing"},"expected":[{"type":"i32","value":"1"}]}</pre>
<pre>(assert_return (invoke "shadowing") (i32.const 1))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":315,"action":{"type":"invoke","field":"redefinition"},"expected":[{"type":"i32","value":"5"}]}</pre>
<pre>(assert_return (invoke "redefinition") (i32.const 5))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_invalid","line":318,"filename":"labels.1.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":322,"filename":"labels.2.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":326,"filename":"labels.3.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<p>Generated at 2025-07-14T11:19:31</p>