diff options
Diffstat (limited to 'test/unit.fromasm.imprecise')
| -rw-r--r-- | test/unit.fromasm.imprecise | 109 |
1 files changed, 51 insertions, 58 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise index aca0185a2..35aa3e4f3 100644 --- a/test/unit.fromasm.imprecise +++ b/test/unit.fromasm.imprecise @@ -164,27 +164,24 @@ (block $label$break$L1 (loop $label$continue$L3 (block $label$break$L3 - (block $switch$17 - (block $switch-default$21 - (block $switch-case$20 - (block $switch-case$19 - (block $switch-case$18 - (br_table $switch-case$18 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-case$20 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-case$19 $switch-default$21 - (i32.sub - (get_local $0) - (i32.const -1) - ) + (block $switch-default$21 + (block $switch-case$20 + (block $switch-case$19 + (block $switch-case$18 + (br_table $switch-case$18 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-case$20 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-case$19 $switch-default$21 + (i32.sub + (get_local $0) + (i32.const -1) ) ) - (br $label$break$L1) ) - (br $switch$17) + (br $label$break$L1) ) - (br $label$break$L3) + (br $label$continue$L3) ) - (br $label$break$L1) + (br $label$break$L3) ) - (br $label$continue$L3) + (br $label$break$L1) ) ) (call_import $h @@ -815,28 +812,26 @@ ) (block $jumpthreading$outer$3 (block $jumpthreading$inner$3 - (block $jumpthreading$outer$2 - (block $jumpthreading$inner$2 - (if - (get_local $0) - (block - (call_import $h - (i32.const 4) - ) - (br_if $jumpthreading$inner$2 - (i32.eq - (get_local $0) - (i32.const 3) - ) + (block $jumpthreading$inner$2 + (if + (get_local $0) + (block + (call_import $h + (i32.const 4) + ) + (br_if $jumpthreading$inner$2 + (i32.eq + (get_local $0) + (i32.const 3) ) - (br $jumpthreading$inner$3) ) + (br $jumpthreading$inner$3) ) - (br $jumpthreading$outer$2) - ) - (call_import $h - (i32.const 5) ) + (br $jumpthreading$outer$3) + ) + (call_import $h + (i32.const 5) ) (br $jumpthreading$outer$3) ) @@ -849,33 +844,31 @@ ) (block $jumpthreading$outer$5 (block $jumpthreading$inner$5 - (block $jumpthreading$outer$4 - (block $jumpthreading$inner$4 - (if - (get_local $0) - (block - (call_import $h - (i32.const 7) - ) - (br_if $jumpthreading$inner$4 - (i32.eq - (get_local $0) - (i32.const 5) - ) + (block $jumpthreading$inner$4 + (if + (get_local $0) + (block + (call_import $h + (i32.const 7) + ) + (br_if $jumpthreading$inner$4 + (i32.eq + (get_local $0) + (i32.const 5) ) - (br $jumpthreading$inner$5) ) + (br $jumpthreading$inner$5) ) - (br $jumpthreading$outer$4) - ) - (call_import $h - (i32.const 8) ) - (br_if $jumpthreading$inner$5 - (i32.eq - (get_local $0) - (i32.const 6) - ) + (br $jumpthreading$outer$5) + ) + (call_import $h + (i32.const 8) + ) + (br_if $jumpthreading$inner$5 + (i32.eq + (get_local $0) + (i32.const 6) ) ) (br $jumpthreading$outer$5) @@ -926,7 +919,7 @@ (br $jumpthreading$inner$8) ) ) - (br $jumpthreading$outer$7) + (br $jumpthreading$outer$8) ) (call_import $h (i32.const 13) @@ -968,7 +961,7 @@ ) ) ) - (br $jumpthreading$outer$1) + (br $while-in$1) ) (i32.store (get_local $3) |