summaryrefslogtreecommitdiff
path: root/check.py
diff options
context:
space:
mode:
Diffstat (limited to 'check.py')
-rwxr-xr-xcheck.py7
1 files changed, 5 insertions, 2 deletions
diff --git a/check.py b/check.py
index 23c2945b5..6d2d49ff8 100755
--- a/check.py
+++ b/check.py
@@ -94,13 +94,16 @@ print '[ checking asm2wasm testcases... ]\n'
for asm in tests:
if asm.endswith('.asm.js'):
- for precise in [1, 0]:
+ for precise in [0, 1, 2]:
for opts in [1, 0]:
cmd = ASM2WASM + [os.path.join(options.binaryen_test, asm)]
wasm = asm.replace('.asm.js', '.fromasm')
if not precise:
- cmd += ['--imprecise', '--ignore-implicit-traps']
+ cmd += ['--emit-potential-traps', '--ignore-implicit-traps']
wasm += '.imprecise'
+ elif precise == 2:
+ cmd += ['--emit-clamped-potential-traps']
+ wasm += '.clamp'
if not opts:
wasm += '.no-opts'
if precise: