diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2019-04-03 18:15:00 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-03 18:15:00 -0700 |
commit | b175e75d2b247b3687061cf51174e72f8ada4aca (patch) | |
tree | c6de3440e440e2ccfdb11bad957c344bef239de7 /src/wasm/wasm-binary.cpp | |
parent | 773759f7842611bbe3e30f7b9d4cd24350291976 (diff) | |
download | binaryen-b175e75d2b247b3687061cf51174e72f8ada4aca.tar.gz binaryen-b175e75d2b247b3687061cf51174e72f8ada4aca.tar.bz2 binaryen-b175e75d2b247b3687061cf51174e72f8ada4aca.zip |
Use target features section in wasm-opt (#1967)
If the user does not supply features explicitly on the command line,
read and use the features in the target features section for
validation and passes. If the user does supply features explicitly,
error if they are not a superset of the features marked as used in the
target features section and the user does not explicitly handle this.
Diffstat (limited to 'src/wasm/wasm-binary.cpp')
-rw-r--r-- | src/wasm/wasm-binary.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm/wasm-binary.cpp b/src/wasm/wasm-binary.cpp index 643f69dde..385ee0ccb 100644 --- a/src/wasm/wasm-binary.cpp +++ b/src/wasm/wasm-binary.cpp @@ -17,10 +17,10 @@ #include <algorithm> #include <fstream> -#include "support/bits.h" #include "wasm-binary.h" #include "wasm-stack.h" #include "ir/module-utils.h" +#include "support/bits.h" namespace wasm { |