diff options
author | Alon Zakai <azakai@google.com> | 2021-02-12 22:47:53 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-12 14:47:53 -0800 |
commit | 60eb7c8c4c76edb89e2d402769c6a3b8450ff7e8 (patch) | |
tree | 1039a1f39a96aec26ba76f2b9b7b1239f9cf44e6 /src/wasm/wasm-stack.cpp | |
parent | f826df6e053e0541e16cc19ded8083cf8de7c59d (diff) | |
download | binaryen-60eb7c8c4c76edb89e2d402769c6a3b8450ff7e8.tar.gz binaryen-60eb7c8c4c76edb89e2d402769c6a3b8450ff7e8.tar.bz2 binaryen-60eb7c8c4c76edb89e2d402769c6a3b8450ff7e8.zip |
Allow specifying additional features past the features section (#3564)
That is, if a wasm says "simd", it is ok to let the user specify simd
as well as more features, and the the optimizer can perhaps do something
with them.
Diffstat (limited to 'src/wasm/wasm-stack.cpp')
0 files changed, 0 insertions, 0 deletions