summaryrefslogtreecommitdiff
path: root/check.py
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-10-02 15:36:36 -0700
committerGitHub <noreply@github.com>2016-10-02 15:36:36 -0700
commit31ceb6ef95835952097ecc868eff9bdd7fb17d34 (patch)
treec979be4ab0847bd8b2e1395d7b57a3b5f61addba /check.py
parent926e4ab3c19c0adc965a3b75d9bd2624a4a2b58f (diff)
downloadbinaryen-31ceb6ef95835952097ecc868eff9bdd7fb17d34.tar.gz
binaryen-31ceb6ef95835952097ecc868eff9bdd7fb17d34.tar.bz2
binaryen-31ceb6ef95835952097ecc868eff9bdd7fb17d34.zip
More wasm-only opts (#727)
* wasm-only loads and stores * wasm-only 32-bit bitcasts
Diffstat (limited to 'check.py')
-rwxr-xr-xcheck.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/check.py b/check.py
index f5115afd8..9c10e49b6 100755
--- a/check.py
+++ b/check.py
@@ -299,7 +299,7 @@ for asm in tests:
# test mem init importing
open('a.mem', 'wb').write(asm)
cmd += ['--mem-init=a.mem']
- if 'i64' in asm:
+ if 'i64' in asm or 'wasm-only' in asm:
cmd += ['--wasm-only']
wasm = os.path.join('test', wasm)
print '..', asm, wasm