summaryrefslogtreecommitdiff
path: root/test/passes/safe-heap_start-function.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/safe-heap_start-function.txt')
-rw-r--r--test/passes/safe-heap_start-function.txt1045
1 files changed, 715 insertions, 330 deletions
diff --git a/test/passes/safe-heap_start-function.txt b/test/passes/safe-heap_start-function.txt
index 11b258945..a2445b18d 100644
--- a/test/passes/safe-heap_start-function.txt
+++ b/test/passes/safe-heap_start-function.txt
@@ -64,18 +64,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 1)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i32.load8_s
@@ -96,18 +103,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 1)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i32.load8_u
@@ -128,18 +142,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i32.load16_s align=1
@@ -160,18 +181,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -201,18 +229,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i32.load16_u align=1
@@ -233,18 +268,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -274,18 +316,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i32.load align=1
@@ -306,18 +355,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -347,18 +403,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -388,18 +451,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 1)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.load8_s
@@ -420,18 +490,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 1)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.load8_u
@@ -452,18 +529,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.load16_s align=1
@@ -484,18 +568,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -525,18 +616,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.load16_u align=1
@@ -557,18 +655,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -598,18 +703,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.load32_s align=1
@@ -630,18 +742,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -671,18 +790,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -712,18 +838,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.load32_u align=1
@@ -744,18 +877,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -785,18 +925,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -826,18 +973,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.load align=1
@@ -858,18 +1012,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -899,18 +1060,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -940,18 +1108,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -981,18 +1156,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(f32.load align=1
@@ -1013,18 +1195,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1054,18 +1243,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1095,18 +1291,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(f64.load align=1
@@ -1127,18 +1330,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1168,18 +1378,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1209,18 +1426,25 @@
(local.get $2)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1250,18 +1474,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 1)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i32.store8
@@ -1283,18 +1514,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i32.store16 align=1
@@ -1316,18 +1554,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1358,18 +1603,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i32.store align=1
@@ -1391,18 +1643,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1433,18 +1692,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1475,18 +1741,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 1)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.store8
@@ -1508,18 +1781,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.store16 align=1
@@ -1541,18 +1821,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 2)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1583,18 +1870,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.store32 align=1
@@ -1616,18 +1910,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1658,18 +1959,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1700,18 +2008,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(i64.store align=1
@@ -1733,18 +2048,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1775,18 +2097,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1817,18 +2146,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1859,18 +2195,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(f32.store align=1
@@ -1892,18 +2235,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1934,18 +2284,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 4)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -1976,18 +2333,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(f64.store align=1
@@ -2009,18 +2373,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -2051,18 +2422,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
@@ -2093,18 +2471,25 @@
(local.get $3)
(i32.const 0)
)
- (i32.gt_u
- (i32.add
+ (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)
- (i32.const 8)
- )
- (i32.load
- (call $emscripten_get_sbrk_ptr)
+ (local.get $0)
)
)
)
(then
(call $segfault)
+ (unreachable)
)
)
(if
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 04:43:45 +0000