Home

Errors: 9

Warnings: 0

Successes: 99


int_exprs.wast

{"type":"module","line":6,"filename":"int_exprs.0.wasm"}

loaded

{"type":"assert_return","line":18,"action":{"type":"invoke","field":"i32.no_fold_cmp_s_offset","args":[{"type":"i32","value":"2147483647"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "i32.no_fold_cmp_s_offset" (i32.const 0x7fffffff) (i32.const 0)) (i32.const 1))

ok, result

{"type":"assert_return","line":19,"action":{"type":"invoke","field":"i32.no_fold_cmp_u_offset","args":[{"type":"i32","value":"4294967295"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "i32.no_fold_cmp_u_offset" (i32.const 0xffffffff) (i32.const 0)) (i32.const 1))

ok, result

{"type":"assert_return","line":20,"action":{"type":"invoke","field":"i64.no_fold_cmp_s_offset","args":[{"type":"i64","value":"9223372036854775807"},{"type":"i64","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "i64.no_fold_cmp_s_offset" (i64.const 0x7fffffffffffffff) (i64.const 0)) (i32.const 1))

ok, result

{"type":"assert_return","line":21,"action":{"type":"invoke","field":"i64.no_fold_cmp_u_offset","args":[{"type":"i64","value":"18446744073709551615"},{"type":"i64","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "i64.no_fold_cmp_u_offset" (i64.const 0xffffffffffffffff) (i64.const 0)) (i32.const 1))

ok, result

{"type":"module","line":25,"filename":"int_exprs.1.wasm"}

loaded

{"type":"assert_return","line":30,"action":{"type":"invoke","field":"i64.no_fold_wrap_extend_s","args":[{"type":"i64","value":"4538991236898928"}]},"expected":[{"type":"i64","value":"1079009392"}]}
(assert_return (invoke "i64.no_fold_wrap_extend_s" (i64.const 0x0010203040506070)) (i64.const 0x0000000040506070))

ok, result

{"type":"assert_return","line":31,"action":{"type":"invoke","field":"i64.no_fold_wrap_extend_s","args":[{"type":"i64","value":"45230338458316960"}]},"expected":[{"type":"i64","value":"18446744072918986912"}]}
(assert_return (invoke "i64.no_fold_wrap_extend_s" (i64.const 0x00a0b0c0d0e0f0a0)) (i64.const 0xffffffffd0e0f0a0))

ok, result

{"type":"module","line":35,"filename":"int_exprs.2.wasm"}

loaded

{"type":"assert_return","line":40,"action":{"type":"invoke","field":"i64.no_fold_wrap_extend_u","args":[{"type":"i64","value":"4538991236898928"}]},"expected":[{"type":"i64","value":"1079009392"}]}
(assert_return (invoke "i64.no_fold_wrap_extend_u" (i64.const 0x0010203040506070)) (i64.const 0x0000000040506070))

ok, result

{"type":"module","line":44,"filename":"int_exprs.3.wasm"}

loaded

{"type":"assert_return","line":56,"action":{"type":"invoke","field":"i32.no_fold_shl_shr_s","args":[{"type":"i32","value":"2147483648"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.no_fold_shl_shr_s" (i32.const 0x80000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":57,"action":{"type":"invoke","field":"i32.no_fold_shl_shr_u","args":[{"type":"i32","value":"2147483648"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.no_fold_shl_shr_u" (i32.const 0x80000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":58,"action":{"type":"invoke","field":"i64.no_fold_shl_shr_s","args":[{"type":"i64","value":"9223372036854775808"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.no_fold_shl_shr_s" (i64.const 0x8000000000000000)) (i64.const 0))

ok, result

{"type":"assert_return","line":59,"action":{"type":"invoke","field":"i64.no_fold_shl_shr_u","args":[{"type":"i64","value":"9223372036854775808"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.no_fold_shl_shr_u" (i64.const 0x8000000000000000)) (i64.const 0))

ok, result

{"type":"module","line":63,"filename":"int_exprs.4.wasm"}

loaded

{"type":"assert_return","line":75,"action":{"type":"invoke","field":"i32.no_fold_shr_s_shl","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.no_fold_shr_s_shl" (i32.const 1)) (i32.const 0))

ok, result

{"type":"assert_return","line":76,"action":{"type":"invoke","field":"i32.no_fold_shr_u_shl","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.no_fold_shr_u_shl" (i32.const 1)) (i32.const 0))

ok, result

{"type":"assert_return","line":77,"action":{"type":"invoke","field":"i64.no_fold_shr_s_shl","args":[{"type":"i64","value":"1"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.no_fold_shr_s_shl" (i64.const 1)) (i64.const 0))

ok, result

{"type":"assert_return","line":78,"action":{"type":"invoke","field":"i64.no_fold_shr_u_shl","args":[{"type":"i64","value":"1"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.no_fold_shr_u_shl" (i64.const 1)) (i64.const 0))

ok, result

{"type":"module","line":82,"filename":"int_exprs.5.wasm"}

loaded

{"type":"assert_return","line":94,"action":{"type":"invoke","field":"i32.no_fold_div_s_mul","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.no_fold_div_s_mul" (i32.const 1)) (i32.const 0))

ok, result

{"type":"assert_return","line":95,"action":{"type":"invoke","field":"i32.no_fold_div_u_mul","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.no_fold_div_u_mul" (i32.const 1)) (i32.const 0))

ok, result

{"type":"assert_return","line":96,"action":{"type":"invoke","field":"i64.no_fold_div_s_mul","args":[{"type":"i64","value":"1"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.no_fold_div_s_mul" (i64.const 1)) (i64.const 0))

ok, result

{"type":"assert_return","line":97,"action":{"type":"invoke","field":"i64.no_fold_div_u_mul","args":[{"type":"i64","value":"1"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.no_fold_div_u_mul" (i64.const 1)) (i64.const 0))

ok, result

{"type":"module","line":101,"filename":"int_exprs.6.wasm"}

loaded

{"type":"assert_trap","line":113,"text":"integer divide by zero","action":{"type":"invoke","field":"i32.no_fold_div_s_self","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "i32.no_fold_div_s_self" (i32.const 0)) "integer divide by zero")

ok, got error: i32.div_s, division by zero

{"type":"assert_trap","line":114,"text":"integer divide by zero","action":{"type":"invoke","field":"i32.no_fold_div_u_self","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "i32.no_fold_div_u_self" (i32.const 0)) "integer divide by zero")

ok, got error: i32.div_u, division by zero

{"type":"assert_trap","line":115,"text":"integer divide by zero","action":{"type":"invoke","field":"i64.no_fold_div_s_self","args":[{"type":"i64","value":"0"}]},"expected":[{"type":"i64"}]}
(assert_trap (invoke "i64.no_fold_div_s_self" (i64.const 0)) "integer divide by zero")

ok, got error: i64.div_s, division by zero

{"type":"assert_trap","line":116,"text":"integer divide by zero","action":{"type":"invoke","field":"i64.no_fold_div_u_self","args":[{"type":"i64","value":"0"}]},"expected":[{"type":"i64"}]}
(assert_trap (invoke "i64.no_fold_div_u_self" (i64.const 0)) "integer divide by zero")

ok, got error: i64.div_u, division by zero

{"type":"module","line":120,"filename":"int_exprs.7.wasm"}

loaded

{"type":"assert_trap","line":132,"text":"integer divide by zero","action":{"type":"invoke","field":"i32.no_fold_rem_s_self","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "i32.no_fold_rem_s_self" (i32.const 0)) "integer divide by zero")

ok, got error: i32.rem_s, division by zero

{"type":"assert_trap","line":133,"text":"integer divide by zero","action":{"type":"invoke","field":"i32.no_fold_rem_u_self","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "i32.no_fold_rem_u_self" (i32.const 0)) "integer divide by zero")

ok, got error: i32.rem_u, division by zero

{"type":"assert_trap","line":134,"text":"integer divide by zero","action":{"type":"invoke","field":"i64.no_fold_rem_s_self","args":[{"type":"i64","value":"0"}]},"expected":[{"type":"i64"}]}
(assert_trap (invoke "i64.no_fold_rem_s_self" (i64.const 0)) "integer divide by zero")

ok, got error: i64.rem_s, division by zero

{"type":"assert_trap","line":135,"text":"integer divide by zero","action":{"type":"invoke","field":"i64.no_fold_rem_u_self","args":[{"type":"i64","value":"0"}]},"expected":[{"type":"i64"}]}
(assert_trap (invoke "i64.no_fold_rem_u_self" (i64.const 0)) "integer divide by zero")

ok, got error: i64.rem_u, division by zero

{"type":"module","line":139,"filename":"int_exprs.8.wasm"}

loaded

{"type":"assert_return","line":151,"action":{"type":"invoke","field":"i32.no_fold_mul_div_s","args":[{"type":"i32","value":"2147483648"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.no_fold_mul_div_s" (i32.const 0x80000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":152,"action":{"type":"invoke","field":"i32.no_fold_mul_div_u","args":[{"type":"i32","value":"2147483648"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.no_fold_mul_div_u" (i32.const 0x80000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":153,"action":{"type":"invoke","field":"i64.no_fold_mul_div_s","args":[{"type":"i64","value":"9223372036854775808"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.no_fold_mul_div_s" (i64.const 0x8000000000000000)) (i64.const 0))

ok, result

{"type":"assert_return","line":154,"action":{"type":"invoke","field":"i64.no_fold_mul_div_u","args":[{"type":"i64","value":"9223372036854775808"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.no_fold_mul_div_u" (i64.const 0x8000000000000000)) (i64.const 0))

ok, result

{"type":"module","line":158,"filename":"int_exprs.9.wasm"}

loaded

{"type":"assert_return","line":166,"action":{"type":"invoke","field":"i32.no_fold_div_s_2","args":[{"type":"i32","value":"4294967285"}]},"expected":[{"type":"i32","value":"4294967291"}]}
(assert_return (invoke "i32.no_fold_div_s_2" (i32.const -11)) (i32.const -5))

ok, result

{"type":"assert_return","line":167,"action":{"type":"invoke","field":"i64.no_fold_div_s_2","args":[{"type":"i64","value":"18446744073709551605"}]},"expected":[{"type":"i64","value":"18446744073709551611"}]}
(assert_return (invoke "i64.no_fold_div_s_2" (i64.const -11)) (i64.const -5))

ok, result

{"type":"module","line":171,"filename":"int_exprs.10.wasm"}

loaded

{"type":"assert_return","line":179,"action":{"type":"invoke","field":"i32.no_fold_rem_s_2","args":[{"type":"i32","value":"4294967285"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "i32.no_fold_rem_s_2" (i32.const -11)) (i32.const -1))

ok, result

{"type":"assert_return","line":180,"action":{"type":"invoke","field":"i64.no_fold_rem_s_2","args":[{"type":"i64","value":"18446744073709551605"}]},"expected":[{"type":"i64","value":"18446744073709551615"}]}
(assert_return (invoke "i64.no_fold_rem_s_2" (i64.const -11)) (i64.const -1))

ok, result

{"type":"module","line":184,"filename":"int_exprs.11.wasm"}

loaded

{"type":"assert_trap","line":196,"text":"integer divide by zero","action":{"type":"invoke","field":"i32.div_s_0","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "i32.div_s_0" (i32.const 71)) "integer divide by zero")

ok, got error: i32.div_s, division by zero

{"type":"assert_trap","line":197,"text":"integer divide by zero","action":{"type":"invoke","field":"i32.div_u_0","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "i32.div_u_0" (i32.const 71)) "integer divide by zero")

ok, got error: i32.div_u, division by zero

{"type":"assert_trap","line":198,"text":"integer divide by zero","action":{"type":"invoke","field":"i64.div_s_0","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64"}]}
(assert_trap (invoke "i64.div_s_0" (i64.const 71)) "integer divide by zero")

ok, got error: i64.div_s, division by zero

{"type":"assert_trap","line":199,"text":"integer divide by zero","action":{"type":"invoke","field":"i64.div_u_0","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64"}]}
(assert_trap (invoke "i64.div_u_0" (i64.const 71)) "integer divide by zero")

ok, got error: i64.div_u, division by zero

{"type":"module","line":203,"filename":"int_exprs.12.wasm"}

loaded

{"type":"assert_return","line":215,"action":{"type":"invoke","field":"i32.div_s_3","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"23"}]}
(assert_return (invoke "i32.div_s_3" (i32.const 71)) (i32.const 23))

ok, result

{"type":"assert_return","line":216,"action":{"type":"invoke","field":"i32.div_s_3","args":[{"type":"i32","value":"1610612736"}]},"expected":[{"type":"i32","value":"536870912"}]}
(assert_return (invoke "i32.div_s_3" (i32.const 0x60000000)) (i32.const 0x20000000))

ok, result

{"type":"assert_return","line":217,"action":{"type":"invoke","field":"i32.div_u_3","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"23"}]}
(assert_return (invoke "i32.div_u_3" (i32.const 71)) (i32.const 23))

ok, result

{"type":"assert_return","line":218,"action":{"type":"invoke","field":"i32.div_u_3","args":[{"type":"i32","value":"3221225472"}]},"expected":[{"type":"i32","value":"1073741824"}]}
(assert_return (invoke "i32.div_u_3" (i32.const 0xc0000000)) (i32.const 0x40000000))

ok, result

{"type":"assert_return","line":219,"action":{"type":"invoke","field":"i64.div_s_3","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"23"}]}
(assert_return (invoke "i64.div_s_3" (i64.const 71)) (i64.const 23))

ok, result

{"type":"assert_return","line":220,"action":{"type":"invoke","field":"i64.div_s_3","args":[{"type":"i64","value":"3458764513820540928"}]},"expected":[{"type":"i64","value":"1152921504606846976"}]}
(assert_return (invoke "i64.div_s_3" (i64.const 0x3000000000000000)) (i64.const 0x1000000000000000))

ok, result

{"type":"assert_return","line":221,"action":{"type":"invoke","field":"i64.div_u_3","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"23"}]}
(assert_return (invoke "i64.div_u_3" (i64.const 71)) (i64.const 23))

ok, result

{"type":"assert_return","line":222,"action":{"type":"invoke","field":"i64.div_u_3","args":[{"type":"i64","value":"13835058055282163712"}]},"expected":[{"type":"i64","value":"4611686018427387904"}]}
(assert_return (invoke "i64.div_u_3" (i64.const 0xc000000000000000)) (i64.const 0x4000000000000000))

exception: i64.div_u, todo negative numbers

{"type":"module","line":226,"filename":"int_exprs.13.wasm"}

loaded

{"type":"assert_return","line":238,"action":{"type":"invoke","field":"i32.div_s_5","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"14"}]}
(assert_return (invoke "i32.div_s_5" (i32.const 71)) (i32.const 14))

ok, result

{"type":"assert_return","line":239,"action":{"type":"invoke","field":"i32.div_s_5","args":[{"type":"i32","value":"1342177280"}]},"expected":[{"type":"i32","value":"268435456"}]}
(assert_return (invoke "i32.div_s_5" (i32.const 0x50000000)) (i32.const 0x10000000))

ok, result

{"type":"assert_return","line":240,"action":{"type":"invoke","field":"i32.div_u_5","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"14"}]}
(assert_return (invoke "i32.div_u_5" (i32.const 71)) (i32.const 14))

ok, result

{"type":"assert_return","line":241,"action":{"type":"invoke","field":"i32.div_u_5","args":[{"type":"i32","value":"2684354560"}]},"expected":[{"type":"i32","value":"536870912"}]}
(assert_return (invoke "i32.div_u_5" (i32.const 0xa0000000)) (i32.const 0x20000000))

ok, result

{"type":"assert_return","line":242,"action":{"type":"invoke","field":"i64.div_s_5","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"14"}]}
(assert_return (invoke "i64.div_s_5" (i64.const 71)) (i64.const 14))

ok, result

{"type":"assert_return","line":243,"action":{"type":"invoke","field":"i64.div_s_5","args":[{"type":"i64","value":"5764607523034234880"}]},"expected":[{"type":"i64","value":"1152921504606846976"}]}
(assert_return (invoke "i64.div_s_5" (i64.const 0x5000000000000000)) (i64.const 0x1000000000000000))

ok, result

{"type":"assert_return","line":244,"action":{"type":"invoke","field":"i64.div_u_5","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"14"}]}
(assert_return (invoke "i64.div_u_5" (i64.const 71)) (i64.const 14))

ok, result

{"type":"assert_return","line":245,"action":{"type":"invoke","field":"i64.div_u_5","args":[{"type":"i64","value":"11529215046068469760"}]},"expected":[{"type":"i64","value":"2305843009213693952"}]}
(assert_return (invoke "i64.div_u_5" (i64.const 0xa000000000000000)) (i64.const 0x2000000000000000))

exception: i64.div_u, todo negative numbers

{"type":"module","line":249,"filename":"int_exprs.14.wasm"}

loaded

{"type":"assert_return","line":261,"action":{"type":"invoke","field":"i32.div_s_7","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"10"}]}
(assert_return (invoke "i32.div_s_7" (i32.const 71)) (i32.const 10))

ok, result

{"type":"assert_return","line":262,"action":{"type":"invoke","field":"i32.div_s_7","args":[{"type":"i32","value":"1879048192"}]},"expected":[{"type":"i32","value":"268435456"}]}
(assert_return (invoke "i32.div_s_7" (i32.const 0x70000000)) (i32.const 0x10000000))

ok, result

{"type":"assert_return","line":263,"action":{"type":"invoke","field":"i32.div_u_7","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"10"}]}
(assert_return (invoke "i32.div_u_7" (i32.const 71)) (i32.const 10))

ok, result

{"type":"assert_return","line":264,"action":{"type":"invoke","field":"i32.div_u_7","args":[{"type":"i32","value":"3758096384"}]},"expected":[{"type":"i32","value":"536870912"}]}
(assert_return (invoke "i32.div_u_7" (i32.const 0xe0000000)) (i32.const 0x20000000))

ok, result

{"type":"assert_return","line":265,"action":{"type":"invoke","field":"i64.div_s_7","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"10"}]}
(assert_return (invoke "i64.div_s_7" (i64.const 71)) (i64.const 10))

ok, result

{"type":"assert_return","line":266,"action":{"type":"invoke","field":"i64.div_s_7","args":[{"type":"i64","value":"8070450532247928832"}]},"expected":[{"type":"i64","value":"1152921504606846976"}]}
(assert_return (invoke "i64.div_s_7" (i64.const 0x7000000000000000)) (i64.const 0x1000000000000000))

ok, result

{"type":"assert_return","line":267,"action":{"type":"invoke","field":"i64.div_u_7","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"10"}]}
(assert_return (invoke "i64.div_u_7" (i64.const 71)) (i64.const 10))

ok, result

{"type":"assert_return","line":268,"action":{"type":"invoke","field":"i64.div_u_7","args":[{"type":"i64","value":"16140901064495857664"}]},"expected":[{"type":"i64","value":"2305843009213693952"}]}
(assert_return (invoke "i64.div_u_7" (i64.const 0xe000000000000000)) (i64.const 0x2000000000000000))

exception: i64.div_u, todo negative numbers

{"type":"module","line":272,"filename":"int_exprs.15.wasm"}

loaded

{"type":"assert_return","line":284,"action":{"type":"invoke","field":"i32.rem_s_3","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"2"}]}
(assert_return (invoke "i32.rem_s_3" (i32.const 71)) (i32.const 2))

ok, result

{"type":"assert_return","line":285,"action":{"type":"invoke","field":"i32.rem_s_3","args":[{"type":"i32","value":"1610612736"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.rem_s_3" (i32.const 0x60000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":286,"action":{"type":"invoke","field":"i32.rem_u_3","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"2"}]}
(assert_return (invoke "i32.rem_u_3" (i32.const 71)) (i32.const 2))

ok, result

{"type":"assert_return","line":287,"action":{"type":"invoke","field":"i32.rem_u_3","args":[{"type":"i32","value":"3221225472"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.rem_u_3" (i32.const 0xc0000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":288,"action":{"type":"invoke","field":"i64.rem_s_3","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"2"}]}
(assert_return (invoke "i64.rem_s_3" (i64.const 71)) (i64.const 2))

ok, result

{"type":"assert_return","line":289,"action":{"type":"invoke","field":"i64.rem_s_3","args":[{"type":"i64","value":"3458764513820540928"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.rem_s_3" (i64.const 0x3000000000000000)) (i64.const 0))

ok, result

{"type":"assert_return","line":290,"action":{"type":"invoke","field":"i64.rem_u_3","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"2"}]}
(assert_return (invoke "i64.rem_u_3" (i64.const 71)) (i64.const 2))

exception: todo, execute instruction zcl_wasm_i64_rem_u

{"type":"assert_return","line":291,"action":{"type":"invoke","field":"i64.rem_u_3","args":[{"type":"i64","value":"13835058055282163712"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.rem_u_3" (i64.const 0xc000000000000000)) (i64.const 0))

exception: todo, execute instruction zcl_wasm_i64_rem_u

{"type":"module","line":295,"filename":"int_exprs.16.wasm"}

loaded

{"type":"assert_return","line":307,"action":{"type":"invoke","field":"i32.rem_s_5","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "i32.rem_s_5" (i32.const 71)) (i32.const 1))

ok, result

{"type":"assert_return","line":308,"action":{"type":"invoke","field":"i32.rem_s_5","args":[{"type":"i32","value":"1342177280"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.rem_s_5" (i32.const 0x50000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":309,"action":{"type":"invoke","field":"i32.rem_u_5","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "i32.rem_u_5" (i32.const 71)) (i32.const 1))

ok, result

{"type":"assert_return","line":310,"action":{"type":"invoke","field":"i32.rem_u_5","args":[{"type":"i32","value":"2684354560"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.rem_u_5" (i32.const 0xa0000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":311,"action":{"type":"invoke","field":"i64.rem_s_5","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"1"}]}
(assert_return (invoke "i64.rem_s_5" (i64.const 71)) (i64.const 1))

ok, result

{"type":"assert_return","line":312,"action":{"type":"invoke","field":"i64.rem_s_5","args":[{"type":"i64","value":"5764607523034234880"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.rem_s_5" (i64.const 0x5000000000000000)) (i64.const 0))

ok, result

{"type":"assert_return","line":313,"action":{"type":"invoke","field":"i64.rem_u_5","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"1"}]}
(assert_return (invoke "i64.rem_u_5" (i64.const 71)) (i64.const 1))

exception: todo, execute instruction zcl_wasm_i64_rem_u

{"type":"assert_return","line":314,"action":{"type":"invoke","field":"i64.rem_u_5","args":[{"type":"i64","value":"11529215046068469760"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.rem_u_5" (i64.const 0xa000000000000000)) (i64.const 0))

exception: todo, execute instruction zcl_wasm_i64_rem_u

{"type":"module","line":318,"filename":"int_exprs.17.wasm"}

loaded

{"type":"assert_return","line":330,"action":{"type":"invoke","field":"i32.rem_s_7","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "i32.rem_s_7" (i32.const 71)) (i32.const 1))

ok, result

{"type":"assert_return","line":331,"action":{"type":"invoke","field":"i32.rem_s_7","args":[{"type":"i32","value":"1879048192"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.rem_s_7" (i32.const 0x70000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":332,"action":{"type":"invoke","field":"i32.rem_u_7","args":[{"type":"i32","value":"71"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "i32.rem_u_7" (i32.const 71)) (i32.const 1))

ok, result

{"type":"assert_return","line":333,"action":{"type":"invoke","field":"i32.rem_u_7","args":[{"type":"i32","value":"3758096384"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "i32.rem_u_7" (i32.const 0xe0000000)) (i32.const 0))

ok, result

{"type":"assert_return","line":334,"action":{"type":"invoke","field":"i64.rem_s_7","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"1"}]}
(assert_return (invoke "i64.rem_s_7" (i64.const 71)) (i64.const 1))

ok, result

{"type":"assert_return","line":335,"action":{"type":"invoke","field":"i64.rem_s_7","args":[{"type":"i64","value":"8070450532247928832"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.rem_s_7" (i64.const 0x7000000000000000)) (i64.const 0))

ok, result

{"type":"assert_return","line":336,"action":{"type":"invoke","field":"i64.rem_u_7","args":[{"type":"i64","value":"71"}]},"expected":[{"type":"i64","value":"1"}]}
(assert_return (invoke "i64.rem_u_7" (i64.const 71)) (i64.const 1))

exception: todo, execute instruction zcl_wasm_i64_rem_u

{"type":"assert_return","line":337,"action":{"type":"invoke","field":"i64.rem_u_7","args":[{"type":"i64","value":"16140901064495857664"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "i64.rem_u_7" (i64.const 0xe000000000000000)) (i64.const 0))

exception: todo, execute instruction zcl_wasm_i64_rem_u

{"type":"module","line":341,"filename":"int_exprs.18.wasm"}

loaded

{"type":"assert_trap","line":349,"text":"integer overflow","action":{"type":"invoke","field":"i32.no_fold_div_neg1","args":[{"type":"i32","value":"2147483648"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "i32.no_fold_div_neg1" (i32.const 0x80000000)) "integer overflow")

ok, got error: i32.div_s, signed integer overflow

{"type":"assert_trap","line":350,"text":"integer overflow","action":{"type":"invoke","field":"i64.no_fold_div_neg1","args":[{"type":"i64","value":"9223372036854775808"}]},"expected":[{"type":"i64"}]}
(assert_trap (invoke "i64.no_fold_div_neg1" (i64.const 0x8000000000000000)) "integer overflow")

ok, got error: i64.div_s, signed integer overflow

Generated at 2024-09-05T14:38:17