diff options
| -rwxr-xr-x | auto_update_tests.py | 2 | ||||
| -rwxr-xr-x | check.py | 1 | ||||
| -rw-r--r-- | src/wasm.h | 2 | ||||
| -rw-r--r-- | test/emcc_hello_world.wast | 94 | ||||
| -rw-r--r-- | test/unit.wast | 22 |
5 files changed, 59 insertions, 62 deletions
diff --git a/auto_update_tests.py b/auto_update_tests.py index fd6e76119..e0c43df3b 100755 --- a/auto_update_tests.py +++ b/auto_update_tests.py @@ -9,7 +9,6 @@ for asm in sorted(os.listdir('test')): print '..', asm wasm = asm.replace('.asm.js', '.wast') actual, err = subprocess.Popen([os.path.join('bin', 'asm2wasm'), os.path.join('test', asm)], stdout=subprocess.PIPE, stderr=subprocess.PIPE).communicate() - assert err == '', 'bad err:' + err # verify output if not os.path.exists(os.path.join('test', wasm)): @@ -22,7 +21,6 @@ for t in sorted(os.listdir('test')): print '..', t t = os.path.join('test', t) actual, err = subprocess.Popen([os.path.join('bin', 'binaryen-shell'), t, '-print-before'], stdout=subprocess.PIPE, stderr=subprocess.PIPE).communicate() - assert err == '', 'bad err:' + err actual = actual.replace('printing before:\n', '') open(t, 'w').write(actual) @@ -63,7 +63,6 @@ for asm in tests: start, end = reported.split('-') start_line, start_col = map(int, start.split('.')) lines = open('temp.wast').read().split('\n') - print start_line, start_col print print '='*80 print lines[start_line-1] diff --git a/src/wasm.h b/src/wasm.h index d0b154cd1..04b524260 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -448,7 +448,7 @@ public: o << ") (case " << default_ << ")\n"; for (auto& c : cases) { doIndent(o, indent); - printMinorOpening(o, "case ") << c.name.str; + printMinorOpening(o, "case ") << c.name; incIndent(o, indent); printFullLine(o, indent, c.body); decIndent(o, indent) << '\n'; diff --git a/test/emcc_hello_world.wast b/test/emcc_hello_world.wast index 799872bc1..ae799429b 100644 --- a/test/emcc_hello_world.wast +++ b/test/emcc_hello_world.wast @@ -427,7 +427,7 @@ (i32.const 0) ) (table (case $switch-case$1) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-default$3) (case $switch-case$2)) (case $switch-default$3) - (case switch-case$1 + (case $switch-case$1 (block (set_local $$tobool1 (f64.ne @@ -487,7 +487,7 @@ (br $switch$0) ) ) - (case switch-case$2 + (case $switch-case$2 (block (set_local $$retval$0 (get_local $$x) @@ -495,7 +495,7 @@ (br $switch$0) ) ) - (case switch-default$3 + (case $switch-default$3 (block (set_local $$sub8 (i32.add @@ -6151,7 +6151,7 @@ (i32.const 0) ) (table (case $switch-case$3) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-default$4) (case $switch-case$2)) (case $switch-default$4) - (case switch-case$2 + (case $switch-case$2 (block (set_local $$incdec$ptr169276301 (get_local $$incdec$ptr169274) @@ -6166,7 +6166,7 @@ (br $switch$1) ) ) - (case switch-case$3 + (case $switch-case$3 (block (set_local $$incdec$ptr169276$lcssa (get_local $$incdec$ptr169274) @@ -6178,7 +6178,7 @@ (br $switch$1) ) ) - (case switch-default$4 + (case $switch-default$4 (nop) ) ) @@ -8034,7 +8034,7 @@ (i32.const 65) ) (table (case $switch-case$42) (case $switch-default$106) (case $switch-case$40) (case $switch-default$106) (case $switch-case$45) (case $switch-case$44) (case $switch-case$43) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-case$41) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-case$29) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-case$46) (case $switch-default$106) (case $switch-case$37) (case $switch-case$35) (case $switch-case$105) (case $switch-case$48) (case $switch-case$47) (case $switch-default$106) (case $switch-case$34) (case $switch-default$106) (case $switch-default$106) (case $switch-default$106) (case $switch-case$38) (case $switch-case$27) (case $switch-case$33) (case $switch-case$28) (case $switch-default$106) (case $switch-default$106) (case $switch-case$39) (case $switch-default$106) (case $switch-case$36) (case $switch-default$106) (case $switch-default$106) (case $switch-case$30)) (case $switch-default$106) - (case switch-case$27 + (case $switch-case$27 (block (tableswitch $switch$18 (i32.sub @@ -8042,7 +8042,7 @@ (i32.const 0) ) (table (case $switch-case$19) (case $switch-case$20) (case $switch-case$21) (case $switch-case$22) (case $switch-case$23) (case $switch-default$26) (case $switch-case$24) (case $switch-case$25)) (case $switch-default$26) - (case switch-case$19 + (case $switch-case$19 (block (set_local $$71 (i32.load align=4 @@ -8069,7 +8069,7 @@ (br $switch$18) ) ) - (case switch-case$20 + (case $switch-case$20 (block (set_local $$72 (i32.load align=4 @@ -8096,7 +8096,7 @@ (br $switch$18) ) ) - (case switch-case$21 + (case $switch-case$21 (block (set_local $$73 (i32.lt_s @@ -8157,7 +8157,7 @@ (br $switch$18) ) ) - (case switch-case$22 + (case $switch-case$22 (block (set_local $$conv229 (i32.and @@ -8190,7 +8190,7 @@ (br $switch$18) ) ) - (case switch-case$23 + (case $switch-case$23 (block (set_local $$conv232 (i32.and @@ -8223,7 +8223,7 @@ (br $switch$18) ) ) - (case switch-case$24 + (case $switch-case$24 (block (set_local $$82 (i32.load align=4 @@ -8250,7 +8250,7 @@ (br $switch$18) ) ) - (case switch-case$25 + (case $switch-case$25 (block (set_local $$83 (i32.lt_s @@ -8311,7 +8311,7 @@ (br $switch$18) ) ) - (case switch-default$26 + (case $switch-default$26 (block (set_local $$cnt$0 (get_local $$cnt$1) @@ -8332,7 +8332,7 @@ (br $switch$17) ) ) - (case switch-case$28 + (case $switch-case$28 (block (set_local $$cmp240 (i32.gt_u @@ -8371,10 +8371,10 @@ (br $switch$17) ) ) - (case switch-case$29 + (case $switch-case$29 (nop) ) - (case switch-case$30 + (case $switch-case$30 (block (set_local $$fl$3 (get_local $$fl$1$and219) @@ -8391,7 +8391,7 @@ (br $switch$17) ) ) - (case switch-case$33 + (case $switch-case$33 (block (set_local $$116 (get_local $$arg) @@ -8622,10 +8622,10 @@ (br $switch$17) ) ) - (case switch-case$34 + (case $switch-case$34 (nop) ) - (case switch-case$35 + (case $switch-case$35 (block (set_local $$135 (get_local $$arg) @@ -8786,7 +8786,7 @@ (br $switch$17) ) ) - (case switch-case$36 + (case $switch-case$36 (block (set_local $$65 (get_local $$arg) @@ -8831,7 +8831,7 @@ (br $switch$17) ) ) - (case switch-case$37 + (case $switch-case$37 (block (set_local $$161 (get_local $$arg) @@ -8889,7 +8889,7 @@ (br $switch$17) ) ) - (case switch-case$38 + (case $switch-case$38 (block (set_local $$call344 (call $___errno_location) @@ -8913,7 +8913,7 @@ (br $switch$17) ) ) - (case switch-case$39 + (case $switch-case$39 (block (set_local $$169 (i32.load align=4 @@ -8942,7 +8942,7 @@ (br $switch$17) ) ) - (case switch-case$40 + (case $switch-case$40 (block (set_local $$170 (get_local $$arg) @@ -8990,7 +8990,7 @@ (br $switch$17) ) ) - (case switch-case$41 + (case $switch-case$41 (block (set_local $$cmp377$314 (i32.eq @@ -9027,28 +9027,28 @@ (br $switch$17) ) ) - (case switch-case$42 + (case $switch-case$42 (nop) ) - (case switch-case$43 + (case $switch-case$43 (nop) ) - (case switch-case$44 + (case $switch-case$44 (nop) ) - (case switch-case$45 + (case $switch-case$45 (nop) ) - (case switch-case$46 + (case $switch-case$46 (nop) ) - (case switch-case$47 + (case $switch-case$47 (nop) ) - (case switch-case$48 + (case $switch-case$48 (nop) ) - (case switch-case$105 + (case $switch-case$105 (block (set_local $$181 (f64.load align=8 @@ -13555,7 +13555,7 @@ (br $switch$17) ) ) - (case switch-default$106 + (case $switch-default$106 (block (set_local $$a$2 (get_local $$incdec$ptr169275) @@ -15103,7 +15103,7 @@ (i32.const 9) ) (table (case $switch-case$2) (case $switch-case$3) (case $switch-case$4) (case $switch-case$5) (case $switch-case$6) (case $switch-case$7) (case $switch-case$8) (case $switch-case$9) (case $switch-case$10) (case $switch-case$11)) (case $switch-default$12) - (case switch-case$2 + (case $switch-case$2 (block (set_local $$arglist_current (i32.load align=4 @@ -15187,7 +15187,7 @@ (br $switch$1) ) ) - (case switch-case$3 + (case $switch-case$3 (block (set_local $$arglist_current2 (i32.load align=4 @@ -15305,7 +15305,7 @@ (br $switch$1) ) ) - (case switch-case$4 + (case $switch-case$4 (block (set_local $$arglist_current5 (i32.load align=4 @@ -15408,7 +15408,7 @@ (br $switch$1) ) ) - (case switch-case$5 + (case $switch-case$5 (block (set_local $$arglist_current8 (i32.load align=4 @@ -15531,7 +15531,7 @@ (br $switch$1) ) ) - (case switch-case$6 + (case $switch-case$6 (block (set_local $$arglist_current11 (i32.load align=4 @@ -15664,7 +15664,7 @@ (br $switch$1) ) ) - (case switch-case$7 + (case $switch-case$7 (block (set_local $$arglist_current14 (i32.load align=4 @@ -15773,7 +15773,7 @@ (br $switch$1) ) ) - (case switch-case$8 + (case $switch-case$8 (block (set_local $$arglist_current17 (i32.load align=4 @@ -15906,7 +15906,7 @@ (br $switch$1) ) ) - (case switch-case$9 + (case $switch-case$9 (block (set_local $$arglist_current20 (i32.load align=4 @@ -16015,7 +16015,7 @@ (br $switch$1) ) ) - (case switch-case$10 + (case $switch-case$10 (block (set_local $$arglist_current23 (i32.load align=4 @@ -16099,7 +16099,7 @@ (br $switch$1) ) ) - (case switch-case$11 + (case $switch-case$11 (block (set_local $$arglist_current26 (i32.load align=4 @@ -16183,7 +16183,7 @@ (br $switch$1) ) ) - (case switch-default$12 + (case $switch-default$12 (br $label$break$L1) ) ) diff --git a/test/unit.wast b/test/unit.wast index 5f68ef57a..2dd52da4a 100644 --- a/test/unit.wast +++ b/test/unit.wast @@ -175,17 +175,17 @@ (i32.const 1) ) (table (case $switch-case$1) (case $switch-case$2)) (case $switch-default$3) - (case switch-case$1 + (case $switch-case$1 (br $topmost (i32.const 1) ) ) - (case switch-case$2 + (case $switch-case$2 (br $topmost (i32.const 2) ) ) - (case switch-default$3 + (case $switch-default$3 (nop) ) ) @@ -195,17 +195,17 @@ (i32.const 5) ) (table (case $switch-case$6) (case $switch-default$7) (case $switch-default$7) (case $switch-default$7) (case $switch-default$7) (case $switch-default$7) (case $switch-default$7) (case $switch-case$5)) (case $switch-default$7) - (case switch-case$5 + (case $switch-case$5 (br $topmost (i32.const 121) ) ) - (case switch-case$6 + (case $switch-case$6 (br $topmost (i32.const 51) ) ) - (case switch-default$7 + (case $switch-default$7 (nop) ) ) @@ -215,13 +215,13 @@ (i32.const 2) ) (table (case $switch-case$15) (case $switch-default$16) (case $switch-default$16) (case $switch-case$12) (case $switch-default$16) (case $switch-default$16) (case $switch-default$16) (case $switch-default$16) (case $switch-case$9) (case $switch-default$16) (case $switch-case$8)) (case $switch-default$16) - (case switch-case$8 + (case $switch-case$8 (br $label$break$Lout) ) - (case switch-case$9 + (case $switch-case$9 (br $label$break$Lout) ) - (case switch-case$12 + (case $switch-case$12 (block (loop $while-out$10 $while-in$11 (block @@ -232,7 +232,7 @@ (br $label$break$Lout) ) ) - (case switch-case$15 + (case $switch-case$15 (block (loop $while-out$13 $while-in$14 (block @@ -243,7 +243,7 @@ (br $label$break$Lout) ) ) - (case switch-default$16 + (case $switch-default$16 (nop) ) ) |