blob: a2445b18da3c9beb453303627d8a3d981c8a9fde [file] [log] [blame] [edit]
(module
(type $0 (func (param i32 i32) (result i64)))
(type $1 (func (param i32 i32 i64)))
(type $2 (func (param i32 i32) (result i32)))
(type $3 (func))
(type $4 (func (param i32 i32 i32)))
(type $5 (func (param i32 i32) (result f64)))
(type $6 (func (param i32 i32 f64)))
(type $7 (func (param i32 i32) (result f32)))
(type $8 (func (param i32 i32 f32)))
(type $9 (func (result i32)))
(import "env" "emscripten_get_sbrk_ptr" (func $emscripten_get_sbrk_ptr (result i32)))
(import "env" "segfault" (func $segfault))
(import "env" "alignfault" (func $alignfault))
(memory $0 1 1)
(start $mystart)
(func $mystart
(i32.store
(i32.load
(i32.const 42)
)
(i32.const 43)
)
(call $foo)
)
(func $foo
(i32.store
(i32.load
(i32.const 1234)
)
(i32.const 5678)
)
(call $foo2)
)
(func $foo2
(i32.store
(i32.load
(i32.const 98)
)
(i32.const 99)
)
)
(func $bar
(call $SAFE_HEAP_STORE_i32_4_4
(call $SAFE_HEAP_LOAD_i32_4_4
(i32.const 1234)
(i32.const 0)
)
(i32.const 0)
(i32.const 5678)
)
)
(func $SAFE_HEAP_LOAD_i32_1_1 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 1)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i32.load8_s
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i32_1_U_1 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 1)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i32.load8_u
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i32_2_1 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i32.load16_s align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i32_2_2 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i32.load16_s
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i32_2_U_1 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i32.load16_u align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i32_2_U_2 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i32.load16_u
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i32_4_1 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i32.load align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i32_4_2 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i32.load align=2
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i32_4_4 (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(i32.load
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_1_1 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 1)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.load8_s
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_1_U_1 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 1)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.load8_u
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_2_1 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.load16_s align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_2_2 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i64.load16_s
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_2_U_1 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.load16_u align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_2_U_2 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i64.load16_u
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_4_1 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.load32_s align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_4_2 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i64.load32_s align=2
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_4_4 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(i64.load32_s
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_4_U_1 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.load32_u align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_4_U_2 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i64.load32_u align=2
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_4_U_4 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(i64.load32_u
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_8_1 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.load align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_8_2 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i64.load align=2
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_8_4 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(i64.load align=4
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_i64_8_8 (param $0 i32) (param $1 i32) (result i64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 7)
)
(then
(call $alignfault)
)
)
(i64.load
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_f32_4_1 (param $0 i32) (param $1 i32) (result f32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(f32.load align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_f32_4_2 (param $0 i32) (param $1 i32) (result f32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(f32.load align=2
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_f32_4_4 (param $0 i32) (param $1 i32) (result f32)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(f32.load
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_f64_8_1 (param $0 i32) (param $1 i32) (result f64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(f64.load align=1
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_f64_8_2 (param $0 i32) (param $1 i32) (result f64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(f64.load align=2
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_f64_8_4 (param $0 i32) (param $1 i32) (result f64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(f64.load align=4
(local.get $2)
)
)
(func $SAFE_HEAP_LOAD_f64_8_8 (param $0 i32) (param $1 i32) (result f64)
(local $2 i32)
(local.set $2
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $2)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $2)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $2)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $2)
(i32.const 7)
)
(then
(call $alignfault)
)
)
(f64.load
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i32_1_1 (param $0 i32) (param $1 i32) (param $2 i32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 1)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i32.store8
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i32_2_1 (param $0 i32) (param $1 i32) (param $2 i32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i32.store16 align=1
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i32_2_2 (param $0 i32) (param $1 i32) (param $2 i32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i32.store16
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i32_4_1 (param $0 i32) (param $1 i32) (param $2 i32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i32.store align=1
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i32_4_2 (param $0 i32) (param $1 i32) (param $2 i32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i32.store align=2
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i32_4_4 (param $0 i32) (param $1 i32) (param $2 i32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(i32.store
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_1_1 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 1)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.store8
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_2_1 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.store16 align=1
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_2_2 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 2)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i64.store16
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_4_1 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.store32 align=1
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_4_2 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i64.store32 align=2
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_4_4 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(i64.store32
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_8_1 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(i64.store align=1
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_8_2 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(i64.store align=2
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_8_4 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(i64.store align=4
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_i64_8_8 (param $0 i32) (param $1 i32) (param $2 i64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 7)
)
(then
(call $alignfault)
)
)
(i64.store
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_f32_4_1 (param $0 i32) (param $1 i32) (param $2 f32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(f32.store align=1
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_f32_4_2 (param $0 i32) (param $1 i32) (param $2 f32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(f32.store align=2
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_f32_4_4 (param $0 i32) (param $1 i32) (param $2 f32)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 4)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(f32.store
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_f64_8_1 (param $0 i32) (param $1 i32) (param $2 f64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(f64.store align=1
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_f64_8_2 (param $0 i32) (param $1 i32) (param $2 f64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 1)
)
(then
(call $alignfault)
)
)
(f64.store align=2
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_f64_8_4 (param $0 i32) (param $1 i32) (param $2 f64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 3)
)
(then
(call $alignfault)
)
)
(f64.store align=4
(local.get $3)
(local.get $2)
)
)
(func $SAFE_HEAP_STORE_f64_8_8 (param $0 i32) (param $1 i32) (param $2 f64)
(local $3 i32)
(local.set $3
(i32.add
(local.get $0)
(local.get $1)
)
)
(if
(i32.or
(i32.eq
(local.get $3)
(i32.const 0)
)
(i32.or
(i32.gt_u
(i32.add
(local.get $3)
(i32.const 8)
)
(i32.load
(call $emscripten_get_sbrk_ptr)
)
)
(i32.lt_u
(local.get $3)
(local.get $0)
)
)
)
(then
(call $segfault)
(unreachable)
)
)
(if
(i32.and
(local.get $3)
(i32.const 7)
)
(then
(call $alignfault)
)
)
(f64.store
(local.get $3)
(local.get $2)
)
)
)