summaryrefslogtreecommitdiff
path: root/test/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes')
-rw-r--r--test/passes/alignment-lowering64.passes1
-rw-r--r--test/passes/alignment-lowering64.txt1948
-rw-r--r--test/passes/alignment-lowering64.wast103
-rw-r--r--test/passes/avoid-reinterprets64.passes1
-rw-r--r--test/passes/avoid-reinterprets64.txt182
-rw-r--r--test/passes/avoid-reinterprets64.wast69
-rw-r--r--test/passes/dealign64.passes1
-rw-r--r--test/passes/dealign64.txt33
-rw-r--r--test/passes/dealign64.wast11
-rw-r--r--test/passes/instrument-memory64.passes1
-rw-r--r--test/passes/instrument-memory64.txt603
-rw-r--r--test/passes/instrument-memory64.wast57
-rw-r--r--test/passes/safe-heap_enable-threads_enable-simd64.passes1
-rw-r--r--test/passes/safe-heap_enable-threads_enable-simd64.txt8705
-rw-r--r--test/passes/safe-heap_enable-threads_enable-simd64.wast56
-rw-r--r--test/passes/strip-target-features_roundtrip_print-features_all-features.txt1
16 files changed, 11773 insertions, 0 deletions
diff --git a/test/passes/alignment-lowering64.passes b/test/passes/alignment-lowering64.passes
new file mode 100644
index 000000000..6dfd86e85
--- /dev/null
+++ b/test/passes/alignment-lowering64.passes
@@ -0,0 +1 @@
+alignment-lowering
diff --git a/test/passes/alignment-lowering64.txt b/test/passes/alignment-lowering64.txt
new file mode 100644
index 000000000..31f6fd368
--- /dev/null
+++ b/test/passes/alignment-lowering64.txt
@@ -0,0 +1,1948 @@
+(module
+ (type $none_=>_none (func))
+ (memory $0 i64 1 1)
+ (func $func_4
+ (local $0 i64)
+ (local $1 i64)
+ (local $2 i64)
+ (local $3 i64)
+ (local $4 i64)
+ (local $5 i32)
+ (local $6 i64)
+ (local $7 i32)
+ (local $8 i64)
+ (local $9 i32)
+ (local $10 i64)
+ (local $11 i32)
+ (drop
+ (i32.load
+ (i64.const 4)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $0
+ (i64.const 4)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u
+ (local.get $0)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $0)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=2
+ (local.get $0)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=3
+ (local.get $0)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $1
+ (i64.const 4)
+ )
+ (i32.or
+ (i32.load16_u
+ (local.get $1)
+ )
+ (i32.shl
+ (i32.load16_u offset=2
+ (local.get $1)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (drop
+ (i32.load
+ (i64.const 4)
+ )
+ )
+ (drop
+ (i32.load offset=100
+ (i64.const 4)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $2
+ (i64.const 4)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u offset=100
+ (local.get $2)
+ )
+ (i32.shl
+ (i32.load8_u offset=101
+ (local.get $2)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=102
+ (local.get $2)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=103
+ (local.get $2)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $3
+ (i64.const 4)
+ )
+ (i32.or
+ (i32.load16_u offset=100
+ (local.get $3)
+ )
+ (i32.shl
+ (i32.load16_u offset=102
+ (local.get $3)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (drop
+ (i32.load offset=100
+ (i64.const 4)
+ )
+ )
+ (drop
+ (unreachable)
+ )
+ (i32.store
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (block
+ (local.set $4
+ (i64.const 4)
+ )
+ (local.set $5
+ (i32.const 8)
+ )
+ (i32.store8
+ (local.get $4)
+ (local.get $5)
+ )
+ (i32.store8 offset=1
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=2
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=3
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 24)
+ )
+ )
+ )
+ (block
+ (local.set $6
+ (i64.const 4)
+ )
+ (local.set $7
+ (i32.const 8)
+ )
+ (i32.store16
+ (local.get $6)
+ (local.get $7)
+ )
+ (i32.store16 offset=2
+ (local.get $6)
+ (i32.shr_u
+ (local.get $7)
+ (i32.const 16)
+ )
+ )
+ )
+ (i32.store
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (i32.store offset=100
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (block
+ (local.set $8
+ (i64.const 4)
+ )
+ (local.set $9
+ (i32.const 8)
+ )
+ (i32.store8 offset=100
+ (local.get $8)
+ (local.get $9)
+ )
+ (i32.store8 offset=101
+ (local.get $8)
+ (i32.shr_u
+ (local.get $9)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=102
+ (local.get $8)
+ (i32.shr_u
+ (local.get $9)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=103
+ (local.get $8)
+ (i32.shr_u
+ (local.get $9)
+ (i32.const 24)
+ )
+ )
+ )
+ (block
+ (local.set $10
+ (i64.const 4)
+ )
+ (local.set $11
+ (i32.const 8)
+ )
+ (i32.store16 offset=100
+ (local.get $10)
+ (local.get $11)
+ )
+ (i32.store16 offset=102
+ (local.get $10)
+ (i32.shr_u
+ (local.get $11)
+ (i32.const 16)
+ )
+ )
+ )
+ (i32.store offset=100
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (block
+ (drop
+ (unreachable)
+ )
+ (drop
+ (i32.const 8)
+ )
+ )
+ (block
+ (drop
+ (i64.const 4)
+ )
+ (drop
+ (unreachable)
+ )
+ )
+ )
+ (func $func_2
+ (local $0 i64)
+ (local $1 i64)
+ (local $2 i64)
+ (local $3 i32)
+ (local $4 i64)
+ (local $5 i32)
+ (drop
+ (i32.load16_u
+ (i64.const 4)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $0
+ (i64.const 4)
+ )
+ (i32.or
+ (i32.load8_u
+ (local.get $0)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $0)
+ )
+ (i32.const 8)
+ )
+ )
+ )
+ )
+ (drop
+ (i32.load16_u
+ (i64.const 4)
+ )
+ )
+ (drop
+ (i32.load16_u offset=100
+ (i64.const 4)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $1
+ (i64.const 4)
+ )
+ (i32.or
+ (i32.load8_u offset=100
+ (local.get $1)
+ )
+ (i32.shl
+ (i32.load8_u offset=101
+ (local.get $1)
+ )
+ (i32.const 8)
+ )
+ )
+ )
+ )
+ (drop
+ (i32.load16_u offset=100
+ (i64.const 4)
+ )
+ )
+ (drop
+ (unreachable)
+ )
+ (i32.store16
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (block
+ (local.set $2
+ (i64.const 4)
+ )
+ (local.set $3
+ (i32.const 8)
+ )
+ (i32.store8
+ (local.get $2)
+ (local.get $3)
+ )
+ (i32.store8 offset=1
+ (local.get $2)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 8)
+ )
+ )
+ )
+ (i32.store16
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (i32.store16 offset=100
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (block
+ (local.set $4
+ (i64.const 4)
+ )
+ (local.set $5
+ (i32.const 8)
+ )
+ (i32.store8 offset=100
+ (local.get $4)
+ (local.get $5)
+ )
+ (i32.store8 offset=101
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 8)
+ )
+ )
+ )
+ (i32.store16 offset=100
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (block
+ (drop
+ (unreachable)
+ )
+ (drop
+ (i32.const 8)
+ )
+ )
+ (block
+ (drop
+ (i64.const 4)
+ )
+ (drop
+ (unreachable)
+ )
+ )
+ )
+ (func $func_1
+ (drop
+ (i32.load8_u
+ (i64.const 4)
+ )
+ )
+ (drop
+ (i32.load8_u
+ (i64.const 4)
+ )
+ )
+ (drop
+ (i32.load8_u offset=100
+ (i64.const 4)
+ )
+ )
+ (drop
+ (i32.load8_u offset=100
+ (i64.const 4)
+ )
+ )
+ (drop
+ (unreachable)
+ )
+ (i32.store8
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (i32.store8
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (i32.store8 offset=100
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (i32.store8 offset=100
+ (i64.const 4)
+ (i32.const 8)
+ )
+ (block
+ (drop
+ (unreachable)
+ )
+ (drop
+ (i32.const 8)
+ )
+ )
+ (block
+ (drop
+ (i64.const 4)
+ )
+ (drop
+ (unreachable)
+ )
+ )
+ )
+ (func $func_signed
+ (local $0 i64)
+ (local $1 i64)
+ (drop
+ (i32.load16_s
+ (i64.const 4)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $0
+ (i64.const 4)
+ )
+ (i32.shr_s
+ (i32.shl
+ (i32.or
+ (i32.load8_u
+ (local.get $0)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $0)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.const 16)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ (drop
+ (i32.load16_s
+ (i64.const 4)
+ )
+ )
+ (drop
+ (i32.load16_s offset=100
+ (i64.const 4)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $1
+ (i64.const 4)
+ )
+ (i32.shr_s
+ (i32.shl
+ (i32.or
+ (i32.load8_u offset=100
+ (local.get $1)
+ )
+ (i32.shl
+ (i32.load8_u offset=101
+ (local.get $1)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.const 16)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ (drop
+ (i32.load16_s offset=100
+ (i64.const 4)
+ )
+ )
+ (drop
+ (unreachable)
+ )
+ )
+ (func $i64-load
+ (local $0 i64)
+ (local $1 i64)
+ (local $2 i64)
+ (local $3 i64)
+ (local $4 i64)
+ (local $5 i64)
+ (local $6 i64)
+ (local $7 i64)
+ (local $8 i64)
+ (local $9 i64)
+ (local $10 i64)
+ (local $11 i64)
+ (local $12 i64)
+ (local $13 i64)
+ (drop
+ (block (result i64)
+ (local.set $0
+ (i64.const 12)
+ )
+ (i64.or
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $1
+ (local.get $0)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u
+ (local.get $1)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $1)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=2
+ (local.get $1)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=3
+ (local.get $1)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (i64.shl
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $2
+ (local.get $0)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u offset=4
+ (local.get $2)
+ )
+ (i32.shl
+ (i32.load8_u offset=5
+ (local.get $2)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=6
+ (local.get $2)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=7
+ (local.get $2)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ (drop
+ (block (result i64)
+ (local.set $3
+ (i64.const 16)
+ )
+ (i64.or
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $4
+ (local.get $3)
+ )
+ (i32.or
+ (i32.load16_u
+ (local.get $4)
+ )
+ (i32.shl
+ (i32.load16_u offset=2
+ (local.get $4)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (i64.shl
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $5
+ (local.get $3)
+ )
+ (i32.or
+ (i32.load16_u offset=4
+ (local.get $5)
+ )
+ (i32.shl
+ (i32.load16_u offset=6
+ (local.get $5)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ (drop
+ (block (result i64)
+ (local.set $6
+ (i64.const 20)
+ )
+ (i64.or
+ (i64.extend_i32_u
+ (i32.load
+ (local.get $6)
+ )
+ )
+ (i64.shl
+ (i64.extend_i32_u
+ (i32.load offset=4
+ (local.get $6)
+ )
+ )
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ (drop
+ (block (result i64)
+ (local.set $7
+ (i64.const 20)
+ )
+ (i64.or
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $8
+ (local.get $7)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u offset=3
+ (local.get $8)
+ )
+ (i32.shl
+ (i32.load8_u offset=4
+ (local.get $8)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=5
+ (local.get $8)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=6
+ (local.get $8)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (i64.shl
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $9
+ (local.get $7)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u offset=7
+ (local.get $9)
+ )
+ (i32.shl
+ (i32.load8_u offset=8
+ (local.get $9)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=9
+ (local.get $9)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=10
+ (local.get $9)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ (drop
+ (i64.extend_i32_s
+ (block (result i32)
+ (local.set $10
+ (i64.const 28)
+ )
+ (i32.shr_s
+ (i32.shl
+ (i32.or
+ (i32.load8_u
+ (local.get $10)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $10)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.const 16)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (drop
+ (i64.extend_i32_s
+ (block (result i32)
+ (local.set $11
+ (i64.const 32)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u
+ (local.get $11)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $11)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=2
+ (local.get $11)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=3
+ (local.get $11)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $12
+ (i64.const 40)
+ )
+ (i32.or
+ (i32.load8_u
+ (local.get $12)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $12)
+ )
+ (i32.const 8)
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $13
+ (i64.const 44)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u
+ (local.get $13)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $13)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=2
+ (local.get $13)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=3
+ (local.get $13)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+ (func $f32-load
+ (local $0 i64)
+ (local $1 i64)
+ (local $2 i64)
+ (drop
+ (f32.reinterpret_i32
+ (block (result i32)
+ (local.set $0
+ (i64.const 12)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u
+ (local.get $0)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $0)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=2
+ (local.get $0)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=3
+ (local.get $0)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (f32.reinterpret_i32
+ (block (result i32)
+ (local.set $1
+ (i64.const 16)
+ )
+ (i32.or
+ (i32.load16_u
+ (local.get $1)
+ )
+ (i32.shl
+ (i32.load16_u offset=2
+ (local.get $1)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (f32.reinterpret_i32
+ (block (result i32)
+ (local.set $2
+ (i64.const 20)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u offset=3
+ (local.get $2)
+ )
+ (i32.shl
+ (i32.load8_u offset=4
+ (local.get $2)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=5
+ (local.get $2)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=6
+ (local.get $2)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ )
+ )
+ (func $f64-load
+ (local $0 i64)
+ (local $1 i64)
+ (local $2 i64)
+ (local $3 i64)
+ (local $4 i64)
+ (local $5 i64)
+ (local $6 i64)
+ (local $7 i64)
+ (local $8 i64)
+ (local $9 i64)
+ (drop
+ (f64.reinterpret_i64
+ (block (result i64)
+ (local.set $0
+ (i64.const 12)
+ )
+ (i64.or
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $1
+ (local.get $0)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u
+ (local.get $1)
+ )
+ (i32.shl
+ (i32.load8_u offset=1
+ (local.get $1)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=2
+ (local.get $1)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=3
+ (local.get $1)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (i64.shl
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $2
+ (local.get $0)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u offset=4
+ (local.get $2)
+ )
+ (i32.shl
+ (i32.load8_u offset=5
+ (local.get $2)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=6
+ (local.get $2)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=7
+ (local.get $2)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (f64.reinterpret_i64
+ (block (result i64)
+ (local.set $3
+ (i64.const 16)
+ )
+ (i64.or
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $4
+ (local.get $3)
+ )
+ (i32.or
+ (i32.load16_u
+ (local.get $4)
+ )
+ (i32.shl
+ (i32.load16_u offset=2
+ (local.get $4)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (i64.shl
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $5
+ (local.get $3)
+ )
+ (i32.or
+ (i32.load16_u offset=4
+ (local.get $5)
+ )
+ (i32.shl
+ (i32.load16_u offset=6
+ (local.get $5)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (f64.reinterpret_i64
+ (block (result i64)
+ (local.set $6
+ (i64.const 20)
+ )
+ (i64.or
+ (i64.extend_i32_u
+ (i32.load
+ (local.get $6)
+ )
+ )
+ (i64.shl
+ (i64.extend_i32_u
+ (i32.load offset=4
+ (local.get $6)
+ )
+ )
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ )
+ (drop
+ (f64.reinterpret_i64
+ (block (result i64)
+ (local.set $7
+ (i64.const 20)
+ )
+ (i64.or
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $8
+ (local.get $7)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u offset=3
+ (local.get $8)
+ )
+ (i32.shl
+ (i32.load8_u offset=4
+ (local.get $8)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=5
+ (local.get $8)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=6
+ (local.get $8)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (i64.shl
+ (i64.extend_i32_u
+ (block (result i32)
+ (local.set $9
+ (local.get $7)
+ )
+ (i32.or
+ (i32.or
+ (i32.load8_u offset=7
+ (local.get $9)
+ )
+ (i32.shl
+ (i32.load8_u offset=8
+ (local.get $9)
+ )
+ (i32.const 8)
+ )
+ )
+ (i32.or
+ (i32.shl
+ (i32.load8_u offset=9
+ (local.get $9)
+ )
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.load8_u offset=10
+ (local.get $9)
+ )
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ )
+ )
+ (func $i64-store
+ (local $0 i64)
+ (local $1 i64)
+ (local $2 i64)
+ (local $3 i32)
+ (local $4 i64)
+ (local $5 i32)
+ (local $6 i64)
+ (local $7 i64)
+ (local $8 i64)
+ (local $9 i32)
+ (local $10 i64)
+ (local $11 i32)
+ (local $12 i64)
+ (local $13 i64)
+ (local $14 i64)
+ (local $15 i64)
+ (local $16 i64)
+ (local $17 i32)
+ (local $18 i64)
+ (local $19 i32)
+ (local $20 i64)
+ (local $21 i32)
+ (local $22 i64)
+ (local $23 i32)
+ (block
+ (local.set $0
+ (i64.const 12)
+ )
+ (local.set $1
+ (i64.const 100)
+ )
+ (block
+ (local.set $2
+ (local.get $0)
+ )
+ (local.set $3
+ (i32.wrap_i64
+ (local.get $1)
+ )
+ )
+ (i32.store8
+ (local.get $2)
+ (local.get $3)
+ )
+ (i32.store8 offset=1
+ (local.get $2)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=2
+ (local.get $2)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=3
+ (local.get $2)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 24)
+ )
+ )
+ )
+ (block
+ (local.set $4
+ (local.get $0)
+ )
+ (local.set $5
+ (i32.wrap_i64
+ (i64.shr_u
+ (local.get $1)
+ (i64.const 32)
+ )
+ )
+ )
+ (i32.store8 offset=4
+ (local.get $4)
+ (local.get $5)
+ )
+ (i32.store8 offset=5
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=6
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=7
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ (block
+ (local.set $6
+ (i64.const 16)
+ )
+ (local.set $7
+ (i64.const 200)
+ )
+ (block
+ (local.set $8
+ (local.get $6)
+ )
+ (local.set $9
+ (i32.wrap_i64
+ (local.get $7)
+ )
+ )
+ (i32.store16
+ (local.get $8)
+ (local.get $9)
+ )
+ (i32.store16 offset=2
+ (local.get $8)
+ (i32.shr_u
+ (local.get $9)
+ (i32.const 16)
+ )
+ )
+ )
+ (block
+ (local.set $10
+ (local.get $6)
+ )
+ (local.set $11
+ (i32.wrap_i64
+ (i64.shr_u
+ (local.get $7)
+ (i64.const 32)
+ )
+ )
+ )
+ (i32.store16 offset=4
+ (local.get $10)
+ (local.get $11)
+ )
+ (i32.store16 offset=6
+ (local.get $10)
+ (i32.shr_u
+ (local.get $11)
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (block
+ (local.set $12
+ (i64.const 20)
+ )
+ (local.set $13
+ (i64.const 300)
+ )
+ (i32.store
+ (local.get $12)
+ (i32.wrap_i64
+ (local.get $13)
+ )
+ )
+ (i32.store offset=4
+ (local.get $12)
+ (i32.wrap_i64
+ (i64.shr_u
+ (local.get $13)
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ (block
+ (local.set $14
+ (i64.const 24)
+ )
+ (local.set $15
+ (i64.const 400)
+ )
+ (block
+ (local.set $16
+ (local.get $14)
+ )
+ (local.set $17
+ (i32.wrap_i64
+ (local.get $15)
+ )
+ )
+ (i32.store8 offset=3
+ (local.get $16)
+ (local.get $17)
+ )
+ (i32.store8 offset=4
+ (local.get $16)
+ (i32.shr_u
+ (local.get $17)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=5
+ (local.get $16)
+ (i32.shr_u
+ (local.get $17)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=6
+ (local.get $16)
+ (i32.shr_u
+ (local.get $17)
+ (i32.const 24)
+ )
+ )
+ )
+ (block
+ (local.set $18
+ (local.get $14)
+ )
+ (local.set $19
+ (i32.wrap_i64
+ (i64.shr_u
+ (local.get $15)
+ (i64.const 32)
+ )
+ )
+ )
+ (i32.store8 offset=7
+ (local.get $18)
+ (local.get $19)
+ )
+ (i32.store8 offset=8
+ (local.get $18)
+ (i32.shr_u
+ (local.get $19)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=9
+ (local.get $18)
+ (i32.shr_u
+ (local.get $19)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=10
+ (local.get $18)
+ (i32.shr_u
+ (local.get $19)
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ (block
+ (local.set $20
+ (i64.const 20)
+ )
+ (local.set $21
+ (i32.wrap_i64
+ (i64.const 600)
+ )
+ )
+ (i32.store8
+ (local.get $20)
+ (local.get $21)
+ )
+ (i32.store8 offset=1
+ (local.get $20)
+ (i32.shr_u
+ (local.get $21)
+ (i32.const 8)
+ )
+ )
+ )
+ (block
+ (local.set $22
+ (i64.const 20)
+ )
+ (local.set $23
+ (i32.wrap_i64
+ (i64.const 700)
+ )
+ )
+ (i32.store8
+ (local.get $22)
+ (local.get $23)
+ )
+ (i32.store8 offset=1
+ (local.get $22)
+ (i32.shr_u
+ (local.get $23)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=2
+ (local.get $22)
+ (i32.shr_u
+ (local.get $23)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=3
+ (local.get $22)
+ (i32.shr_u
+ (local.get $23)
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ (func $f32-store
+ (local $0 i64)
+ (local $1 i32)
+ (local $2 i64)
+ (local $3 i32)
+ (local $4 i64)
+ (local $5 i32)
+ (block
+ (local.set $0
+ (i64.const 12)
+ )
+ (local.set $1
+ (i32.reinterpret_f32
+ (f32.const 100)
+ )
+ )
+ (i32.store8
+ (local.get $0)
+ (local.get $1)
+ )
+ (i32.store8 offset=1
+ (local.get $0)
+ (i32.shr_u
+ (local.get $1)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=2
+ (local.get $0)
+ (i32.shr_u
+ (local.get $1)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=3
+ (local.get $0)
+ (i32.shr_u
+ (local.get $1)
+ (i32.const 24)
+ )
+ )
+ )
+ (block
+ (local.set $2
+ (i64.const 16)
+ )
+ (local.set $3
+ (i32.reinterpret_f32
+ (f32.const 200)
+ )
+ )
+ (i32.store16
+ (local.get $2)
+ (local.get $3)
+ )
+ (i32.store16 offset=2
+ (local.get $2)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 16)
+ )
+ )
+ )
+ (block
+ (local.set $4
+ (i64.const 24)
+ )
+ (local.set $5
+ (i32.reinterpret_f32
+ (f32.const 400)
+ )
+ )
+ (i32.store8 offset=3
+ (local.get $4)
+ (local.get $5)
+ )
+ (i32.store8 offset=4
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=5
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=6
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ (func $f64-store
+ (local $0 i64)
+ (local $1 i64)
+ (local $2 i64)
+ (local $3 i32)
+ (local $4 i64)
+ (local $5 i32)
+ (local $6 i64)
+ (local $7 i64)
+ (local $8 i64)
+ (local $9 i32)
+ (local $10 i64)
+ (local $11 i32)
+ (local $12 i64)
+ (local $13 i64)
+ (local $14 i64)
+ (local $15 i64)
+ (local $16 i64)
+ (local $17 i32)
+ (local $18 i64)
+ (local $19 i32)
+ (block
+ (local.set $0
+ (i64.const 12)
+ )
+ (local.set $1
+ (i64.reinterpret_f64
+ (f64.const 100)
+ )
+ )
+ (block
+ (local.set $2
+ (local.get $0)
+ )
+ (local.set $3
+ (i32.wrap_i64
+ (local.get $1)
+ )
+ )
+ (i32.store8
+ (local.get $2)
+ (local.get $3)
+ )
+ (i32.store8 offset=1
+ (local.get $2)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=2
+ (local.get $2)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=3
+ (local.get $2)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 24)
+ )
+ )
+ )
+ (block
+ (local.set $4
+ (local.get $0)
+ )
+ (local.set $5
+ (i32.wrap_i64
+ (i64.shr_u
+ (local.get $1)
+ (i64.const 32)
+ )
+ )
+ )
+ (i32.store8 offset=4
+ (local.get $4)
+ (local.get $5)
+ )
+ (i32.store8 offset=5
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=6
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=7
+ (local.get $4)
+ (i32.shr_u
+ (local.get $5)
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ (block
+ (local.set $6
+ (i64.const 16)
+ )
+ (local.set $7
+ (i64.reinterpret_f64
+ (f64.const 200)
+ )
+ )
+ (block
+ (local.set $8
+ (local.get $6)
+ )
+ (local.set $9
+ (i32.wrap_i64
+ (local.get $7)
+ )
+ )
+ (i32.store16
+ (local.get $8)
+ (local.get $9)
+ )
+ (i32.store16 offset=2
+ (local.get $8)
+ (i32.shr_u
+ (local.get $9)
+ (i32.const 16)
+ )
+ )
+ )
+ (block
+ (local.set $10
+ (local.get $6)
+ )
+ (local.set $11
+ (i32.wrap_i64
+ (i64.shr_u
+ (local.get $7)
+ (i64.const 32)
+ )
+ )
+ )
+ (i32.store16 offset=4
+ (local.get $10)
+ (local.get $11)
+ )
+ (i32.store16 offset=6
+ (local.get $10)
+ (i32.shr_u
+ (local.get $11)
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (block
+ (local.set $12
+ (i64.const 20)
+ )
+ (local.set $13
+ (i64.reinterpret_f64
+ (f64.const 300)
+ )
+ )
+ (i32.store
+ (local.get $12)
+ (i32.wrap_i64
+ (local.get $13)
+ )
+ )
+ (i32.store offset=4
+ (local.get $12)
+ (i32.wrap_i64
+ (i64.shr_u
+ (local.get $13)
+ (i64.const 32)
+ )
+ )
+ )
+ )
+ (block
+ (local.set $14
+ (i64.const 24)
+ )
+ (local.set $15
+ (i64.reinterpret_f64
+ (f64.const 400)
+ )
+ )
+ (block
+ (local.set $16
+ (local.get $14)
+ )
+ (local.set $17
+ (i32.wrap_i64
+ (local.get $15)
+ )
+ )
+ (i32.store8 offset=3
+ (local.get $16)
+ (local.get $17)
+ )
+ (i32.store8 offset=4
+ (local.get $16)
+ (i32.shr_u
+ (local.get $17)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=5
+ (local.get $16)
+ (i32.shr_u
+ (local.get $17)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=6
+ (local.get $16)
+ (i32.shr_u
+ (local.get $17)
+ (i32.const 24)
+ )
+ )
+ )
+ (block
+ (local.set $18
+ (local.get $14)
+ )
+ (local.set $19
+ (i32.wrap_i64
+ (i64.shr_u
+ (local.get $15)
+ (i64.const 32)
+ )
+ )
+ )
+ (i32.store8 offset=7
+ (local.get $18)
+ (local.get $19)
+ )
+ (i32.store8 offset=8
+ (local.get $18)
+ (i32.shr_u
+ (local.get $19)
+ (i32.const 8)
+ )
+ )
+ (i32.store8 offset=9
+ (local.get $18)
+ (i32.shr_u
+ (local.get $19)
+ (i32.const 16)
+ )
+ )
+ (i32.store8 offset=10
+ (local.get $18)
+ (i32.shr_u
+ (local.get $19)
+ (i32.const 24)
+ )
+ )
+ )
+ )
+ )
+)
diff --git a/test/passes/alignment-lowering64.wast b/test/passes/alignment-lowering64.wast
new file mode 100644
index 000000000..c31eb8256
--- /dev/null
+++ b/test/passes/alignment-lowering64.wast
@@ -0,0 +1,103 @@
+(module
+ (memory $0 i64 1 1)
+ (func $func_4
+ (drop (i32.load (i64.const 4)))
+ (drop (i32.load align=1 (i64.const 4)))
+ (drop (i32.load align=2 (i64.const 4)))
+ (drop (i32.load align=4 (i64.const 4)))
+ (drop (i32.load offset=100 (i64.const 4)))
+ (drop (i32.load offset=100 align=1 (i64.const 4)))
+ (drop (i32.load offset=100 align=2 (i64.const 4)))
+ (drop (i32.load offset=100 align=4 (i64.const 4)))
+ (drop (i32.load offset=100 align=1 (unreachable)))
+ (i32.store (i64.const 4) (i32.const 8))
+ (i32.store align=1 (i64.const 4) (i32.const 8))
+ (i32.store align=2 (i64.const 4) (i32.const 8))
+ (i32.store align=4 (i64.const 4) (i32.const 8))
+ (i32.store offset=100 (i64.const 4) (i32.const 8))
+ (i32.store offset=100 align=1 (i64.const 4) (i32.const 8))
+ (i32.store offset=100 align=2 (i64.const 4) (i32.const 8))
+ (i32.store offset=100 align=4 (i64.const 4) (i32.const 8))
+ (i32.store offset=100 align=1 (unreachable) (i32.const 8))
+ (i32.store offset=100 align=1 (i64.const 4) (unreachable))
+ )
+ (func $func_2
+ (drop (i32.load16_u (i64.const 4)))
+ (drop (i32.load16_u align=1 (i64.const 4)))
+ (drop (i32.load16_u align=2 (i64.const 4)))
+ (drop (i32.load16_u offset=100 (i64.const 4)))
+ (drop (i32.load16_u offset=100 align=1 (i64.const 4)))
+ (drop (i32.load16_u offset=100 align=2 (i64.const 4)))
+ (drop (i32.load16_u offset=100 align=1 (unreachable)))
+ (i32.store16 (i64.const 4) (i32.const 8))
+ (i32.store16 align=1 (i64.const 4) (i32.const 8))
+ (i32.store16 align=2 (i64.const 4) (i32.const 8))
+ (i32.store16 offset=100 (i64.const 4) (i32.const 8))
+ (i32.store16 offset=100 align=1 (i64.const 4) (i32.const 8))
+ (i32.store16 offset=100 align=2 (i64.const 4) (i32.const 8))
+ (i32.store16 offset=100 align=1 (unreachable) (i32.const 8))
+ (i32.store16 offset=100 align=1 (i64.const 4) (unreachable))
+ )
+ (func $func_1
+ (drop (i32.load8_u (i64.const 4)))
+ (drop (i32.load8_u align=1 (i64.const 4)))
+ (drop (i32.load8_u offset=100 (i64.const 4)))
+ (drop (i32.load8_u offset=100 align=1 (i64.const 4)))
+ (drop (i32.load8_u offset=100 align=1 (unreachable)))
+ (i32.store8 (i64.const 4) (i32.const 8))
+ (i32.store8 align=1 (i64.const 4) (i32.const 8))
+ (i32.store8 offset=100 (i64.const 4) (i32.const 8))
+ (i32.store8 offset=100 align=1 (i64.const 4) (i32.const 8))
+ (i32.store8 offset=100 align=1 (unreachable) (i32.const 8))
+ (i32.store8 offset=100 align=1 (i64.const 4) (unreachable))
+ )
+ (func $func_signed
+ (drop (i32.load16_s (i64.const 4)))
+ (drop (i32.load16_s align=1 (i64.const 4)))
+ (drop (i32.load16_s align=2 (i64.const 4)))
+ (drop (i32.load16_s offset=100 (i64.const 4)))
+ (drop (i32.load16_s offset=100 align=1 (i64.const 4)))
+ (drop (i32.load16_s offset=100 align=2 (i64.const 4)))
+ (drop (i32.load16_s offset=100 align=1 (unreachable)))
+ )
+ (func $i64-load
+ (drop (i64.load align=1 (i64.const 12)))
+ (drop (i64.load align=2 (i64.const 16)))
+ (drop (i64.load align=4 (i64.const 20)))
+ (drop (i64.load align=1 offset=3 (i64.const 20)))
+ (drop (i64.load16_s align=1 (i64.const 28)))
+ (drop (i64.load32_s align=1 (i64.const 32)))
+ (drop (i64.load16_u align=1 (i64.const 40)))
+ (drop (i64.load32_u align=1 (i64.const 44)))
+ )
+ (func $f32-load
+ (drop (f32.load align=1 (i64.const 12)))
+ (drop (f32.load align=2 (i64.const 16)))
+ (drop (f32.load align=1 offset=3 (i64.const 20)))
+ )
+ (func $f64-load
+ (drop (f64.load align=1 (i64.const 12)))
+ (drop (f64.load align=2 (i64.const 16)))
+ (drop (f64.load align=4 (i64.const 20)))
+ (drop (f64.load align=1 offset=3 (i64.const 20)))
+ )
+ (func $i64-store
+ (i64.store align=1 (i64.const 12) (i64.const 100))
+ (i64.store align=2 (i64.const 16) (i64.const 200))
+ (i64.store align=4 (i64.const 20) (i64.const 300))
+ (i64.store align=1 offset=3 (i64.const 24) (i64.const 400))
+ (i64.store16 align=1 (i64.const 20) (i64.const 600))
+ (i64.store32 align=1 (i64.const 20) (i64.const 700))
+ )
+ (func $f32-store
+ (f32.store align=1 (i64.const 12) (f32.const 100))
+ (f32.store align=2 (i64.const 16) (f32.const 200))
+ (f32.store align=1 offset=3 (i64.const 24) (f32.const 400))
+ )
+ (func $f64-store
+ (f64.store align=1 (i64.const 12) (f64.const 100))
+ (f64.store align=2 (i64.const 16) (f64.const 200))
+ (f64.store align=4 (i64.const 20) (f64.const 300))
+ (f64.store align=1 offset=3 (i64.const 24) (f64.const 400))
+ )
+)
diff --git a/test/passes/avoid-reinterprets64.passes b/test/passes/avoid-reinterprets64.passes
new file mode 100644
index 000000000..4f327b29c
--- /dev/null
+++ b/test/passes/avoid-reinterprets64.passes
@@ -0,0 +1 @@
+avoid-reinterprets
diff --git a/test/passes/avoid-reinterprets64.txt b/test/passes/avoid-reinterprets64.txt
new file mode 100644
index 000000000..1b6f05948
--- /dev/null
+++ b/test/passes/avoid-reinterprets64.txt
@@ -0,0 +1,182 @@
+(module
+ (type $none_=>_none (func))
+ (type $none_=>_f32 (func (result f32)))
+ (memory $0 i64 1)
+ (func $simple
+ (drop
+ (f32.load
+ (i64.const 1024)
+ )
+ )
+ (drop
+ (i32.load
+ (i64.const 1024)
+ )
+ )
+ (drop
+ (f64.load
+ (i64.const 1024)
+ )
+ )
+ (drop
+ (i64.load
+ (i64.const 1024)
+ )
+ )
+ )
+ (func $one
+ (local $x i32)
+ (local $1 i64)
+ (local $2 f32)
+ (local.set $x
+ (block (result i32)
+ (local.set $1
+ (i64.const 1024)
+ )
+ (local.set $2
+ (f32.load
+ (local.get $1)
+ )
+ )
+ (i32.load
+ (local.get $1)
+ )
+ )
+ )
+ (drop
+ (local.get $2)
+ )
+ )
+ (func $one-b
+ (local $x f32)
+ (local $1 i64)
+ (local $2 i32)
+ (local.set $x
+ (block (result f32)
+ (local.set $1
+ (i64.const 1024)
+ )
+ (local.set $2
+ (i32.load
+ (local.get $1)
+ )
+ )
+ (f32.load
+ (local.get $1)
+ )
+ )
+ )
+ (drop
+ (local.get $2)
+ )
+ )
+ (func $both
+ (local $x i32)
+ (local $1 i64)
+ (local $2 f32)
+ (local.set $x
+ (block (result i32)
+ (local.set $1
+ (i64.const 1024)
+ )
+ (local.set $2
+ (f32.load
+ (local.get $1)
+ )
+ )
+ (i32.load
+ (local.get $1)
+ )
+ )
+ )
+ (drop
+ (local.get $2)
+ )
+ (drop
+ (local.get $2)
+ )
+ )
+ (func $half
+ (local $x i32)
+ (local $1 i64)
+ (local $2 f32)
+ (local.set $x
+ (block (result i32)
+ (local.set $1
+ (i64.const 1024)
+ )
+ (local.set $2
+ (f32.load
+ (local.get $1)
+ )
+ )
+ (i32.load
+ (local.get $1)
+ )
+ )
+ )
+ (drop
+ (local.get $x)
+ )
+ (drop
+ (local.get $2)
+ )
+ )
+ (func $copy
+ (local $x i32)
+ (local $y i32)
+ (local $2 i64)
+ (local $3 f32)
+ (local.set $x
+ (block (result i32)
+ (local.set $2
+ (i64.const 1024)
+ )
+ (local.set $3
+ (f32.load
+ (local.get $2)
+ )
+ )
+ (i32.load
+ (local.get $2)
+ )
+ )
+ )
+ (local.set $y
+ (local.get $x)
+ )
+ (drop
+ (local.get $3)
+ )
+ )
+ (func $partial1 (result f32)
+ (f32.reinterpret_i32
+ (i32.load16_u
+ (i64.const 3)
+ )
+ )
+ )
+ (func $partial2 (result f32)
+ (f32.reinterpret_i32
+ (i32.load8_u
+ (i64.const 3)
+ )
+ )
+ )
+ (func $nofallthrough
+ (local $x i32)
+ (local.set $x
+ (i32.load
+ (i64.const 1024)
+ )
+ )
+ (drop
+ (f32.reinterpret_i32
+ (block $block (result i32)
+ (nop)
+ (local.get $x)
+ )
+ )
+ )
+ )
+)
diff --git a/test/passes/avoid-reinterprets64.wast b/test/passes/avoid-reinterprets64.wast
new file mode 100644
index 000000000..cfc1843de
--- /dev/null
+++ b/test/passes/avoid-reinterprets64.wast
@@ -0,0 +1,69 @@
+(module
+ (memory i64 1)
+ (func $simple
+ (drop (f32.reinterpret_i32 (i32.load (i64.const 1024))))
+ (drop (i32.reinterpret_f32 (f32.load (i64.const 1024))))
+ (drop (f64.reinterpret_i64 (i64.load (i64.const 1024))))
+ (drop (i64.reinterpret_f64 (f64.load (i64.const 1024))))
+ )
+ (func $one
+ (local $x i32)
+ (local.set $x (i32.load (i64.const 1024)))
+ (drop (f32.reinterpret_i32 (local.get $x)))
+ )
+ (func $one-b
+ (local $x f32)
+ (local.set $x (f32.load (i64.const 1024)))
+ (drop (i32.reinterpret_f32 (local.get $x)))
+ )
+ (func $both
+ (local $x i32)
+ (local.set $x (i32.load (i64.const 1024)))
+ (drop (f32.reinterpret_i32 (local.get $x)))
+ (drop (f32.reinterpret_i32 (local.get $x)))
+ )
+ (func $half
+ (local $x i32)
+ (local.set $x (i32.load (i64.const 1024)))
+ (drop (local.get $x))
+ (drop (f32.reinterpret_i32 (local.get $x)))
+ )
+ (func $copy
+ (local $x i32)
+ (local $y i32)
+ (local.set $x (i32.load (i64.const 1024)))
+ (local.set $y (local.get $x))
+ (drop (f32.reinterpret_i32 (local.get $y)))
+ )
+ (func $partial1 (result f32)
+ (f32.reinterpret_i32
+ (i32.load16_u
+ (i64.const 3)
+ )
+ )
+ )
+ (func $partial2 (result f32)
+ (f32.reinterpret_i32
+ (i32.load8_u
+ (i64.const 3)
+ )
+ )
+ )
+ (func $nofallthrough
+ (local $x i32)
+ (local.set $x
+ (i32.load
+ (i64.const 1024)
+ )
+ )
+ (drop
+ (f32.reinterpret_i32
+ (block (result i32)
+ (nop) ;; this would be removed by other opts, but in general, we can't
+ ;; just look at the fallthrough, as we can't just remove code here
+ (local.get $x)
+ )
+ )
+ )
+ )
+)
diff --git a/test/passes/dealign64.passes b/test/passes/dealign64.passes
new file mode 100644
index 000000000..e731892d8
--- /dev/null
+++ b/test/passes/dealign64.passes
@@ -0,0 +1 @@
+dealign
diff --git a/test/passes/dealign64.txt b/test/passes/dealign64.txt
new file mode 100644
index 000000000..cbbe0b375
--- /dev/null
+++ b/test/passes/dealign64.txt
@@ -0,0 +1,33 @@
+(module
+ (type $none_=>_none (func))
+ (memory $0 i64 1 1)
+ (func $test
+ (drop
+ (i32.load align=1
+ (i64.const 4)
+ )
+ )
+ (drop
+ (i32.load align=1
+ (i64.const 8)
+ )
+ )
+ (drop
+ (i32.load align=1
+ (i64.const 12)
+ )
+ )
+ (i32.store align=1
+ (i64.const 16)
+ (i32.const 28)
+ )
+ (i32.store align=1
+ (i64.const 20)
+ (i32.const 32)
+ )
+ (i32.store align=1
+ (i64.const 24)
+ (i32.const 36)
+ )
+ )
+)
diff --git a/test/passes/dealign64.wast b/test/passes/dealign64.wast
new file mode 100644
index 000000000..bce361106
--- /dev/null
+++ b/test/passes/dealign64.wast
@@ -0,0 +1,11 @@
+(module
+ (memory $0 i64 1 1)
+ (func $test
+ (drop (i32.load (i64.const 4)))
+ (drop (i32.load align=1 (i64.const 8)))
+ (drop (i32.load align=2 (i64.const 12)))
+ (i32.store (i64.const 16) (i32.const 28))
+ (i32.store align=1 (i64.const 20) (i32.const 32))
+ (i32.store align=2 (i64.const 24) (i32.const 36))
+ )
+)
diff --git a/test/passes/instrument-memory64.passes b/test/passes/instrument-memory64.passes
new file mode 100644
index 000000000..3b1583bf9
--- /dev/null
+++ b/test/passes/instrument-memory64.passes
@@ -0,0 +1 @@
+instrument-memory
diff --git a/test/passes/instrument-memory64.txt b/test/passes/instrument-memory64.txt
new file mode 100644
index 000000000..0ef357223
--- /dev/null
+++ b/test/passes/instrument-memory64.txt
@@ -0,0 +1,603 @@
+(module
+ (type $none_=>_none (func))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (type $i32_i32_i64_i64_=>_i64 (func (param i32 i32 i64 i64) (result i64)))
+ (type $i32_i64_=>_i64 (func (param i32 i64) (result i64)))
+ (type $i32_f32_=>_f32 (func (param i32 f32) (result f32)))
+ (type $i32_f64_=>_f64 (func (param i32 f64) (result f64)))
+ (import "env" "load_ptr" (func $load_ptr (param i32 i32 i64 i64) (result i64)))
+ (import "env" "load_val_i32" (func $load_val_i32 (param i32 i32) (result i32)))
+ (import "env" "load_val_i64" (func $load_val_i64 (param i32 i64) (result i64)))
+ (import "env" "load_val_f32" (func $load_val_f32 (param i32 f32) (result f32)))
+ (import "env" "load_val_f64" (func $load_val_f64 (param i32 f64) (result f64)))
+ (import "env" "store_ptr" (func $store_ptr (param i32 i32 i64 i64) (result i64)))
+ (import "env" "store_val_i32" (func $store_val_i32 (param i32 i32) (result i32)))
+ (import "env" "store_val_i64" (func $store_val_i64 (param i32 i64) (result i64)))
+ (import "env" "store_val_f32" (func $store_val_f32 (param i32 f32) (result f32)))
+ (import "env" "store_val_f64" (func $store_val_f64 (param i32 f64) (result f64)))
+ (memory $0 i64 256 256)
+ (func $A
+ (drop
+ (call $load_val_i32
+ (i32.const 1)
+ (i32.load8_s
+ (call $load_ptr
+ (i32.const 1)
+ (i32.const 1)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 2)
+ (i32.load8_u
+ (call $load_ptr
+ (i32.const 2)
+ (i32.const 1)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 3)
+ (i32.load16_s
+ (call $load_ptr
+ (i32.const 3)
+ (i32.const 2)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 4)
+ (i32.load16_u
+ (call $load_ptr
+ (i32.const 4)
+ (i32.const 2)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 5)
+ (i32.load
+ (call $load_ptr
+ (i32.const 5)
+ (i32.const 4)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 6)
+ (i64.load8_s
+ (call $load_ptr
+ (i32.const 6)
+ (i32.const 1)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 7)
+ (i64.load8_u
+ (call $load_ptr
+ (i32.const 7)
+ (i32.const 1)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 8)
+ (i64.load16_s
+ (call $load_ptr
+ (i32.const 8)
+ (i32.const 2)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 9)
+ (i64.load16_u
+ (call $load_ptr
+ (i32.const 9)
+ (i32.const 2)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 10)
+ (i64.load32_s
+ (call $load_ptr
+ (i32.const 10)
+ (i32.const 4)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 11)
+ (i64.load32_u
+ (call $load_ptr
+ (i32.const 11)
+ (i32.const 4)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 12)
+ (i64.load
+ (call $load_ptr
+ (i32.const 12)
+ (i32.const 8)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_f32
+ (i32.const 13)
+ (f32.load
+ (call $load_ptr
+ (i32.const 13)
+ (i32.const 4)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_f64
+ (i32.const 14)
+ (f64.load
+ (call $load_ptr
+ (i32.const 14)
+ (i32.const 8)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 15)
+ (i32.load8_s offset=1
+ (call $load_ptr
+ (i32.const 15)
+ (i32.const 1)
+ (i64.const 1)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 16)
+ (i32.load8_u offset=2
+ (call $load_ptr
+ (i32.const 16)
+ (i32.const 1)
+ (i64.const 2)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 17)
+ (i32.load16_s offset=3 align=1
+ (call $load_ptr
+ (i32.const 17)
+ (i32.const 2)
+ (i64.const 3)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 18)
+ (i32.load16_u offset=4 align=1
+ (call $load_ptr
+ (i32.const 18)
+ (i32.const 2)
+ (i64.const 4)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i32
+ (i32.const 19)
+ (i32.load offset=5 align=2
+ (call $load_ptr
+ (i32.const 19)
+ (i32.const 4)
+ (i64.const 5)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 20)
+ (i64.load8_s offset=6
+ (call $load_ptr
+ (i32.const 20)
+ (i32.const 1)
+ (i64.const 6)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 21)
+ (i64.load8_u offset=7
+ (call $load_ptr
+ (i32.const 21)
+ (i32.const 1)
+ (i64.const 7)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 22)
+ (i64.load16_s offset=8 align=1
+ (call $load_ptr
+ (i32.const 22)
+ (i32.const 2)
+ (i64.const 8)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 23)
+ (i64.load16_u offset=9 align=1
+ (call $load_ptr
+ (i32.const 23)
+ (i32.const 2)
+ (i64.const 9)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 24)
+ (i64.load32_s offset=10 align=2
+ (call $load_ptr
+ (i32.const 24)
+ (i32.const 4)
+ (i64.const 10)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 25)
+ (i64.load32_u offset=11 align=2
+ (call $load_ptr
+ (i32.const 25)
+ (i32.const 4)
+ (i64.const 11)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_i64
+ (i32.const 26)
+ (i64.load offset=12 align=2
+ (call $load_ptr
+ (i32.const 26)
+ (i32.const 8)
+ (i64.const 12)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_f32
+ (i32.const 27)
+ (f32.load offset=13 align=2
+ (call $load_ptr
+ (i32.const 27)
+ (i32.const 4)
+ (i64.const 13)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ (drop
+ (call $load_val_f64
+ (i32.const 28)
+ (f64.load offset=14 align=2
+ (call $load_ptr
+ (i32.const 28)
+ (i32.const 8)
+ (i64.const 14)
+ (i64.const 0)
+ )
+ )
+ )
+ )
+ )
+ (func $B
+ (i32.store8
+ (call $store_ptr
+ (i32.const 29)
+ (i32.const 1)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_i32
+ (i32.const 29)
+ (i32.const 1)
+ )
+ )
+ (i32.store16
+ (call $store_ptr
+ (i32.const 30)
+ (i32.const 2)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_i32
+ (i32.const 30)
+ (i32.const 2)
+ )
+ )
+ (i32.store
+ (call $store_ptr
+ (i32.const 31)
+ (i32.const 4)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_i32
+ (i32.const 31)
+ (i32.const 3)
+ )
+ )
+ (i64.store8
+ (call $store_ptr
+ (i32.const 32)
+ (i32.const 1)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_i64
+ (i32.const 32)
+ (i64.const 4)
+ )
+ )
+ (i64.store16
+ (call $store_ptr
+ (i32.const 33)
+ (i32.const 2)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_i64
+ (i32.const 33)
+ (i64.const 5)
+ )
+ )
+ (i64.store32
+ (call $store_ptr
+ (i32.const 34)
+ (i32.const 4)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_i64
+ (i32.const 34)
+ (i64.const 6)
+ )
+ )
+ (i64.store
+ (call $store_ptr
+ (i32.const 35)
+ (i32.const 8)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_i64
+ (i32.const 35)
+ (i64.const 7)
+ )
+ )
+ (f32.store
+ (call $store_ptr
+ (i32.const 36)
+ (i32.const 4)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_f32
+ (i32.const 36)
+ (f32.const 8)
+ )
+ )
+ (f64.store
+ (call $store_ptr
+ (i32.const 37)
+ (i32.const 8)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (call $store_val_f64
+ (i32.const 37)
+ (f64.const 9)
+ )
+ )
+ (i32.store8 offset=1
+ (call $store_ptr
+ (i32.const 38)
+ (i32.const 1)
+ (i64.const 1)
+ (i64.const 0)
+ )
+ (call $store_val_i32
+ (i32.const 38)
+ (i32.const 1)
+ )
+ )
+ (i32.store16 offset=2 align=1
+ (call $store_ptr
+ (i32.const 39)
+ (i32.const 2)
+ (i64.const 2)
+ (i64.const 0)
+ )
+ (call $store_val_i32
+ (i32.const 39)
+ (i32.const 2)
+ )
+ )
+ (i32.store offset=3 align=2
+ (call $store_ptr
+ (i32.const 40)
+ (i32.const 4)
+ (i64.const 3)
+ (i64.const 0)
+ )
+ (call $store_val_i32
+ (i32.const 40)
+ (i32.const 3)
+ )
+ )
+ (i64.store8 offset=4
+ (call $store_ptr
+ (i32.const 41)
+ (i32.const 1)
+ (i64.const 4)
+ (i64.const 0)
+ )
+ (call $store_val_i64
+ (i32.const 41)
+ (i64.const 4)
+ )
+ )
+ (i64.store16 offset=5
+ (call $store_ptr
+ (i32.const 42)
+ (i32.const 2)
+ (i64.const 5)
+ (i64.const 0)
+ )
+ (call $store_val_i64
+ (i32.const 42)
+ (i64.const 5)
+ )
+ )
+ (i64.store32 offset=6 align=2
+ (call $store_ptr
+ (i32.const 43)
+ (i32.const 4)
+ (i64.const 6)
+ (i64.const 0)
+ )
+ (call $store_val_i64
+ (i32.const 43)
+ (i64.const 6)
+ )
+ )
+ (i64.store offset=7 align=2
+ (call $store_ptr
+ (i32.const 44)
+ (i32.const 8)
+ (i64.const 7)
+ (i64.const 0)
+ )
+ (call $store_val_i64
+ (i32.const 44)
+ (i64.const 7)
+ )
+ )
+ (f32.store offset=8 align=2
+ (call $store_ptr
+ (i32.const 45)
+ (i32.const 4)
+ (i64.const 8)
+ (i64.const 0)
+ )
+ (call $store_val_f32
+ (i32.const 45)
+ (f32.const 8)
+ )
+ )
+ (f64.store offset=9 align=2
+ (call $store_ptr
+ (i32.const 46)
+ (i32.const 8)
+ (i64.const 9)
+ (i64.const 0)
+ )
+ (call $store_val_f64
+ (i32.const 46)
+ (f64.const 9)
+ )
+ )
+ )
+)
diff --git a/test/passes/instrument-memory64.wast b/test/passes/instrument-memory64.wast
new file mode 100644
index 000000000..1524b87f3
--- /dev/null
+++ b/test/passes/instrument-memory64.wast
@@ -0,0 +1,57 @@
+(module
+ (memory i64 256 256)
+ (type $1 (func))
+ (func $A (type $1)
+ (drop (i32.load8_s (i64.const 0)))
+ (drop (i32.load8_u (i64.const 0)))
+ (drop (i32.load16_s (i64.const 0)))
+ (drop (i32.load16_u (i64.const 0)))
+ (drop (i32.load (i64.const 0)))
+ (drop (i64.load8_s (i64.const 0)))
+ (drop (i64.load8_u (i64.const 0)))
+ (drop (i64.load16_s (i64.const 0)))
+ (drop (i64.load16_u (i64.const 0)))
+ (drop (i64.load32_s (i64.const 0)))
+ (drop (i64.load32_u (i64.const 0)))
+ (drop (i64.load (i64.const 0)))
+ (drop (f32.load (i64.const 0)))
+ (drop (f64.load (i64.const 0)))
+
+ (drop (i32.load8_s align=1 offset=1 (i64.const 0)))
+ (drop (i32.load8_u align=1 offset=2 (i64.const 0)))
+ (drop (i32.load16_s align=1 offset=3 (i64.const 0)))
+ (drop (i32.load16_u align=1 offset=4 (i64.const 0)))
+ (drop (i32.load align=2 offset=5 (i64.const 0)))
+ (drop (i64.load8_s align=1 offset=6 (i64.const 0)))
+ (drop (i64.load8_u align=1 offset=7 (i64.const 0)))
+ (drop (i64.load16_s align=1 offset=8 (i64.const 0)))
+ (drop (i64.load16_u align=1 offset=9 (i64.const 0)))
+ (drop (i64.load32_s align=2 offset=10 (i64.const 0)))
+ (drop (i64.load32_u align=2 offset=11 (i64.const 0)))
+ (drop (i64.load align=2 offset=12 (i64.const 0)))
+ (drop (f32.load align=2 offset=13 (i64.const 0)))
+ (drop (f64.load align=2 offset=14 (i64.const 0)))
+ )
+
+ (func $B (type $1)
+ (i32.store8 (i64.const 0) (i32.const 1))
+ (i32.store16 (i64.const 0) (i32.const 2))
+ (i32.store (i64.const 0) (i32.const 3))
+ (i64.store8 (i64.const 0) (i64.const 4))
+ (i64.store16 (i64.const 0) (i64.const 5))
+ (i64.store32 (i64.const 0) (i64.const 6))
+ (i64.store (i64.const 0) (i64.const 7))
+ (f32.store (i64.const 0) (f32.const 8))
+ (f64.store (i64.const 0) (f64.const 9))
+
+ (i32.store8 align=1 offset=1 (i64.const 0) (i32.const 1))
+ (i32.store16 align=1 offset=2 (i64.const 0) (i32.const 2))
+ (i32.store align=2 offset=3 (i64.const 0) (i32.const 3))
+ (i64.store8 align=1 offset=4 (i64.const 0) (i64.const 4))
+ (i64.store16 align=2 offset=5 (i64.const 0) (i64.const 5))
+ (i64.store32 align=2 offset=6 (i64.const 0) (i64.const 6))
+ (i64.store align=2 offset=7 (i64.const 0) (i64.const 7))
+ (f32.store align=2 offset=8 (i64.const 0) (f32.const 8))
+ (f64.store align=2 offset=9 (i64.const 0) (f64.const 9))
+ )
+)
diff --git a/test/passes/safe-heap_enable-threads_enable-simd64.passes b/test/passes/safe-heap_enable-threads_enable-simd64.passes
new file mode 100644
index 000000000..f114a557d
--- /dev/null
+++ b/test/passes/safe-heap_enable-threads_enable-simd64.passes
@@ -0,0 +1 @@
+safe-heap_enable-threads_enable-simd
diff --git a/test/passes/safe-heap_enable-threads_enable-simd64.txt b/test/passes/safe-heap_enable-threads_enable-simd64.txt
new file mode 100644
index 000000000..fcfd59694
--- /dev/null
+++ b/test/passes/safe-heap_enable-threads_enable-simd64.txt
@@ -0,0 +1,8705 @@
+(module
+ (type $i64_i64_=>_i64 (func (param i64 i64) (result i64)))
+ (type $i64_i64_i64_=>_none (func (param i64 i64 i64)))
+ (type $i64_i64_=>_i32 (func (param i64 i64) (result i32)))
+ (type $i64_i64_i32_=>_none (func (param i64 i64 i32)))
+ (type $i64_i64_v128_=>_none (func (param i64 i64 v128)))
+ (type $i64_i64_=>_v128 (func (param i64 i64) (result v128)))
+ (type $none_=>_none (func))
+ (type $i64_i64_f64_=>_none (func (param i64 i64 f64)))
+ (type $i64_i64_=>_f64 (func (param i64 i64) (result f64)))
+ (type $i64_i64_f32_=>_none (func (param i64 i64 f32)))
+ (type $i64_i64_=>_f32 (func (param i64 i64) (result f32)))
+ (type $none_=>_i64 (func (result i64)))
+ (import "env" "emscripten_get_sbrk_ptr" (func $emscripten_get_sbrk_ptr (result i64)))
+ (import "env" "segfault" (func $segfault))
+ (import "env" "alignfault" (func $alignfault))
+ (memory $0 (shared i64 100 100))
+ (func $loads
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_4_4
+ (i64.const 1)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_4_A
+ (i64.const 1)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_4_4
+ (i64.const 2)
+ (i64.const 31)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_4_2
+ (i64.const 3)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_4_1
+ (i64.const 4)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_1_1
+ (i64.const 5)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_2_U_2
+ (i64.const 6)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i64_1_1
+ (i64.const 7)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i64_2_U_2
+ (i64.const 8)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i64_4_4
+ (i64.const 9)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i64_8_4
+ (i64.const 10)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_i64_8_8
+ (i64.const 11)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_f32_4_4
+ (i64.const 12)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_f64_8_8
+ (i64.const 13)
+ (i64.const 0)
+ )
+ )
+ (drop
+ (call $SAFE_HEAP_LOAD_v128_16_16
+ (i64.const 14)
+ (i64.const 0)
+ )
+ )
+ )
+ (func $stores
+ (call $SAFE_HEAP_STORE_i32_4_4
+ (i64.const 1)
+ (i64.const 0)
+ (i32.const 100)
+ )
+ (call $SAFE_HEAP_STORE_i32_4_A
+ (i64.const 1)
+ (i64.const 0)
+ (i32.const 100)
+ )
+ (call $SAFE_HEAP_STORE_i32_4_4
+ (i64.const 2)
+ (i64.const 31)
+ (i32.const 200)
+ )
+ (call $SAFE_HEAP_STORE_i32_4_2
+ (i64.const 3)
+ (i64.const 0)
+ (i32.const 300)
+ )
+ (call $SAFE_HEAP_STORE_i32_4_1
+ (i64.const 4)
+ (i64.const 0)
+ (i32.const 400)
+ )
+ (call $SAFE_HEAP_STORE_i32_1_1
+ (i64.const 5)
+ (i64.const 0)
+ (i32.const 500)
+ )
+ (call $SAFE_HEAP_STORE_i32_2_2
+ (i64.const 6)
+ (i64.const 0)
+ (i32.const 600)
+ )
+ (call $SAFE_HEAP_STORE_i64_1_1
+ (i64.const 7)
+ (i64.const 0)
+ (i64.const 700)
+ )
+ (call $SAFE_HEAP_STORE_i64_2_2
+ (i64.const 8)
+ (i64.const 0)
+ (i64.const 800)
+ )
+ (call $SAFE_HEAP_STORE_i64_4_4
+ (i64.const 9)
+ (i64.const 0)
+ (i64.const 900)
+ )
+ (call $SAFE_HEAP_STORE_i64_8_4
+ (i64.const 10)
+ (i64.const 0)
+ (i64.const 1000)
+ )
+ (call $SAFE_HEAP_STORE_i64_8_8
+ (i64.const 11)
+ (i64.const 0)
+ (i64.const 1100)
+ )
+ (call $SAFE_HEAP_STORE_f32_4_4
+ (i64.const 12)
+ (i64.const 0)
+ (f32.const 1200)
+ )
+ (call $SAFE_HEAP_STORE_f64_8_8
+ (i64.const 13)
+ (i64.const 0)
+ (f64.const 1300)
+ )
+ (call $SAFE_HEAP_STORE_v128_16_16
+ (i64.const 14)
+ (i64.const 0)
+ (v128.const i32x4 0x00000001 0x00000002 0x00000003 0x00000004)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.shr_s
+ (i32.shl
+ (i32.atomic.load8_u
+ (local.get $2)
+ )
+ (i32.const 24)
+ )
+ (i32.const 24)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load8_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_U_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.atomic.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_U_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load16_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.shr_s
+ (i32.shl
+ (i32.atomic.load16_u
+ (local.get $2)
+ )
+ (i32.const 16)
+ )
+ (i32.const 16)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load16_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load16_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.atomic.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.atomic.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_4 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.shr_s
+ (i64.shl
+ (i64.atomic.load8_u
+ (local.get $2)
+ )
+ (i64.const 56)
+ )
+ (i64.const 56)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load8_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_U_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.atomic.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load16_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.shr_s
+ (i64.shl
+ (i64.atomic.load16_u
+ (local.get $2)
+ )
+ (i64.const 48)
+ )
+ (i64.const 48)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load16_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load16_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load32_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_s align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.shr_s
+ (i64.shl
+ (i64.atomic.load32_u
+ (local.get $2)
+ )
+ (i64.const 32)
+ )
+ (i64.const 32)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load32_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_u align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.load32_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_8 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_1 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f32.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_2 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f32.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_4 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f32.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_1 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f64.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_2 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f64.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_4 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f64.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_8 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (f64.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_1 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (v128.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_2 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_4 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_8 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=8
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_16 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 15)
+ )
+ (call $alignfault)
+ )
+ (v128.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_1_A (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.atomic.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_1_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store16 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_A (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.atomic.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_2 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_2 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_A (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.atomic.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_4 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_1_A (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.atomic.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_1_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store16 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_A (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store32 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store32 align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_A (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.store32
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_4 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.store32
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_4 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_A (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_8 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_1 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f32.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_2 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f32.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_4 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f32.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_1 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f64.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_2 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f64.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_4 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f64.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_8 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (f64.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_1 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (v128.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_2 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_4 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_8 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_16 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 15)
+ )
+ (call $alignfault)
+ )
+ (v128.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+)
+(module
+ (type $i64_i64_=>_i64 (func (param i64 i64) (result i64)))
+ (type $i64_i64_i64_=>_none (func (param i64 i64 i64)))
+ (type $i64_i64_=>_i32 (func (param i64 i64) (result i32)))
+ (type $i64_i64_i32_=>_none (func (param i64 i64 i32)))
+ (type $i64_i64_v128_=>_none (func (param i64 i64 v128)))
+ (type $i64_i64_=>_v128 (func (param i64 i64) (result v128)))
+ (type $i64_i64_f64_=>_none (func (param i64 i64 f64)))
+ (type $i64_i64_=>_f64 (func (param i64 i64) (result f64)))
+ (type $none_=>_none (func))
+ (type $i64_i64_f32_=>_none (func (param i64 i64 f32)))
+ (type $i64_i64_=>_f32 (func (param i64 i64) (result f32)))
+ (type $none_=>_i64 (func (result i64)))
+ (import "env" "emscripten_get_sbrk_ptr" (func $emscripten_get_sbrk_ptr (result i64)))
+ (import "env" "segfault" (func $segfault))
+ (import "env" "alignfault" (func $alignfault))
+ (memory $0 i64 100 100)
+ (func $loads
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_4_4
+ (i64.const 1)
+ (i64.const 0)
+ )
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load8_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_U_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load16_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load16_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load16_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_4 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load8_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load16_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load16_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load16_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load32_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_s align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load32_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_u align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_8 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_1 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f32.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_2 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f32.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_4 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f32.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_1 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f64.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_2 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f64.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_4 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f64.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_8 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (f64.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_1 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (v128.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_2 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_4 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_8 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=8
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_16 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 15)
+ )
+ (call $alignfault)
+ )
+ (v128.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_1_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store16 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_2 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_2 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_4 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_1_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store16 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store32 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store32 align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_4 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.store32
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_4 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_8 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_1 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f32.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_2 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f32.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_4 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f32.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_1 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f64.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_2 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f64.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_4 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f64.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_8 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (f64.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_1 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (v128.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_2 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_4 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_8 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_16 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (call $emscripten_get_sbrk_ptr)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 15)
+ )
+ (call $alignfault)
+ )
+ (v128.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+)
+(module
+ (type $i64_i64_=>_i64 (func (param i64 i64) (result i64)))
+ (type $i64_i64_i64_=>_none (func (param i64 i64 i64)))
+ (type $i64_i64_=>_i32 (func (param i64 i64) (result i32)))
+ (type $i64_i64_i32_=>_none (func (param i64 i64 i32)))
+ (type $i64_i64_v128_=>_none (func (param i64 i64 v128)))
+ (type $i64_i64_=>_v128 (func (param i64 i64) (result v128)))
+ (type $i64_i64_f64_=>_none (func (param i64 i64 f64)))
+ (type $i64_i64_=>_f64 (func (param i64 i64) (result f64)))
+ (type $none_=>_none (func))
+ (type $i64_i64_f32_=>_none (func (param i64 i64 f32)))
+ (type $i64_i64_=>_f32 (func (param i64 i64) (result f32)))
+ (import "env" "DYNAMICTOP_PTR" (global $DYNAMICTOP_PTR i32))
+ (import "env" "segfault" (func $segfault))
+ (import "env" "alignfault" (func $alignfault))
+ (memory $0 (shared i64 100 100))
+ (func $actions
+ (drop
+ (call $SAFE_HEAP_LOAD_i32_4_4
+ (i64.const 1)
+ (i64.const 0)
+ )
+ )
+ (call $SAFE_HEAP_STORE_i32_4_4
+ (i64.const 1)
+ (i64.const 0)
+ (i32.const 100)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.shr_s
+ (i32.shl
+ (i32.atomic.load8_u
+ (local.get $2)
+ )
+ (i32.const 24)
+ )
+ (i32.const 24)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load8_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_U_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.atomic.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_U_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load16_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.shr_s
+ (i32.shl
+ (i32.atomic.load16_u
+ (local.get $2)
+ )
+ (i32.const 16)
+ )
+ (i32.const 16)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load16_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load16_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.atomic.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_1 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_2 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_A (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.atomic.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_4 (param $0 i64) (param $1 i64) (result i32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.shr_s
+ (i64.shl
+ (i64.atomic.load8_u
+ (local.get $2)
+ )
+ (i64.const 56)
+ )
+ (i64.const 56)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load8_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_U_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.atomic.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load8_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load16_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.shr_s
+ (i64.shl
+ (i64.atomic.load16_u
+ (local.get $2)
+ )
+ (i64.const 48)
+ )
+ (i64.const 48)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load16_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load16_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load16_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load32_s align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_s align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.shr_s
+ (i64.shl
+ (i64.atomic.load32_u
+ (local.get $2)
+ )
+ (i64.const 32)
+ )
+ (i64.const 32)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_s
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load32_u align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_u align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.load32_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_u
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_1 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_2 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_4 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_A (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_8 (param $0 i64) (param $1 i64) (result i64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_1 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f32.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_2 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f32.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_4 (param $0 i64) (param $1 i64) (result f32)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f32.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_1 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f64.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_2 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f64.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_4 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f64.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_8 (param $0 i64) (param $1 i64) (result f64)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (f64.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_1 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (v128.load align=1
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_2 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=2
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_4 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=4
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_8 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (v128.load align=8
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_v128_16_16 (param $0 i64) (param $1 i64) (result v128)
+ (local $2 i64)
+ (local.set $2
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $2)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $2)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $2)
+ )
+ (i32.const 15)
+ )
+ (call $alignfault)
+ )
+ (v128.load
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_1_A (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.atomic.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_1_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store16 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_A (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.atomic.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_2 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_1 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_2 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_A (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.atomic.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_4 (param $0 i64) (param $1 i64) (param $2 i32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_1_A (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.atomic.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_1_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 1)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store16 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_A (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 2)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store16
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store32 align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store32 align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_A (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.store32
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_4 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.store32
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_1 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_2 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_4 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_A (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.atomic.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_8 (param $0 i64) (param $1 i64) (param $2 i64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_1 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f32.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_2 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f32.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_4 (param $0 i64) (param $1 i64) (param $2 f32)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 4)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f32.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_1 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f64.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_2 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f64.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_4 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f64.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_8 (param $0 i64) (param $1 i64) (param $2 f64)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 8)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (f64.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_1 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (v128.store align=1
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_2 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=2
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_4 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=4
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_8 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (v128.store align=8
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_v128_16_16 (param $0 i64) (param $1 i64) (param $2 v128)
+ (local $3 i64)
+ (local.set $3
+ (i64.add
+ (local.get $0)
+ (local.get $1)
+ )
+ )
+ (if
+ (i32.or
+ (i64.eq
+ (local.get $3)
+ (i64.const 0)
+ )
+ (i64.gt_u
+ (i64.add
+ (local.get $3)
+ (i64.const 16)
+ )
+ (i64.load
+ (global.get $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (i32.wrap_i64
+ (local.get $3)
+ )
+ (i32.const 15)
+ )
+ (call $alignfault)
+ )
+ (v128.store
+ (local.get $3)
+ (local.get $2)
+ )
+ )
+)
diff --git a/test/passes/safe-heap_enable-threads_enable-simd64.wast b/test/passes/safe-heap_enable-threads_enable-simd64.wast
new file mode 100644
index 000000000..1907479f4
--- /dev/null
+++ b/test/passes/safe-heap_enable-threads_enable-simd64.wast
@@ -0,0 +1,56 @@
+(module
+ (memory (shared i64 100 100))
+ (func $loads
+ (drop (i32.load (i64.const 1)))
+ (drop (i32.atomic.load (i64.const 1)))
+ (drop (i32.load offset=31 (i64.const 2)))
+ (drop (i32.load align=2 (i64.const 3)))
+ (drop (i32.load align=1 (i64.const 4)))
+ (drop (i32.load8_s (i64.const 5)))
+ (drop (i32.load16_u (i64.const 6)))
+ (drop (i64.load8_s (i64.const 7)))
+ (drop (i64.load16_u (i64.const 8)))
+ (drop (i64.load32_s (i64.const 9)))
+ (drop (i64.load align=4 (i64.const 10)))
+ (drop (i64.load (i64.const 11)))
+ (drop (f32.load (i64.const 12)))
+ (drop (f64.load (i64.const 13)))
+ (drop (v128.load (i64.const 14)))
+ )
+ (func $stores
+ (i32.store (i64.const 1) (i32.const 100))
+ (i32.atomic.store (i64.const 1) (i32.const 100))
+ (i32.store offset=31 (i64.const 2) (i32.const 200))
+ (i32.store align=2 (i64.const 3) (i32.const 300))
+ (i32.store align=1 (i64.const 4) (i32.const 400))
+ (i32.store8 (i64.const 5) (i32.const 500))
+ (i32.store16 (i64.const 6) (i32.const 600))
+ (i64.store8 (i64.const 7) (i64.const 700))
+ (i64.store16 (i64.const 8) (i64.const 800))
+ (i64.store32 (i64.const 9) (i64.const 900))
+ (i64.store align=4 (i64.const 10) (i64.const 1000))
+ (i64.store (i64.const 11) (i64.const 1100))
+ (f32.store (i64.const 12) (f32.const 1200))
+ (f64.store (i64.const 13) (f64.const 1300))
+ (v128.store (i64.const 14) (v128.const i32x4 1 2 3 4))
+ )
+)
+;; not shared
+(module
+ (memory i64 100 100)
+ (func $loads
+ (drop (i32.load (i64.const 1)))
+ )
+)
+;; pre-existing
+(module
+ (type $FUNCSIG$v (func))
+ (import "env" "DYNAMICTOP_PTR" (global $DYNAMICTOP_PTR i32))
+ (import "env" "segfault" (func $segfault))
+ (import "env" "alignfault" (func $alignfault))
+ (memory $0 (shared i64 100 100))
+ (func $actions
+ (drop (i32.load (i64.const 1)))
+ (i32.store (i64.const 1) (i32.const 100))
+ )
+)
diff --git a/test/passes/strip-target-features_roundtrip_print-features_all-features.txt b/test/passes/strip-target-features_roundtrip_print-features_all-features.txt
index 33ce4d81a..18cee797f 100644
--- a/test/passes/strip-target-features_roundtrip_print-features_all-features.txt
+++ b/test/passes/strip-target-features_roundtrip_print-features_all-features.txt
@@ -9,6 +9,7 @@
--enable-reference-types
--enable-multivalue
--enable-gc
+--enable-memory64
(module
(type $none_=>_v128_externref (func (result v128 externref)))
(func $foo (result v128 externref)
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-08 11:18:50 +0000