diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-07-31 15:10:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-31 15:10:38 -0700 |
| commit | 76751bf1f9df4eb2ee6c216744af9ed1e097132e (patch) | |
| tree | 99bfc7c6b5231dc2367865a8de5f2691d9b400a8 /scripts/test/shared.py | |
| parent | 4d46a7e2c37299d5a9b9d9d6323ce9fca3a1cf3a (diff) | |
| download | binaryen-76751bf1f9df4eb2ee6c216744af9ed1e097132e.tar.gz binaryen-76751bf1f9df4eb2ee6c216744af9ed1e097132e.tar.bz2 binaryen-76751bf1f9df4eb2ee6c216744af9ed1e097132e.zip | |
Polymophic stack support (#1117)
Emit valid wasm binaries even for corner cases of unreachable code.
* emit an unreachable after a node that pushes a value that has unreachable type (where wasm type checking would have pushed a concrete type)
* conversely, as a hack, emulate the wasm polymorphic stack mode by not emptying the stack when it has one element and that element is unreachable. this lets further pops work (all returning an unreachable element)
Diffstat (limited to 'scripts/test/shared.py')
0 files changed, 0 insertions, 0 deletions