summaryrefslogtreecommitdiff
path: root/test/unit.fromasm.imprecise
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit.fromasm.imprecise')
-rw-r--r--test/unit.fromasm.imprecise43
1 files changed, 27 insertions, 16 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 04528ad47..584e46d9f 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -1,12 +1,23 @@
(module
- (type $FUNCSIG$ddd (func (param f64 f64) (result f64)))
- (type $FUNCSIG$vf (func (param f32)))
- (type $FUNCSIG$vi (func (param i32)))
- (type $FUNCSIG$v (func))
- (type $FUNCSIG$idi (func (param f64 i32) (result i32)))
- (type $FUNCSIG$ii (func (param i32) (result i32)))
- (type $FUNCSIG$dd (func (param f64) (result f64)))
- (type $FUNCSIG$i (func (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $f32_=>_none (func (param f32)))
+ (type $none_=>_f64 (func (result f64)))
+ (type $i32_i32_i32_=>_none (func (param i32 i32 i32)))
+ (type $f64_f64_=>_f64 (func (param f64 f64) (result f64)))
+ (type $i32_i32_=>_none (func (param i32 i32)))
+ (type $i32_i32_i32_i32_=>_none (func (param i32 i32 i32 i32)))
+ (type $i32_i32_i32_i32_i32_i32_i32_=>_none (func (param i32 i32 i32 i32 i32 i32 i32)))
+ (type $i32_f32_=>_none (func (param i32 f32)))
+ (type $i32_f64_f32_=>_none (func (param i32 f64 f32)))
+ (type $f32_f64_=>_none (func (param f32 f64)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (type $f64_i32_=>_i32 (func (param f64 i32) (result i32)))
+ (type $none_=>_f32 (func (result f32)))
+ (type $i32_f32_f64_=>_f32 (func (param i32 f32 f64) (result f32)))
+ (type $f64_=>_f64 (func (param f64) (result f64)))
(import "env" "memory" (memory $memory 256 256))
(import "env" "table" (table $table 25 25 funcref))
(elem (global.get $__table_base) $big_negative $big_negative $big_negative $big_negative $w $w $importedDoubles $w $fr $cneg $fr $fr $fr $fr $fr $fr $vi $vi $vi $vi $vi $vi $vi $vi $ii)
@@ -221,13 +232,13 @@
(f64.const -0)
)
(func $neg (; 19 ;) (; has Stack IR ;)
- (call_indirect (type $FUNCSIG$vf)
+ (call_indirect (type $f32_=>_none)
(f32.const -0)
(i32.const 9)
)
)
(func $cneg (; 20 ;) (; has Stack IR ;) (param $0 f32)
- (call_indirect (type $FUNCSIG$vf)
+ (call_indirect (type $f32_=>_none)
(local.get $0)
(i32.const 9)
)
@@ -258,7 +269,7 @@
)
)
(func $cneg_nosemicolon (; 22 ;) (; has Stack IR ;)
- (call_indirect (type $FUNCSIG$vi)
+ (call_indirect (type $i32_=>_none)
(i32.const 1)
(i32.const 17)
)
@@ -1077,13 +1088,13 @@
)
)
(func $relocatableAndModules (; 55 ;) (; has Stack IR ;) (result i32)
- (call_indirect (type $FUNCSIG$v)
+ (call_indirect (type $none_=>_none)
(i32.const 10)
)
- (call_indirect (type $FUNCSIG$v)
+ (call_indirect (type $none_=>_none)
(i32.const 20)
)
- (call_indirect (type $FUNCSIG$idi)
+ (call_indirect (type $f64_i32_=>_i32)
(f64.const 1.5)
(i32.const 200)
(i32.const 30)
@@ -1093,11 +1104,11 @@
(local.get $1)
)
(func $keepAlive (; 57 ;) (; has Stack IR ;)
- (call_indirect (type $FUNCSIG$vi)
+ (call_indirect (type $i32_=>_none)
(i32.const 0)
(i32.const 17)
)
- (call_indirect (type $FUNCSIG$vi)
+ (call_indirect (type $i32_=>_none)
(i32.const 0)
(block (result i32)
(global.set $Int