summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/passes/code-folding.txt24
-rw-r--r--test/passes/code-folding.wast23
-rw-r--r--test/passes/optimize-instructions.txt34
-rw-r--r--test/passes/optimize-instructions.wast21
-rw-r--r--test/passes/translate-to-fuzz.txt1718
5 files changed, 817 insertions, 1003 deletions
diff --git a/test/passes/code-folding.txt b/test/passes/code-folding.txt
new file mode 100644
index 000000000..9143b9615
--- /dev/null
+++ b/test/passes/code-folding.txt
@@ -0,0 +1,24 @@
+(module
+ (type $13 (func (param f32)))
+ (type $1 (func))
+ (table 282 282 anyfunc)
+ (memory $0 1 1)
+ (func $0 (type $1)
+ (block $label$1
+ (if
+ (i32.const 1)
+ (block
+ (block $label$3
+ (call_indirect $13
+ (block $label$4
+ (br $label$3)
+ )
+ (i32.const 105)
+ )
+ )
+ (nop)
+ )
+ )
+ )
+ )
+)
diff --git a/test/passes/code-folding.wast b/test/passes/code-folding.wast
new file mode 100644
index 000000000..2310f9721
--- /dev/null
+++ b/test/passes/code-folding.wast
@@ -0,0 +1,23 @@
+(module
+ (type $13 (func (param f32)))
+ (table 282 282 anyfunc)
+ (memory $0 1 1)
+ (func $0
+ (block $label$1
+ (if
+ (i32.const 1)
+ (block $label$3
+ (call_indirect $13
+ (block $label$4 (result f32) ;; but this type may change dangerously
+ (nop) ;; fold this
+ (br $label$3)
+ )
+ (i32.const 105)
+ )
+ (nop) ;; with this
+ )
+ )
+ )
+ )
+)
+
diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt
index 6a99ee106..aae0724a0 100644
--- a/test/passes/optimize-instructions.txt
+++ b/test/passes/optimize-instructions.txt
@@ -1913,6 +1913,40 @@
)
)
)
+ (drop
+ (block (result i32)
+ (i32.add
+ (get_local $1)
+ (unreachable)
+ )
+ )
+ )
+ (drop
+ (block (result i32)
+ (drop
+ (tee_local $0
+ (get_local $1)
+ )
+ )
+ (i32.add
+ (get_local $1)
+ (unreachable)
+ )
+ )
+ )
+ (drop
+ (if (result i32)
+ (unreachable)
+ (i32.add
+ (get_local $1)
+ (unreachable)
+ )
+ (i32.add
+ (get_local $1)
+ (unreachable)
+ )
+ )
+ )
)
(func $select-parallel (type $4) (param $0 i32) (param $1 i32)
(drop
diff --git a/test/passes/optimize-instructions.wast b/test/passes/optimize-instructions.wast
index c26aad196..f84be8330 100644
--- a/test/passes/optimize-instructions.wast
+++ b/test/passes/optimize-instructions.wast
@@ -2321,6 +2321,27 @@
(i32.add (get_local $1) (i32.const 1))
)
)
+ (drop
+ (if (result i32)
+ (get_local $0)
+ (i32.add (get_local $1) (unreachable)) ;; folding them would change the type of the if
+ (i32.add (get_local $1) (unreachable))
+ )
+ )
+ (drop
+ (if (result i32)
+ (tee_local $0 (get_local $1)) ;; side effects!
+ (i32.add (get_local $1) (unreachable)) ;; folding them would change the type of the if
+ (i32.add (get_local $1) (unreachable))
+ )
+ )
+ (drop
+ (if (result i32)
+ (unreachable) ;; !!!
+ (i32.add (get_local $1) (unreachable)) ;; folding them would change the type of the if
+ (i32.add (get_local $1) (unreachable))
+ )
+ )
)
(func $select-parallel (param $0 i32) (param $1 i32)
(drop
diff --git a/test/passes/translate-to-fuzz.txt b/test/passes/translate-to-fuzz.txt
index b966a4164..21053fd2e 100644
--- a/test/passes/translate-to-fuzz.txt
+++ b/test/passes/translate-to-fuzz.txt
@@ -1,10 +1,23 @@
(module
+ (type $FUNCSIG$i (func (result i32)))
+ (type $FUNCSIG$ffdj (func (param f32 f64 i64) (result f32)))
+ (type $FUNCSIG$ffj (func (param f32 i64) (result f32)))
+ (type $FUNCSIG$v (func))
+ (type $FUNCSIG$j (func (result i64)))
+ (type $FUNCSIG$fd (func (param f64) (result f32)))
(global $hangLimit (mut i32) (i32.const 100))
+ (table 8 8 anyfunc)
+ (elem (i32.const 0) $func_0 $func_0 $func_2 $func_3 $func_3 $func_8 $func_9 $func_9)
(memory $0 1 1)
(export "func_0" (func $func_0))
- (export "func_6" (func $func_6))
+ (export "func_3" (func $func_3))
+ (export "func_4" (func $func_4))
+ (export "func_5" (func $func_5))
+ (export "func_7" (func $func_7))
+ (export "func_8" (func $func_8))
+ (export "func_9" (func $func_9))
(export "hangLimitInitializer" (func $hangLimitInitializer))
- (func $func_0 (result i32)
+ (func $func_0 (type $FUNCSIG$i) (result i32)
(local $0 f32)
(local $1 i64)
(local $2 f32)
@@ -14,7 +27,7 @@
(get_global $hangLimit)
)
(return
- (i32.const -11)
+ (i32.const 9014)
)
)
(set_global $hangLimit
@@ -31,7 +44,7 @@
(get_global $hangLimit)
)
(return
- (i32.const 26963)
+ (i32.const 2321)
)
)
(set_global $hangLimit
@@ -43,41 +56,160 @@
)
(i64.trunc_u/f64
(drop
- (loop $label$3
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (i32.const 32767)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (return
- (i32.const -73)
- )
+ (unreachable)
+ )
+ )
+ )
+ )
+ (func $func_1 (param $0 i32) (param $1 i64) (result f32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (f32.const 28)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (block $label$0 (result f32)
+ (return
+ (f32.const 291395360)
+ )
+ )
+ )
+ (func $func_2 (type $FUNCSIG$fd) (param $0 f64) (result f32)
+ (local $1 i32)
+ (local $2 i32)
+ (local $3 f64)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (f32.const -1)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (block $label$0 (result f32)
+ (nop)
+ (nop)
+ (return
+ (f32.const -nan:0x7fffad)
+ )
+ )
+ )
+ (func $func_3 (type $FUNCSIG$ffdj) (param $0 f32) (param $1 f64) (param $2 i64) (result f32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (f32.const 2010888862731133267687117e5)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (block $label$0 (result f32)
+ (return
+ (f32.const -2147483648)
+ )
+ )
+ )
+ (func $func_4 (type $FUNCSIG$ffj) (param $0 f32) (param $1 i64) (result f32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (f32.const 0)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (block $label$0 (result f32)
+ (return
+ (f32.const 4035018963812352)
+ )
+ )
+ )
+ (func $func_5 (type $FUNCSIG$v)
+ (local $0 i64)
+ (local $1 i32)
+ (local $2 f32)
+ (local $3 i64)
+ (local $4 i32)
+ (local $5 f32)
+ (local $6 i64)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return)
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (loop $label$0
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return)
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
)
)
)
+ (block $label$1
+ (br_if $label$0
+ (i32.const 13609)
+ )
+ )
)
)
- (func $func_1 (result f64)
- (local $0 i32)
- (local $1 f64)
+ (func $func_6 (result f64)
(block
(if
(i32.eqz
(get_global $hangLimit)
)
(return
- (f64.const 9223372036854775808)
+ (f64.const 512)
)
)
(set_global $hangLimit
@@ -88,198 +220,133 @@
)
)
(block $label$0 (result f64)
- (drop
- (if (result i64)
- (select
- (get_local $0)
- (i32.const 84414006)
- (select
- (i32.const 32767)
- (i32.const -1)
- (loop $label$1 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (get_local $1)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
+ (return
+ (f64.const 25444)
+ )
+ )
+ )
+ (func $func_7 (type $FUNCSIG$j) (result i64)
+ (local $0 f64)
+ (local $1 f64)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const 268435456)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (i64.rem_s
+ (i64.shr_u
+ (select
+ (loop $label$0 (result i64)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
)
- (block $label$2 (result i32)
- (return
- (get_local $1)
- )
+ (return
+ (i64.const 65535)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
)
)
)
+ (i64.const -72057594037927936)
)
(if (result i64)
- (i32.eqz
- (loop $label$9 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (f64.const 19)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (block $label$10 (result i32)
- (i32.load8_s offset=3
- (i32.and
- (tee_local $0
- (tee_local $0
- (select
- (i32.load16_u offset=4 align=1
- (i32.and
- (select
- (get_local $0)
- (get_local $0)
+ (call $func_0)
+ (select
+ (i64.const 576460752303423488)
+ (if (result i64)
+ (i32.eqz
+ (i32.reinterpret/f32
+ (call $deNan32
+ (f32.demote/f64
+ (call $deNan64
+ (f64.promote/f32
+ (call $deNan32
+ (select
+ (f32.const -nan:0x7fffe4)
+ (call $deNan32
(select
- (i64.lt_s
- (loop $label$12 (result i64)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (get_local $1)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (i64.const 32767)
- )
- (i64.const 251)
- )
- (i32.trunc_u/f64
- (get_local $1)
- )
- (br_if $label$10
- (i32.load16_u offset=3
- (i32.and
- (i32.const 20)
- (i32.const 31)
- )
- )
- (get_local $0)
- )
- )
- )
- (i32.const 31)
- )
- )
- (loop $label$13 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (get_local $1)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
+ (f32.const -2147483648)
+ (f32.const 29298)
+ (i32.const 2105480203)
)
)
- )
- (block $label$14 (result i32)
- (return
- (get_local $1)
- )
- )
- )
- (if (result i32)
- (i32.eqz
- (get_local $0)
- )
- (block $label$11 (result i32)
- (get_local $0)
- )
- (i32.popcnt
- (get_local $0)
+ (i32.const 1)
)
)
)
)
)
- (i32.const 31)
)
)
)
- )
- )
- (block $label$15 (result i64)
- (block $label$16 (result i64)
(select
- (br_if $label$16
- (i64.const 1)
- (i32.eqz
- (tee_local $0
- (select
- (get_local $0)
- (get_local $0)
- (get_local $0)
- )
- )
- )
- )
- (loop $label$21 (result i64)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (get_local $1)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
+ (i64.const 2147483647)
+ (if (result i64)
+ (call $func_0)
+ (block $label$1 (result i64)
+ (return
+ (i64.const -77)
)
)
- (block $label$22 (result i64)
+ (block $label$2 (result i64)
(return
- (get_local $1)
+ (i64.const 9223372036854775807)
)
)
)
- (loop $label$17 (result i32)
+ (i32.reinterpret/f32
+ (f32.const -nan:0x7fffa1)
+ )
+ )
+ (block $label$3 (result i64)
+ (return
+ (i64.const -26)
+ )
+ )
+ )
+ (select
+ (i32.const 1212760647)
+ (call $func_0)
+ (i32.const 4625)
+ )
+ )
+ (block $label$4 (result i64)
+ (if (result i64)
+ (i32.eqz
+ (i64.lt_u
+ (i64.const 13856)
+ (i64.const 274075651)
+ )
+ )
+ (block $label$5 (result i64)
+ (i64.const 32767)
+ )
+ (block $label$6 (result i64)
+ (loop $label$7
(block
(if
(i32.eqz
(get_global $hangLimit)
)
(return
- (f64.const -9223372036854775808)
+ (i64.const 3840)
)
)
(set_global $hangLimit
@@ -289,101 +356,190 @@
)
)
)
- (block $label$18 (result i32)
- (if
- (i32.eqz
- (select
- (i32.const -128)
- (i32.const -12)
- (i32.const 1561467741)
- )
- )
- (block $label$19
- (nop)
- )
- (loop $label$20
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (f64.const -nan:0xfffffffffff83)
+ (block $label$8
+ (drop
+ (call_indirect $FUNCSIG$ffdj
+ (f32.const 225300085833990144)
+ (get_local $1)
+ (loop $label$9 (result i64)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const -22)
+ )
)
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
)
)
- )
- (set_local $0
- (get_local $0)
- )
- )
- )
- (tee_local $0
- (f32.lt
- (call $deNan32
- (f32.min
- (f32.const 18446744073709551615)
- (f32.const 11)
- )
- )
- (call $deNan32
- (select
- (f32.const 2147483648)
- (f32.const 18446744073709551615)
- (get_local $0)
+ (block $label$10 (result i64)
+ (br $label$8)
)
)
+ (i32.const 3)
)
)
)
)
+ (i64.const 539369059)
)
)
)
- (select
- (i64.load32_u offset=3 align=2
- (i32.and
- (i32.load16_u offset=4
- (i32.and
- (tee_local $0
- (if (result i32)
- (i32.trunc_u/f64
- (get_local $1)
- )
- (block $label$27 (result i32)
- (get_local $0)
+ )
+ (call $func_0)
+ )
+ (i64.trunc_s/f32
+ (call $func_2
+ (f64.const 106)
+ )
+ )
+ )
+ (if (result i64)
+ (i32.load16_s offset=2 align=1
+ (i32.and
+ (if (result i32)
+ (loop $label$11 (result i32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const -262144)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (i32.reinterpret/f32
+ (call_indirect $FUNCSIG$ffdj
+ (block $label$12 (result f32)
+ (call $deNan32
+ (f32.div
+ (call $func_4
+ (f32.const -8589934592)
+ (i64.const -1)
)
- (block $label$28 (result i32)
- (get_local $0)
+ (block $label$13 (result f32)
+ (return
+ (i64.const 16220)
+ )
)
)
)
- (i32.const 31)
)
+ (tee_local $1
+ (f64.const 65536)
+ )
+ (block $label$14 (result i64)
+ (return
+ (i64.const 13366)
+ )
+ )
+ (i32.const 4)
+ )
+ )
+ )
+ (block $label$15 (result i32)
+ (nop)
+ (drop
+ (f64.const -nan:0xfffffffffffb4)
+ )
+ (br_if $label$15
+ (block $label$19 (result i32)
+ (return
+ (i64.const 1152921504606846976)
+ )
+ )
+ (i32.eqz
+ (i32.const -2147483648)
)
- (i32.const 31)
)
)
- (i64.const 80)
- (i32.trunc_s/f32
+ (block $label$20 (result i32)
+ (nop)
+ (i32.const 8388608)
+ )
+ )
+ (i32.const 31)
+ )
+ )
+ (block $label$21 (result i64)
+ (i64.const -128)
+ )
+ (select
+ (i64.const 3684262436118999851)
+ (i64.const 3830371123687603251)
+ (loop $label$22 (result i32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const 1603)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (block $label$23 (result i32)
+ (nop)
+ (f32.lt
(call $deNan32
- (f32.copysign
- (f32.const 1.8061622339155704e-31)
+ (f32.add
(if (result f32)
(i32.eqz
- (loop $label$23 (result i32)
+ (i32.trunc_s/f32
+ (f32.load offset=3 align=2
+ (i32.and
+ (loop $label$24 (result i32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const 117769221)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (i32.const 16777216)
+ )
+ (i32.const 31)
+ )
+ )
+ )
+ )
+ (block $label$25 (result f32)
+ (loop $label$26 (result f32)
(block
(if
(i32.eqz
(get_global $hangLimit)
)
(return
- (f64.const 2.1384722118162242e-260)
+ (i64.const -32768)
)
)
(set_global $hangLimit
@@ -393,320 +549,157 @@
)
)
)
- (i32.wrap/i64
- (if (result i64)
- (i32.eqz
- (get_local $0)
- )
- (i64.const 18752)
- (select
- (i64.const 650785547958815753)
- (i64.const 8463519829359949880)
- (block $label$24 (result i32)
- (select
- (get_local $0)
- (i32.const 65535)
- (get_local $0)
- )
- )
- )
+ (block $label$27 (result f32)
+ (return
+ (i64.const 4096)
)
)
)
)
- (block $label$25 (result f32)
- (f32.const 14385)
- )
- (f32.const 4.2612939233197215e-37)
- )
- )
- )
- )
- )
- )
- (block $label$29 (result i64)
- (block $label$30 (result i64)
- (return
- (get_local $1)
- )
- )
- )
- )
- )
- (if
- (block $label$31 (result i32)
- (block $label$32
- (if
- (block $label$33 (result i32)
- (loop $label$34 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (f64.const -nan:0xffffffffffff8)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (if (result i32)
- (i32.eqz
- (if (result i32)
- (block $label$35 (result i32)
- (return
- (get_local $1)
- )
- )
- (i32.trunc_s/f64
- (call $deNan64
- (f64.convert_u/i32
- (select
- (get_local $0)
- (if (result i32)
- (i32.eqz
- (block $label$36 (result i32)
- (get_local $0)
- )
- )
- (i64.gt_u
- (i64.const 155730402379)
- (i64.const 15)
- )
- (i32.const -2147483648)
+ (block $label$28 (result f32)
+ (call $func_3
+ (f32.const -16384)
+ (f64.const -nan:0xfffffffffffea)
+ (loop $label$29 (result i64)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const 7451608453167213680)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
)
- (get_local $0)
)
)
+ (i64.const 795183340788647946)
)
)
- (block $label$37 (result i32)
- (drop
- (f64.const 65483)
- )
- (select
- (get_local $0)
- (i32.trunc_s/f64
- (block $label$38 (result f64)
- (loop $label$39 (result f64)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (get_local $1)
+ )
+ )
+ (call $func_2
+ (if (result f64)
+ (i32.eqz
+ (i32.trunc_s/f32
+ (call $deNan32
+ (f32.reinterpret/i32
+ (br_if $label$23
+ (loop $label$30 (result i32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const 0)
+ )
)
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
)
)
+ (i32.const 10558)
)
- (call $deNan64
- (f64.add
- (get_local $1)
- (get_local $1)
+ (i32.eqz
+ (select
+ (i32.const -83)
+ (i32.const 2)
+ (i32.const 2147483647)
)
)
)
)
)
- (i32.const 1751457892)
- )
- )
- )
- )
- (i32.reinterpret/f32
- (f32.const 9223372036854775808)
- )
- (get_local $0)
- )
- )
- )
- (nop)
- (block $label$40
- (set_local $1
- (call $deNan64
- (select
- (f64.load offset=22 align=4
- (i32.and
- (if (result i32)
- (i32.const -124)
- (block $label$43 (result i32)
- (br $label$32)
- )
- (block $label$44 (result i32)
- (get_local $0)
- )
)
- (i32.const 31)
)
- )
- (call $deNan64
- (f64.copysign
- (call $deNan64
- (f64.reinterpret/i64
- (i64.ctz
- (i64.trunc_u/f32
- (f32.const 65525)
- )
- )
- )
- )
- (get_local $1)
- )
- )
- (loop $label$41 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (f64.const 9)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
+ (get_local $1)
+ (block $label$31 (result f64)
+ (return
+ (i64.const 87)
)
)
- (block $label$42 (result i32)
- (br $label$40)
- )
)
)
)
)
+ (f32.const 24415)
)
)
)
- (return
- (get_local $1)
- )
)
- (block $label$45
- (block $label$46
- (br_if $label$45
- (tee_local $0
- (i32.trunc_s/f64
- (loop $label$47 (result f64)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (get_local $1)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (block $label$48 (result f64)
- (br $label$45)
- )
- )
- )
- )
- )
- )
+ )
+ )
+ )
+ (func $func_8 (type $FUNCSIG$i) (result i32)
+ (local $0 f64)
+ (local $1 i32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
)
- (block $label$49
- (nop)
- (br_if $label$49
- (get_local $0)
- )
+ (return
+ (get_local $1)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
)
)
- (if (result f64)
+ )
+ (block $label$0 (result i32)
+ (return
+ (i32.const 745163300)
+ )
+ )
+ )
+ (func $func_9 (type $FUNCSIG$j) (result i64)
+ (local $0 f64)
+ (block
+ (if
(i32.eqz
- (i32.trunc_u/f32
- (f32.const 2.0658355161339533e-21)
- )
+ (get_global $hangLimit)
)
- (call $deNan64
- (select
- (get_local $1)
- (if (result f64)
- (i32.eqz
- (get_local $0)
- )
- (block $label$50 (result f64)
- (return
- (get_local $1)
- )
- )
- (block $label$51 (result f64)
- (return
- (get_local $1)
- )
- )
- )
- (get_local $0)
- )
+ (return
+ (i64.const -16384)
)
- (block $label$52 (result f64)
- (if
- (i32.reinterpret/f32
- (f32.const -nan:0x7fffb9)
- )
- (nop)
- (drop
- (f64.const 8.308760937752171e-246)
- )
- )
- (drop
- (loop $label$53 (result i64)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (get_local $1)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (block $label$54 (result i64)
- (i64.const -48)
- )
- )
- )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (block $label$0 (result i64)
+ (i64.popcnt
+ (block $label$1 (result i64)
(return
- (f64.const 65520)
+ (i64.const 1)
)
)
)
)
)
- (func $func_2 (param $0 f32)
+ (func $func_10 (result i64)
(block
(if
(i32.eqz
(get_global $hangLimit)
)
- (return)
+ (return
+ (i64.const 33)
+ )
)
(set_global $hangLimit
(i32.sub
@@ -715,20 +708,49 @@
)
)
)
- (block $label$0
+ (block $label$0 (result i64)
+ (return
+ (i64.const -20)
+ )
+ )
+ )
+ (func $func_11 (param $0 f64) (param $1 i64) (param $2 i64) (result i64)
+ (local $3 i64)
+ (block
(if
(i32.eqz
- (if (result i32)
- (call $func_0)
- (block $label$1 (result i32)
- (block $label$2
- (loop $label$3
+ (get_global $hangLimit)
+ )
+ (return
+ (get_local $2)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (block $label$0 (result i64)
+ (i64.load32_u offset=22 align=2
+ (i32.and
+ (select
+ (i32.const -1)
+ (i32.le_s
+ (call_indirect $FUNCSIG$i
+ (i32.const 1)
+ )
+ (block $label$11 (result i32)
+ (loop $label$12
(block
(if
(i32.eqz
(get_global $hangLimit)
)
- (return)
+ (return
+ (i64.const -2)
+ )
)
(set_global $hangLimit
(i32.sub
@@ -737,193 +759,81 @@
)
)
)
- (block $label$4
- (nop)
- )
- )
- )
- (if (result i32)
- (i32.eqz
- (if (result i32)
- (i32.load8_s offset=4
- (i32.and
- (if (result i32)
- (i32.eqz
- (call $func_0)
- )
- (block $label$5 (result i32)
- (br $label$0)
- )
- (block $label$6 (result i32)
- (br $label$0)
- )
+ (loop $label$13
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
)
- (i32.const 31)
- )
- )
- (i32.const 359492883)
- (call $func_0)
- )
- )
- (block $label$7 (result i32)
- (br $label$0)
- )
- (block $label$8 (result i32)
- (i32.const 22536)
- )
- )
- )
- (block $label$9 (result i32)
- (nop)
- (br_if $label$0
- (i32.eqz
- (block $label$10 (result i32)
- (br $label$0)
- )
- )
- )
- (br $label$0)
- )
- )
- )
- (if
- (i32.const 65441)
- (nop)
- (block $label$11
- (loop $label$12
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return)
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (block $label$13
- (nop)
- )
- )
- )
- )
- (block $label$14
- (if
- (i32.eqz
- (call $func_0)
- )
- (block $label$15
- (loop $label$16
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return)
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (block $label$17
- (block $label$18
- (loop $label$19
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return)
+ (return
+ (get_local $1)
)
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
)
)
- (nop)
)
+ (nop)
)
)
- )
- )
- (block $label$20
- (loop $label$21
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
+ (loop $label$14
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const 14657)
+ )
)
- (return)
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
)
)
+ (nop)
)
- (if
- (i32.trunc_u/f64
- (call $deNan64
- (f64.convert_u/i32
- (i32.clz
- (call $func_0)
+ (if (result i32)
+ (if (result i32)
+ (i32.eqz
+ (block $label$15 (result i32)
+ (return
+ (i64.const 520)
)
)
)
- )
- (nop)
- (drop
- (if (result i64)
- (i32.eqz
- (loop $label$22 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return)
+ (i32.ctz
+ (loop $label$16 (result i32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
)
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
+ (return
+ (get_local $1)
)
)
- (block $label$23 (result i32)
- (select
- (i32.const 2113936401)
- (i32.const 0)
- (select
- (i32.const 2147483647)
- (i32.const 1297751887)
- (i32.const 5191)
- )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
)
)
)
- )
- (block $label$24 (result i64)
- (br $label$0)
- )
- (block $label$25 (result i64)
- (loop $label$26 (result i64)
+ (loop $label$17 (result i32)
(block
(if
(i32.eqz
(get_global $hangLimit)
)
- (return)
+ (return
+ (i64.const -4294967296)
+ )
)
(set_global $hangLimit
(i32.sub
@@ -932,131 +842,140 @@
)
)
)
- (block $label$27 (result i64)
- (i64.reinterpret/f64
- (f64.const -nan:0xfffffffffffb7)
+ (call_indirect $FUNCSIG$i
+ (i32.trunc_u/f32
+ (block $label$18 (result f32)
+ (return
+ (i64.const -2147483648)
+ )
+ )
)
)
)
)
)
+ (i32.const -2147483648)
)
- )
- )
- (drop
- (call $func_1)
- )
- (block $label$28
- (if
- (i32.const 18500)
- (nop)
- (if
- (i32.eqz
- (i32.const -122)
- )
- (block $label$29
- (set_local $0
- (loop $label$30 (result f32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return)
+ (block $label$19 (result i32)
+ (drop
+ (loop $label$20 (result i32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
)
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
+ (return
+ (get_local $3)
)
)
- (f32.load offset=22 align=2
- (i32.and
- (block $label$31 (result i32)
- (i64.eqz
- (i64.const -2147483648)
- )
- )
- (i32.const 31)
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
)
)
)
+ (i32.const 190322462)
)
)
- (f32.store offset=4 align=1
+ (i32.load8_u offset=22
(i32.and
- (loop $label$32 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
+ (f32.eq
+ (call $deNan32
+ (f32.sub
+ (loop $label$21 (result f32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const -8)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (block $label$22 (result f32)
+ (return
+ (get_local $3)
+ )
+ )
)
- (return)
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
+ (f32.load offset=22 align=2
+ (i32.and
+ (br_if $label$19
+ (call_indirect $FUNCSIG$i
+ (i32.const 0)
+ )
+ (loop $label$23 (result i32)
+ (block
+ (if
+ (i32.eqz
+ (get_global $hangLimit)
+ )
+ (return
+ (i64.const 2147483646)
+ )
+ )
+ (set_global $hangLimit
+ (i32.sub
+ (get_global $hangLimit)
+ (i32.const 1)
+ )
+ )
+ )
+ (if (result i32)
+ (i32.eqz
+ (i32.const 65535)
+ )
+ (i32.const -2147483648)
+ (i32.const 14)
+ )
+ )
+ )
+ (i32.const 31)
+ )
)
)
)
- (i32.wrap/i64
- (i64.const -125)
+ (block $label$24 (result f32)
+ (return
+ (i64.const -32768)
+ )
)
)
(i32.const 31)
)
- (f32.load offset=4 align=1
- (i32.and
- (i32.const 23)
- (i32.const 31)
- )
- )
)
)
- )
- (br_if $label$0
- (i32.eqz
- (i32.const -128)
+ (block $label$25 (result i32)
+ (return
+ (get_local $3)
+ )
)
)
)
)
+ (i32.const -32768)
)
- )
- )
- (br_if $label$0
- (loop $label$33 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return)
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (block $label$34 (result i32)
- (br $label$0)
- )
+ (i32.const 31)
)
)
)
)
- (func $func_3 (param $0 f64) (param $1 f64) (param $2 f64) (result f32)
+ (func $func_12 (result f64)
(block
(if
(i32.eqz
(get_global $hangLimit)
)
(return
- (f32.const -nan:0x7fff97)
+ (f64.const 112)
)
)
(set_global $hangLimit
@@ -1066,113 +985,34 @@
)
)
)
- (call $deNan32
- (f32.sqrt
- (if (result f32)
- (loop $label$0 (result i32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (f32.const 9223372036854775808)
- )
+ (call $deNan64
+ (select
+ (call $deNan64
+ (f64.promote/f32
+ (if (result f32)
+ (i32.eqz
+ (i32.const -74)
)
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
+ (block $label$2 (result f32)
+ (nop)
+ (nop)
+ (f32.const 103176e4)
)
- )
- (block $label$1 (result i32)
- (return
- (f32.const 9223372036854775808)
+ (block $label$3 (result f32)
+ (f32.const 4)
)
)
)
- (block $label$2 (result f32)
- (block $label$3 (result f32)
- (f32.const 2147483648)
- )
- )
- (f32.const 8764)
)
- )
- )
- )
- (func $func_4
- (local $0 i64)
- (local $1 i64)
- (local $2 f32)
- (local $3 f64)
- (local $4 f64)
- (local $5 f64)
- (local $6 f32)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return)
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (nop)
- )
- (func $func_5 (param $0 i64) (param $1 i64) (result f64)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (f64.const -100)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (f64.const 1)
- )
- (func $func_6 (result i32)
- (local $0 f64)
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (i32.const 2147483647)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (select
- (select
- (loop $label$1 (result i32)
+ (f64.const 2199023255552)
+ (loop $label$0 (result i32)
(block
(if
(i32.eqz
(get_global $hangLimit)
)
(return
- (i32.const 0)
+ (f64.const -562949953421312)
)
)
(set_global $hangLimit
@@ -1182,139 +1022,11 @@
)
)
)
- (block $label$2 (result i32)
- (i32.load offset=4
- (br_if $label$2
- (i32.const -76)
- (i32.eqz
- (i32.load8_s offset=4
- (i32.and
- (i32.load offset=22 align=1
- (i32.and
- (i32.const 92)
- (i32.const 31)
- )
- )
- (i32.const 31)
- )
- )
- )
- )
- )
- )
- )
- (block $label$3 (result i32)
- (return
- (i32.const 26)
- )
- )
- (call $func_0)
- )
- (select
- (block $label$9 (result i32)
- (loop $label$10
- (block
- (if
- (i32.eqz
- (get_global $hangLimit)
- )
- (return
- (i32.const 1)
- )
- )
- (set_global $hangLimit
- (i32.sub
- (get_global $hangLimit)
- (i32.const 1)
- )
- )
- )
- (block $label$11
- (i32.store16 offset=2 align=1
- (i32.const -91)
- (i32.load16_s offset=4 align=1
- (i32.ctz
- (block $label$12 (result i32)
- (select
- (i32.load offset=4 align=2
- (i32.and
- (i32.const -113)
- (i32.const 31)
- )
- )
- (call $func_0)
- (block $label$13 (result i32)
- (return
- (i32.const -32768)
- )
- )
- )
- )
- )
- )
- )
- )
- )
- (i32.const 255)
- )
- (i32.const 127)
- (select
- (if (result i32)
- (block $label$4 (result i32)
- (i32.load offset=22
- (i32.and
- (br_if $label$4
- (i32.load16_u offset=2
- (i32.and
- (i32.const 226)
- (i32.const 31)
- )
- )
- (i32.eqz
- (select
- (block $label$5 (result i32)
- (i32.const -32768)
- )
- (i32.const 354161438)
- (i64.gt_s
- (i64.const -18)
- (i64.const 2835340575676513842)
- )
- )
- )
- )
- (i32.const 31)
- )
- )
- )
- (i32.const -128)
- (block $label$6 (result i32)
- (return
- (i32.const 65442)
- )
- )
- )
- (block $label$7 (result i32)
- (i32.load offset=22 align=1
- (i32.and
- (block $label$8 (result i32)
- (return
- (i32.const 255)
- )
- )
- (i32.const 31)
- )
+ (block $label$1 (result i32)
+ (return
+ (f64.const 3402823466385288598117041e14)
)
)
- (i32.lt_s
- (i32.const -20)
- (i32.const -2147483648)
- )
- )
- )
- (block $label$0 (result i32)
- (return
- (i32.const -86)
)
)
)