diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-03-22 10:13:08 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-22 10:13:08 -0700 |
commit | 996416ccefc4f079b14495bcb4ac66e7aa705f4f (patch) | |
tree | d3ecc3db30c81896b1678f5d6fed8bbd6f429d35 /src | |
parent | 12a5d972ec7c5144cd54afe7bdee7351219aaca0 (diff) | |
download | binaryen-996416ccefc4f079b14495bcb4ac66e7aa705f4f.tar.gz binaryen-996416ccefc4f079b14495bcb4ac66e7aa705f4f.tar.bz2 binaryen-996416ccefc4f079b14495bcb4ac66e7aa705f4f.zip |
only reuse nameless blocks in blockify in asm2wasm - if they are named, they can be broken out of, which is bad for our loop constructs
Diffstat (limited to 'src')
-rw-r--r-- | src/asm2wasm.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/asm2wasm.h b/src/asm2wasm.h index c994d0ef2..4c37b7705 100644 --- a/src/asm2wasm.h +++ b/src/asm2wasm.h @@ -419,8 +419,9 @@ private: return nullptr; } + // ensure a nameless block Block* blockify(Expression* expression) { - if (expression->is<Block>()) return expression->dyn_cast<Block>(); + if (expression->is<Block>() && !expression->cast<Block>()->name.is()) return expression->dyn_cast<Block>(); auto ret = allocator.alloc<Block>(); ret->list.push_back(expression); ret->finalize(); |