/-
AUTO-GENERATED by `verifier emit`. Do not edit by hand.
-/
import CodeLib
set_option maxRecDepth 1048576
namespace Project.RustU64
open Wasm
def func0 : Wasm.Program :=
[
.globalGet 0,
.const (16 : UInt32),
.sub,
.localSet 2,
.block 0 0 [
.block 0 0 [
.localGet 0,
.localGet 1,
.ltUI64,
.const (1 : UInt32),
.and,
.br_if 0,
.localGet 2,
.localGet 0,
.localGet 1,
.subI64,
.store64 (8 : UInt32),
.br 1
],
.localGet 2,
.localGet 1,
.localGet 0,
.subI64,
.store64 (8 : UInt32)
],
.localGet 2,
.load64 (8 : UInt32),
.ret
]
def func0Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [.i32], body := func0, results := [.i64] }
/-- export: abs_diff -/
def func1 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.call 0,
.ret
]
def func1Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func1, results := [.i64] }
/-- export: add -/
def func2 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.addI64,
.ret
]
def func2Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func2, results := [.i64] }
/-- export: bitand -/
def func3 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.andI64,
.ret
]
def func3Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func3, results := [.i64] }
/-- export: bitor -/
def func4 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.orI64,
.ret
]
def func4Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func4, results := [.i64] }
/-- export: bitxor -/
def func5 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.xorI64,
.ret
]
def func5Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func5, results := [.i64] }
/-- export: div -/
def func6 : Wasm.Program :=
[
.block 0 0 [
.localGet 1,
.constI64 (0 : UInt64),
.eqI64,
.const (1 : UInt32),
.and,
.br_if 0,
.localGet 0,
.localGet 1,
.divUI64,
.ret
],
.const (1048600 : UInt32),
.call 66,
.unreachable
]
def func6Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func6, results := [.i64] }
/-- export: entrypoint -/
def func7 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.call 1,
.drop,
.localGet 0,
.localGet 1,
.call 2,
.drop,
.localGet 0,
.localGet 1,
.call 8,
.drop,
.localGet 0,
.localGet 1,
.call 9,
.drop,
.localGet 0,
.localGet 1,
.call 6,
.drop,
.localGet 0,
.localGet 1,
.call 10,
.drop,
.localGet 0,
.localGet 1,
.call 3,
.drop,
.localGet 0,
.localGet 1,
.call 4,
.drop,
.localGet 0,
.localGet 1,
.call 5,
.drop,
.localGet 0,
.call 11,
.drop,
.localGet 0,
.localGet 2,
.call 12,
.drop,
.localGet 0,
.localGet 2,
.call 13,
.drop,
.ret
]
def func7Def : Wasm.Function :=
{ params := [.i64, .i64, .i32], locals := [], body := func7, results := [] }
/-- export: sub -/
def func8 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.subI64,
.ret
]
def func8Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func8, results := [.i64] }
/-- export: mul -/
def func9 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.mulI64,
.ret
]
def func9Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func9, results := [.i64] }
/-- export: rem -/
def func10 : Wasm.Program :=
[
.block 0 0 [
.localGet 1,
.constI64 (0 : UInt64),
.eqI64,
.const (1 : UInt32),
.and,
.br_if 0,
.localGet 0,
.localGet 1,
.remUI64,
.ret
],
.const (1048616 : UInt32),
.call 67,
.unreachable
]
def func10Def : Wasm.Function :=
{ params := [.i64, .i64], locals := [], body := func10, results := [.i64] }
/-- export: not -/
def func11 : Wasm.Program :=
[
.localGet 0,
.constI64 (18446744073709551615 : UInt64),
.xorI64,
.ret
]
def func11Def : Wasm.Function :=
{ params := [.i64], locals := [], body := func11, results := [.i64] }
/-- export: shl -/
def func12 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.const (63 : UInt32),
.and,
.extendUI32,
.shlI64,
.ret
]
def func12Def : Wasm.Function :=
{ params := [.i64, .i32], locals := [], body := func12, results := [.i64] }
/-- export: shr -/
def func13 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.const (63 : UInt32),
.and,
.extendUI32,
.shrUI64,
.ret
]
def func13Def : Wasm.Function :=
{ params := [.i64, .i32], locals := [], body := func13, results := [.i64] }
def func14 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.call 31,
.ret
]
def func14Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func14, results := [.i32] }
def func15 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.localGet 2,
.call 35,
.ret
]
def func15Def : Wasm.Function :=
{ params := [.i32, .i32, .i32], locals := [], body := func15, results := [] }
def func16 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.localGet 2,
.localGet 3,
.call 37,
.ret
]
def func16Def : Wasm.Function :=
{ params := [.i32, .i32, .i32, .i32], locals := [], body := func16, results := [.i32] }
def func17 : Wasm.Program :=
[
.ret
]
def func17Def : Wasm.Function :=
{ params := [], locals := [], body := func17, results := [] }
def func18 : Wasm.Program :=
[
.call 34,
.unreachable
]
def func18Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func18, results := [.i32] }
def func19 : Wasm.Program :=
[
.globalGet 0,
.const (16 : UInt32),
.sub,
.localSet 5,
.localGet 5,
.globalSet 0,
.block 0 0 [
.localGet 2,
.localGet 1,
.add,
.localSet 1,
.localGet 1,
.localGet 2,
.geU,
.br_if 0,
.const (0 : UInt32),
.const (0 : UInt32),
.call 59,
.unreachable
],
.localGet 5,
.const (4 : UInt32),
.add,
.localGet 0,
.load32 (0 : UInt32),
.localSet 2,
.localGet 2,
.localGet 0,
.load32 (4 : UInt32),
.localGet 1,
.localGet 2,
.const (1 : UInt32),
.shl,
.localSet 2,
.localGet 2,
.localGet 1,
.localGet 2,
.gtU,
.select,
.localSet 2,
.localGet 2,
.const (8 : UInt32),
.const (4 : UInt32),
.localGet 4,
.const (1 : UInt32),
.eq,
.select,
.localSet 1,
.localGet 1,
.localGet 2,
.localGet 1,
.gtU,
.select,
.localSet 2,
.localGet 2,
.localGet 3,
.localGet 4,
.call 27,
.block 0 0 [
.localGet 5,
.load32 (4 : UInt32),
.const (1 : UInt32),
.ne,
.br_if 0,
.localGet 5,
.load32 (8 : UInt32),
.localGet 5,
.load32 (12 : UInt32),
.call 59,
.unreachable
],
.localGet 5,
.load32 (8 : UInt32),
.localSet 4,
.localGet 0,
.localGet 2,
.store32 (0 : UInt32),
.localGet 0,
.localGet 4,
.store32 (4 : UInt32),
.localGet 5,
.const (16 : UInt32),
.add,
.globalSet 0
]
def func19Def : Wasm.Function :=
{ params := [.i32, .i32, .i32, .i32, .i32], locals := [.i32], body := func19, results := [] }
def func20 : Wasm.Program :=
[
.block 0 0 [
.localGet 0,
.const (2147483648 : UInt32),
.or,
.const (2147483648 : UInt32),
.eq,
.br_if 0,
.localGet 1,
.localGet 0,
.const (1 : UInt32),
.call 15
]
]
def func20Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func20, results := [] }
def func21 : Wasm.Program :=
[
.block 0 0 [
.localGet 0,
.load32 (0 : UInt32),
.localSet 1,
.localGet 1,
.eqz,
.br_if 0,
.localGet 0,
.load32 (4 : UInt32),
.localGet 1,
.const (1 : UInt32),
.call 15
]
]
def func21Def : Wasm.Function :=
{ params := [.i32], locals := [.i32], body := func21, results := [] }
def func22 : Wasm.Program :=
[
.block 0 0 [
.localGet 0,
.load32 (0 : UInt32),
.localSet 1,
.localGet 1,
.const (1 : UInt32),
.ltS,
.br_if 0,
.localGet 0,
.load32 (4 : UInt32),
.localGet 1,
.const (1 : UInt32),
.call 15
]
]
def func22Def : Wasm.Function :=
{ params := [.i32], locals := [.i32], body := func22, results := [] }
def func23 : Wasm.Program :=
[
.localGet 0,
.call 24,
.unreachable
]
def func23Def : Wasm.Function :=
{ params := [.i32], locals := [], body := func23, results := [] }
def func24 : Wasm.Program :=
[
.localGet 0,
.load32 (0 : UInt32),
.localGet 0,
.load32 (4 : UInt32),
.const (0 : UInt32),
.load32 (1049156 : UInt32),
.localSet 0,
.localGet 0,
.const (1 : UInt32),
.localGet 0,
.select,
.callIndirect 0 0,
.unreachable
]
def func24Def : Wasm.Function :=
{ params := [.i32], locals := [], body := func24, results := [] }
def func25 : Wasm.Program :=
[
.localGet 0,
.call 26,
.unreachable
]
def func25Def : Wasm.Function :=
{ params := [.i32], locals := [], body := func25, results := [] }
def func26 : Wasm.Program :=
[
.globalGet 0,
.const (16 : UInt32),
.sub,
.localSet 1,
.localGet 1,
.globalSet 0,
.block 0 0 [
.localGet 0,
.load32 (0 : UInt32),
.localSet 2,
.localGet 2,
.load32 (4 : UInt32),
.localSet 3,
.localGet 3,
.const (1 : UInt32),
.and,
.eqz,
.br_if 0,
.localGet 2,
.load32 (0 : UInt32),
.localSet 2,
.localGet 1,
.localGet 3,
.const (1 : UInt32),
.shrU,
.store32 (4 : UInt32),
.localGet 1,
.localGet 2,
.store32 (0 : UInt32),
.localGet 1,
.const (1048656 : UInt32),
.localGet 0,
.load32 (4 : UInt32),
.localGet 0,
.load32 (8 : UInt32),
.localSet 0,
.localGet 0,
.load8U (8 : UInt32),
.localGet 0,
.load8U (9 : UInt32),
.call 28,
.unreachable
],
.localGet 1,
.const (2147483648 : UInt32),
.store32 (0 : UInt32),
.localGet 1,
.localGet 0,
.store32 (12 : UInt32),
.localGet 1,
.const (1048684 : UInt32),
.localGet 0,
.load32 (4 : UInt32),
.localGet 0,
.load32 (8 : UInt32),
.localSet 0,
.localGet 0,
.load8U (8 : UInt32),
.localGet 0,
.load8U (9 : UInt32),
.call 28,
.unreachable
]
def func26Def : Wasm.Function :=
{ params := [.i32], locals := [.i32, .i32, .i32], body := func26, results := [] }
def func27 : Wasm.Program :=
[
.const (1 : UInt32),
.localSet 6,
.const (4 : UInt32),
.localSet 7,
.block 0 0 [
.block 0 0 [
.localGet 5,
.extendUI32,
.localGet 3,
.extendUI32,
.mulI64,
.localSet 8,
.localGet 8,
.constI64 (32 : UInt64),
.shrUI64,
.wrapI64,
.eqz,
.br_if 0,
.const (0 : UInt32),
.localSet 3,
.br 1
],
.block 0 0 [
.localGet 8,
.wrapI64,
.localSet 3,
.localGet 3,
.const (2147483648 : UInt32),
.localGet 4,
.sub,
.leU,
.br_if 0,
.const (0 : UInt32),
.localSet 3,
.br 1
],
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 1,
.eqz,
.br_if 0,
.localGet 2,
.localGet 5,
.localGet 1,
.mul,
.localGet 4,
.localGet 3,
.call 16,
.localSet 7,
.br 1
],
.block 0 0 [
.localGet 3,
.br_if 0,
.localGet 4,
.localSet 7,
.br 2
],
.call 17,
.localGet 3,
.localGet 4,
.call 14,
.localSet 7
],
.localGet 7,
.br_if 0,
.localGet 0,
.localGet 4,
.store32 (4 : UInt32),
.br 1
],
.localGet 0,
.localGet 7,
.store32 (4 : UInt32),
.const (0 : UInt32),
.localSet 6
],
.const (8 : UInt32),
.localSet 7
],
.localGet 0,
.localGet 7,
.add,
.localGet 3,
.store32 (0 : UInt32),
.localGet 0,
.localGet 6,
.store32 (0 : UInt32)
]
def func27Def : Wasm.Function :=
{ params := [.i32, .i32, .i32, .i32, .i32, .i32], locals := [.i32, .i32, .i64], body := func27, results := [] }
def func28 : Wasm.Program :=
[
.globalGet 0,
.const (32 : UInt32),
.sub,
.localSet 5,
.localGet 5,
.globalSet 0,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.const (1 : UInt32),
.call 44,
.const (255 : UInt32),
.and,
.brTable [4, 1, 0] 1
],
.const (0 : UInt32),
.load32 (1049160 : UInt32),
.localSet 6,
.localGet 6,
.const (4294967295 : UInt32),
.leS,
.br_if 3,
.const (0 : UInt32),
.localGet 6,
.const (1 : UInt32),
.add,
.store32 (1049160 : UInt32),
.const (0 : UInt32),
.load32 (1049164 : UInt32),
.eqz,
.br_if 1,
.localGet 5,
.const (8 : UInt32),
.add,
.localGet 0,
.localGet 1,
.load32 (20 : UInt32),
.callIndirect 0 0,
.localGet 5,
.localGet 4,
.store8 (29 : UInt32),
.localGet 5,
.localGet 3,
.store8 (28 : UInt32),
.localGet 5,
.localGet 2,
.store32 (24 : UInt32),
.localGet 5,
.localGet 5,
.load64 (8 : UInt32),
.store64 (16 : UInt32),
.const (0 : UInt32),
.load32 (1049164 : UInt32),
.localGet 5,
.const (16 : UInt32),
.add,
.const (0 : UInt32),
.load32 (1049168 : UInt32),
.load32 (20 : UInt32),
.callIndirect 0 0,
.br 2
],
.localGet 5,
.localGet 0,
.localGet 1,
.load32 (24 : UInt32),
.callIndirect 0 0,
.br 2
],
.const (2147483648 : UInt32),
.localGet 5,
.call 20
],
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049160 : UInt32),
.const (4294967295 : UInt32),
.add,
.store32 (1049160 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.store8 (1049152 : UInt32),
.localGet 3,
.eqz,
.br_if 0,
.localGet 0,
.localGet 1,
.call 30,
.unreachable
],
.unreachable
]
def func28Def : Wasm.Function :=
{ params := [.i32, .i32, .i32, .i32, .i32], locals := [.i32, .i32], body := func28, results := [] }
def func29 : Wasm.Program :=
[
.const (0 : UInt32),
.const (1 : UInt32),
.store8 (1049628 : UInt32)
]
def func29Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func29, results := [] }
def func30 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.call 18,
.drop,
.unreachable
]
def func30Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func30, results := [] }
def func31 : Wasm.Program :=
[
.block 0 0 [
.localGet 1,
.const (9 : UInt32),
.ltU,
.br_if 0,
.localGet 1,
.localGet 0,
.call 32,
.ret
],
.localGet 0,
.call 33
]
def func31Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func31, results := [.i32] }
def func32 : Wasm.Program :=
[
.const (0 : UInt32),
.localSet 2,
.block 0 0 [
.localGet 1,
.const (4294901709 : UInt32),
.localGet 0,
.const (16 : UInt32),
.localGet 0,
.const (16 : UInt32),
.gtU,
.select,
.localSet 0,
.localGet 0,
.sub,
.geU,
.br_if 0,
.localGet 0,
.const (16 : UInt32),
.localGet 1,
.const (11 : UInt32),
.add,
.const (4294967288 : UInt32),
.and,
.localGet 1,
.const (11 : UInt32),
.ltU,
.select,
.localSet 3,
.localGet 3,
.add,
.const (12 : UInt32),
.add,
.call 33,
.localSet 1,
.localGet 1,
.eqz,
.br_if 0,
.localGet 1,
.const (4294967288 : UInt32),
.add,
.localSet 2,
.block 0 0 [
.block 0 0 [
.localGet 0,
.const (4294967295 : UInt32),
.add,
.localSet 4,
.localGet 4,
.localGet 1,
.and,
.br_if 0,
.localGet 2,
.localSet 0,
.br 1
],
.localGet 1,
.const (4294967292 : UInt32),
.add,
.localSet 5,
.localGet 5,
.load32 (0 : UInt32),
.localSet 6,
.localGet 6,
.const (4294967288 : UInt32),
.and,
.localGet 4,
.localGet 1,
.add,
.const (0 : UInt32),
.localGet 0,
.sub,
.and,
.const (4294967288 : UInt32),
.add,
.localSet 1,
.localGet 1,
.const (0 : UInt32),
.localGet 0,
.localGet 1,
.localGet 2,
.sub,
.const (16 : UInt32),
.gtU,
.select,
.add,
.localSet 0,
.localGet 0,
.localGet 2,
.sub,
.localSet 1,
.localGet 1,
.sub,
.localSet 4,
.block 0 0 [
.localGet 6,
.const (3 : UInt32),
.and,
.eqz,
.br_if 0,
.localGet 0,
.localGet 4,
.localGet 0,
.load32 (4 : UInt32),
.const (1 : UInt32),
.and,
.or,
.const (2 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 4,
.add,
.localSet 4,
.localGet 4,
.localGet 4,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 5,
.localGet 1,
.localGet 5,
.load32 (0 : UInt32),
.const (1 : UInt32),
.and,
.or,
.const (2 : UInt32),
.or,
.store32 (0 : UInt32),
.localGet 2,
.localGet 1,
.add,
.localSet 4,
.localGet 4,
.localGet 4,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 2,
.localGet 1,
.call 39,
.br 1
],
.localGet 2,
.load32 (0 : UInt32),
.localSet 2,
.localGet 0,
.localGet 4,
.store32 (4 : UInt32),
.localGet 0,
.localGet 2,
.localGet 1,
.add,
.store32 (0 : UInt32)
],
.block 0 0 [
.localGet 0,
.load32 (4 : UInt32),
.localSet 1,
.localGet 1,
.const (3 : UInt32),
.and,
.eqz,
.br_if 0,
.localGet 1,
.const (4294967288 : UInt32),
.and,
.localSet 2,
.localGet 2,
.localGet 3,
.const (16 : UInt32),
.add,
.leU,
.br_if 0,
.localGet 0,
.localGet 3,
.localGet 1,
.const (1 : UInt32),
.and,
.or,
.const (2 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 3,
.add,
.localSet 1,
.localGet 1,
.localGet 2,
.localGet 3,
.sub,
.localSet 3,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 2,
.add,
.localSet 2,
.localGet 2,
.localGet 2,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 1,
.localGet 3,
.call 39
],
.localGet 0,
.const (8 : UInt32),
.add,
.localSet 2
],
.localGet 2
]
def func32Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32, .i32, .i32, .i32, .i32], body := func32, results := [.i32] }
def func33 : Wasm.Program :=
[
.globalGet 0,
.const (16 : UInt32),
.sub,
.localSet 1,
.localGet 1,
.globalSet 0,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 0,
.const (245 : UInt32),
.ltU,
.br_if 0,
.block 0 0 [
.localGet 0,
.const (4294901708 : UInt32),
.leU,
.br_if 0,
.const (0 : UInt32),
.localSet 0,
.br 4
],
.localGet 0,
.const (11 : UInt32),
.add,
.localSet 2,
.localGet 2,
.const (4294967288 : UInt32),
.and,
.localSet 3,
.const (0 : UInt32),
.load32 (1049588 : UInt32),
.localSet 4,
.localGet 4,
.eqz,
.br_if 2,
.const (31 : UInt32),
.localSet 5,
.localGet 0,
.const (16777205 : UInt32),
.geU,
.br_if 1,
.localGet 3,
.const (38 : UInt32),
.localGet 2,
.const (8 : UInt32),
.shrU,
.clz,
.localSet 0,
.localGet 0,
.sub,
.shrU,
.const (1 : UInt32),
.and,
.localGet 0,
.const (1 : UInt32),
.shl,
.sub,
.const (62 : UInt32),
.add,
.localSet 5,
.br 1
],
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.localSet 6,
.localGet 6,
.const (16 : UInt32),
.localGet 0,
.const (11 : UInt32),
.add,
.const (504 : UInt32),
.and,
.localGet 0,
.const (11 : UInt32),
.ltU,
.select,
.localSet 3,
.localGet 3,
.const (3 : UInt32),
.shrU,
.localSet 2,
.localGet 2,
.shrU,
.localSet 0,
.localGet 0,
.const (3 : UInt32),
.and,
.eqz,
.br_if 0,
.localGet 0,
.const (4294967295 : UInt32),
.xor,
.const (1 : UInt32),
.and,
.localGet 2,
.add,
.localSet 7,
.localGet 7,
.const (3 : UInt32),
.shl,
.localSet 3,
.localGet 3,
.const (1049320 : UInt32),
.add,
.localSet 0,
.localGet 0,
.localGet 3,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 2,
.localGet 2,
.load32 (8 : UInt32),
.localSet 8,
.localGet 8,
.eq,
.br_if 1,
.localGet 8,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 8,
.store32 (8 : UInt32),
.br 2
],
.localGet 3,
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.leU,
.br_if 6,
.localGet 0,
.br_if 2,
.const (0 : UInt32),
.load32 (1049588 : UInt32),
.localSet 0,
.localGet 0,
.eqz,
.br_if 6,
.localGet 0,
.ctz,
.const (2 : UInt32),
.shl,
.const (1049176 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 8,
.localGet 8,
.load32 (4 : UInt32),
.const (4294967288 : UInt32),
.and,
.localGet 3,
.sub,
.localSet 2,
.localGet 8,
.localSet 6,
.loop 0 0 [
.block 0 0 [
.localGet 8,
.load32 (16 : UInt32),
.localSet 0,
.localGet 0,
.br_if 0,
.localGet 8,
.load32 (20 : UInt32),
.localSet 0,
.localGet 0,
.br_if 0,
.localGet 6,
.load32 (24 : UInt32),
.localSet 5,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 6,
.load32 (12 : UInt32),
.localSet 0,
.localGet 0,
.localGet 6,
.ne,
.br_if 0,
.localGet 6,
.const (20 : UInt32),
.const (16 : UInt32),
.localGet 6,
.load32 (20 : UInt32),
.localSet 0,
.localGet 0,
.select,
.add,
.load32 (0 : UInt32),
.localSet 8,
.localGet 8,
.br_if 1,
.const (0 : UInt32),
.localSet 0,
.br 2
],
.localGet 6,
.load32 (8 : UInt32),
.localSet 8,
.localGet 8,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 8,
.store32 (8 : UInt32),
.br 1
],
.localGet 6,
.const (20 : UInt32),
.add,
.localGet 6,
.const (16 : UInt32),
.add,
.localGet 0,
.select,
.localSet 7,
.loop 0 0 [
.localGet 7,
.localSet 9,
.localGet 8,
.localSet 0,
.localGet 0,
.const (20 : UInt32),
.add,
.localGet 0,
.const (16 : UInt32),
.add,
.localGet 0,
.load32 (20 : UInt32),
.localSet 8,
.localGet 8,
.select,
.localSet 7,
.localGet 0,
.const (20 : UInt32),
.const (16 : UInt32),
.localGet 8,
.select,
.add,
.load32 (0 : UInt32),
.localSet 8,
.localGet 8,
.br_if 0
],
.localGet 9,
.const (0 : UInt32),
.store32 (0 : UInt32)
],
.localGet 5,
.eqz,
.br_if 6,
.block 0 0 [
.block 0 0 [
.localGet 6,
.localGet 6,
.load32 (28 : UInt32),
.const (2 : UInt32),
.shl,
.const (1049176 : UInt32),
.add,
.localSet 8,
.localGet 8,
.load32 (0 : UInt32),
.eq,
.br_if 0,
.block 0 0 [
.localGet 5,
.load32 (16 : UInt32),
.localGet 6,
.eq,
.br_if 0,
.localGet 5,
.localGet 0,
.store32 (20 : UInt32),
.localGet 0,
.br_if 2,
.br 9
],
.localGet 5,
.localGet 0,
.store32 (16 : UInt32),
.localGet 0,
.br_if 1,
.br 8
],
.localGet 8,
.localGet 0,
.store32 (0 : UInt32),
.localGet 0,
.eqz,
.br_if 6
],
.localGet 0,
.localGet 5,
.store32 (24 : UInt32),
.block 0 0 [
.localGet 6,
.load32 (16 : UInt32),
.localSet 8,
.localGet 8,
.eqz,
.br_if 0,
.localGet 0,
.localGet 8,
.store32 (16 : UInt32),
.localGet 8,
.localGet 0,
.store32 (24 : UInt32)
],
.localGet 6,
.load32 (20 : UInt32),
.localSet 8,
.localGet 8,
.eqz,
.br_if 6,
.localGet 0,
.localGet 8,
.store32 (20 : UInt32),
.localGet 8,
.localGet 0,
.store32 (24 : UInt32),
.br 6
],
.localGet 0,
.load32 (4 : UInt32),
.const (4294967288 : UInt32),
.and,
.localGet 3,
.sub,
.localSet 8,
.localGet 8,
.localGet 2,
.localGet 8,
.localGet 2,
.ltU,
.localSet 8,
.localGet 8,
.select,
.localSet 2,
.localGet 0,
.localGet 6,
.localGet 8,
.select,
.localSet 6,
.localGet 0,
.localSet 8,
.br 0
]
],
.const (0 : UInt32),
.localGet 6,
.const (4294967294 : UInt32),
.localGet 7,
.rotl,
.and,
.store32 (1049584 : UInt32)
],
.localGet 2,
.const (8 : UInt32),
.add,
.localSet 0,
.localGet 2,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 2,
.localGet 3,
.add,
.localSet 3,
.localGet 3,
.localGet 3,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.br 5
],
.block 0 0 [
.block 0 0 [
.localGet 0,
.localGet 2,
.shl,
.const (2 : UInt32),
.localGet 2,
.shl,
.localSet 0,
.localGet 0,
.const (0 : UInt32),
.localGet 0,
.sub,
.or,
.and,
.ctz,
.localSet 9,
.localGet 9,
.const (3 : UInt32),
.shl,
.localSet 2,
.localGet 2,
.const (1049320 : UInt32),
.add,
.localSet 8,
.localGet 8,
.localGet 2,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 0,
.localGet 0,
.load32 (8 : UInt32),
.localSet 7,
.localGet 7,
.eq,
.br_if 0,
.localGet 7,
.localGet 8,
.store32 (12 : UInt32),
.localGet 8,
.localGet 7,
.store32 (8 : UInt32),
.br 1
],
.const (0 : UInt32),
.localGet 6,
.const (4294967294 : UInt32),
.localGet 9,
.rotl,
.and,
.store32 (1049584 : UInt32)
],
.localGet 0,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 3,
.add,
.localSet 6,
.localGet 6,
.localGet 2,
.localGet 3,
.sub,
.localSet 8,
.localGet 8,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 2,
.add,
.localGet 8,
.store32 (0 : UInt32),
.block 0 0 [
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.localSet 2,
.localGet 2,
.eqz,
.br_if 0,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.localSet 3,
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.localSet 7,
.localGet 7,
.const (1 : UInt32),
.localGet 2,
.const (3 : UInt32),
.shrU,
.shl,
.localSet 9,
.localGet 9,
.and,
.br_if 0,
.const (0 : UInt32),
.localGet 7,
.localGet 9,
.or,
.store32 (1049584 : UInt32),
.localGet 2,
.const (4294967288 : UInt32),
.and,
.const (1049320 : UInt32),
.add,
.localSet 2,
.localGet 2,
.localSet 7,
.br 1
],
.localGet 2,
.const (4294967288 : UInt32),
.and,
.localSet 2,
.localGet 2,
.const (1049320 : UInt32),
.add,
.localSet 7,
.localGet 2,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 2
],
.localGet 7,
.localGet 3,
.store32 (8 : UInt32),
.localGet 2,
.localGet 3,
.store32 (12 : UInt32),
.localGet 3,
.localGet 7,
.store32 (12 : UInt32),
.localGet 3,
.localGet 2,
.store32 (8 : UInt32)
],
.localGet 0,
.const (8 : UInt32),
.add,
.localSet 0,
.const (0 : UInt32),
.localGet 6,
.store32 (1049600 : UInt32),
.const (0 : UInt32),
.localGet 8,
.store32 (1049592 : UInt32),
.br 4
],
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049588 : UInt32),
.const (4294967294 : UInt32),
.localGet 6,
.load32 (28 : UInt32),
.rotl,
.and,
.store32 (1049588 : UInt32)
],
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 2,
.const (16 : UInt32),
.ltU,
.br_if 0,
.localGet 6,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 6,
.localGet 3,
.add,
.localSet 8,
.localGet 8,
.localGet 2,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 8,
.localGet 2,
.add,
.localGet 2,
.store32 (0 : UInt32),
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.localSet 7,
.localGet 7,
.eqz,
.br_if 1,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.localSet 0,
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.localSet 9,
.localGet 9,
.const (1 : UInt32),
.localGet 7,
.const (3 : UInt32),
.shrU,
.shl,
.localSet 5,
.localGet 5,
.and,
.br_if 0,
.const (0 : UInt32),
.localGet 9,
.localGet 5,
.or,
.store32 (1049584 : UInt32),
.localGet 7,
.const (4294967288 : UInt32),
.and,
.const (1049320 : UInt32),
.add,
.localSet 7,
.localGet 7,
.localSet 9,
.br 1
],
.localGet 7,
.const (4294967288 : UInt32),
.and,
.localSet 7,
.localGet 7,
.const (1049320 : UInt32),
.add,
.localSet 9,
.localGet 7,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 7
],
.localGet 9,
.localGet 0,
.store32 (8 : UInt32),
.localGet 7,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 9,
.store32 (12 : UInt32),
.localGet 0,
.localGet 7,
.store32 (8 : UInt32),
.br 1
],
.localGet 6,
.localGet 2,
.localGet 3,
.add,
.localSet 0,
.localGet 0,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 6,
.localGet 0,
.add,
.localSet 0,
.localGet 0,
.localGet 0,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.br 1
],
.const (0 : UInt32),
.localGet 8,
.store32 (1049600 : UInt32),
.const (0 : UInt32),
.localGet 2,
.store32 (1049592 : UInt32)
],
.localGet 6,
.const (8 : UInt32),
.add,
.localSet 0,
.localGet 0,
.eqz,
.br_if 1,
.br 2
],
.const (0 : UInt32),
.localGet 3,
.sub,
.localSet 2,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 5,
.const (2 : UInt32),
.shl,
.const (1049176 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 6,
.localGet 6,
.br_if 0,
.const (0 : UInt32),
.localSet 8,
.const (0 : UInt32),
.localSet 0,
.br 1
],
.const (0 : UInt32),
.localSet 8,
.localGet 3,
.const (0 : UInt32),
.const (25 : UInt32),
.localGet 5,
.const (1 : UInt32),
.shrU,
.sub,
.localGet 5,
.const (31 : UInt32),
.eq,
.select,
.shl,
.localSet 7,
.const (0 : UInt32),
.localSet 0,
.loop 0 0 [
.block 0 0 [
.localGet 6,
.localSet 6,
.localGet 6,
.load32 (4 : UInt32),
.const (4294967288 : UInt32),
.and,
.localSet 9,
.localGet 9,
.localGet 3,
.ltU,
.br_if 0,
.localGet 9,
.localGet 3,
.sub,
.localSet 9,
.localGet 9,
.localGet 2,
.geU,
.br_if 0,
.localGet 6,
.localSet 8,
.localGet 9,
.localSet 2,
.localGet 9,
.br_if 0,
.const (0 : UInt32),
.localSet 2,
.localGet 6,
.localSet 0,
.localGet 6,
.localSet 8,
.br 3
],
.localGet 6,
.load32 (20 : UInt32),
.localSet 9,
.localGet 9,
.localGet 0,
.localGet 9,
.localGet 6,
.localGet 7,
.const (29 : UInt32),
.shrU,
.const (4 : UInt32),
.and,
.add,
.load32 (16 : UInt32),
.localSet 6,
.localGet 6,
.ne,
.select,
.localGet 0,
.localGet 9,
.select,
.localSet 0,
.localGet 7,
.const (1 : UInt32),
.shl,
.localSet 7,
.localGet 6,
.br_if 0
]
],
.block 0 0 [
.localGet 0,
.localGet 8,
.or,
.br_if 0,
.const (0 : UInt32),
.localSet 8,
.const (2 : UInt32),
.localGet 5,
.shl,
.localSet 0,
.localGet 0,
.const (0 : UInt32),
.localGet 0,
.sub,
.or,
.localGet 4,
.and,
.localSet 0,
.localGet 0,
.eqz,
.br_if 3,
.localGet 0,
.ctz,
.const (2 : UInt32),
.shl,
.const (1049176 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 0
],
.localGet 0,
.eqz,
.br_if 1
],
.loop 0 0 [
.localGet 0,
.load32 (4 : UInt32),
.const (4294967288 : UInt32),
.and,
.localSet 6,
.localGet 6,
.localGet 3,
.sub,
.localSet 7,
.localGet 7,
.localGet 2,
.localGet 7,
.localGet 2,
.ltU,
.localSet 9,
.localGet 9,
.select,
.localSet 5,
.localGet 6,
.localGet 3,
.ltU,
.localSet 7,
.localGet 0,
.localGet 8,
.localGet 9,
.select,
.localSet 9,
.block 0 0 [
.localGet 0,
.load32 (16 : UInt32),
.localSet 6,
.localGet 6,
.br_if 0,
.localGet 0,
.load32 (20 : UInt32),
.localSet 6
],
.localGet 2,
.localGet 5,
.localGet 7,
.select,
.localSet 2,
.localGet 8,
.localGet 9,
.localGet 7,
.select,
.localSet 8,
.localGet 6,
.localSet 0,
.localGet 6,
.br_if 0
]
],
.localGet 8,
.eqz,
.br_if 0,
.block 0 0 [
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.localSet 0,
.localGet 0,
.localGet 3,
.ltU,
.br_if 0,
.localGet 2,
.localGet 0,
.localGet 3,
.sub,
.geU,
.br_if 1
],
.localGet 8,
.load32 (24 : UInt32),
.localSet 5,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 8,
.load32 (12 : UInt32),
.localSet 0,
.localGet 0,
.localGet 8,
.ne,
.br_if 0,
.localGet 8,
.const (20 : UInt32),
.const (16 : UInt32),
.localGet 8,
.load32 (20 : UInt32),
.localSet 0,
.localGet 0,
.select,
.add,
.load32 (0 : UInt32),
.localSet 6,
.localGet 6,
.br_if 1,
.const (0 : UInt32),
.localSet 0,
.br 2
],
.localGet 8,
.load32 (8 : UInt32),
.localSet 6,
.localGet 6,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 6,
.store32 (8 : UInt32),
.br 1
],
.localGet 8,
.const (20 : UInt32),
.add,
.localGet 8,
.const (16 : UInt32),
.add,
.localGet 0,
.select,
.localSet 7,
.loop 0 0 [
.localGet 7,
.localSet 9,
.localGet 6,
.localSet 0,
.localGet 0,
.const (20 : UInt32),
.add,
.localGet 0,
.const (16 : UInt32),
.add,
.localGet 0,
.load32 (20 : UInt32),
.localSet 6,
.localGet 6,
.select,
.localSet 7,
.localGet 0,
.const (20 : UInt32),
.const (16 : UInt32),
.localGet 6,
.select,
.add,
.load32 (0 : UInt32),
.localSet 6,
.localGet 6,
.br_if 0
],
.localGet 9,
.const (0 : UInt32),
.store32 (0 : UInt32)
],
.block 0 0 [
.localGet 5,
.eqz,
.br_if 0,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 8,
.localGet 8,
.load32 (28 : UInt32),
.const (2 : UInt32),
.shl,
.const (1049176 : UInt32),
.add,
.localSet 6,
.localGet 6,
.load32 (0 : UInt32),
.eq,
.br_if 0,
.block 0 0 [
.localGet 5,
.load32 (16 : UInt32),
.localGet 8,
.eq,
.br_if 0,
.localGet 5,
.localGet 0,
.store32 (20 : UInt32),
.localGet 0,
.br_if 2,
.br 4
],
.localGet 5,
.localGet 0,
.store32 (16 : UInt32),
.localGet 0,
.br_if 1,
.br 3
],
.localGet 6,
.localGet 0,
.store32 (0 : UInt32),
.localGet 0,
.eqz,
.br_if 1
],
.localGet 0,
.localGet 5,
.store32 (24 : UInt32),
.block 0 0 [
.localGet 8,
.load32 (16 : UInt32),
.localSet 6,
.localGet 6,
.eqz,
.br_if 0,
.localGet 0,
.localGet 6,
.store32 (16 : UInt32),
.localGet 6,
.localGet 0,
.store32 (24 : UInt32)
],
.localGet 8,
.load32 (20 : UInt32),
.localSet 6,
.localGet 6,
.eqz,
.br_if 1,
.localGet 0,
.localGet 6,
.store32 (20 : UInt32),
.localGet 6,
.localGet 0,
.store32 (24 : UInt32),
.br 1
],
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049588 : UInt32),
.const (4294967294 : UInt32),
.localGet 8,
.load32 (28 : UInt32),
.rotl,
.and,
.store32 (1049588 : UInt32)
],
.block 0 0 [
.block 0 0 [
.localGet 2,
.const (16 : UInt32),
.ltU,
.br_if 0,
.localGet 8,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 8,
.localGet 3,
.add,
.localSet 0,
.localGet 0,
.localGet 2,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 2,
.add,
.localGet 2,
.store32 (0 : UInt32),
.block 0 0 [
.localGet 2,
.const (256 : UInt32),
.ltU,
.br_if 0,
.localGet 0,
.localGet 2,
.call 43,
.br 2
],
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.localSet 6,
.localGet 6,
.const (1 : UInt32),
.localGet 2,
.const (3 : UInt32),
.shrU,
.shl,
.localSet 7,
.localGet 7,
.and,
.br_if 0,
.const (0 : UInt32),
.localGet 6,
.localGet 7,
.or,
.store32 (1049584 : UInt32),
.localGet 2,
.const (248 : UInt32),
.and,
.const (1049320 : UInt32),
.add,
.localSet 2,
.localGet 2,
.localSet 6,
.br 1
],
.localGet 2,
.const (248 : UInt32),
.and,
.localSet 2,
.localGet 2,
.const (1049320 : UInt32),
.add,
.localSet 6,
.localGet 2,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 2
],
.localGet 6,
.localGet 0,
.store32 (8 : UInt32),
.localGet 2,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 6,
.store32 (12 : UInt32),
.localGet 0,
.localGet 2,
.store32 (8 : UInt32),
.br 1
],
.localGet 8,
.localGet 2,
.localGet 3,
.add,
.localSet 0,
.localGet 0,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 8,
.localGet 0,
.add,
.localSet 0,
.localGet 0,
.localGet 0,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32)
],
.localGet 8,
.const (8 : UInt32),
.add,
.localSet 0,
.localGet 0,
.br_if 1
],
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.localSet 0,
.localGet 0,
.localGet 3,
.geU,
.br_if 0,
.block 0 0 [
.const (0 : UInt32),
.load32 (1049596 : UInt32),
.localSet 0,
.localGet 0,
.localGet 3,
.gtU,
.br_if 0,
.localGet 1,
.const (4 : UInt32),
.add,
.const (1049628 : UInt32),
.localGet 3,
.const (65583 : UInt32),
.add,
.const (4294901760 : UInt32),
.and,
.call 58,
.block 0 0 [
.localGet 1,
.load32 (4 : UInt32),
.localSet 6,
.localGet 6,
.br_if 0,
.const (0 : UInt32),
.localSet 0,
.br 8
],
.localGet 1,
.load32 (12 : UInt32),
.localSet 5,
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049608 : UInt32),
.localGet 1,
.load32 (8 : UInt32),
.localSet 9,
.localGet 9,
.add,
.localSet 0,
.localGet 0,
.store32 (1049608 : UInt32),
.const (0 : UInt32),
.localGet 0,
.const (0 : UInt32),
.load32 (1049612 : UInt32),
.localSet 2,
.localGet 2,
.localGet 0,
.localGet 2,
.gtU,
.select,
.store32 (1049612 : UInt32),
.block 0 0 [
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.localSet 2,
.localGet 2,
.eqz,
.br_if 0,
.const (1049304 : UInt32),
.localSet 0,
.loop 0 0 [
.localGet 6,
.localGet 0,
.load32 (0 : UInt32),
.localSet 8,
.localGet 8,
.localGet 0,
.load32 (4 : UInt32),
.localSet 7,
.localGet 7,
.add,
.eq,
.br_if 2,
.localGet 0,
.load32 (8 : UInt32),
.localSet 0,
.localGet 0,
.br_if 0,
.br 3
]
],
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049620 : UInt32),
.localSet 0,
.localGet 0,
.eqz,
.br_if 0,
.localGet 6,
.localGet 0,
.geU,
.br_if 1
],
.const (0 : UInt32),
.localGet 6,
.store32 (1049620 : UInt32)
],
.const (0 : UInt32),
.const (4095 : UInt32),
.store32 (1049624 : UInt32),
.const (0 : UInt32),
.localGet 5,
.store32 (1049316 : UInt32),
.const (0 : UInt32),
.localGet 9,
.store32 (1049308 : UInt32),
.const (0 : UInt32),
.localGet 6,
.store32 (1049304 : UInt32),
.const (0 : UInt32),
.const (1049320 : UInt32),
.store32 (1049332 : UInt32),
.const (0 : UInt32),
.const (1049328 : UInt32),
.store32 (1049340 : UInt32),
.const (0 : UInt32),
.const (1049320 : UInt32),
.store32 (1049328 : UInt32),
.const (0 : UInt32),
.const (1049336 : UInt32),
.store32 (1049348 : UInt32),
.const (0 : UInt32),
.const (1049328 : UInt32),
.store32 (1049336 : UInt32),
.const (0 : UInt32),
.const (1049344 : UInt32),
.store32 (1049356 : UInt32),
.const (0 : UInt32),
.const (1049336 : UInt32),
.store32 (1049344 : UInt32),
.const (0 : UInt32),
.const (1049352 : UInt32),
.store32 (1049364 : UInt32),
.const (0 : UInt32),
.const (1049344 : UInt32),
.store32 (1049352 : UInt32),
.const (0 : UInt32),
.const (1049360 : UInt32),
.store32 (1049372 : UInt32),
.const (0 : UInt32),
.const (1049352 : UInt32),
.store32 (1049360 : UInt32),
.const (0 : UInt32),
.const (1049368 : UInt32),
.store32 (1049380 : UInt32),
.const (0 : UInt32),
.const (1049360 : UInt32),
.store32 (1049368 : UInt32),
.const (0 : UInt32),
.const (1049376 : UInt32),
.store32 (1049388 : UInt32),
.const (0 : UInt32),
.const (1049368 : UInt32),
.store32 (1049376 : UInt32),
.const (0 : UInt32),
.const (1049384 : UInt32),
.store32 (1049396 : UInt32),
.const (0 : UInt32),
.const (1049376 : UInt32),
.store32 (1049384 : UInt32),
.const (0 : UInt32),
.const (1049384 : UInt32),
.store32 (1049392 : UInt32),
.const (0 : UInt32),
.const (1049392 : UInt32),
.store32 (1049404 : UInt32),
.const (0 : UInt32),
.const (1049392 : UInt32),
.store32 (1049400 : UInt32),
.const (0 : UInt32),
.const (1049400 : UInt32),
.store32 (1049412 : UInt32),
.const (0 : UInt32),
.const (1049400 : UInt32),
.store32 (1049408 : UInt32),
.const (0 : UInt32),
.const (1049408 : UInt32),
.store32 (1049420 : UInt32),
.const (0 : UInt32),
.const (1049408 : UInt32),
.store32 (1049416 : UInt32),
.const (0 : UInt32),
.const (1049416 : UInt32),
.store32 (1049428 : UInt32),
.const (0 : UInt32),
.const (1049416 : UInt32),
.store32 (1049424 : UInt32),
.const (0 : UInt32),
.const (1049424 : UInt32),
.store32 (1049436 : UInt32),
.const (0 : UInt32),
.const (1049424 : UInt32),
.store32 (1049432 : UInt32),
.const (0 : UInt32),
.const (1049432 : UInt32),
.store32 (1049444 : UInt32),
.const (0 : UInt32),
.const (1049432 : UInt32),
.store32 (1049440 : UInt32),
.const (0 : UInt32),
.const (1049440 : UInt32),
.store32 (1049452 : UInt32),
.const (0 : UInt32),
.const (1049440 : UInt32),
.store32 (1049448 : UInt32),
.const (0 : UInt32),
.const (1049448 : UInt32),
.store32 (1049460 : UInt32),
.const (0 : UInt32),
.const (1049456 : UInt32),
.store32 (1049468 : UInt32),
.const (0 : UInt32),
.const (1049448 : UInt32),
.store32 (1049456 : UInt32),
.const (0 : UInt32),
.const (1049464 : UInt32),
.store32 (1049476 : UInt32),
.const (0 : UInt32),
.const (1049456 : UInt32),
.store32 (1049464 : UInt32),
.const (0 : UInt32),
.const (1049472 : UInt32),
.store32 (1049484 : UInt32),
.const (0 : UInt32),
.const (1049464 : UInt32),
.store32 (1049472 : UInt32),
.const (0 : UInt32),
.const (1049480 : UInt32),
.store32 (1049492 : UInt32),
.const (0 : UInt32),
.const (1049472 : UInt32),
.store32 (1049480 : UInt32),
.const (0 : UInt32),
.const (1049488 : UInt32),
.store32 (1049500 : UInt32),
.const (0 : UInt32),
.const (1049480 : UInt32),
.store32 (1049488 : UInt32),
.const (0 : UInt32),
.const (1049496 : UInt32),
.store32 (1049508 : UInt32),
.const (0 : UInt32),
.const (1049488 : UInt32),
.store32 (1049496 : UInt32),
.const (0 : UInt32),
.const (1049504 : UInt32),
.store32 (1049516 : UInt32),
.const (0 : UInt32),
.const (1049496 : UInt32),
.store32 (1049504 : UInt32),
.const (0 : UInt32),
.const (1049512 : UInt32),
.store32 (1049524 : UInt32),
.const (0 : UInt32),
.const (1049504 : UInt32),
.store32 (1049512 : UInt32),
.const (0 : UInt32),
.const (1049520 : UInt32),
.store32 (1049532 : UInt32),
.const (0 : UInt32),
.const (1049512 : UInt32),
.store32 (1049520 : UInt32),
.const (0 : UInt32),
.const (1049528 : UInt32),
.store32 (1049540 : UInt32),
.const (0 : UInt32),
.const (1049520 : UInt32),
.store32 (1049528 : UInt32),
.const (0 : UInt32),
.const (1049536 : UInt32),
.store32 (1049548 : UInt32),
.const (0 : UInt32),
.const (1049528 : UInt32),
.store32 (1049536 : UInt32),
.const (0 : UInt32),
.const (1049544 : UInt32),
.store32 (1049556 : UInt32),
.const (0 : UInt32),
.const (1049536 : UInt32),
.store32 (1049544 : UInt32),
.const (0 : UInt32),
.const (1049552 : UInt32),
.store32 (1049564 : UInt32),
.const (0 : UInt32),
.const (1049544 : UInt32),
.store32 (1049552 : UInt32),
.const (0 : UInt32),
.const (1049560 : UInt32),
.store32 (1049572 : UInt32),
.const (0 : UInt32),
.const (1049552 : UInt32),
.store32 (1049560 : UInt32),
.const (0 : UInt32),
.const (1049568 : UInt32),
.store32 (1049580 : UInt32),
.const (0 : UInt32),
.const (1049560 : UInt32),
.store32 (1049568 : UInt32),
.const (0 : UInt32),
.localGet 6,
.const (15 : UInt32),
.add,
.const (4294967288 : UInt32),
.and,
.localSet 0,
.localGet 0,
.const (4294967288 : UInt32),
.add,
.localSet 2,
.localGet 2,
.store32 (1049604 : UInt32),
.const (0 : UInt32),
.const (1049568 : UInt32),
.store32 (1049576 : UInt32),
.const (0 : UInt32),
.localGet 6,
.localGet 0,
.sub,
.localGet 9,
.const (4294967256 : UInt32),
.add,
.localSet 0,
.localGet 0,
.add,
.const (8 : UInt32),
.add,
.localSet 8,
.localGet 8,
.store32 (1049596 : UInt32),
.localGet 2,
.localGet 8,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 6,
.localGet 0,
.add,
.const (40 : UInt32),
.store32 (4 : UInt32),
.const (0 : UInt32),
.const (2097152 : UInt32),
.store32 (1049616 : UInt32),
.br 8
],
.localGet 2,
.localGet 6,
.geU,
.br_if 0,
.localGet 8,
.localGet 2,
.gtU,
.br_if 0,
.localGet 0,
.load32 (12 : UInt32),
.localSet 8,
.localGet 8,
.const (1 : UInt32),
.and,
.br_if 0,
.localGet 8,
.const (1 : UInt32),
.shrU,
.localGet 5,
.eq,
.br_if 3
],
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049620 : UInt32),
.localSet 0,
.localGet 0,
.localGet 6,
.localGet 0,
.localGet 6,
.ltU,
.select,
.store32 (1049620 : UInt32),
.localGet 6,
.localGet 9,
.add,
.localSet 8,
.const (1049304 : UInt32),
.localSet 0,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.loop 0 0 [
.localGet 0,
.load32 (0 : UInt32),
.localSet 7,
.localGet 7,
.localGet 8,
.eq,
.br_if 1,
.localGet 0,
.load32 (8 : UInt32),
.localSet 0,
.localGet 0,
.br_if 0,
.br 2
]
],
.localGet 0,
.load32 (12 : UInt32),
.localSet 8,
.localGet 8,
.const (1 : UInt32),
.and,
.br_if 0,
.localGet 8,
.const (1 : UInt32),
.shrU,
.localGet 5,
.eq,
.br_if 1
],
.const (1049304 : UInt32),
.localSet 0,
.block 0 0 [
.loop 0 0 [
.block 0 0 [
.localGet 0,
.load32 (0 : UInt32),
.localSet 8,
.localGet 8,
.localGet 2,
.gtU,
.br_if 0,
.localGet 2,
.localGet 8,
.localGet 0,
.load32 (4 : UInt32),
.add,
.localSet 8,
.localGet 8,
.ltU,
.br_if 2
],
.localGet 0,
.load32 (8 : UInt32),
.localSet 0,
.br 0
]
],
.const (0 : UInt32),
.localGet 6,
.const (15 : UInt32),
.add,
.const (4294967288 : UInt32),
.and,
.localSet 0,
.localGet 0,
.const (4294967288 : UInt32),
.add,
.localSet 7,
.localGet 7,
.store32 (1049604 : UInt32),
.const (0 : UInt32),
.localGet 6,
.localGet 0,
.sub,
.localGet 9,
.const (4294967256 : UInt32),
.add,
.localSet 0,
.localGet 0,
.add,
.const (8 : UInt32),
.add,
.localSet 4,
.localGet 4,
.store32 (1049596 : UInt32),
.localGet 7,
.localGet 4,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 6,
.localGet 0,
.add,
.const (40 : UInt32),
.store32 (4 : UInt32),
.const (0 : UInt32),
.const (2097152 : UInt32),
.store32 (1049616 : UInt32),
.localGet 2,
.localGet 8,
.const (4294967264 : UInt32),
.add,
.const (4294967288 : UInt32),
.and,
.const (4294967288 : UInt32),
.add,
.localSet 0,
.localGet 0,
.localGet 0,
.localGet 2,
.const (16 : UInt32),
.add,
.ltU,
.select,
.localSet 7,
.localGet 7,
.const (27 : UInt32),
.store32 (4 : UInt32),
.const (0 : UInt32),
.load64 (1049304 : UInt32),
.localSet 10,
.localGet 7,
.const (16 : UInt32),
.add,
.const (0 : UInt32),
.load64 (1049312 : UInt32),
.store64 (0 : UInt32),
.localGet 7,
.const (8 : UInt32),
.add,
.localSet 0,
.localGet 0,
.localGet 10,
.store64 (0 : UInt32),
.const (0 : UInt32),
.localGet 5,
.store32 (1049316 : UInt32),
.const (0 : UInt32),
.localGet 9,
.store32 (1049308 : UInt32),
.const (0 : UInt32),
.localGet 6,
.store32 (1049304 : UInt32),
.const (0 : UInt32),
.localGet 0,
.store32 (1049312 : UInt32),
.localGet 7,
.const (28 : UInt32),
.add,
.localSet 0,
.loop 0 0 [
.localGet 0,
.const (7 : UInt32),
.store32 (0 : UInt32),
.localGet 0,
.const (4 : UInt32),
.add,
.localSet 0,
.localGet 0,
.localGet 8,
.ltU,
.br_if 0
],
.localGet 7,
.localGet 2,
.eq,
.br_if 7,
.localGet 7,
.localGet 7,
.load32 (4 : UInt32),
.const (4294967294 : UInt32),
.and,
.store32 (4 : UInt32),
.localGet 2,
.localGet 7,
.localGet 2,
.sub,
.localSet 0,
.localGet 0,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 7,
.localGet 0,
.store32 (0 : UInt32),
.block 0 0 [
.localGet 0,
.const (256 : UInt32),
.ltU,
.br_if 0,
.localGet 2,
.localGet 0,
.call 43,
.br 8
],
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.localSet 8,
.localGet 8,
.const (1 : UInt32),
.localGet 0,
.const (3 : UInt32),
.shrU,
.shl,
.localSet 6,
.localGet 6,
.and,
.br_if 0,
.const (0 : UInt32),
.localGet 8,
.localGet 6,
.or,
.store32 (1049584 : UInt32),
.localGet 0,
.const (248 : UInt32),
.and,
.const (1049320 : UInt32),
.add,
.localSet 0,
.localGet 0,
.localSet 8,
.br 1
],
.localGet 0,
.const (248 : UInt32),
.and,
.localSet 0,
.localGet 0,
.const (1049320 : UInt32),
.add,
.localSet 8,
.localGet 0,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 0
],
.localGet 8,
.localGet 2,
.store32 (8 : UInt32),
.localGet 0,
.localGet 2,
.store32 (12 : UInt32),
.localGet 2,
.localGet 8,
.store32 (12 : UInt32),
.localGet 2,
.localGet 0,
.store32 (8 : UInt32),
.br 7
],
.localGet 0,
.localGet 6,
.store32 (0 : UInt32),
.localGet 0,
.localGet 0,
.load32 (4 : UInt32),
.localGet 9,
.add,
.store32 (4 : UInt32),
.localGet 6,
.const (15 : UInt32),
.add,
.const (4294967288 : UInt32),
.and,
.const (4294967288 : UInt32),
.add,
.localSet 8,
.localGet 8,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 7,
.const (15 : UInt32),
.add,
.const (4294967288 : UInt32),
.and,
.const (4294967288 : UInt32),
.add,
.localSet 2,
.localGet 2,
.localGet 8,
.localGet 3,
.add,
.localSet 0,
.localGet 0,
.sub,
.localSet 3,
.localGet 2,
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.eq,
.br_if 3,
.localGet 2,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.eq,
.br_if 4,
.block 0 0 [
.localGet 2,
.load32 (4 : UInt32),
.localSet 6,
.localGet 6,
.const (3 : UInt32),
.and,
.const (1 : UInt32),
.ne,
.br_if 0,
.localGet 2,
.localGet 6,
.const (4294967288 : UInt32),
.and,
.localSet 6,
.localGet 6,
.call 38,
.localGet 6,
.localGet 3,
.add,
.localSet 3,
.localGet 2,
.localGet 6,
.add,
.localSet 2,
.localGet 2,
.load32 (4 : UInt32),
.localSet 6
],
.localGet 2,
.localGet 6,
.const (4294967294 : UInt32),
.and,
.store32 (4 : UInt32),
.localGet 0,
.localGet 3,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 3,
.add,
.localGet 3,
.store32 (0 : UInt32),
.block 0 0 [
.localGet 3,
.const (256 : UInt32),
.ltU,
.br_if 0,
.localGet 0,
.localGet 3,
.call 43,
.br 6
],
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.localSet 2,
.localGet 2,
.const (1 : UInt32),
.localGet 3,
.const (3 : UInt32),
.shrU,
.shl,
.localSet 6,
.localGet 6,
.and,
.br_if 0,
.const (0 : UInt32),
.localGet 2,
.localGet 6,
.or,
.store32 (1049584 : UInt32),
.localGet 3,
.const (248 : UInt32),
.and,
.const (1049320 : UInt32),
.add,
.localSet 3,
.localGet 3,
.localSet 2,
.br 1
],
.localGet 3,
.const (248 : UInt32),
.and,
.localSet 3,
.localGet 3,
.const (1049320 : UInt32),
.add,
.localSet 2,
.localGet 3,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 3
],
.localGet 2,
.localGet 0,
.store32 (8 : UInt32),
.localGet 3,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 2,
.store32 (12 : UInt32),
.localGet 0,
.localGet 3,
.store32 (8 : UInt32),
.br 5
],
.const (0 : UInt32),
.localGet 0,
.localGet 3,
.sub,
.localSet 2,
.localGet 2,
.store32 (1049596 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.localSet 0,
.localGet 0,
.localGet 3,
.add,
.localSet 8,
.localGet 8,
.store32 (1049604 : UInt32),
.localGet 8,
.localGet 2,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.const (8 : UInt32),
.add,
.localSet 0,
.br 6
],
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.localSet 2,
.block 0 0 [
.block 0 0 [
.localGet 0,
.localGet 3,
.sub,
.localSet 8,
.localGet 8,
.const (15 : UInt32),
.gtU,
.br_if 0,
.const (0 : UInt32),
.const (0 : UInt32),
.store32 (1049600 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.store32 (1049592 : UInt32),
.localGet 2,
.localGet 0,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 2,
.localGet 0,
.add,
.localSet 0,
.localGet 0,
.localGet 0,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.br 1
],
.const (0 : UInt32),
.localGet 8,
.store32 (1049592 : UInt32),
.const (0 : UInt32),
.localGet 2,
.localGet 3,
.add,
.localSet 6,
.localGet 6,
.store32 (1049600 : UInt32),
.localGet 6,
.localGet 8,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 2,
.localGet 0,
.add,
.localGet 8,
.store32 (0 : UInt32),
.localGet 2,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32)
],
.localGet 2,
.const (8 : UInt32),
.add,
.localSet 0,
.br 5
],
.localGet 0,
.localGet 7,
.localGet 9,
.add,
.store32 (4 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.localSet 0,
.localGet 0,
.const (15 : UInt32),
.add,
.const (4294967288 : UInt32),
.and,
.localSet 2,
.localGet 2,
.const (4294967288 : UInt32),
.add,
.localSet 8,
.localGet 8,
.store32 (1049604 : UInt32),
.const (0 : UInt32),
.localGet 0,
.localGet 2,
.sub,
.const (0 : UInt32),
.load32 (1049596 : UInt32),
.localGet 9,
.add,
.localSet 2,
.localGet 2,
.add,
.const (8 : UInt32),
.add,
.localSet 6,
.localGet 6,
.store32 (1049596 : UInt32),
.localGet 8,
.localGet 6,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 2,
.add,
.const (40 : UInt32),
.store32 (4 : UInt32),
.const (0 : UInt32),
.const (2097152 : UInt32),
.store32 (1049616 : UInt32),
.br 3
],
.const (0 : UInt32),
.localGet 0,
.store32 (1049604 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049596 : UInt32),
.localGet 3,
.add,
.localSet 3,
.localGet 3,
.store32 (1049596 : UInt32),
.localGet 0,
.localGet 3,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.br 1
],
.const (0 : UInt32),
.localGet 0,
.store32 (1049600 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.localGet 3,
.add,
.localSet 3,
.localGet 3,
.store32 (1049592 : UInt32),
.localGet 0,
.localGet 3,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 3,
.add,
.localGet 3,
.store32 (0 : UInt32)
],
.localGet 8,
.const (8 : UInt32),
.add,
.localSet 0,
.br 1
],
.const (0 : UInt32),
.localSet 0,
.const (0 : UInt32),
.load32 (1049596 : UInt32),
.localSet 2,
.localGet 2,
.localGet 3,
.leU,
.br_if 0,
.const (0 : UInt32),
.localGet 2,
.localGet 3,
.sub,
.localSet 2,
.localGet 2,
.store32 (1049596 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.localSet 0,
.localGet 0,
.localGet 3,
.add,
.localSet 8,
.localGet 8,
.store32 (1049604 : UInt32),
.localGet 8,
.localGet 2,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 3,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.const (8 : UInt32),
.add,
.localSet 0
],
.localGet 1,
.const (16 : UInt32),
.add,
.globalSet 0,
.localGet 0
]
def func33Def : Wasm.Function :=
{ params := [.i32], locals := [.i32, .i32, .i32, .i32, .i32, .i32, .i32, .i32, .i32, .i64], body := func33, results := [.i32] }
def func34 : Wasm.Program :=
[
.unreachable
]
def func34Def : Wasm.Function :=
{ params := [], locals := [], body := func34, results := [] }
def func35 : Wasm.Program :=
[
.block 0 0 [
.block 0 0 [
.localGet 0,
.const (4294967292 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 3,
.localGet 3,
.const (4294967288 : UInt32),
.and,
.localSet 4,
.localGet 4,
.const (4 : UInt32),
.const (8 : UInt32),
.localGet 3,
.const (3 : UInt32),
.and,
.localSet 3,
.localGet 3,
.select,
.localGet 1,
.add,
.ltU,
.br_if 0,
.block 0 0 [
.localGet 3,
.eqz,
.br_if 0,
.localGet 4,
.localGet 1,
.const (39 : UInt32),
.add,
.gtU,
.br_if 2
],
.localGet 0,
.call 36,
.ret
],
.const (1048787 : UInt32),
.const (46 : UInt32),
.const (1048836 : UInt32),
.call 62,
.unreachable
],
.const (1048852 : UInt32),
.const (46 : UInt32),
.const (1048900 : UInt32),
.call 62,
.unreachable
]
def func35Def : Wasm.Function :=
{ params := [.i32, .i32, .i32], locals := [.i32, .i32], body := func35, results := [] }
def func36 : Wasm.Program :=
[
.localGet 0,
.const (4294967288 : UInt32),
.add,
.localSet 1,
.localGet 1,
.localGet 0,
.const (4294967292 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 2,
.localGet 2,
.const (4294967288 : UInt32),
.and,
.localSet 0,
.localGet 0,
.add,
.localSet 3,
.block 0 0 [
.block 0 0 [
.localGet 2,
.const (1 : UInt32),
.and,
.br_if 0,
.localGet 2,
.const (2 : UInt32),
.and,
.eqz,
.br_if 1,
.localGet 1,
.load32 (0 : UInt32),
.localSet 2,
.localGet 2,
.localGet 0,
.add,
.localSet 0,
.block 0 0 [
.localGet 1,
.localGet 2,
.sub,
.localSet 1,
.localGet 1,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.ne,
.br_if 0,
.localGet 3,
.load32 (4 : UInt32),
.const (3 : UInt32),
.and,
.const (3 : UInt32),
.ne,
.br_if 1,
.const (0 : UInt32),
.localGet 0,
.store32 (1049592 : UInt32),
.localGet 3,
.localGet 3,
.load32 (4 : UInt32),
.const (4294967294 : UInt32),
.and,
.store32 (4 : UInt32),
.localGet 1,
.localGet 0,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 3,
.localGet 0,
.store32 (0 : UInt32),
.ret
],
.localGet 1,
.localGet 2,
.call 38
],
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 3,
.load32 (4 : UInt32),
.localSet 2,
.localGet 2,
.const (2 : UInt32),
.and,
.br_if 0,
.localGet 3,
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.eq,
.br_if 2,
.localGet 3,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.eq,
.br_if 3,
.localGet 3,
.localGet 2,
.const (4294967288 : UInt32),
.and,
.localSet 2,
.localGet 2,
.call 38,
.localGet 1,
.localGet 2,
.localGet 0,
.add,
.localSet 0,
.localGet 0,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 1,
.localGet 0,
.add,
.localGet 0,
.store32 (0 : UInt32),
.localGet 1,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.ne,
.br_if 1,
.const (0 : UInt32),
.localGet 0,
.store32 (1049592 : UInt32),
.ret
],
.localGet 3,
.localGet 2,
.const (4294967294 : UInt32),
.and,
.store32 (4 : UInt32),
.localGet 1,
.localGet 0,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 1,
.localGet 0,
.add,
.localGet 0,
.store32 (0 : UInt32)
],
.localGet 0,
.const (256 : UInt32),
.ltU,
.br_if 4,
.localGet 1,
.localGet 0,
.call 43,
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049624 : UInt32),
.const (4294967295 : UInt32),
.add,
.localSet 1,
.localGet 1,
.store32 (1049624 : UInt32),
.localGet 1,
.br_if 6,
.const (0 : UInt32),
.load32 (1049312 : UInt32),
.localSet 0,
.localGet 0,
.br_if 2,
.const (4095 : UInt32),
.localSet 1,
.br 3
],
.const (0 : UInt32),
.localGet 1,
.store32 (1049604 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049596 : UInt32),
.localGet 0,
.add,
.localSet 0,
.localGet 0,
.store32 (1049596 : UInt32),
.localGet 1,
.localGet 0,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.block 0 0 [
.localGet 1,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.ne,
.br_if 0,
.const (0 : UInt32),
.const (0 : UInt32),
.store32 (1049592 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.store32 (1049600 : UInt32)
],
.localGet 0,
.const (0 : UInt32),
.load32 (1049616 : UInt32),
.localSet 2,
.localGet 2,
.leU,
.br_if 5,
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.localSet 0,
.localGet 0,
.eqz,
.br_if 5,
.const (0 : UInt32),
.load32 (1049596 : UInt32),
.localSet 4,
.localGet 4,
.const (41 : UInt32),
.ltU,
.br_if 4,
.const (1049304 : UInt32),
.localSet 1,
.loop 0 0 [
.block 0 0 [
.localGet 1,
.load32 (0 : UInt32),
.localSet 3,
.localGet 3,
.localGet 0,
.gtU,
.br_if 0,
.localGet 0,
.localGet 3,
.localGet 1,
.load32 (4 : UInt32),
.add,
.ltU,
.br_if 6
],
.localGet 1,
.load32 (8 : UInt32),
.localSet 1,
.br 0
]
],
.const (0 : UInt32),
.localGet 1,
.store32 (1049600 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.localGet 0,
.add,
.localSet 0,
.localGet 0,
.store32 (1049592 : UInt32),
.localGet 1,
.localGet 0,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 1,
.localGet 0,
.add,
.localGet 0,
.store32 (0 : UInt32),
.ret
],
.const (0 : UInt32),
.localSet 1,
.loop 0 0 [
.localGet 1,
.const (1 : UInt32),
.add,
.localSet 1,
.localGet 0,
.load32 (8 : UInt32),
.localSet 0,
.localGet 0,
.br_if 0
],
.localGet 1,
.const (4095 : UInt32),
.localGet 1,
.const (4095 : UInt32),
.gtU,
.select,
.localSet 1
],
.const (0 : UInt32),
.localGet 1,
.store32 (1049624 : UInt32),
.ret
],
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.localSet 3,
.localGet 3,
.const (1 : UInt32),
.localGet 0,
.const (3 : UInt32),
.shrU,
.shl,
.localSet 2,
.localGet 2,
.and,
.br_if 0,
.const (0 : UInt32),
.localGet 3,
.localGet 2,
.or,
.store32 (1049584 : UInt32),
.localGet 0,
.const (248 : UInt32),
.and,
.const (1049320 : UInt32),
.add,
.localSet 0,
.localGet 0,
.localSet 3,
.br 1
],
.localGet 0,
.const (248 : UInt32),
.and,
.localSet 0,
.localGet 0,
.const (1049320 : UInt32),
.add,
.localSet 3,
.localGet 0,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 0
],
.localGet 3,
.localGet 1,
.store32 (8 : UInt32),
.localGet 0,
.localGet 1,
.store32 (12 : UInt32),
.localGet 1,
.localGet 3,
.store32 (12 : UInt32),
.localGet 1,
.localGet 0,
.store32 (8 : UInt32),
.ret
],
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049312 : UInt32),
.localSet 0,
.localGet 0,
.br_if 0,
.const (4095 : UInt32),
.localSet 1,
.br 1
],
.const (0 : UInt32),
.localSet 1,
.loop 0 0 [
.localGet 1,
.const (1 : UInt32),
.add,
.localSet 1,
.localGet 0,
.load32 (8 : UInt32),
.localSet 0,
.localGet 0,
.br_if 0
],
.localGet 1,
.const (4095 : UInt32),
.localGet 1,
.const (4095 : UInt32),
.gtU,
.select,
.localSet 1
],
.const (0 : UInt32),
.localGet 1,
.store32 (1049624 : UInt32),
.localGet 4,
.localGet 2,
.leU,
.br_if 0,
.const (0 : UInt32),
.const (4294967295 : UInt32),
.store32 (1049616 : UInt32)
]
]
def func36Def : Wasm.Function :=
{ params := [.i32], locals := [.i32, .i32, .i32, .i32], body := func36, results := [] }
def func37 : Wasm.Program :=
[
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 0,
.const (4294967292 : UInt32),
.add,
.localSet 4,
.localGet 4,
.load32 (0 : UInt32),
.localSet 5,
.localGet 5,
.const (4294967288 : UInt32),
.and,
.localSet 6,
.localGet 6,
.const (4 : UInt32),
.const (8 : UInt32),
.localGet 5,
.const (3 : UInt32),
.and,
.localSet 7,
.localGet 7,
.select,
.localGet 1,
.add,
.ltU,
.br_if 0,
.localGet 1,
.const (39 : UInt32),
.add,
.localSet 8,
.block 0 0 [
.localGet 7,
.eqz,
.br_if 0,
.localGet 6,
.localGet 8,
.gtU,
.br_if 2
],
.block 0 0 [
.block 0 0 [
.localGet 2,
.const (9 : UInt32),
.ltU,
.br_if 0,
.localGet 2,
.localGet 3,
.call 32,
.localSet 2,
.localGet 2,
.br_if 1,
.const (0 : UInt32),
.ret
],
.const (0 : UInt32),
.localSet 2,
.localGet 3,
.const (4294901708 : UInt32),
.gtU,
.br_if 8,
.const (16 : UInt32),
.localGet 3,
.const (11 : UInt32),
.add,
.const (4294967288 : UInt32),
.and,
.localGet 3,
.const (11 : UInt32),
.ltU,
.select,
.localSet 1,
.localGet 0,
.const (4294967288 : UInt32),
.add,
.localSet 8,
.block 0 0 [
.localGet 7,
.br_if 0,
.localGet 1,
.const (256 : UInt32),
.ltU,
.br_if 7,
.localGet 8,
.eqz,
.br_if 7,
.localGet 6,
.localGet 1,
.leU,
.br_if 7,
.localGet 6,
.localGet 1,
.sub,
.const (131072 : UInt32),
.gtU,
.br_if 7,
.localGet 0,
.ret
],
.localGet 8,
.localGet 6,
.add,
.localSet 7,
.block 0 0 [
.block 0 0 [
.localGet 6,
.localGet 1,
.geU,
.br_if 0,
.localGet 7,
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.eq,
.br_if 1,
.block 0 0 [
.localGet 7,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.eq,
.br_if 0,
.localGet 7,
.load32 (4 : UInt32),
.localSet 5,
.localGet 5,
.const (2 : UInt32),
.and,
.br_if 9,
.localGet 5,
.const (4294967288 : UInt32),
.and,
.localSet 9,
.localGet 9,
.localGet 6,
.add,
.localSet 5,
.localGet 5,
.localGet 1,
.ltU,
.br_if 9,
.localGet 7,
.localGet 9,
.call 38,
.block 0 0 [
.localGet 5,
.localGet 1,
.sub,
.localSet 7,
.localGet 7,
.const (16 : UInt32),
.ltU,
.br_if 0,
.localGet 4,
.localGet 1,
.localGet 4,
.load32 (0 : UInt32),
.const (1 : UInt32),
.and,
.or,
.const (2 : UInt32),
.or,
.store32 (0 : UInt32),
.localGet 8,
.localGet 1,
.add,
.localSet 1,
.localGet 1,
.localGet 7,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 8,
.localGet 5,
.add,
.localSet 5,
.localGet 5,
.localGet 5,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 1,
.localGet 7,
.call 39,
.br 9
],
.localGet 4,
.localGet 5,
.localGet 4,
.load32 (0 : UInt32),
.const (1 : UInt32),
.and,
.or,
.const (2 : UInt32),
.or,
.store32 (0 : UInt32),
.localGet 8,
.localGet 5,
.add,
.localSet 1,
.localGet 1,
.localGet 1,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.br 8
],
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.localGet 6,
.add,
.localSet 7,
.localGet 7,
.localGet 1,
.ltU,
.br_if 8,
.block 0 0 [
.block 0 0 [
.localGet 7,
.localGet 1,
.sub,
.localSet 6,
.localGet 6,
.const (15 : UInt32),
.gtU,
.br_if 0,
.localGet 4,
.localGet 5,
.const (1 : UInt32),
.and,
.localGet 7,
.or,
.const (2 : UInt32),
.or,
.store32 (0 : UInt32),
.localGet 8,
.localGet 7,
.add,
.localSet 1,
.localGet 1,
.localGet 1,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.const (0 : UInt32),
.localSet 6,
.const (0 : UInt32),
.localSet 1,
.br 1
],
.localGet 4,
.localGet 1,
.localGet 5,
.const (1 : UInt32),
.and,
.or,
.const (2 : UInt32),
.or,
.store32 (0 : UInt32),
.localGet 8,
.localGet 1,
.add,
.localSet 1,
.localGet 1,
.localGet 6,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 8,
.localGet 7,
.add,
.localSet 7,
.localGet 7,
.localGet 6,
.store32 (0 : UInt32),
.localGet 7,
.localGet 7,
.load32 (4 : UInt32),
.const (4294967294 : UInt32),
.and,
.store32 (4 : UInt32)
],
.const (0 : UInt32),
.localGet 1,
.store32 (1049600 : UInt32),
.const (0 : UInt32),
.localGet 6,
.store32 (1049592 : UInt32),
.br 7
],
.localGet 6,
.localGet 1,
.sub,
.localSet 6,
.localGet 6,
.const (15 : UInt32),
.leU,
.br_if 6,
.localGet 4,
.localGet 1,
.localGet 5,
.const (1 : UInt32),
.and,
.or,
.const (2 : UInt32),
.or,
.store32 (0 : UInt32),
.localGet 8,
.localGet 1,
.add,
.localSet 1,
.localGet 1,
.localGet 6,
.const (3 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 7,
.localGet 7,
.load32 (4 : UInt32),
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 1,
.localGet 6,
.call 39,
.br 6
],
.const (0 : UInt32),
.load32 (1049596 : UInt32),
.localGet 6,
.add,
.localSet 7,
.localGet 7,
.localGet 1,
.gtU,
.br_if 4,
.br 6
],
.block 0 0 [
.localGet 3,
.localGet 1,
.localGet 3,
.localGet 1,
.ltU,
.select,
.localSet 3,
.localGet 3,
.eqz,
.br_if 0,
.localGet 2,
.localGet 0,
.localGet 3,
.memoryCopy
],
.localGet 4,
.load32 (0 : UInt32),
.localSet 3,
.localGet 3,
.const (4294967288 : UInt32),
.and,
.localSet 7,
.localGet 7,
.const (4 : UInt32),
.const (8 : UInt32),
.localGet 3,
.const (3 : UInt32),
.and,
.localSet 3,
.localGet 3,
.select,
.localGet 1,
.add,
.ltU,
.br_if 2,
.localGet 3,
.eqz,
.br_if 6,
.localGet 7,
.localGet 8,
.leU,
.br_if 6,
.const (1048852 : UInt32),
.const (46 : UInt32),
.const (1048900 : UInt32),
.call 62,
.unreachable
],
.const (1048787 : UInt32),
.const (46 : UInt32),
.const (1048836 : UInt32),
.call 62,
.unreachable
],
.const (1048852 : UInt32),
.const (46 : UInt32),
.const (1048900 : UInt32),
.call 62,
.unreachable
],
.const (1048787 : UInt32),
.const (46 : UInt32),
.const (1048836 : UInt32),
.call 62,
.unreachable
],
.localGet 4,
.localGet 1,
.localGet 5,
.const (1 : UInt32),
.and,
.or,
.const (2 : UInt32),
.or,
.store32 (0 : UInt32),
.localGet 8,
.localGet 1,
.add,
.localSet 5,
.localGet 5,
.localGet 7,
.localGet 1,
.sub,
.localSet 1,
.localGet 1,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.const (0 : UInt32),
.localGet 1,
.store32 (1049596 : UInt32),
.const (0 : UInt32),
.localGet 5,
.store32 (1049604 : UInt32)
],
.localGet 8,
.eqz,
.br_if 0,
.localGet 0,
.ret
],
.localGet 3,
.call 33,
.localSet 1,
.localGet 1,
.eqz,
.br_if 1,
.block 0 0 [
.localGet 3,
.const (4294967292 : UInt32),
.const (4294967288 : UInt32),
.localGet 4,
.load32 (0 : UInt32),
.localSet 2,
.localGet 2,
.const (3 : UInt32),
.and,
.select,
.localGet 2,
.const (4294967288 : UInt32),
.and,
.add,
.localSet 2,
.localGet 2,
.localGet 3,
.localGet 2,
.ltU,
.select,
.localSet 3,
.localGet 3,
.eqz,
.br_if 0,
.localGet 1,
.localGet 0,
.localGet 3,
.memoryCopy
],
.localGet 1,
.localSet 2
],
.localGet 0,
.call 36
],
.localGet 2
]
def func37Def : Wasm.Function :=
{ params := [.i32, .i32, .i32, .i32], locals := [.i32, .i32, .i32, .i32, .i32, .i32], body := func37, results := [.i32] }
def func38 : Wasm.Program :=
[
.localGet 0,
.load32 (12 : UInt32),
.localSet 2,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 1,
.const (256 : UInt32),
.ltU,
.br_if 0,
.localGet 0,
.load32 (24 : UInt32),
.localSet 3,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 2,
.localGet 0,
.ne,
.br_if 0,
.localGet 0,
.const (20 : UInt32),
.const (16 : UInt32),
.localGet 0,
.load32 (20 : UInt32),
.localSet 2,
.localGet 2,
.select,
.add,
.load32 (0 : UInt32),
.localSet 1,
.localGet 1,
.br_if 1,
.const (0 : UInt32),
.localSet 2,
.br 2
],
.localGet 0,
.load32 (8 : UInt32),
.localSet 1,
.localGet 1,
.localGet 2,
.store32 (12 : UInt32),
.localGet 2,
.localGet 1,
.store32 (8 : UInt32),
.br 1
],
.localGet 0,
.const (20 : UInt32),
.add,
.localGet 0,
.const (16 : UInt32),
.add,
.localGet 2,
.select,
.localSet 4,
.loop 0 0 [
.localGet 4,
.localSet 5,
.localGet 1,
.localSet 2,
.localGet 2,
.const (20 : UInt32),
.add,
.localGet 2,
.const (16 : UInt32),
.add,
.localGet 2,
.load32 (20 : UInt32),
.localSet 1,
.localGet 1,
.select,
.localSet 4,
.localGet 2,
.const (20 : UInt32),
.const (16 : UInt32),
.localGet 1,
.select,
.add,
.load32 (0 : UInt32),
.localSet 1,
.localGet 1,
.br_if 0
],
.localGet 5,
.const (0 : UInt32),
.store32 (0 : UInt32)
],
.localGet 3,
.eqz,
.br_if 2,
.block 0 0 [
.block 0 0 [
.localGet 0,
.localGet 0,
.load32 (28 : UInt32),
.const (2 : UInt32),
.shl,
.const (1049176 : UInt32),
.add,
.localSet 1,
.localGet 1,
.load32 (0 : UInt32),
.eq,
.br_if 0,
.localGet 3,
.load32 (16 : UInt32),
.localGet 0,
.eq,
.br_if 1,
.localGet 3,
.localGet 2,
.store32 (20 : UInt32),
.localGet 2,
.br_if 3,
.br 4
],
.localGet 1,
.localGet 2,
.store32 (0 : UInt32),
.localGet 2,
.eqz,
.br_if 4,
.br 2
],
.localGet 3,
.localGet 2,
.store32 (16 : UInt32),
.localGet 2,
.br_if 1,
.br 2
],
.block 0 0 [
.localGet 2,
.localGet 0,
.load32 (8 : UInt32),
.localSet 4,
.localGet 4,
.eq,
.br_if 0,
.localGet 4,
.localGet 2,
.store32 (12 : UInt32),
.localGet 2,
.localGet 4,
.store32 (8 : UInt32),
.ret
],
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.const (4294967294 : UInt32),
.localGet 1,
.const (3 : UInt32),
.shrU,
.rotl,
.and,
.store32 (1049584 : UInt32),
.ret
],
.localGet 2,
.localGet 3,
.store32 (24 : UInt32),
.block 0 0 [
.localGet 0,
.load32 (16 : UInt32),
.localSet 1,
.localGet 1,
.eqz,
.br_if 0,
.localGet 2,
.localGet 1,
.store32 (16 : UInt32),
.localGet 1,
.localGet 2,
.store32 (24 : UInt32)
],
.localGet 0,
.load32 (20 : UInt32),
.localSet 1,
.localGet 1,
.eqz,
.br_if 0,
.localGet 2,
.localGet 1,
.store32 (20 : UInt32),
.localGet 1,
.localGet 2,
.store32 (24 : UInt32),
.ret
],
.ret
],
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049588 : UInt32),
.const (4294967294 : UInt32),
.localGet 0,
.load32 (28 : UInt32),
.rotl,
.and,
.store32 (1049588 : UInt32)
]
def func38Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32, .i32, .i32, .i32], body := func38, results := [] }
def func39 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.add,
.localSet 2,
.block 0 0 [
.block 0 0 [
.localGet 0,
.load32 (4 : UInt32),
.localSet 3,
.localGet 3,
.const (1 : UInt32),
.and,
.br_if 0,
.localGet 3,
.const (2 : UInt32),
.and,
.eqz,
.br_if 1,
.localGet 0,
.load32 (0 : UInt32),
.localSet 3,
.localGet 3,
.localGet 1,
.add,
.localSet 1,
.block 0 0 [
.localGet 0,
.localGet 3,
.sub,
.localSet 0,
.localGet 0,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.ne,
.br_if 0,
.localGet 2,
.load32 (4 : UInt32),
.const (3 : UInt32),
.and,
.const (3 : UInt32),
.ne,
.br_if 1,
.const (0 : UInt32),
.localGet 1,
.store32 (1049592 : UInt32),
.localGet 2,
.localGet 2,
.load32 (4 : UInt32),
.const (4294967294 : UInt32),
.and,
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 2,
.localGet 1,
.store32 (0 : UInt32),
.br 2
],
.localGet 0,
.localGet 3,
.call 38
],
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 2,
.load32 (4 : UInt32),
.localSet 3,
.localGet 3,
.const (2 : UInt32),
.and,
.br_if 0,
.localGet 2,
.const (0 : UInt32),
.load32 (1049604 : UInt32),
.eq,
.br_if 2,
.localGet 2,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.eq,
.br_if 3,
.localGet 2,
.localGet 3,
.const (4294967288 : UInt32),
.and,
.localSet 3,
.localGet 3,
.call 38,
.localGet 0,
.localGet 3,
.localGet 1,
.add,
.localSet 1,
.localGet 1,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.add,
.localGet 1,
.store32 (0 : UInt32),
.localGet 0,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.ne,
.br_if 1,
.const (0 : UInt32),
.localGet 1,
.store32 (1049592 : UInt32),
.ret
],
.localGet 2,
.localGet 3,
.const (4294967294 : UInt32),
.and,
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.add,
.localGet 1,
.store32 (0 : UInt32)
],
.block 0 0 [
.localGet 1,
.const (256 : UInt32),
.ltU,
.br_if 0,
.localGet 0,
.localGet 1,
.call 43,
.ret
],
.block 0 0 [
.block 0 0 [
.const (0 : UInt32),
.load32 (1049584 : UInt32),
.localSet 2,
.localGet 2,
.const (1 : UInt32),
.localGet 1,
.const (3 : UInt32),
.shrU,
.shl,
.localSet 3,
.localGet 3,
.and,
.br_if 0,
.const (0 : UInt32),
.localGet 2,
.localGet 3,
.or,
.store32 (1049584 : UInt32),
.localGet 1,
.const (248 : UInt32),
.and,
.const (1049320 : UInt32),
.add,
.localSet 1,
.localGet 1,
.localSet 2,
.br 1
],
.localGet 1,
.const (248 : UInt32),
.and,
.localSet 1,
.localGet 1,
.const (1049320 : UInt32),
.add,
.localSet 2,
.localGet 1,
.const (1049328 : UInt32),
.add,
.load32 (0 : UInt32),
.localSet 1
],
.localGet 2,
.localGet 0,
.store32 (8 : UInt32),
.localGet 1,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 2,
.store32 (12 : UInt32),
.localGet 0,
.localGet 1,
.store32 (8 : UInt32),
.ret
],
.const (0 : UInt32),
.localGet 0,
.store32 (1049604 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049596 : UInt32),
.localGet 1,
.add,
.localSet 1,
.localGet 1,
.store32 (1049596 : UInt32),
.localGet 0,
.localGet 1,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.const (0 : UInt32),
.load32 (1049600 : UInt32),
.ne,
.br_if 1,
.const (0 : UInt32),
.const (0 : UInt32),
.store32 (1049592 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.store32 (1049600 : UInt32),
.ret
],
.const (0 : UInt32),
.localGet 0,
.store32 (1049600 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049592 : UInt32),
.localGet 1,
.add,
.localSet 1,
.localGet 1,
.store32 (1049592 : UInt32),
.localGet 0,
.localGet 1,
.const (1 : UInt32),
.or,
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.add,
.localGet 1,
.store32 (0 : UInt32),
.ret
]
]
def func39Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32, .i32], body := func39, results := [] }
def func40 : Wasm.Program :=
[
.globalGet 0,
.const (16 : UInt32),
.sub,
.localSet 1,
.localGet 1,
.globalSet 0,
.localGet 0,
.load64 (0 : UInt32),
.localSet 2,
.localGet 1,
.localGet 0,
.store32 (12 : UInt32),
.localGet 1,
.localGet 2,
.store64 (4 : UInt32),
.localGet 1,
.const (4 : UInt32),
.add,
.call 25,
.unreachable
]
def func40Def : Wasm.Function :=
{ params := [.i32], locals := [.i32, .i64], body := func40, results := [] }
def func41 : Wasm.Program :=
[
.localGet 1,
.localGet 0,
.call 42,
.unreachable
]
def func41Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func41, results := [] }
def func42 : Wasm.Program :=
[
.globalGet 0,
.const (16 : UInt32),
.sub,
.localSet 2,
.localGet 2,
.globalSet 0,
.localGet 2,
.localGet 1,
.store32 (12 : UInt32),
.localGet 2,
.localGet 0,
.store32 (8 : UInt32),
.localGet 2,
.const (8 : UInt32),
.add,
.call 23,
.unreachable
]
def func42Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32], body := func42, results := [] }
def func43 : Wasm.Program :=
[
.const (0 : UInt32),
.localSet 2,
.block 0 0 [
.localGet 1,
.const (8 : UInt32),
.shrU,
.localSet 3,
.localGet 3,
.eqz,
.br_if 0,
.const (31 : UInt32),
.localSet 2,
.localGet 1,
.const (16777216 : UInt32),
.geU,
.br_if 0,
.localGet 1,
.const (38 : UInt32),
.localGet 3,
.clz,
.localSet 2,
.localGet 2,
.sub,
.shrU,
.const (1 : UInt32),
.and,
.localGet 2,
.const (1 : UInt32),
.shl,
.or,
.const (62 : UInt32),
.xor,
.localSet 2
],
.localGet 0,
.constI64 (0 : UInt64),
.store64 (16 : UInt32),
.localGet 0,
.localGet 2,
.store32 (28 : UInt32),
.localGet 2,
.const (2 : UInt32),
.shl,
.const (1049176 : UInt32),
.add,
.localSet 3,
.block 0 0 [
.const (0 : UInt32),
.load32 (1049588 : UInt32),
.const (1 : UInt32),
.localGet 2,
.shl,
.localSet 4,
.localGet 4,
.and,
.br_if 0,
.localGet 3,
.localGet 0,
.store32 (0 : UInt32),
.localGet 0,
.localGet 3,
.store32 (24 : UInt32),
.localGet 0,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 0,
.store32 (8 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049588 : UInt32),
.localGet 4,
.or,
.store32 (1049588 : UInt32),
.ret
],
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 3,
.load32 (0 : UInt32),
.localSet 4,
.localGet 4,
.load32 (4 : UInt32),
.const (4294967288 : UInt32),
.and,
.localGet 1,
.ne,
.br_if 0,
.localGet 4,
.localSet 2,
.br 1
],
.localGet 1,
.const (0 : UInt32),
.const (25 : UInt32),
.localGet 2,
.const (1 : UInt32),
.shrU,
.sub,
.localGet 2,
.const (31 : UInt32),
.eq,
.select,
.shl,
.localSet 3,
.loop 0 0 [
.localGet 4,
.localGet 3,
.const (29 : UInt32),
.shrU,
.const (4 : UInt32),
.and,
.add,
.localSet 5,
.localGet 5,
.load32 (16 : UInt32),
.localSet 2,
.localGet 2,
.eqz,
.br_if 2,
.localGet 3,
.const (1 : UInt32),
.shl,
.localSet 3,
.localGet 2,
.localSet 4,
.localGet 2,
.load32 (4 : UInt32),
.const (4294967288 : UInt32),
.and,
.localGet 1,
.ne,
.br_if 0
]
],
.localGet 2,
.load32 (8 : UInt32),
.localSet 3,
.localGet 3,
.localGet 0,
.store32 (12 : UInt32),
.localGet 2,
.localGet 0,
.store32 (8 : UInt32),
.localGet 0,
.const (0 : UInt32),
.store32 (24 : UInt32),
.localGet 0,
.localGet 2,
.store32 (12 : UInt32),
.localGet 0,
.localGet 3,
.store32 (8 : UInt32),
.ret
],
.localGet 5,
.const (16 : UInt32),
.add,
.localGet 0,
.store32 (0 : UInt32),
.localGet 0,
.localGet 4,
.store32 (24 : UInt32),
.localGet 0,
.localGet 0,
.store32 (12 : UInt32),
.localGet 0,
.localGet 0,
.store32 (8 : UInt32)
]
def func43Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32, .i32, .i32, .i32], body := func43, results := [] }
def func44 : Wasm.Program :=
[
.const (0 : UInt32),
.localSet 1,
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049172 : UInt32),
.localSet 2,
.localGet 2,
.const (1 : UInt32),
.add,
.store32 (1049172 : UInt32),
.block 0 0 [
.localGet 2,
.const (0 : UInt32),
.ltS,
.br_if 0,
.const (1 : UInt32),
.localSet 1,
.const (0 : UInt32),
.load8U (1049152 : UInt32),
.br_if 0,
.const (0 : UInt32),
.localGet 0,
.store8 (1049152 : UInt32),
.const (0 : UInt32),
.const (0 : UInt32),
.load32 (1049148 : UInt32),
.const (1 : UInt32),
.add,
.store32 (1049148 : UInt32),
.const (2 : UInt32),
.localSet 1
],
.localGet 1
]
def func44Def : Wasm.Function :=
{ params := [.i32], locals := [.i32, .i32], body := func44, results := [.i32] }
def func45 : Wasm.Program :=
[
.localGet 0,
.const (0 : UInt32),
.load64 (1048736 : UInt32),
.store64 (8 : UInt32),
.localGet 0,
.const (0 : UInt32),
.load64 (1048728 : UInt32),
.store64 (0 : UInt32)
]
def func45Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func45, results := [] }
def func46 : Wasm.Program :=
[
.localGet 0,
.const (0 : UInt32),
.load64 (1048720 : UInt32),
.store64 (8 : UInt32),
.localGet 0,
.const (0 : UInt32),
.load64 (1048712 : UInt32),
.store64 (0 : UInt32)
]
def func46Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func46, results := [] }
def func47 : Wasm.Program :=
[
.block 0 0 [
.localGet 0,
.load32 (0 : UInt32),
.const (2147483648 : UInt32),
.eq,
.br_if 0,
.localGet 1,
.localGet 0,
.load32 (4 : UInt32),
.localGet 0,
.load32 (8 : UInt32),
.call 65,
.ret
],
.localGet 1,
.load32 (0 : UInt32),
.localGet 1,
.load32 (4 : UInt32),
.localGet 0,
.load32 (12 : UInt32),
.load32 (0 : UInt32),
.localSet 0,
.localGet 0,
.load32 (0 : UInt32),
.localGet 0,
.load32 (4 : UInt32),
.call 64
]
def func47Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func47, results := [.i32] }
def func48 : Wasm.Program :=
[
.localGet 0,
.const (1048916 : UInt32),
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.store32 (0 : UInt32)
]
def func48Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func48, results := [] }
def func49 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.load64 (0 : UInt32),
.store64 (0 : UInt32)
]
def func49Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func49, results := [] }
def func50 : Wasm.Program :=
[
.localGet 1,
.load32 (4 : UInt32),
.localSet 2,
.localGet 1,
.load32 (0 : UInt32),
.localSet 3,
.call 17,
.block 0 0 [
.const (8 : UInt32),
.const (4 : UInt32),
.call 14,
.localSet 1,
.localGet 1,
.br_if 0,
.const (4 : UInt32),
.const (8 : UInt32),
.call 60,
.unreachable
],
.localGet 1,
.localGet 2,
.store32 (4 : UInt32),
.localGet 1,
.localGet 3,
.store32 (0 : UInt32),
.localGet 0,
.const (1048916 : UInt32),
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.store32 (0 : UInt32)
]
def func50Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32, .i32], body := func50, results := [] }
def func51 : Wasm.Program :=
[
.localGet 1,
.localGet 0,
.load32 (0 : UInt32),
.localGet 0,
.load32 (4 : UInt32),
.call 65
]
def func51Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func51, results := [.i32] }
def func52 : Wasm.Program :=
[
.localGet 0,
.load32 (8 : UInt32),
.localSet 2,
.block 0 0 [
.block 0 0 [
.localGet 1,
.const (128 : UInt32),
.geU,
.br_if 0,
.const (1 : UInt32),
.localSet 3,
.br 1
],
.block 0 0 [
.localGet 1,
.const (2048 : UInt32),
.geU,
.br_if 0,
.const (2 : UInt32),
.localSet 3,
.br 1
],
.const (3 : UInt32),
.const (4 : UInt32),
.localGet 1,
.const (65536 : UInt32),
.ltU,
.select,
.localSet 3
],
.localGet 2,
.localSet 4,
.block 0 0 [
.localGet 3,
.localGet 0,
.load32 (0 : UInt32),
.localGet 2,
.sub,
.leU,
.br_if 0,
.localGet 0,
.localGet 2,
.localGet 3,
.const (1 : UInt32),
.const (1 : UInt32),
.call 19,
.localGet 0,
.load32 (8 : UInt32),
.localSet 4
],
.localGet 0,
.load32 (4 : UInt32),
.localGet 4,
.add,
.localSet 4,
.block 0 0 [
.block 0 0 [
.localGet 1,
.const (128 : UInt32),
.ltU,
.br_if 0,
.localGet 1,
.const (63 : UInt32),
.and,
.const (4294967168 : UInt32),
.or,
.localSet 5,
.localGet 1,
.const (6 : UInt32),
.shrU,
.localSet 6,
.block 0 0 [
.localGet 1,
.const (2048 : UInt32),
.geU,
.br_if 0,
.localGet 4,
.localGet 5,
.store8 (1 : UInt32),
.localGet 4,
.localGet 6,
.const (192 : UInt32),
.or,
.store8 (0 : UInt32),
.br 2
],
.localGet 1,
.const (12 : UInt32),
.shrU,
.localSet 7,
.localGet 6,
.const (63 : UInt32),
.and,
.const (4294967168 : UInt32),
.or,
.localSet 6,
.block 0 0 [
.localGet 1,
.const (65535 : UInt32),
.gtU,
.br_if 0,
.localGet 4,
.localGet 5,
.store8 (2 : UInt32),
.localGet 4,
.localGet 6,
.store8 (1 : UInt32),
.localGet 4,
.localGet 7,
.const (224 : UInt32),
.or,
.store8 (0 : UInt32),
.br 2
],
.localGet 4,
.localGet 5,
.store8 (3 : UInt32),
.localGet 4,
.localGet 6,
.store8 (2 : UInt32),
.localGet 4,
.localGet 7,
.const (63 : UInt32),
.and,
.const (4294967168 : UInt32),
.or,
.store8 (1 : UInt32),
.localGet 4,
.localGet 1,
.const (18 : UInt32),
.shrU,
.const (4294967280 : UInt32),
.or,
.store8 (0 : UInt32),
.br 1
],
.localGet 4,
.localGet 1,
.store8 (0 : UInt32)
],
.localGet 0,
.localGet 3,
.localGet 2,
.add,
.store32 (8 : UInt32),
.const (0 : UInt32)
]
def func52Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32, .i32, .i32, .i32, .i32, .i32], body := func52, results := [.i32] }
def func53 : Wasm.Program :=
[
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 2,
.localGet 0,
.load32 (0 : UInt32),
.localGet 0,
.load32 (8 : UInt32),
.localSet 3,
.localGet 3,
.sub,
.leU,
.br_if 0,
.localGet 0,
.localGet 3,
.localGet 2,
.const (1 : UInt32),
.const (1 : UInt32),
.call 19,
.localGet 0,
.load32 (8 : UInt32),
.localSet 3,
.br 1
],
.localGet 2,
.eqz,
.br_if 1
],
.localGet 2,
.eqz,
.br_if 0,
.localGet 0,
.load32 (4 : UInt32),
.localGet 3,
.add,
.localGet 1,
.localGet 2,
.memoryCopy
],
.localGet 0,
.localGet 3,
.localGet 2,
.add,
.store32 (8 : UInt32),
.const (0 : UInt32)
]
def func53Def : Wasm.Function :=
{ params := [.i32, .i32, .i32], locals := [.i32], body := func53, results := [.i32] }
def func54 : Wasm.Program :=
[
.globalGet 0,
.const (32 : UInt32),
.sub,
.localSet 2,
.localGet 2,
.globalSet 0,
.block 0 0 [
.localGet 1,
.load32 (0 : UInt32),
.const (2147483648 : UInt32),
.ne,
.br_if 0,
.localGet 1,
.load32 (12 : UInt32),
.localSet 3,
.localGet 2,
.const (0 : UInt32),
.store32 (28 : UInt32),
.localGet 2,
.constI64 (4294967296 : UInt64),
.store64 (20 : UInt32),
.localGet 2,
.const (20 : UInt32),
.add,
.const (1048632 : UInt32),
.localGet 3,
.load32 (0 : UInt32),
.localSet 3,
.localGet 3,
.load32 (0 : UInt32),
.localGet 3,
.load32 (4 : UInt32),
.call 64,
.drop,
.localGet 2,
.localGet 2,
.load32 (28 : UInt32),
.localSet 3,
.localGet 3,
.store32 (16 : UInt32),
.localGet 2,
.localGet 2,
.load64 (20 : UInt32),
.localSet 4,
.localGet 4,
.store64 (8 : UInt32),
.localGet 1,
.localGet 3,
.store32 (8 : UInt32),
.localGet 1,
.localGet 4,
.store64 (0 : UInt32)
],
.localGet 0,
.const (1048932 : UInt32),
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.store32 (0 : UInt32),
.localGet 2,
.const (32 : UInt32),
.add,
.globalSet 0
]
def func54Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32, .i32, .i64], body := func54, results := [] }
def func55 : Wasm.Program :=
[
.globalGet 0,
.const (48 : UInt32),
.sub,
.localSet 2,
.localGet 2,
.globalSet 0,
.block 0 0 [
.localGet 1,
.load32 (0 : UInt32),
.const (2147483648 : UInt32),
.ne,
.br_if 0,
.localGet 1,
.load32 (12 : UInt32),
.localSet 3,
.localGet 2,
.const (0 : UInt32),
.store32 (44 : UInt32),
.localGet 2,
.constI64 (4294967296 : UInt64),
.store64 (36 : UInt32),
.localGet 2,
.const (36 : UInt32),
.add,
.const (1048632 : UInt32),
.localGet 3,
.load32 (0 : UInt32),
.localSet 3,
.localGet 3,
.load32 (0 : UInt32),
.localGet 3,
.load32 (4 : UInt32),
.call 64,
.drop,
.localGet 2,
.localGet 2,
.load32 (44 : UInt32),
.localSet 3,
.localGet 3,
.store32 (32 : UInt32),
.localGet 2,
.localGet 2,
.load64 (36 : UInt32),
.localSet 4,
.localGet 4,
.store64 (24 : UInt32),
.localGet 1,
.localGet 3,
.store32 (8 : UInt32),
.localGet 1,
.localGet 4,
.store64 (0 : UInt32)
],
.localGet 1,
.load32 (8 : UInt32),
.localSet 3,
.localGet 1,
.const (0 : UInt32),
.store32 (8 : UInt32),
.localGet 1,
.load64 (0 : UInt32),
.localSet 4,
.localGet 1,
.constI64 (4294967296 : UInt64),
.store64 (0 : UInt32),
.localGet 2,
.localGet 3,
.store32 (16 : UInt32),
.localGet 2,
.localGet 4,
.store64 (8 : UInt32),
.call 17,
.block 0 0 [
.const (12 : UInt32),
.const (4 : UInt32),
.call 14,
.localSet 1,
.localGet 1,
.br_if 0,
.const (4 : UInt32),
.const (12 : UInt32),
.call 60,
.unreachable
],
.localGet 1,
.localGet 2,
.load32 (16 : UInt32),
.store32 (8 : UInt32),
.localGet 1,
.localGet 2,
.load64 (8 : UInt32),
.store64 (0 : UInt32),
.localGet 0,
.const (1048932 : UInt32),
.store32 (4 : UInt32),
.localGet 0,
.localGet 1,
.store32 (0 : UInt32),
.localGet 2,
.const (48 : UInt32),
.add,
.globalSet 0
]
def func55Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [.i32, .i32, .i64], body := func55, results := [] }
def func56 : Wasm.Program :=
[
.localGet 0,
.const (0 : UInt32),
.store32 (0 : UInt32)
]
def func56Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func56, results := [] }
def func57 : Wasm.Program :=
[
.localGet 0,
.const (1048632 : UInt32),
.localGet 1,
.localGet 2,
.call 64
]
def func57Def : Wasm.Function :=
{ params := [.i32, .i32, .i32], locals := [], body := func57, results := [.i32] }
def func58 : Wasm.Program :=
[
.block 0 0 [
.block 0 0 [
.localGet 2,
.const (16 : UInt32),
.shrU,
.localGet 2,
.const (65535 : UInt32),
.and,
.const (0 : UInt32),
.ne,
.add,
.localSet 2,
.localGet 2,
.memoryGrow,
.localSet 3,
.localGet 3,
.const (4294967295 : UInt32),
.ne,
.br_if 0,
.const (0 : UInt32),
.localSet 2,
.const (0 : UInt32),
.localSet 4,
.br 1
],
.localGet 2,
.const (16 : UInt32),
.shl,
.localSet 4,
.localGet 4,
.const (4294967280 : UInt32),
.add,
.localGet 4,
.localGet 3,
.const (16 : UInt32),
.shl,
.localSet 2,
.localGet 2,
.const (0 : UInt32),
.localGet 4,
.sub,
.eq,
.select,
.localSet 4
],
.localGet 0,
.const (0 : UInt32),
.store32 (8 : UInt32),
.localGet 0,
.localGet 4,
.store32 (4 : UInt32),
.localGet 0,
.localGet 2,
.store32 (0 : UInt32)
]
def func58Def : Wasm.Function :=
{ params := [.i32, .i32, .i32], locals := [.i32, .i32], body := func58, results := [] }
def func59 : Wasm.Program :=
[
.block 0 0 [
.localGet 0,
.eqz,
.br_if 0,
.localGet 0,
.localGet 1,
.call 60,
.unreachable
],
.call 61,
.unreachable
]
def func59Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func59, results := [] }
def func60 : Wasm.Program :=
[
.localGet 1,
.localGet 0,
.call 41,
.unreachable
]
def func60Def : Wasm.Function :=
{ params := [.i32, .i32], locals := [], body := func60, results := [] }
def func61 : Wasm.Program :=
[
.const (1049029 : UInt32),
.const (35 : UInt32),
.const (1049048 : UInt32),
.call 63,
.unreachable
]
def func61Def : Wasm.Function :=
{ params := [], locals := [], body := func61, results := [] }
def func62 : Wasm.Program :=
[
.localGet 0,
.localGet 1,
.const (1 : UInt32),
.shl,
.const (1 : UInt32),
.or,
.localGet 2,
.call 63,
.unreachable
]
def func62Def : Wasm.Function :=
{ params := [.i32, .i32, .i32], locals := [], body := func62, results := [] }
def func63 : Wasm.Program :=
[
.globalGet 0,
.const (32 : UInt32),
.sub,
.localSet 3,
.localGet 3,
.globalSet 0,
.localGet 3,
.localGet 1,
.store32 (16 : UInt32),
.localGet 3,
.localGet 0,
.store32 (12 : UInt32),
.localGet 3,
.const (1 : UInt32),
.store16 (28 : UInt32),
.localGet 3,
.localGet 2,
.store32 (24 : UInt32),
.localGet 3,
.localGet 3,
.const (12 : UInt32),
.add,
.store32 (20 : UInt32),
.localGet 3,
.const (20 : UInt32),
.add,
.call 40,
.unreachable
]
def func63Def : Wasm.Function :=
{ params := [.i32, .i32, .i32], locals := [.i32], body := func63, results := [] }
def func64 : Wasm.Program :=
[
.globalGet 0,
.const (16 : UInt32),
.sub,
.localSet 4,
.localGet 4,
.globalSet 0,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 3,
.const (1 : UInt32),
.and,
.br_if 0,
.localGet 2,
.load8U (0 : UInt32),
.localSet 5,
.localGet 5,
.br_if 1,
.const (0 : UInt32),
.localSet 5,
.br 2
],
.localGet 0,
.localGet 2,
.localGet 3,
.const (1 : UInt32),
.shrU,
.localGet 1,
.load32 (12 : UInt32),
.callIndirect 1 0,
.localSet 5,
.br 1
],
.localGet 1,
.load32 (12 : UInt32),
.localSet 6,
.const (0 : UInt32),
.localSet 7,
.loop 0 0 [
.localGet 2,
.const (1 : UInt32),
.add,
.localSet 8,
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.block 0 0 [
.localGet 5,
.extend8S,
.const (4294967295 : UInt32),
.gtS,
.br_if 0,
.localGet 5,
.const (255 : UInt32),
.and,
.localSet 9,
.localGet 9,
.const (128 : UInt32),
.eq,
.br_if 1,
.localGet 9,
.const (192 : UInt32),
.ne,
.br_if 3,
.localGet 4,
.localGet 1,
.store32 (4 : UInt32),
.localGet 4,
.localGet 0,
.store32 (0 : UInt32),
.localGet 4,
.constI64 (1610612768 : UInt64),
.store64 (8 : UInt32),
.localGet 3,
.localGet 7,
.const (3 : UInt32),
.shl,
.add,
.localSet 5,
.localGet 5,
.load32 (0 : UInt32),
.localGet 4,
.localGet 5,
.load32 (4 : UInt32),
.callIndirect 2 0,
.eqz,
.br_if 2,
.const (1 : UInt32),
.localSet 5,
.br 6
],
.block 0 0 [
.localGet 0,
.localGet 8,
.localGet 5,
.const (255 : UInt32),
.and,
.localSet 5,
.localGet 5,
.localGet 6,
.callIndirect 1 0,
.br_if 0,
.localGet 8,
.localGet 5,
.add,
.localSet 2,
.br 4
],
.const (1 : UInt32),
.localSet 5,
.br 5
],
.block 0 0 [
.localGet 0,
.localGet 2,
.const (3 : UInt32),
.add,
.localSet 5,
.localGet 5,
.localGet 2,
.load16U (1 : UInt32),
.localSet 2,
.localGet 2,
.localGet 6,
.callIndirect 1 0,
.br_if 0,
.localGet 5,
.localGet 2,
.add,
.localSet 2,
.br 3
],
.const (1 : UInt32),
.localSet 5,
.br 4
],
.localGet 7,
.const (1 : UInt32),
.add,
.localSet 7,
.localGet 8,
.localSet 2,
.br 1
],
.const (1610612768 : UInt32),
.localSet 10,
.block 0 0 [
.localGet 5,
.const (1 : UInt32),
.and,
.eqz,
.br_if 0,
.localGet 2,
.const (5 : UInt32),
.add,
.localSet 8,
.localGet 2,
.load32 (1 : UInt32),
.localSet 10
],
.const (0 : UInt32),
.localSet 9,
.block 0 0 [
.block 0 0 [
.localGet 5,
.const (2 : UInt32),
.and,
.br_if 0,
.const (0 : UInt32),
.localSet 11,
.localGet 8,
.localSet 2,
.br 1
],
.localGet 8,
.const (2 : UInt32),
.add,
.localSet 2,
.localGet 8,
.load16U (0 : UInt32),
.localSet 11
],
.block 0 0 [
.block 0 0 [
.localGet 5,
.const (4 : UInt32),
.and,
.br_if 0,
.localGet 2,
.localSet 8,
.br 1
],
.localGet 2,
.const (2 : UInt32),
.add,
.localSet 8,
.localGet 2,
.load16U (0 : UInt32),
.localSet 9
],
.block 0 0 [
.block 0 0 [
.localGet 5,
.const (8 : UInt32),
.and,
.br_if 0,
.localGet 8,
.localSet 2,
.br 1
],
.localGet 8,
.const (2 : UInt32),
.add,
.localSet 2,
.localGet 8,
.load16U (0 : UInt32),
.localSet 7
],
.block 0 0 [
.localGet 5,
.const (16 : UInt32),
.and,
.eqz,
.br_if 0,
.localGet 3,
.localGet 11,
.const (65535 : UInt32),
.and,
.const (3 : UInt32),
.shl,
.add,
.load16U (4 : UInt32),
.localSet 11
],
.block 0 0 [
.localGet 5,
.const (32 : UInt32),
.and,
.eqz,
.br_if 0,
.localGet 3,
.localGet 9,
.const (65535 : UInt32),
.and,
.const (3 : UInt32),
.shl,
.add,
.load16U (4 : UInt32),
.localSet 9
],
.localGet 4,
.localGet 9,
.store16 (14 : UInt32),
.localGet 4,
.localGet 11,
.store16 (12 : UInt32),
.localGet 4,
.localGet 10,
.store32 (8 : UInt32),
.localGet 4,
.localGet 1,
.store32 (4 : UInt32),
.localGet 4,
.localGet 0,
.store32 (0 : UInt32),
.block 0 0 [
.localGet 3,
.localGet 7,
.const (3 : UInt32),
.shl,
.add,
.localSet 5,
.localGet 5,
.load32 (0 : UInt32),
.localGet 4,
.localGet 5,
.load32 (4 : UInt32),
.callIndirect 2 0,
.eqz,
.br_if 0,
.const (1 : UInt32),
.localSet 5,
.br 3
],
.localGet 7,
.const (1 : UInt32),
.add,
.localSet 7
],
.localGet 2,
.load8U (0 : UInt32),
.localSet 5,
.localGet 5,
.br_if 0
],
.const (0 : UInt32),
.localSet 5
],
.localGet 4,
.const (16 : UInt32),
.add,
.globalSet 0,
.localGet 5
]
def func64Def : Wasm.Function :=
{ params := [.i32, .i32, .i32, .i32], locals := [.i32, .i32, .i32, .i32, .i32, .i32, .i32, .i32], body := func64, results := [.i32] }
def func65 : Wasm.Program :=
[
.localGet 0,
.load32 (0 : UInt32),
.localGet 1,
.localGet 2,
.localGet 0,
.load32 (4 : UInt32),
.load32 (12 : UInt32),
.callIndirect 1 0
]
def func65Def : Wasm.Function :=
{ params := [.i32, .i32, .i32], locals := [], body := func65, results := [.i32] }
def func66 : Wasm.Program :=
[
.const (1049064 : UInt32),
.const (51 : UInt32),
.localGet 0,
.call 63,
.unreachable
]
def func66Def : Wasm.Function :=
{ params := [.i32], locals := [], body := func66, results := [] }
def func67 : Wasm.Program :=
[
.const (1049089 : UInt32),
.const (115 : UInt32),
.localGet 0,
.call 63,
.unreachable
]
def func67Def : Wasm.Function :=
{ params := [.i32], locals := [], body := func67, results := [] }
def «module» : Wasm.Module :=
{
imports := [],
funcs := [
func0Def,
func1Def,
func2Def,
func3Def,
func4Def,
func5Def,
func6Def,
func7Def,
func8Def,
func9Def,
func10Def,
func11Def,
func12Def,
func13Def,
func14Def,
func15Def,
func16Def,
func17Def,
func18Def,
func19Def,
func20Def,
func21Def,
func22Def,
func23Def,
func24Def,
func25Def,
func26Def,
func27Def,
func28Def,
func29Def,
func30Def,
func31Def,
func32Def,
func33Def,
func34Def,
func35Def,
func36Def,
func37Def,
func38Def,
func39Def,
func40Def,
func41Def,
func42Def,
func43Def,
func44Def,
func45Def,
func46Def,
func47Def,
func48Def,
func49Def,
func50Def,
func51Def,
func52Def,
func53Def,
func54Def,
func55Def,
func56Def,
func57Def,
func58Def,
func59Def,
func60Def,
func61Def,
func62Def,
func63Def,
func64Def,
func65Def,
func66Def,
func67Def
],
exports := [
{ name := "abs_diff", funcIdx := 1 },
{ name := "add", funcIdx := 2 },
{ name := "bitand", funcIdx := 3 },
{ name := "bitor", funcIdx := 4 },
{ name := "bitxor", funcIdx := 5 },
{ name := "div", funcIdx := 6 },
{ name := "entrypoint", funcIdx := 7 },
{ name := "sub", funcIdx := 8 },
{ name := "mul", funcIdx := 9 },
{ name := "rem", funcIdx := 10 },
{ name := "not", funcIdx := 11 },
{ name := "shl", funcIdx := 12 },
{ name := "shr", funcIdx := 13 }
],
memory := some { pagesMin := (17 : UInt32), pagesMax := none, data := [
{ offset := some (1048576 : UInt32), bytes := [(114 : UInt8), (117 : UInt8), (115 : UInt8), (116 : UInt8), (95 : UInt8), (117 : UInt8), (54 : UInt8), (52 : UInt8), (47 : UInt8), (115 : UInt8), (114 : UInt8), (99 : UInt8), (47 : UInt8), (101 : UInt8), (120 : UInt8), (112 : UInt8), (111 : UInt8), (114 : UInt8), (116 : UInt8), (115 : UInt8), (46 : UInt8), (114 : UInt8), (115 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (16 : UInt8), (0 : UInt8), (23 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (28 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (5 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (16 : UInt8), (0 : UInt8), (23 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (33 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (5 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (2 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (12 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (4 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (3 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (4 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (5 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (8 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (4 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (6 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (7 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (8 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (9 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (10 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (16 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (4 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (11 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (12 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (13 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (14 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (109 : UInt8), (93 : UInt8), (203 : UInt8), (214 : UInt8), (44 : UInt8), (80 : UInt8), (235 : UInt8), (99 : UInt8), (120 : UInt8), (65 : UInt8), (166 : UInt8), (87 : UInt8), (113 : UInt8), (27 : UInt8), (139 : UInt8), (185 : UInt8), (21 : UInt8), (162 : UInt8), (92 : UInt8), (85 : UInt8), (52 : UInt8), (85 : UInt8), (7 : UInt8), (212 : UInt8), (83 : UInt8), (120 : UInt8), (173 : UInt8), (129 : UInt8), (81 : UInt8), (240 : UInt8), (163 : UInt8), (247 : UInt8), (47 : UInt8), (114 : UInt8), (117 : UInt8), (115 : UInt8), (116 : UInt8), (47 : UInt8), (100 : UInt8), (101 : UInt8), (112 : UInt8), (115 : UInt8), (47 : UInt8), (100 : UInt8), (108 : UInt8), (109 : UInt8), (97 : UInt8), (108 : UInt8), (108 : UInt8), (111 : UInt8), (99 : UInt8), (45 : UInt8), (48 : UInt8), (46 : UInt8), (50 : UInt8), (46 : UInt8), (49 : UInt8), (49 : UInt8), (47 : UInt8), (115 : UInt8), (114 : UInt8), (99 : UInt8), (47 : UInt8), (100 : UInt8), (108 : UInt8), (109 : UInt8), (97 : UInt8), (108 : UInt8), (108 : UInt8), (111 : UInt8), (99 : UInt8), (46 : UInt8), (114 : UInt8), (115 : UInt8), (0 : UInt8), (97 : UInt8), (115 : UInt8), (115 : UInt8), (101 : UInt8), (114 : UInt8), (116 : UInt8), (105 : UInt8), (111 : UInt8), (110 : UInt8), (32 : UInt8), (102 : UInt8), (97 : UInt8), (105 : UInt8), (108 : UInt8), (101 : UInt8), (100 : UInt8), (58 : UInt8), (32 : UInt8), (112 : UInt8), (115 : UInt8), (105 : UInt8), (122 : UInt8), (101 : UInt8), (32 : UInt8), (62 : UInt8), (61 : UInt8), (32 : UInt8), (115 : UInt8), (105 : UInt8), (122 : UInt8), (101 : UInt8), (32 : UInt8), (43 : UInt8), (32 : UInt8), (109 : UInt8), (105 : UInt8), (110 : UInt8), (95 : UInt8), (111 : UInt8), (118 : UInt8), (101 : UInt8), (114 : UInt8), (104 : UInt8), (101 : UInt8), (97 : UInt8), (100 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (168 : UInt8), (0 : UInt8), (16 : UInt8), (0 : UInt8), (42 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (177 : UInt8), (4 : UInt8), (0 : UInt8), (0 : UInt8), (9 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (97 : UInt8), (115 : UInt8), (115 : UInt8), (101 : UInt8), (114 : UInt8), (116 : UInt8), (105 : UInt8), (111 : UInt8), (110 : UInt8), (32 : UInt8), (102 : UInt8), (97 : UInt8), (105 : UInt8), (108 : UInt8), (101 : UInt8), (100 : UInt8), (58 : UInt8), (32 : UInt8), (112 : UInt8), (115 : UInt8), (105 : UInt8), (122 : UInt8), (101 : UInt8), (32 : UInt8), (60 : UInt8), (61 : UInt8), (32 : UInt8), (115 : UInt8), (105 : UInt8), (122 : UInt8), (101 : UInt8), (32 : UInt8), (43 : UInt8), (32 : UInt8), (109 : UInt8), (97 : UInt8), (120 : UInt8), (95 : UInt8), (111 : UInt8), (118 : UInt8), (101 : UInt8), (114 : UInt8), (104 : UInt8), (101 : UInt8), (97 : UInt8), (100 : UInt8), (0 : UInt8), (0 : UInt8), (168 : UInt8), (0 : UInt8), (16 : UInt8), (0 : UInt8), (42 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (183 : UInt8), (4 : UInt8), (0 : UInt8), (0 : UInt8), (13 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (8 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (4 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (15 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (2 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (12 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (4 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (16 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (47 : UInt8), (114 : UInt8), (117 : UInt8), (115 : UInt8), (116 : UInt8), (99 : UInt8), (47 : UInt8), (53 : UInt8), (57 : UInt8), (56 : UInt8), (48 : UInt8), (55 : UInt8), (54 : UInt8), (49 : UInt8), (54 : UInt8), (101 : UInt8), (49 : UInt8), (102 : UInt8), (97 : UInt8), (50 : UInt8), (53 : UInt8), (52 : UInt8), (48 : UInt8), (55 : UInt8), (50 : UInt8), (52 : UInt8), (98 : UInt8), (102 : UInt8), (98 : UInt8), (97 : UInt8), (99 : UInt8), (49 : UInt8), (52 : UInt8), (100 : UInt8), (55 : UInt8), (57 : UInt8), (55 : UInt8), (54 : UInt8), (100 : UInt8), (55 : UInt8), (101 : UInt8), (52 : UInt8), (97 : UInt8), (51 : UInt8), (56 : UInt8), (54 : UInt8), (48 : UInt8), (47 : UInt8), (108 : UInt8), (105 : UInt8), (98 : UInt8), (114 : UInt8), (97 : UInt8), (114 : UInt8), (121 : UInt8), (47 : UInt8), (97 : UInt8), (108 : UInt8), (108 : UInt8), (111 : UInt8), (99 : UInt8), (47 : UInt8), (115 : UInt8), (114 : UInt8), (99 : UInt8), (47 : UInt8), (114 : UInt8), (97 : UInt8), (119 : UInt8), (95 : UInt8), (118 : UInt8), (101 : UInt8), (99 : UInt8), (47 : UInt8), (109 : UInt8), (111 : UInt8), (100 : UInt8), (46 : UInt8), (114 : UInt8), (115 : UInt8), (0 : UInt8), (99 : UInt8), (97 : UInt8), (112 : UInt8), (97 : UInt8), (99 : UInt8), (105 : UInt8), (116 : UInt8), (121 : UInt8), (32 : UInt8), (111 : UInt8), (118 : UInt8), (101 : UInt8), (114 : UInt8), (102 : UInt8), (108 : UInt8), (111 : UInt8), (119 : UInt8), (0 : UInt8), (0 : UInt8), (116 : UInt8), (1 : UInt8), (16 : UInt8), (0 : UInt8), (80 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (28 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (5 : UInt8), (0 : UInt8), (0 : UInt8), (0 : UInt8), (97 : UInt8), (116 : UInt8), (116 : UInt8), (101 : UInt8), (109 : UInt8), (112 : UInt8), (116 : UInt8), (32 : UInt8), (116 : UInt8), (111 : UInt8), (32 : UInt8), (100 : UInt8), (105 : UInt8), (118 : UInt8), (105 : UInt8), (100 : UInt8), (101 : UInt8), (32 : UInt8), (98 : UInt8), (121 : UInt8), (32 : UInt8), (122 : UInt8), (101 : UInt8), (114 : UInt8), (111 : UInt8), (97 : UInt8), (116 : UInt8), (116 : UInt8), (101 : UInt8), (109 : UInt8), (112 : UInt8), (116 : UInt8), (32 : UInt8), (116 : UInt8), (111 : UInt8), (32 : UInt8), (99 : UInt8), (97 : UInt8), (108 : UInt8), (99 : UInt8), (117 : UInt8), (108 : UInt8), (97 : UInt8), (116 : UInt8), (101 : UInt8), (32 : UInt8), (116 : UInt8), (104 : UInt8), (101 : UInt8), (32 : UInt8), (114 : UInt8), (101 : UInt8), (109 : UInt8), (97 : UInt8), (105 : UInt8), (110 : UInt8), (100 : UInt8), (101 : UInt8), (114 : UInt8), (32 : UInt8), (119 : UInt8), (105 : UInt8), (116 : UInt8), (104 : UInt8), (32 : UInt8), (97 : UInt8), (32 : UInt8), (100 : UInt8), (105 : UInt8), (118 : UInt8), (105 : UInt8), (115 : UInt8), (111 : UInt8), (114 : UInt8), (32 : UInt8), (111 : UInt8), (102 : UInt8), (32 : UInt8), (122 : UInt8), (101 : UInt8), (114 : UInt8), (111 : UInt8)] }
] },
globals := [
{ init := .i32 (1048576 : UInt32) },
{ init := .i32 (1049629 : UInt32) },
{ init := .i32 (1049632 : UInt32) }
],
types := [
{ params := [.i32, .i32], results := [] },
{ params := [.i32, .i32, .i32], results := [.i32] },
{ params := [.i32, .i32], results := [.i32] },
{ params := [.i64, .i64], results := [.i64] },
{ params := [.i64, .i64, .i32], results := [] },
{ params := [.i64], results := [.i64] },
{ params := [.i64, .i32], results := [.i64] },
{ params := [.i32, .i32, .i32], results := [] },
{ params := [.i32, .i32, .i32, .i32], results := [.i32] },
{ params := [], results := [] },
{ params := [.i32, .i32, .i32, .i32, .i32], results := [] },
{ params := [.i32], results := [] },
{ params := [.i32, .i32, .i32, .i32, .i32, .i32], results := [] },
{ params := [.i32], results := [.i32] }
],
tables := [
{ min := 17, max := some 17, elemType := .funcref }
],
elements := [
{ tableIdx := some 0, offset := some 1, funcs := [some 29, some 21, some 53, some 52, some 57, some 51, some 50, some 48, some 49, some 22, some 47, some 55, some 54, some 56, some 46, some 45] }
]
}
end Project.RustU64