diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/flatten-control-flow.bin.txt | 239 | ||||
| -rw-r--r-- | test/passes/flatten-control-flow.wasm | bin | 0 -> 458 bytes | |||
| -rw-r--r-- | test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt | 22 | ||||
| -rw-r--r-- | test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.wast | 29 |
4 files changed, 290 insertions, 0 deletions
diff --git a/test/passes/flatten-control-flow.bin.txt b/test/passes/flatten-control-flow.bin.txt new file mode 100644 index 000000000..9b33f976e --- /dev/null +++ b/test/passes/flatten-control-flow.bin.txt @@ -0,0 +1,239 @@ +(module + (type $0 (func (result i32))) + (type $1 (func (result i64))) + (type $2 (func (result f32))) + (type $3 (func (result f64))) + (type $4 (func (param i32) (result i32))) + (type $5 (func (param i64) (result i64))) + (type $6 (func (param f32) (result f32))) + (type $7 (func (param f64) (result f64))) + (type $8 (func (param i64 f32 f64 i32 i32))) + (type $9 (func (param i64 f32 f64 i32 i32) (result f64))) + (memory $0 0) + (export "type-local-i32" (func $0)) + (export "type-local-i64" (func $1)) + (export "type-local-f32" (func $2)) + (export "type-local-f64" (func $3)) + (export "type-param-i32" (func $4)) + (export "type-param-i64" (func $5)) + (export "tÿÿe-param-f32" (func $6)) + (export "type-param-f64" (func $7)) + (export "type-mixed" (func $8)) + (export "read" (func $9)) + (func $0 (type $0) (result i32) + (local $var$0 i32) + (local $1 i32) + (block + (set_local $1 + (get_local $var$0) + ) + ) + (return + (get_local $1) + ) + ) + (func $1 (type $1) (result i64) + (local $var$0 i64) + (local $1 i64) + (block + (set_local $1 + (get_local $var$0) + ) + ) + (return + (get_local $1) + ) + ) + (func $2 (type $2) (result f32) + (local $var$0 f32) + (local $1 f32) + (block + (set_local $1 + (get_local $var$0) + ) + ) + (return + (get_local $1) + ) + ) + (func $3 (type $3) (result f64) + (local $var$0 f64) + (local $1 f64) + (block + (set_local $1 + (get_local $var$0) + ) + ) + (return + (get_local $1) + ) + ) + (func $4 (type $4) (param $var$0 i32) (result i32) + (local $1 i32) + (block + (set_local $1 + (get_local $var$0) + ) + ) + (return + (get_local $1) + ) + ) + (func $5 (type $5) (param $var$0 i64) (result i64) + (local $1 i64) + (block + (set_local $1 + (get_local $var$0) + ) + ) + (return + (get_local $1) + ) + ) + (func $6 (type $6) (param $var$0 f32) (result f32) + (local $1 f32) + (block + (set_local $1 + (get_local $var$0) + ) + ) + (return + (get_local $1) + ) + ) + (func $7 (type $7) (param $var$0 f64) (result f64) + (local $1 f64) + (block + (set_local $1 + (get_local $var$0) + ) + ) + (return + (get_local $1) + ) + ) + (func $8 (type $8) (param $var$0 i64) (param $var$1 f32) (param $var$2 f64) (param $var$3 i32) (param $var$4 i32) + (local $var$5 i64) + (local $var$6 i64) + (local $var$7 f32) + (local $var$8 f64) + (block $label$0 + (nop) + (block + (block + (unreachable) + ) + ) + (drop + (f32.neg + (get_local $var$1) + ) + ) + (drop + (f64.neg + (get_local $var$2) + ) + ) + (drop + (i32.eqz + (get_local $var$3) + ) + ) + (drop + (i32.eqz + (get_local $var$4) + ) + ) + (drop + (f32.neg + (get_local $var$7) + ) + ) + (drop + (i64.eqz + (get_local $var$5) + ) + ) + (drop + (i64.eqz + (get_local $var$6) + ) + ) + (drop + (f64.neg + (get_local $var$8) + ) + ) + ) + ) + (func $9 (type $9) (param $var$0 i64) (param $var$1 f32) (param $var$2 f64) (param $var$3 i32) (param $var$4 i32) (result f64) + (local $var$5 i64) + (local $var$6 i64) + (local $var$7 f32) + (local $var$8 f64) + (local $9 f64) + (local $10 f64) + (block + (block + (block $label$0 + (set_local $var$7 + (f32.const 5.5) + ) + (set_local $var$5 + (i64.const 6) + ) + (set_local $var$8 + (f64.const 8) + ) + (set_local $9 + (f64.add + (f64.convert_u/i64 + (get_local $var$0) + ) + (f64.add + (f64.promote/f32 + (get_local $var$1) + ) + (f64.add + (get_local $var$2) + (f64.add + (f64.convert_u/i32 + (get_local $var$3) + ) + (f64.add + (f64.convert_s/i32 + (get_local $var$4) + ) + (f64.add + (f64.promote/f32 + (get_local $var$7) + ) + (f64.add + (f64.convert_u/i64 + (get_local $var$5) + ) + (f64.add + (f64.convert_u/i64 + (get_local $var$6) + ) + (get_local $var$8) + ) + ) + ) + ) + ) + ) + ) + ) + ) + ) + (set_local $10 + (get_local $9) + ) + ) + ) + (return + (get_local $10) + ) + ) +) diff --git a/test/passes/flatten-control-flow.wasm b/test/passes/flatten-control-flow.wasm Binary files differnew file mode 100644 index 000000000..0ba6a86fe --- /dev/null +++ b/test/passes/flatten-control-flow.wasm diff --git a/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt b/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt new file mode 100644 index 000000000..e2d4f13a9 --- /dev/null +++ b/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt @@ -0,0 +1,22 @@ +(module + (type $0 (func (param i32) (result f64))) + (global $global$3 (mut f64) (f64.const 0)) + (memory $0 0) + (func $1 (type $0) (param $x i32) (result f64) + (local $var$0 f64) + (block $label$0 + (set_local $var$0 + (f64.const 0) + ) + (return + (f64.const -3.4) + ) + (if + (get_local $x) + (return + (f64.const 5.6) + ) + ) + ) + ) +) diff --git a/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.wast b/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.wast new file mode 100644 index 000000000..5dfbfa102 --- /dev/null +++ b/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.wast @@ -0,0 +1,29 @@ +(module + (global $global$3 (mut f64) (f64.const 0)) + (func $1 (param $x i32) (result f64) + (local $var$0 f64) + (block $label$0 + (set_local $var$0 + (f64.const 0) + ) + (if + (i32.gt_s + (i32.const 9) + (i32.const 0) + ) + (return + (f64.const -3.4) + ) + ) + (if + (get_local $x) + (return + (f64.const 5.6) + ) + ) + (return + (f64.const 1.2) + ) + ) + ) +) |