summaryrefslogtreecommitdiff
path: root/test/passes/safe-heap_disable-simd.txt
diff options
context:
space:
mode:
authorThomas Lively <7121787+tlively@users.noreply.github.com>2018-12-13 17:40:27 -0800
committerGitHub <noreply@github.com>2018-12-13 17:40:27 -0800
commit3325a9cc203932e58b6e85dfefe5feb6e72839a4 (patch)
tree1d969ab30854fd773fdc615d799c9a9ed7e9c0be /test/passes/safe-heap_disable-simd.txt
parent0fd96e6b07f0a0907737c0f44e55060e057c2bb9 (diff)
downloadbinaryen-3325a9cc203932e58b6e85dfefe5feb6e72839a4.tar.gz
binaryen-3325a9cc203932e58b6e85dfefe5feb6e72839a4.tar.bz2
binaryen-3325a9cc203932e58b6e85dfefe5feb6e72839a4.zip
SIMD (#1820)
Implement and test the following functionality for SIMD. - Parsing and printing - Assembling and disassembling - Interpretation - C API - JS API
Diffstat (limited to 'test/passes/safe-heap_disable-simd.txt')
-rw-r--r--test/passes/safe-heap_disable-simd.txt2148
1 files changed, 2148 insertions, 0 deletions
diff --git a/test/passes/safe-heap_disable-simd.txt b/test/passes/safe-heap_disable-simd.txt
new file mode 100644
index 000000000..cf6fdc42c
--- /dev/null
+++ b/test/passes/safe-heap_disable-simd.txt
@@ -0,0 +1,2148 @@
+(module
+ (type $FUNCSIG$v (func))
+ (import "env" "DYNAMICTOP_PTR" (global $DYNAMICTOP_PTR i32))
+ (import "env" "segfault" (func $segfault))
+ (import "env" "alignfault" (func $alignfault))
+ (func $SAFE_HEAP_LOAD_i32_1_1 (; 2 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 1)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load8_s
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_1_U_1 (; 3 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 1)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load8_u
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_1 (; 4 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load16_s align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_2 (; 5 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load16_s
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_1 (; 6 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load16_u align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_2_U_2 (; 7 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load16_u
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_1 (; 8 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_2 (; 9 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load align=2
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_4 (; 10 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.load
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_U_1 (; 11 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.load align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_U_2 (; 12 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.load align=2
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i32_4_U_4 (; 13 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.load
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_1 (; 14 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 1)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load8_s
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_1_U_1 (; 15 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 1)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load8_u
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_1 (; 16 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load16_s align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_2 (; 17 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load16_s
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_1 (; 18 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load16_u align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_2_U_2 (; 19 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load16_u
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_1 (; 20 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load32_s align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_2 (; 21 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_s align=2
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_4 (; 22 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_s
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_1 (; 23 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load32_u align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_2 (; 24 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_u align=2
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_4_U_4 (; 25 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load32_u
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_1 (; 26 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_2 (; 27 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=2
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_4 (; 28 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=4
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_8 (; 29 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.load
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_U_1 (; 30 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.load align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_U_2 (; 31 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=2
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_U_4 (; 32 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.load align=4
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_i64_8_U_8 (; 33 ;) (param $0 i32) (param $1 i32) (result i64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.load
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_1 (; 34 ;) (param $0 i32) (param $1 i32) (result f32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f32.load align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_2 (; 35 ;) (param $0 i32) (param $1 i32) (result f32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f32.load align=2
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f32_4_4 (; 36 ;) (param $0 i32) (param $1 i32) (result f32)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f32.load
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_1 (; 37 ;) (param $0 i32) (param $1 i32) (result f64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f64.load align=1
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_2 (; 38 ;) (param $0 i32) (param $1 i32) (result f64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f64.load align=2
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_4 (; 39 ;) (param $0 i32) (param $1 i32) (result f64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f64.load align=4
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_LOAD_f64_8_8 (; 40 ;) (param $0 i32) (param $1 i32) (result f64)
+ (local $2 i32)
+ (set_local $2
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $2)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $2)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $2)
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (f64.load
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_1_1 (; 41 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 1)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store8
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_1 (; 42 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store16 align=1
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_2_2 (; 43 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.store16
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_1 (; 44 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i32.store align=1
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_2 (; 45 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i32.store align=2
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i32_4_4 (; 46 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i32.store
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_1_1 (; 47 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 1)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store8
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_1 (; 48 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store16 align=1
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_2_2 (; 49 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 2)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store16
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_1 (; 50 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store32 align=1
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_2 (; 51 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store32 align=2
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_4_4 (; 52 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.store32
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_1 (; 53 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (i64.store align=1
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_2 (; 54 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (i64.store align=2
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_4 (; 55 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (i64.store align=4
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_i64_8_8 (; 56 ;) (param $0 i32) (param $1 i32) (param $2 i64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (i64.store
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_1 (; 57 ;) (param $0 i32) (param $1 i32) (param $2 f32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f32.store align=1
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_2 (; 58 ;) (param $0 i32) (param $1 i32) (param $2 f32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f32.store align=2
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f32_4_4 (; 59 ;) (param $0 i32) (param $1 i32) (param $2 f32)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 4)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f32.store
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_1 (; 60 ;) (param $0 i32) (param $1 i32) (param $2 f64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (f64.store align=1
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_2 (; 61 ;) (param $0 i32) (param $1 i32) (param $2 f64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 1)
+ )
+ (call $alignfault)
+ )
+ (f64.store align=2
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_4 (; 62 ;) (param $0 i32) (param $1 i32) (param $2 f64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 3)
+ )
+ (call $alignfault)
+ )
+ (f64.store align=4
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+ (func $SAFE_HEAP_STORE_f64_8_8 (; 63 ;) (param $0 i32) (param $1 i32) (param $2 f64)
+ (local $3 i32)
+ (set_local $3
+ (i32.add
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.or
+ (i32.eq
+ (get_local $3)
+ (i32.const 0)
+ )
+ (i32.gt_u
+ (i32.add
+ (get_local $3)
+ (i32.const 8)
+ )
+ (i32.load
+ (get_global $DYNAMICTOP_PTR)
+ )
+ )
+ )
+ (call $segfault)
+ )
+ (if
+ (i32.and
+ (get_local $3)
+ (i32.const 7)
+ )
+ (call $alignfault)
+ )
+ (f64.store
+ (get_local $3)
+ (get_local $2)
+ )
+ )
+)