diff options
Diffstat (limited to 'test/example/c-api-kitchen-sink.txt')
| -rw-r--r-- | test/example/c-api-kitchen-sink.txt | 3826 |
1 files changed, 1913 insertions, 1913 deletions
diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt index 4eee5c0c0..2c25a70ab 100644 --- a/test/example/c-api-kitchen-sink.txt +++ b/test/example/c-api-kitchen-sink.txt @@ -4,1065 +4,1065 @@ BinaryenInt64: 2 BinaryenFloat32: 3 BinaryenFloat64: 4 (f32.neg - (f32.const -33.61199951171875) + (f32.const -33.61199951171875) ) (module - (type $iiIfF (func (param i32 i64 f32 f64) (result i32))) - (type $fiF (func (param i32 f64) (result f32))) - (type $v (func)) - (type $3 (func)) - (import "module" "base" (func $an-imported (param i32 f64) (result f32))) - (table 1 1 anyfunc) - (elem (i32.const 0) "$kitchen()sinker") - (memory $0 1 256) - (data (i32.const 10) "hello, world") - (export "kitchen_sinker" (func "$kitchen()sinker")) - (export "mem" (memory $0)) - (start $starter) - (func "$kitchen()sinker" (type $iiIfF) (param $0 i32) (param $1 i64) (param $2 f32) (param $3 f64) (result i32) - (local $4 i32) - (block $the-body i32 - (block $the-nothing - (drop - (block $the-value i32 - (drop - (i32.clz - (i32.const -10) - ) - ) - (drop - (i64.ctz - (i64.const -22) - ) - ) - (drop - (i32.popcnt - (i32.const -10) - ) - ) - (drop - (f32.neg - (f32.const -33.61199951171875) - ) - ) - (drop - (f64.abs - (f64.const -9005.841) - ) - ) - (drop - (f32.ceil - (f32.const -33.61199951171875) - ) - ) - (drop - (f64.floor - (f64.const -9005.841) - ) - ) - (drop - (f32.trunc - (f32.const -33.61199951171875) - ) - ) - (drop - (f32.nearest - (f32.const -33.61199951171875) - ) - ) - (drop - (f64.sqrt - (f64.const -9005.841) - ) - ) - (drop - (i32.eqz - (i32.const -10) - ) - ) - (drop - (i64.extend_s/i32 - (i32.const -10) - ) - ) - (drop - (i64.extend_u/i32 - (i32.const -10) - ) - ) - (drop - (i32.wrap/i64 - (i64.const -22) - ) - ) - (drop - (i32.trunc_s/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i64.trunc_s/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i32.trunc_u/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i64.trunc_u/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i32.trunc_s/f64 - (f64.const -9005.841) - ) - ) - (drop - (i64.trunc_s/f64 - (f64.const -9005.841) - ) - ) - (drop - (i32.trunc_u/f64 - (f64.const -9005.841) - ) - ) - (drop - (i64.trunc_u/f64 - (f64.const -9005.841) - ) - ) - (drop - (i32.reinterpret/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i64.reinterpret/f64 - (f64.const -9005.841) - ) - ) - (drop - (f32.convert_s/i32 - (i32.const -10) - ) - ) - (drop - (f64.convert_s/i32 - (i32.const -10) - ) - ) - (drop - (f32.convert_u/i32 - (i32.const -10) - ) - ) - (drop - (f64.convert_u/i32 - (i32.const -10) - ) - ) - (drop - (f32.convert_s/i64 - (i64.const -22) - ) - ) - (drop - (f64.convert_s/i64 - (i64.const -22) - ) - ) - (drop - (f32.convert_u/i64 - (i64.const -22) - ) - ) - (drop - (f64.convert_u/i64 - (i64.const -22) - ) - ) - (drop - (f64.promote/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (f32.demote/f64 - (f64.const -9005.841) - ) - ) - (drop - (f32.reinterpret/i32 - (i32.const -10) - ) - ) - (drop - (f64.reinterpret/i64 - (i64.const -22) - ) - ) - (drop - (i32.add - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (f64.sub - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (i32.div_s - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.div_u - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i64.rem_s - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.rem_u - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i32.and - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.or - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.xor - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.shl - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i64.shr_u - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.shr_s - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i32.rotl - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.rotr - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (f32.div - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (drop - (f64.copysign - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (f32.min - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (drop - (f64.max - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (i32.eq - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (f32.ne - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (drop - (i32.lt_s - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.lt_u - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i64.le_s - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.le_u - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.gt_s - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.gt_u - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i32.ge_s - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.ge_u - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (f32.lt - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (drop - (f64.le - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (f64.gt - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (f32.ge - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (block - ) - (if - (i32.const 1) - (drop - (i32.const 2) - ) - (drop - (i32.const 3) - ) - ) - (if - (i32.const 4) - (drop - (i32.const 5) - ) - ) - (drop - (loop $in i32 - (i32.const 0) - ) - ) - (drop - (loop i32 - (i32.const 0) - ) - ) - (drop - (br_if $the-value - (i32.const 1) - (i32.const 0) - ) - ) - (br_if $the-nothing - (i32.const 2) - ) - (br $the-value - (i32.const 3) - ) - (br $the-nothing) - (br_table $the-value $the-value - (i32.const 1) - (i32.const 0) - ) - (br_table $the-nothing $the-nothing - (i32.const 2) - ) - (drop - (i32.eqz - (call "$kitchen()sinker" - (i32.const 13) - (i64.const 37) - (f32.const 1.2999999523162842) - (f64.const 3.7) - ) - ) - ) - (drop - (i32.eqz - (i32.trunc_s/f32 - (call $an-imported - (i32.const 13) - (f64.const 3.7) - ) - ) - ) - ) - (drop - (i32.eqz - (call_indirect $iiIfF - (i32.const 13) - (i64.const 37) - (f32.const 1.2999999523162842) - (f64.const 3.7) - (i32.const 2449) - ) - ) - ) - (drop - (get_local $0) - ) - (set_local $0 - (i32.const 101) - ) - (drop - (tee_local $0 - (i32.const 102) - ) - ) - (drop - (i32.load - (i32.const 1) - ) - ) - (drop - (i64.load16_s offset=2 align=1 - (i32.const 8) - ) - ) - (drop - (f32.load - (i32.const 2) - ) - ) - (drop - (f64.load offset=2 - (i32.const 9) - ) - ) - (i32.store - (i32.const 10) - (i32.const 11) - ) - (i64.store offset=2 align=4 - (i32.const 110) - (i64.const 111) - ) - (drop - (select - (i32.const 3) - (i32.const 5) - (i32.const 1) - ) - ) - (return - (i32.const 1337) - ) - (nop) - (unreachable) - ) - ) + (type $iiIfF (func (param i32 i64 f32 f64) (result i32))) + (type $fiF (func (param i32 f64) (result f32))) + (type $v (func)) + (type $3 (func)) + (import "module" "base" (func $an-imported (param i32 f64) (result f32))) + (table 1 1 anyfunc) + (elem (i32.const 0) "$kitchen()sinker") + (memory $0 1 256) + (data (i32.const 10) "hello, world") + (export "kitchen_sinker" (func "$kitchen()sinker")) + (export "mem" (memory $0)) + (start $starter) + (func "$kitchen()sinker" (type $iiIfF) (param $0 i32) (param $1 i64) (param $2 f32) (param $3 f64) (result i32) + (local $4 i32) + (block $the-body i32 + (block $the-nothing + (drop + (block $the-value i32 + (drop + (i32.clz + (i32.const -10) + ) + ) + (drop + (i64.ctz + (i64.const -22) + ) + ) + (drop + (i32.popcnt + (i32.const -10) + ) + ) + (drop + (f32.neg + (f32.const -33.61199951171875) + ) + ) + (drop + (f64.abs + (f64.const -9005.841) + ) + ) + (drop + (f32.ceil + (f32.const -33.61199951171875) + ) + ) + (drop + (f64.floor + (f64.const -9005.841) + ) + ) + (drop + (f32.trunc + (f32.const -33.61199951171875) + ) + ) + (drop + (f32.nearest + (f32.const -33.61199951171875) + ) + ) + (drop + (f64.sqrt + (f64.const -9005.841) + ) + ) + (drop + (i32.eqz + (i32.const -10) + ) + ) + (drop + (i64.extend_s/i32 + (i32.const -10) + ) + ) + (drop + (i64.extend_u/i32 + (i32.const -10) + ) + ) + (drop + (i32.wrap/i64 + (i64.const -22) + ) + ) + (drop + (i32.trunc_s/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i64.trunc_s/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i32.trunc_u/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i64.trunc_u/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i32.trunc_s/f64 + (f64.const -9005.841) + ) + ) + (drop + (i64.trunc_s/f64 + (f64.const -9005.841) + ) + ) + (drop + (i32.trunc_u/f64 + (f64.const -9005.841) + ) + ) + (drop + (i64.trunc_u/f64 + (f64.const -9005.841) + ) + ) + (drop + (i32.reinterpret/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i64.reinterpret/f64 + (f64.const -9005.841) + ) + ) + (drop + (f32.convert_s/i32 + (i32.const -10) + ) + ) + (drop + (f64.convert_s/i32 + (i32.const -10) + ) + ) + (drop + (f32.convert_u/i32 + (i32.const -10) + ) + ) + (drop + (f64.convert_u/i32 + (i32.const -10) + ) + ) + (drop + (f32.convert_s/i64 + (i64.const -22) + ) + ) + (drop + (f64.convert_s/i64 + (i64.const -22) + ) + ) + (drop + (f32.convert_u/i64 + (i64.const -22) + ) + ) + (drop + (f64.convert_u/i64 + (i64.const -22) + ) + ) + (drop + (f64.promote/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (f32.demote/f64 + (f64.const -9005.841) + ) + ) + (drop + (f32.reinterpret/i32 + (i32.const -10) + ) + ) + (drop + (f64.reinterpret/i64 + (i64.const -22) + ) + ) + (drop + (i32.add + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (f64.sub + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (i32.div_s + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.div_u + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i64.rem_s + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.rem_u + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i32.and + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.or + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.xor + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.shl + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i64.shr_u + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.shr_s + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i32.rotl + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.rotr + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (f32.div + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (drop + (f64.copysign + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (f32.min + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (drop + (f64.max + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (i32.eq + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (f32.ne + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (drop + (i32.lt_s + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.lt_u + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i64.le_s + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.le_u + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.gt_s + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.gt_u + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i32.ge_s + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.ge_u + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (f32.lt + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (drop + (f64.le + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (f64.gt + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (f32.ge + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (block + ) + (if + (i32.const 1) + (drop + (i32.const 2) + ) + (drop + (i32.const 3) + ) ) - (i32.const 42) + (if + (i32.const 4) + (drop + (i32.const 5) + ) + ) + (drop + (loop $in i32 + (i32.const 0) + ) + ) + (drop + (loop i32 + (i32.const 0) + ) + ) + (drop + (br_if $the-value + (i32.const 1) + (i32.const 0) + ) + ) + (br_if $the-nothing + (i32.const 2) + ) + (br $the-value + (i32.const 3) + ) + (br $the-nothing) + (br_table $the-value $the-value + (i32.const 1) + (i32.const 0) + ) + (br_table $the-nothing $the-nothing + (i32.const 2) + ) + (drop + (i32.eqz + (call "$kitchen()sinker" + (i32.const 13) + (i64.const 37) + (f32.const 1.2999999523162842) + (f64.const 3.7) + ) + ) + ) + (drop + (i32.eqz + (i32.trunc_s/f32 + (call $an-imported + (i32.const 13) + (f64.const 3.7) + ) + ) + ) + ) + (drop + (i32.eqz + (call_indirect $iiIfF + (i32.const 13) + (i64.const 37) + (f32.const 1.2999999523162842) + (f64.const 3.7) + (i32.const 2449) + ) + ) + ) + (drop + (get_local $0) + ) + (set_local $0 + (i32.const 101) + ) + (drop + (tee_local $0 + (i32.const 102) + ) + ) + (drop + (i32.load + (i32.const 1) + ) + ) + (drop + (i64.load16_s offset=2 align=1 + (i32.const 8) + ) + ) + (drop + (f32.load + (i32.const 2) + ) + ) + (drop + (f64.load offset=2 + (i32.const 9) + ) + ) + (i32.store + (i32.const 10) + (i32.const 11) + ) + (i64.store offset=2 align=4 + (i32.const 110) + (i64.const 111) + ) + (drop + (select + (i32.const 3) + (i32.const 5) + (i32.const 1) + ) + ) + (return + (i32.const 1337) + ) + (nop) + (unreachable) + ) ) + ) + (i32.const 42) ) - (func $starter (type $v) - (nop) - ) + ) + (func $starter (type $v) + (nop) + ) ) raw: (module - (type $v (func)) - (type $vi (func (param i32))) - (type $i (func (result i32))) - (import "module" "check" (func $check (param i32))) - (memory $0 0) - (func $just-one-block (type $v) - (local $0 i32) - (call $check - (i32.const 1337) + (type $v (func)) + (type $vi (func (param i32))) + (type $i (func (result i32))) + (import "module" "check" (func $check (param i32))) + (memory $0 0) + (func $just-one-block (type $v) + (local $0 i32) + (call $check + (i32.const 1337) + ) + ) + (func $two-blocks (type $v) + (local $0 i32) + (block $block$2$break + (call $check + (i32.const 0) + ) + (block + (br $block$2$break) + ) + ) + (block + (call $check + (i32.const 1) + ) + ) + ) + (func $two-blocks-plus-code (type $v) + (local $0 i32) + (block $block$2$break + (call $check + (i32.const 0) + ) + (block + (drop + (i32.const 77) ) + (br $block$2$break) + ) ) - (func $two-blocks (type $v) - (local $0 i32) - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (br $block$2$break) - ) + (block + (call $check + (i32.const 1) + ) + ) + ) + (func $loop (type $v) + (local $0 i32) + (loop $shape$0$continue + (block $block$2$break + (call $check + (i32.const 0) ) (block - (call $check - (i32.const 1) - ) + (br $block$2$break) ) - ) - (func $two-blocks-plus-code (type $v) - (local $0 i32) - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (drop - (i32.const 77) - ) - (br $block$2$break) - ) + ) + (block + (call $check + (i32.const 1) ) (block - (call $check - (i32.const 1) - ) + (br $shape$0$continue) ) + ) ) - (func $loop (type $v) - (local $0 i32) - (loop $shape$0$continue - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (br $block$2$break) - ) - ) - (block - (call $check - (i32.const 1) - ) - (block - (br $shape$0$continue) - ) - ) + ) + (func $loop-plus-code (type $v) + (local $0 i32) + (loop $shape$0$continue + (block $block$2$break + (call $check + (i32.const 0) ) - ) - (func $loop-plus-code (type $v) - (local $0 i32) - (loop $shape$0$continue - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (drop - (i32.const 33) - ) - (br $block$2$break) - ) - ) - (block - (call $check - (i32.const 1) - ) - (block - (drop - (i32.const -66) - ) - (br $shape$0$continue) - ) - ) + (block + (drop + (i32.const 33) + ) + (br $block$2$break) ) - ) - (func $split (type $v) - (local $0 i32) + ) + (block (call $check - (i32.const 0) + (i32.const 1) ) - (if - (i32.const 55) - (block - (call $check - (i32.const 1) - ) - ) - (block - (call $check - (i32.const 2) - ) - ) + (block + (drop + (i32.const -66) + ) + (br $shape$0$continue) ) + ) + ) + ) + (func $split (type $v) + (local $0 i32) + (call $check + (i32.const 0) ) - (func $split-plus-code (type $v) - (local $0 i32) + (if + (i32.const 55) + (block (call $check - (i32.const 0) + (i32.const 1) ) - (if - (i32.const 55) - (block - (drop - (i32.const 10) - ) - (block - (call $check - (i32.const 1) - ) - ) - ) - (block - (drop - (i32.const 20) - ) - (block - (call $check - (i32.const 2) - ) - ) - ) + ) + (block + (call $check + (i32.const 2) ) + ) ) - (func $if (type $v) - (local $0 i32) - (block $block$3$break - (call $check - (i32.const 0) - ) - (if - (i32.const 55) - (block - (call $check - (i32.const 1) - ) - (block - (br $block$3$break) - ) - ) - (br $block$3$break) - ) + ) + (func $split-plus-code (type $v) + (local $0 i32) + (call $check + (i32.const 0) + ) + (if + (i32.const 55) + (block + (drop + (i32.const 10) ) (block - (call $check - (i32.const 2) - ) + (call $check + (i32.const 1) + ) ) + ) + (block + (drop + (i32.const 20) + ) + (block + (call $check + (i32.const 2) + ) + ) + ) + ) + ) + (func $if (type $v) + (local $0 i32) + (block $block$3$break + (call $check + (i32.const 0) + ) + (if + (i32.const 55) + (block + (call $check + (i32.const 1) + ) + (block + (br $block$3$break) + ) + ) + (br $block$3$break) + ) + ) + (block + (call $check + (i32.const 2) + ) ) - (func $if-plus-code (type $v) - (local $0 i32) - (block $block$3$break + ) + (func $if-plus-code (type $v) + (local $0 i32) + (block $block$3$break + (call $check + (i32.const 0) + ) + (if + (i32.const 55) + (block + (drop + (i32.const -1) + ) + (block (call $check - (i32.const 0) + (i32.const 1) ) - (if - (i32.const 55) - (block - (drop - (i32.const -1) - ) - (block - (call $check - (i32.const 1) - ) - (block - (drop - (i32.const -3) - ) - (br $block$3$break) - ) - ) - ) - (block - (drop - (i32.const -2) - ) - (br $block$3$break) - ) + (block + (drop + (i32.const -3) + ) + (br $block$3$break) ) + ) ) (block - (call $check - (i32.const 2) - ) + (drop + (i32.const -2) + ) + (br $block$3$break) ) + ) ) - (func $if-else (type $v) - (local $0 i32) + (block + (call $check + (i32.const 2) + ) + ) + ) + (func $if-else (type $v) + (local $0 i32) + (block $block$4$break + (call $check + (i32.const 0) + ) + (if + (i32.const 55) + (block + (call $check + (i32.const 1) + ) + (block + (br $block$4$break) + ) + ) + (block + (call $check + (i32.const 2) + ) + (block + (br $block$4$break) + ) + ) + ) + ) + (block + (call $check + (i32.const 3) + ) + ) + ) + (func $loop-tail (type $v) + (local $0 i32) + (block $block$3$break + (loop $shape$0$continue + (block $block$2$break + (call $check + (i32.const 0) + ) + (block + (br $block$2$break) + ) + ) + (block + (call $check + (i32.const 1) + ) + (if + (i32.const 10) + (br $shape$0$continue) + (br $block$3$break) + ) + ) + ) + ) + (block + (call $check + (i32.const 2) + ) + ) + ) + (func $nontrivial-loop-plus-phi-to-head (type $v) + (local $0 i32) + (block $block$2$break + (call $check + (i32.const 0) + ) + (block + (drop + (i32.const 10) + ) + (br $block$2$break) + ) + ) + (block + (block $block$7$break (block $block$4$break - (call $check - (i32.const 0) - ) - (if - (i32.const 55) + (loop $shape$1$continue + (block $block$3$break + (call $check + (i32.const 1) + ) + (if + (i32.const -2) + (br $block$3$break) (block - (call $check - (i32.const 1) - ) - (block - (br $block$4$break) - ) + (drop + (i32.const 20) + ) + (br $block$7$break) ) + ) + ) + (block + (call $check + (i32.const 2) + ) + (if + (i32.const -6) + (br $block$4$break) (block - (call $check - (i32.const 2) - ) - (block - (br $block$4$break) - ) + (drop + (i32.const 30) + ) + (br $shape$1$continue) ) + ) ) + ) ) (block + (block $block$6$break (call $check - (i32.const 3) + (i32.const 3) ) - ) - ) - (func $loop-tail (type $v) - (local $0 i32) - (block $block$3$break - (loop $shape$0$continue - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (br $block$2$break) - ) + (if + (i32.const -10) + (block + (call $check + (i32.const 4) ) (block - (call $check - (i32.const 1) - ) - (if - (i32.const 10) - (br $shape$0$continue) - (br $block$3$break) - ) + (br $block$6$break) ) + ) + (br $block$6$break) ) - ) - (block + ) + (block (call $check - (i32.const 2) + (i32.const 5) ) + (block + (drop + (i32.const 40) + ) + (br $block$7$break) + ) + ) + ) + ) + (block + (call $check + (i32.const 6) ) + ) ) - (func $nontrivial-loop-plus-phi-to-head (type $v) - (local $0 i32) - (block $block$2$break - (call $check - (i32.const 0) - ) + ) + (func $switch (type $v) + (local $0 i32) + (call $check + (i32.const 0) + ) + (block $switch$1$leave + (block $switch$1$default + (block $switch$1$case$3 + (block $switch$1$case$2 + (br_table $switch$1$default $switch$1$default $switch$1$case$2 $switch$1$default $switch$1$case$3 $switch$1$case$2 $switch$1$default + (i32.const -99) + ) + ) + (block (block - (drop - (i32.const 10) - ) - (br $block$2$break) + (call $check + (i32.const 1) + ) ) + ) + (br $switch$1$leave) ) (block - (block $block$7$break - (block $block$4$break - (loop $shape$1$continue - (block $block$3$break - (call $check - (i32.const 1) - ) - (if - (i32.const -2) - (br $block$3$break) - (block - (drop - (i32.const 20) - ) - (br $block$7$break) - ) - ) - ) - (block - (call $check - (i32.const 2) - ) - (if - (i32.const -6) - (br $block$4$break) - (block - (drop - (i32.const 30) - ) - (br $shape$1$continue) - ) - ) - ) - ) - ) - (block - (block $block$6$break - (call $check - (i32.const 3) - ) - (if - (i32.const -10) - (block - (call $check - (i32.const 4) - ) - (block - (br $block$6$break) - ) - ) - (br $block$6$break) - ) - ) - (block - (call $check - (i32.const 5) - ) - (block - (drop - (i32.const 40) - ) - (br $block$7$break) - ) - ) - ) - ) - (block - (call $check - (i32.const 6) - ) + (drop + (i32.const 55) + ) + (block + (call $check + (i32.const 2) ) + ) ) + (br $switch$1$leave) + ) + (block + (block + (call $check + (i32.const 3) + ) + ) + ) + (br $switch$1$leave) ) - (func $switch (type $v) - (local $0 i32) - (call $check + ) + (func $duffs-device (type $v) + (local $0 i32) + (local $1 i32) + (local $2 i64) + (local $3 i32) + (local $4 f32) + (local $5 f64) + (local $6 i32) + (block + (block $block$3$break + (block $block$2$break + (call $check (i32.const 0) - ) - (block $switch$1$leave - (block $switch$1$default - (block $switch$1$case$3 - (block $switch$1$case$2 - (br_table $switch$1$default $switch$1$default $switch$1$case$2 $switch$1$default $switch$1$case$3 $switch$1$case$2 $switch$1$default - (i32.const -99) - ) - ) - (block - (block - (call $check - (i32.const 1) - ) - ) - ) - (br $switch$1$leave) - ) - (block - (drop - (i32.const 55) - ) - (block - (call $check - (i32.const 2) - ) - ) - ) - (br $switch$1$leave) + ) + (if + (i32.const 10) + (block + (set_local $3 + (i32.const 2) + ) + (br $block$2$break) ) (block - (block - (call $check - (i32.const 3) - ) - ) + (set_local $3 + (i32.const 3) + ) + (br $block$3$break) ) - (br $switch$1$leave) + ) ) + ) ) - (func $duffs-device (type $v) - (local $0 i32) - (local $1 i32) - (local $2 i64) - (local $3 i32) - (local $4 f32) - (local $5 f64) - (local $6 i32) + (loop $shape$1$continue + (if + (i32.eq + (get_local $3) + (i32.const 2) + ) (block - (block $block$3$break - (block $block$2$break - (call $check - (i32.const 0) - ) - (if - (i32.const 10) - (block - (set_local $3 - (i32.const 2) - ) - (br $block$2$break) - ) - (block - (set_local $3 - (i32.const 3) - ) - (br $block$3$break) - ) - ) - ) - ) + (set_local $3 + (i32.const 0) + ) + (call $check + (i32.const 1) + ) + (block + (set_local $3 + (i32.const 3) + ) + (br $shape$1$continue) + ) ) - (loop $shape$1$continue - (if - (i32.eq - (get_local $3) - (i32.const 2) - ) - (block - (set_local $3 - (i32.const 0) - ) - (call $check - (i32.const 1) - ) - (block - (set_local $3 - (i32.const 3) - ) - (br $shape$1$continue) - ) - ) - (if - (i32.eq - (get_local $3) - (i32.const 3) - ) - (block - (set_local $3 - (i32.const 0) - ) - (call $check - (i32.const 2) - ) - (block - (set_local $3 - (i32.const 2) - ) - (br $shape$1$continue) - ) - ) - ) + (if + (i32.eq + (get_local $3) + (i32.const 3) + ) + (block + (set_local $3 + (i32.const 0) ) - ) - ) - (func $return (type $i) (result i32) - (local $0 i32) - (block $the-list (call $check - (i32.const 42) + (i32.const 2) ) - (return - (i32.const 1337) + (block + (set_local $3 + (i32.const 2) + ) + (br $shape$1$continue) ) + ) ) + ) ) + ) + (func $return (type $i) (result i32) + (local $0 i32) + (block $the-list + (call $check + (i32.const 42) + ) + (return + (i32.const 1337) + ) + ) + ) ) optimized: (module - (type $v (func)) - (type $vi (func (param i32))) - (type $i (func (result i32))) - (memory $0 0) + (type $v (func)) + (type $vi (func (param i32))) + (type $i (func (result i32))) + (memory $0 0) ) module loaded from binary form: (module - (type $0 (func (param i32 i32) (result i32))) - (memory $0 0) - (func $adder (type $0) (param $var$0 i32) (param $var$1 i32) (result i32) - (i32.add - (get_local $var$0) - (get_local $var$1) - ) + (type $0 (func (param i32 i32) (result i32))) + (memory $0 0) + (func $adder (type $0) (param $var$0 i32) (param $var$1 i32) (result i32) + (i32.add + (get_local $var$0) + (get_local $var$1) ) + ) ) (module - (type $vi (func (param i32))) - (type $v (func)) - (import "spectest" "print" (func $print-i32 (param i32))) - (memory $0 0) - (start $starter) - (func $starter (type $v) - (call $print-i32 - (i32.const 1234) - ) + (type $vi (func (param i32))) + (type $v (func)) + (import "spectest" "print" (func $print-i32 (param i32))) + (memory $0 0) + (start $starter) + (func $starter (type $v) + (call $print-i32 + (i32.const 1234) ) + ) ) (i32.const 1234) (module - (type $v (func)) - (memory $0 0) - (func $func (type $v) - (local $0 i32) - (set_local $0 - (i64.const 1234) - ) + (type $v (func)) + (memory $0 0) + (func $func (type $v) + (local $0 i32) + (set_local $0 + (i64.const 1234) ) + ) ) validation: 0 // beginning a Binaryen API trace @@ -1344,7 +1344,7 @@ int main() { expressions[242] = BinaryenUnreachable(the_module); BinaryenExpressionPrint(expressions[36]); (f32.neg - (f32.const -33.61199951171875) + (f32.const -33.61199951171875) ) { BinaryenExpressionRef children[] = { expressions[30], expressions[32], expressions[34], expressions[36], expressions[38], expressions[40], expressions[42], expressions[44], expressions[46], expressions[48], expressions[50], expressions[52], expressions[54], expressions[56], expressions[58], expressions[60], expressions[62], expressions[64], expressions[66], expressions[68], expressions[70], expressions[72], expressions[74], expressions[76], expressions[78], expressions[80], expressions[82], expressions[84], expressions[86], expressions[88], expressions[90], expressions[92], expressions[94], expressions[96], expressions[98], expressions[100], expressions[103], expressions[106], expressions[109], expressions[112], expressions[115], expressions[118], expressions[121], expressions[124], expressions[127], expressions[130], expressions[133], expressions[136], expressions[139], expressions[142], expressions[145], expressions[148], expressions[151], expressions[154], expressions[157], expressions[160], expressions[163], expressions[166], expressions[169], expressions[172], expressions[175], expressions[178], expressions[181], expressions[184], expressions[187], expressions[190], expressions[193], expressions[196], expressions[197], expressions[198], expressions[199], expressions[201], expressions[203], expressions[204], expressions[206], expressions[208], expressions[209], expressions[210], expressions[212], expressions[214], expressions[217], expressions[220], expressions[222], expressions[224], expressions[227], expressions[229], expressions[231], expressions[233], expressions[235], expressions[236], expressions[237], expressions[238], expressions[240], expressions[241], expressions[242] }; @@ -1400,534 +1400,534 @@ int main() { BinaryenModuleValidate(the_module); BinaryenModulePrint(the_module); (module - (type $iiIfF (func (param i32 i64 f32 f64) (result i32))) - (type $fiF (func (param i32 f64) (result f32))) - (type $v (func)) - (type $3 (func)) - (import "module" "base" (func $an-imported (param i32 f64) (result f32))) - (table 1 1 anyfunc) - (elem (i32.const 0) "$kitchen()sinker") - (memory $0 1 256) - (data (i32.const 10) "hello, world") - (export "kitchen_sinker" (func "$kitchen()sinker")) - (export "mem" (memory $0)) - (start $starter) - (func "$kitchen()sinker" (type $iiIfF) (param $0 i32) (param $1 i64) (param $2 f32) (param $3 f64) (result i32) - (local $4 i32) - (block $the-body i32 - (block $the-nothing - (drop - (block $the-value i32 - (drop - (i32.clz - (i32.const -10) - ) - ) - (drop - (i64.ctz - (i64.const -22) - ) - ) - (drop - (i32.popcnt - (i32.const -10) - ) - ) - (drop - (f32.neg - (f32.const -33.61199951171875) - ) - ) - (drop - (f64.abs - (f64.const -9005.841) - ) - ) - (drop - (f32.ceil - (f32.const -33.61199951171875) - ) - ) - (drop - (f64.floor - (f64.const -9005.841) - ) - ) - (drop - (f32.trunc - (f32.const -33.61199951171875) - ) - ) - (drop - (f32.nearest - (f32.const -33.61199951171875) - ) - ) - (drop - (f64.sqrt - (f64.const -9005.841) - ) - ) - (drop - (i32.eqz - (i32.const -10) - ) - ) - (drop - (i64.extend_s/i32 - (i32.const -10) - ) - ) - (drop - (i64.extend_u/i32 - (i32.const -10) - ) - ) - (drop - (i32.wrap/i64 - (i64.const -22) - ) - ) - (drop - (i32.trunc_s/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i64.trunc_s/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i32.trunc_u/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i64.trunc_u/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i32.trunc_s/f64 - (f64.const -9005.841) - ) - ) - (drop - (i64.trunc_s/f64 - (f64.const -9005.841) - ) - ) - (drop - (i32.trunc_u/f64 - (f64.const -9005.841) - ) - ) - (drop - (i64.trunc_u/f64 - (f64.const -9005.841) - ) - ) - (drop - (i32.reinterpret/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (i64.reinterpret/f64 - (f64.const -9005.841) - ) - ) - (drop - (f32.convert_s/i32 - (i32.const -10) - ) - ) - (drop - (f64.convert_s/i32 - (i32.const -10) - ) - ) - (drop - (f32.convert_u/i32 - (i32.const -10) - ) - ) - (drop - (f64.convert_u/i32 - (i32.const -10) - ) - ) - (drop - (f32.convert_s/i64 - (i64.const -22) - ) - ) - (drop - (f64.convert_s/i64 - (i64.const -22) - ) - ) - (drop - (f32.convert_u/i64 - (i64.const -22) - ) - ) - (drop - (f64.convert_u/i64 - (i64.const -22) - ) - ) - (drop - (f64.promote/f32 - (f32.const -33.61199951171875) - ) - ) - (drop - (f32.demote/f64 - (f64.const -9005.841) - ) - ) - (drop - (f32.reinterpret/i32 - (i32.const -10) - ) - ) - (drop - (f64.reinterpret/i64 - (i64.const -22) - ) - ) - (drop - (i32.add - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (f64.sub - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (i32.div_s - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.div_u - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i64.rem_s - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.rem_u - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i32.and - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.or - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.xor - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.shl - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i64.shr_u - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.shr_s - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i32.rotl - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.rotr - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (f32.div - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (drop - (f64.copysign - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (f32.min - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (drop - (f64.max - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (i32.eq - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (f32.ne - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (drop - (i32.lt_s - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.lt_u - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i64.le_s - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.le_u - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.gt_s - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (i32.gt_u - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i32.ge_s - (i32.const -10) - (i32.const -11) - ) - ) - (drop - (i64.ge_u - (i64.const -22) - (i64.const -23) - ) - ) - (drop - (f32.lt - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (drop - (f64.le - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (f64.gt - (f64.const -9005.841) - (f64.const -9007.333) - ) - ) - (drop - (f32.ge - (f32.const -33.61199951171875) - (f32.const -62.5) - ) - ) - (block - ) - (if - (i32.const 1) - (drop - (i32.const 2) - ) - (drop - (i32.const 3) - ) - ) - (if - (i32.const 4) - (drop - (i32.const 5) - ) - ) - (drop - (loop $in i32 - (i32.const 0) - ) - ) - (drop - (loop i32 - (i32.const 0) - ) - ) - (drop - (br_if $the-value - (i32.const 1) - (i32.const 0) - ) - ) - (br_if $the-nothing - (i32.const 2) - ) - (br $the-value - (i32.const 3) - ) - (br $the-nothing) - (br_table $the-value $the-value - (i32.const 1) - (i32.const 0) - ) - (br_table $the-nothing $the-nothing - (i32.const 2) - ) - (drop - (i32.eqz - (call "$kitchen()sinker" - (i32.const 13) - (i64.const 37) - (f32.const 1.2999999523162842) - (f64.const 3.7) - ) - ) - ) - (drop - (i32.eqz - (i32.trunc_s/f32 - (call $an-imported - (i32.const 13) - (f64.const 3.7) - ) - ) - ) - ) - (drop - (i32.eqz - (call_indirect $iiIfF - (i32.const 13) - (i64.const 37) - (f32.const 1.2999999523162842) - (f64.const 3.7) - (i32.const 2449) - ) - ) - ) - (drop - (get_local $0) - ) - (set_local $0 - (i32.const 101) - ) - (drop - (tee_local $0 - (i32.const 102) - ) - ) - (drop - (i32.load - (i32.const 1) - ) - ) - (drop - (i64.load16_s offset=2 align=1 - (i32.const 8) - ) - ) - (drop - (f32.load - (i32.const 2) - ) - ) - (drop - (f64.load offset=2 - (i32.const 9) - ) - ) - (i32.store - (i32.const 10) - (i32.const 11) - ) - (i64.store offset=2 align=4 - (i32.const 110) - (i64.const 111) - ) - (drop - (select - (i32.const 3) - (i32.const 5) - (i32.const 1) - ) - ) - (return - (i32.const 1337) - ) - (nop) - (unreachable) - ) - ) + (type $iiIfF (func (param i32 i64 f32 f64) (result i32))) + (type $fiF (func (param i32 f64) (result f32))) + (type $v (func)) + (type $3 (func)) + (import "module" "base" (func $an-imported (param i32 f64) (result f32))) + (table 1 1 anyfunc) + (elem (i32.const 0) "$kitchen()sinker") + (memory $0 1 256) + (data (i32.const 10) "hello, world") + (export "kitchen_sinker" (func "$kitchen()sinker")) + (export "mem" (memory $0)) + (start $starter) + (func "$kitchen()sinker" (type $iiIfF) (param $0 i32) (param $1 i64) (param $2 f32) (param $3 f64) (result i32) + (local $4 i32) + (block $the-body i32 + (block $the-nothing + (drop + (block $the-value i32 + (drop + (i32.clz + (i32.const -10) + ) + ) + (drop + (i64.ctz + (i64.const -22) + ) + ) + (drop + (i32.popcnt + (i32.const -10) + ) + ) + (drop + (f32.neg + (f32.const -33.61199951171875) + ) + ) + (drop + (f64.abs + (f64.const -9005.841) + ) + ) + (drop + (f32.ceil + (f32.const -33.61199951171875) + ) + ) + (drop + (f64.floor + (f64.const -9005.841) + ) + ) + (drop + (f32.trunc + (f32.const -33.61199951171875) + ) + ) + (drop + (f32.nearest + (f32.const -33.61199951171875) + ) + ) + (drop + (f64.sqrt + (f64.const -9005.841) + ) + ) + (drop + (i32.eqz + (i32.const -10) + ) + ) + (drop + (i64.extend_s/i32 + (i32.const -10) + ) + ) + (drop + (i64.extend_u/i32 + (i32.const -10) + ) + ) + (drop + (i32.wrap/i64 + (i64.const -22) + ) + ) + (drop + (i32.trunc_s/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i64.trunc_s/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i32.trunc_u/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i64.trunc_u/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i32.trunc_s/f64 + (f64.const -9005.841) + ) + ) + (drop + (i64.trunc_s/f64 + (f64.const -9005.841) + ) + ) + (drop + (i32.trunc_u/f64 + (f64.const -9005.841) + ) + ) + (drop + (i64.trunc_u/f64 + (f64.const -9005.841) + ) + ) + (drop + (i32.reinterpret/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (i64.reinterpret/f64 + (f64.const -9005.841) + ) + ) + (drop + (f32.convert_s/i32 + (i32.const -10) + ) + ) + (drop + (f64.convert_s/i32 + (i32.const -10) + ) + ) + (drop + (f32.convert_u/i32 + (i32.const -10) + ) + ) + (drop + (f64.convert_u/i32 + (i32.const -10) + ) + ) + (drop + (f32.convert_s/i64 + (i64.const -22) + ) + ) + (drop + (f64.convert_s/i64 + (i64.const -22) + ) + ) + (drop + (f32.convert_u/i64 + (i64.const -22) + ) + ) + (drop + (f64.convert_u/i64 + (i64.const -22) + ) + ) + (drop + (f64.promote/f32 + (f32.const -33.61199951171875) + ) + ) + (drop + (f32.demote/f64 + (f64.const -9005.841) + ) + ) + (drop + (f32.reinterpret/i32 + (i32.const -10) + ) + ) + (drop + (f64.reinterpret/i64 + (i64.const -22) + ) + ) + (drop + (i32.add + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (f64.sub + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (i32.div_s + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.div_u + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i64.rem_s + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.rem_u + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i32.and + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.or + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.xor + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.shl + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i64.shr_u + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.shr_s + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i32.rotl + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.rotr + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (f32.div + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (drop + (f64.copysign + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (f32.min + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (drop + (f64.max + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (i32.eq + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (f32.ne + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (drop + (i32.lt_s + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.lt_u + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i64.le_s + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.le_u + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.gt_s + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (i32.gt_u + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i32.ge_s + (i32.const -10) + (i32.const -11) + ) + ) + (drop + (i64.ge_u + (i64.const -22) + (i64.const -23) + ) + ) + (drop + (f32.lt + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (drop + (f64.le + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (f64.gt + (f64.const -9005.841) + (f64.const -9007.333) + ) + ) + (drop + (f32.ge + (f32.const -33.61199951171875) + (f32.const -62.5) + ) + ) + (block + ) + (if + (i32.const 1) + (drop + (i32.const 2) + ) + (drop + (i32.const 3) + ) + ) + (if + (i32.const 4) + (drop + (i32.const 5) + ) + ) + (drop + (loop $in i32 + (i32.const 0) + ) + ) + (drop + (loop i32 + (i32.const 0) + ) + ) + (drop + (br_if $the-value + (i32.const 1) + (i32.const 0) + ) + ) + (br_if $the-nothing + (i32.const 2) + ) + (br $the-value + (i32.const 3) + ) + (br $the-nothing) + (br_table $the-value $the-value + (i32.const 1) + (i32.const 0) + ) + (br_table $the-nothing $the-nothing + (i32.const 2) + ) + (drop + (i32.eqz + (call "$kitchen()sinker" + (i32.const 13) + (i64.const 37) + (f32.const 1.2999999523162842) + (f64.const 3.7) + ) + ) + ) + (drop + (i32.eqz + (i32.trunc_s/f32 + (call $an-imported + (i32.const 13) + (f64.const 3.7) + ) + ) + ) + ) + (drop + (i32.eqz + (call_indirect $iiIfF + (i32.const 13) + (i64.const 37) + (f32.const 1.2999999523162842) + (f64.const 3.7) + (i32.const 2449) + ) + ) + ) + (drop + (get_local $0) + ) + (set_local $0 + (i32.const 101) + ) + (drop + (tee_local $0 + (i32.const 102) + ) + ) + (drop + (i32.load + (i32.const 1) + ) + ) + (drop + (i64.load16_s offset=2 align=1 + (i32.const 8) + ) + ) + (drop + (f32.load + (i32.const 2) + ) + ) + (drop + (f64.load offset=2 + (i32.const 9) + ) + ) + (i32.store + (i32.const 10) + (i32.const 11) + ) + (i64.store offset=2 align=4 + (i32.const 110) + (i64.const 111) + ) + (drop + (select + (i32.const 3) + (i32.const 5) + (i32.const 1) + ) + ) + (return + (i32.const 1337) ) - (i32.const 42) + (nop) + (unreachable) + ) ) + ) + (i32.const 42) ) - (func $starter (type $v) - (nop) - ) + ) + (func $starter (type $v) + (nop) + ) ) BinaryenModuleDispose(the_module); functionTypes.clear(); @@ -2391,490 +2391,490 @@ int main() { raw: BinaryenModulePrint(the_module); (module - (type $v (func)) - (type $vi (func (param i32))) - (type $i (func (result i32))) - (import "module" "check" (func $check (param i32))) - (memory $0 0) - (func $just-one-block (type $v) - (local $0 i32) - (call $check - (i32.const 1337) + (type $v (func)) + (type $vi (func (param i32))) + (type $i (func (result i32))) + (import "module" "check" (func $check (param i32))) + (memory $0 0) + (func $just-one-block (type $v) + (local $0 i32) + (call $check + (i32.const 1337) + ) + ) + (func $two-blocks (type $v) + (local $0 i32) + (block $block$2$break + (call $check + (i32.const 0) + ) + (block + (br $block$2$break) + ) + ) + (block + (call $check + (i32.const 1) + ) + ) + ) + (func $two-blocks-plus-code (type $v) + (local $0 i32) + (block $block$2$break + (call $check + (i32.const 0) + ) + (block + (drop + (i32.const 77) ) + (br $block$2$break) + ) ) - (func $two-blocks (type $v) - (local $0 i32) - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (br $block$2$break) - ) + (block + (call $check + (i32.const 1) + ) + ) + ) + (func $loop (type $v) + (local $0 i32) + (loop $shape$0$continue + (block $block$2$break + (call $check + (i32.const 0) ) (block - (call $check - (i32.const 1) - ) + (br $block$2$break) ) - ) - (func $two-blocks-plus-code (type $v) - (local $0 i32) - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (drop - (i32.const 77) - ) - (br $block$2$break) - ) + ) + (block + (call $check + (i32.const 1) ) (block - (call $check - (i32.const 1) - ) + (br $shape$0$continue) ) + ) ) - (func $loop (type $v) - (local $0 i32) - (loop $shape$0$continue - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (br $block$2$break) - ) - ) - (block - (call $check - (i32.const 1) - ) - (block - (br $shape$0$continue) - ) - ) + ) + (func $loop-plus-code (type $v) + (local $0 i32) + (loop $shape$0$continue + (block $block$2$break + (call $check + (i32.const 0) ) - ) - (func $loop-plus-code (type $v) - (local $0 i32) - (loop $shape$0$continue - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (drop - (i32.const 33) - ) - (br $block$2$break) - ) - ) - (block - (call $check - (i32.const 1) - ) - (block - (drop - (i32.const -66) - ) - (br $shape$0$continue) - ) - ) + (block + (drop + (i32.const 33) + ) + (br $block$2$break) ) - ) - (func $split (type $v) - (local $0 i32) + ) + (block (call $check - (i32.const 0) + (i32.const 1) ) - (if - (i32.const 55) - (block - (call $check - (i32.const 1) - ) - ) - (block - (call $check - (i32.const 2) - ) - ) + (block + (drop + (i32.const -66) + ) + (br $shape$0$continue) ) + ) + ) + ) + (func $split (type $v) + (local $0 i32) + (call $check + (i32.const 0) ) - (func $split-plus-code (type $v) - (local $0 i32) + (if + (i32.const 55) + (block (call $check - (i32.const 0) + (i32.const 1) ) - (if - (i32.const 55) - (block - (drop - (i32.const 10) - ) - (block - (call $check - (i32.const 1) - ) - ) - ) - (block - (drop - (i32.const 20) - ) - (block - (call $check - (i32.const 2) - ) - ) - ) + ) + (block + (call $check + (i32.const 2) ) + ) ) - (func $if (type $v) - (local $0 i32) - (block $block$3$break - (call $check - (i32.const 0) - ) - (if - (i32.const 55) - (block - (call $check - (i32.const 1) - ) - (block - (br $block$3$break) - ) - ) - (br $block$3$break) - ) + ) + (func $split-plus-code (type $v) + (local $0 i32) + (call $check + (i32.const 0) + ) + (if + (i32.const 55) + (block + (drop + (i32.const 10) ) (block - (call $check - (i32.const 2) - ) + (call $check + (i32.const 1) + ) ) + ) + (block + (drop + (i32.const 20) + ) + (block + (call $check + (i32.const 2) + ) + ) + ) ) - (func $if-plus-code (type $v) - (local $0 i32) - (block $block$3$break + ) + (func $if (type $v) + (local $0 i32) + (block $block$3$break + (call $check + (i32.const 0) + ) + (if + (i32.const 55) + (block + (call $check + (i32.const 1) + ) + (block + (br $block$3$break) + ) + ) + (br $block$3$break) + ) + ) + (block + (call $check + (i32.const 2) + ) + ) + ) + (func $if-plus-code (type $v) + (local $0 i32) + (block $block$3$break + (call $check + (i32.const 0) + ) + (if + (i32.const 55) + (block + (drop + (i32.const -1) + ) + (block (call $check - (i32.const 0) + (i32.const 1) ) - (if - (i32.const 55) - (block - (drop - (i32.const -1) - ) - (block - (call $check - (i32.const 1) - ) - (block - (drop - (i32.const -3) - ) - (br $block$3$break) - ) - ) - ) - (block - (drop - (i32.const -2) - ) - (br $block$3$break) - ) + (block + (drop + (i32.const -3) + ) + (br $block$3$break) ) + ) ) (block - (call $check - (i32.const 2) - ) + (drop + (i32.const -2) + ) + (br $block$3$break) ) + ) + ) + (block + (call $check + (i32.const 2) + ) ) - (func $if-else (type $v) - (local $0 i32) + ) + (func $if-else (type $v) + (local $0 i32) + (block $block$4$break + (call $check + (i32.const 0) + ) + (if + (i32.const 55) + (block + (call $check + (i32.const 1) + ) + (block + (br $block$4$break) + ) + ) + (block + (call $check + (i32.const 2) + ) + (block + (br $block$4$break) + ) + ) + ) + ) + (block + (call $check + (i32.const 3) + ) + ) + ) + (func $loop-tail (type $v) + (local $0 i32) + (block $block$3$break + (loop $shape$0$continue + (block $block$2$break + (call $check + (i32.const 0) + ) + (block + (br $block$2$break) + ) + ) + (block + (call $check + (i32.const 1) + ) + (if + (i32.const 10) + (br $shape$0$continue) + (br $block$3$break) + ) + ) + ) + ) + (block + (call $check + (i32.const 2) + ) + ) + ) + (func $nontrivial-loop-plus-phi-to-head (type $v) + (local $0 i32) + (block $block$2$break + (call $check + (i32.const 0) + ) + (block + (drop + (i32.const 10) + ) + (br $block$2$break) + ) + ) + (block + (block $block$7$break (block $block$4$break - (call $check - (i32.const 0) - ) - (if - (i32.const 55) + (loop $shape$1$continue + (block $block$3$break + (call $check + (i32.const 1) + ) + (if + (i32.const -2) + (br $block$3$break) (block - (call $check - (i32.const 1) - ) - (block - (br $block$4$break) - ) + (drop + (i32.const 20) + ) + (br $block$7$break) ) + ) + ) + (block + (call $check + (i32.const 2) + ) + (if + (i32.const -6) + (br $block$4$break) (block - (call $check - (i32.const 2) - ) - (block - (br $block$4$break) - ) + (drop + (i32.const 30) + ) + (br $shape$1$continue) ) + ) ) + ) ) (block + (block $block$6$break (call $check - (i32.const 3) + (i32.const 3) ) - ) - ) - (func $loop-tail (type $v) - (local $0 i32) - (block $block$3$break - (loop $shape$0$continue - (block $block$2$break - (call $check - (i32.const 0) - ) - (block - (br $block$2$break) - ) + (if + (i32.const -10) + (block + (call $check + (i32.const 4) ) (block - (call $check - (i32.const 1) - ) - (if - (i32.const 10) - (br $shape$0$continue) - (br $block$3$break) - ) + (br $block$6$break) ) + ) + (br $block$6$break) ) - ) - (block + ) + (block (call $check - (i32.const 2) + (i32.const 5) + ) + (block + (drop + (i32.const 40) + ) + (br $block$7$break) ) + ) + ) + ) + (block + (call $check + (i32.const 6) ) + ) ) - (func $nontrivial-loop-plus-phi-to-head (type $v) - (local $0 i32) - (block $block$2$break - (call $check - (i32.const 0) - ) + ) + (func $switch (type $v) + (local $0 i32) + (call $check + (i32.const 0) + ) + (block $switch$1$leave + (block $switch$1$default + (block $switch$1$case$3 + (block $switch$1$case$2 + (br_table $switch$1$default $switch$1$default $switch$1$case$2 $switch$1$default $switch$1$case$3 $switch$1$case$2 $switch$1$default + (i32.const -99) + ) + ) + (block (block - (drop - (i32.const 10) - ) - (br $block$2$break) + (call $check + (i32.const 1) + ) ) + ) + (br $switch$1$leave) ) (block - (block $block$7$break - (block $block$4$break - (loop $shape$1$continue - (block $block$3$break - (call $check - (i32.const 1) - ) - (if - (i32.const -2) - (br $block$3$break) - (block - (drop - (i32.const 20) - ) - (br $block$7$break) - ) - ) - ) - (block - (call $check - (i32.const 2) - ) - (if - (i32.const -6) - (br $block$4$break) - (block - (drop - (i32.const 30) - ) - (br $shape$1$continue) - ) - ) - ) - ) - ) - (block - (block $block$6$break - (call $check - (i32.const 3) - ) - (if - (i32.const -10) - (block - (call $check - (i32.const 4) - ) - (block - (br $block$6$break) - ) - ) - (br $block$6$break) - ) - ) - (block - (call $check - (i32.const 5) - ) - (block - (drop - (i32.const 40) - ) - (br $block$7$break) - ) - ) - ) - ) - (block - (call $check - (i32.const 6) - ) + (drop + (i32.const 55) + ) + (block + (call $check + (i32.const 2) ) + ) + ) + (br $switch$1$leave) + ) + (block + (block + (call $check + (i32.const 3) + ) ) + ) + (br $switch$1$leave) ) - (func $switch (type $v) - (local $0 i32) - (call $check + ) + (func $duffs-device (type $v) + (local $0 i32) + (local $1 i32) + (local $2 i64) + (local $3 i32) + (local $4 f32) + (local $5 f64) + (local $6 i32) + (block + (block $block$3$break + (block $block$2$break + (call $check (i32.const 0) - ) - (block $switch$1$leave - (block $switch$1$default - (block $switch$1$case$3 - (block $switch$1$case$2 - (br_table $switch$1$default $switch$1$default $switch$1$case$2 $switch$1$default $switch$1$case$3 $switch$1$case$2 $switch$1$default - (i32.const -99) - ) - ) - (block - (block - (call $check - (i32.const 1) - ) - ) - ) - (br $switch$1$leave) - ) - (block - (drop - (i32.const 55) - ) - (block - (call $check - (i32.const 2) - ) - ) - ) - (br $switch$1$leave) + ) + (if + (i32.const 10) + (block + (set_local $3 + (i32.const 2) + ) + (br $block$2$break) ) (block - (block - (call $check - (i32.const 3) - ) - ) + (set_local $3 + (i32.const 3) + ) + (br $block$3$break) ) - (br $switch$1$leave) + ) ) + ) ) - (func $duffs-device (type $v) - (local $0 i32) - (local $1 i32) - (local $2 i64) - (local $3 i32) - (local $4 f32) - (local $5 f64) - (local $6 i32) + (loop $shape$1$continue + (if + (i32.eq + (get_local $3) + (i32.const 2) + ) (block - (block $block$3$break - (block $block$2$break - (call $check - (i32.const 0) - ) - (if - (i32.const 10) - (block - (set_local $3 - (i32.const 2) - ) - (br $block$2$break) - ) - (block - (set_local $3 - (i32.const 3) - ) - (br $block$3$break) - ) - ) - ) - ) + (set_local $3 + (i32.const 0) + ) + (call $check + (i32.const 1) + ) + (block + (set_local $3 + (i32.const 3) + ) + (br $shape$1$continue) + ) ) - (loop $shape$1$continue - (if - (i32.eq - (get_local $3) - (i32.const 2) - ) - (block - (set_local $3 - (i32.const 0) - ) - (call $check - (i32.const 1) - ) - (block - (set_local $3 - (i32.const 3) - ) - (br $shape$1$continue) - ) - ) - (if - (i32.eq - (get_local $3) - (i32.const 3) - ) - (block - (set_local $3 - (i32.const 0) - ) - (call $check - (i32.const 2) - ) - (block - (set_local $3 - (i32.const 2) - ) - (br $shape$1$continue) - ) - ) - ) + (if + (i32.eq + (get_local $3) + (i32.const 3) + ) + (block + (set_local $3 + (i32.const 0) ) - ) - ) - (func $return (type $i) (result i32) - (local $0 i32) - (block $the-list (call $check - (i32.const 42) + (i32.const 2) ) - (return - (i32.const 1337) + (block + (set_local $3 + (i32.const 2) + ) + (br $shape$1$continue) ) + ) ) + ) + ) + ) + (func $return (type $i) (result i32) + (local $0 i32) + (block $the-list + (call $check + (i32.const 42) + ) + (return + (i32.const 1337) + ) ) + ) ) BinaryenModuleValidate(the_module); BinaryenModuleOptimize(the_module); @@ -2882,10 +2882,10 @@ raw: optimized: BinaryenModulePrint(the_module); (module - (type $v (func)) - (type $vi (func (param i32))) - (type $i (func (result i32))) - (memory $0 0) + (type $v (func)) + (type $vi (func (param i32))) + (type $i (func (result i32))) + (memory $0 0) ) BinaryenModuleDispose(the_module); functionTypes.clear(); |