summaryrefslogtreecommitdiff
path: root/test/unit.fromasm
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-09-28 13:10:59 -0700
committerGitHub <noreply@github.com>2016-09-28 13:10:59 -0700
commit2da1b20451a744daa613e818f71e8f52de3a818e (patch)
tree62632269da091888b428b003c0ae703aa27ee2b3 /test/unit.fromasm
parentef22ce6c360b70b5bfad40b2930c481d48ed9780 (diff)
downloadbinaryen-2da1b20451a744daa613e818f71e8f52de3a818e.tar.gz
binaryen-2da1b20451a744daa613e818f71e8f52de3a818e.tar.bz2
binaryen-2da1b20451a744daa613e818f71e8f52de3a818e.zip
Type check block/loop/if sigs (#717)
* type check using block/loop/if types provided in text and binary formats. * print if and loop sigs which were missing. * remove dsl from OptimizeInstructions as after those changes it needs rethinking.
Diffstat (limited to 'test/unit.fromasm')
-rw-r--r--test/unit.fromasm6
1 files changed, 3 insertions, 3 deletions
diff --git a/test/unit.fromasm b/test/unit.fromasm
index e08babd28..15d41d43c 100644
--- a/test/unit.fromasm
+++ b/test/unit.fromasm
@@ -593,7 +593,7 @@
)
(func $conditionalTypeFun
(drop
- (if
+ (if i32
(call $return_int)
(i32.trunc_s/f64
(call $abort
@@ -606,7 +606,7 @@
)
)
(drop
- (if
+ (if f64
(call $return_int)
(call $abort
(f64.convert_s/i32
@@ -1027,7 +1027,7 @@
)
(func $dropIgnoredImportsInIf (param $0 i32) (param $1 i32) (param $2 i32)
(drop
- (if
+ (if i32
(get_local $0)
(call $lb
(get_local $1)