summaryrefslogtreecommitdiff
path: root/test/example/module-splitting.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/example/module-splitting.txt')
-rw-r--r--test/example/module-splitting.txt220
1 files changed, 110 insertions, 110 deletions
diff --git a/test/example/module-splitting.txt b/test/example/module-splitting.txt
index 6ebcb96c7..79221d664 100644
--- a/test/example/module-splitting.txt
+++ b/test/example/module-splitting.txt
@@ -110,7 +110,7 @@ Secondary:
Before:
(module
(type $i32_=>_i32 (func (param i32) (result i32)))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -118,7 +118,7 @@ Keeping: foo
After:
(module
(type $i32_=>_i32 (func (param i32) (result i32)))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -131,7 +131,7 @@ Before:
(module
(type $i32_=>_i32 (func (param i32) (result i32)))
(export "foo" (func $foo))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -140,7 +140,7 @@ After:
(module
(type $i32_=>_i32 (func (param i32) (result i32)))
(export "foo" (func $foo))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -154,7 +154,7 @@ Before:
(type $i32_=>_i32 (func (param i32) (result i32)))
(table $table 1 funcref)
(elem (i32.const 0) $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -165,7 +165,7 @@ After:
(table $table 1 funcref)
(elem (i32.const 0) $foo)
(export "%table" (table $table))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -180,7 +180,7 @@ Before:
(type $i32_=>_i32 (func (param i32) (result i32)))
(table $table 2 funcref)
(elem (i32.const 0) $foo $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -191,7 +191,7 @@ After:
(table $table 2 funcref)
(elem (i32.const 0) $foo $foo)
(export "%table" (table $table))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -207,7 +207,7 @@ Before:
(import "env" "base" (global $base i32))
(table $table 1 funcref)
(elem (global.get $base) $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -220,7 +220,7 @@ After:
(elem (global.get $base) $foo)
(export "%table" (table $table))
(export "%global" (global $base))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -237,7 +237,7 @@ Before:
(import "env" "base" (global $base i32))
(table $table 2 funcref)
(elem (global.get $base) $foo $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -250,7 +250,7 @@ After:
(elem (global.get $base) $foo $foo)
(export "%table" (table $table))
(export "%global" (global $base))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -332,7 +332,7 @@ Secondary:
Before:
(module
(type $i32_=>_i32 (func (param i32) (result i32)))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -343,7 +343,7 @@ After:
Secondary:
(module
(type $i32_=>_i32 (func (param i32) (result i32)))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -353,7 +353,7 @@ Before:
(module
(type $i32_=>_i32 (func (param i32) (result i32)))
(export "foo" (func $foo))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -366,7 +366,7 @@ After:
(elem (i32.const 0) $placeholder_0)
(export "foo" (func $foo))
(export "%table" (table $0))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(call_indirect $0 (type $i32_=>_i32)
(local.get $0)
(i32.const 0)
@@ -378,7 +378,7 @@ Secondary:
(type $i32_=>_i32 (func (param i32) (result i32)))
(import "primary" "%table" (table $0 1 funcref))
(elem (i32.const 0) $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -389,7 +389,7 @@ Before:
(type $i32_=>_i32 (func (param i32) (result i32)))
(table $table 1 funcref)
(elem (i32.const 0) $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -407,7 +407,7 @@ Secondary:
(type $i32_=>_i32 (func (param i32) (result i32)))
(import "primary" "%table" (table $table 1 funcref))
(elem (i32.const 0) $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -418,7 +418,7 @@ Before:
(type $i32_=>_i32 (func (param i32) (result i32)))
(table $table 2 funcref)
(elem (i32.const 0) $foo $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -437,7 +437,7 @@ Secondary:
(type $i32_=>_i32 (func (param i32) (result i32)))
(import "primary" "%table" (table $table 2 funcref))
(elem (i32.const 0) $foo $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -449,7 +449,7 @@ Before:
(table $table 1000 funcref)
(elem (i32.const 42) $foo)
(export "foo" (func $foo))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -462,7 +462,7 @@ After:
(elem (i32.const 42) $placeholder_42)
(export "foo" (func $foo))
(export "%table" (table $table))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(call_indirect $table (type $i32_=>_i32)
(local.get $0)
(i32.const 42)
@@ -474,7 +474,7 @@ Secondary:
(type $i32_=>_i32 (func (param i32) (result i32)))
(import "primary" "%table" (table $table 1000 funcref))
(elem (i32.const 42) $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -487,7 +487,7 @@ Before:
(table $table 1000 funcref)
(elem (global.get $base) $foo)
(export "foo" (func $foo))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -502,7 +502,7 @@ After:
(export "foo" (func $foo))
(export "%table" (table $table))
(export "%global" (global $base))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(call_indirect $table (type $i32_=>_i32)
(local.get $0)
(global.get $base)
@@ -515,7 +515,7 @@ Secondary:
(import "primary" "%table" (table $table 1000 funcref))
(import "primary" "%global" (global $base i32))
(elem (global.get $base) $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -528,7 +528,7 @@ Before:
(table $table 1000 funcref)
(elem (global.get $base) $foo $foo)
(export "foo" (func $foo))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -544,7 +544,7 @@ After:
(export "foo" (func $foo))
(export "%table" (table $table))
(export "%global" (global $base))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(call_indirect $table (type $i32_=>_i32)
(local.get $0)
(global.get $base)
@@ -557,7 +557,7 @@ Secondary:
(import "primary" "%table" (table $table 1000 funcref))
(import "primary" "%global" (global $base i32))
(elem (global.get $base) $foo $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -571,10 +571,10 @@ Before:
(table $table 1000 funcref)
(elem (global.get $base) $null $foo)
(export "foo" (func $foo))
- (func $null
+ (func $null (type $none_=>_none)
(nop)
)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -591,10 +591,10 @@ After:
(export "%null" (func $null))
(export "%table" (table $table))
(export "%global" (global $base))
- (func $null
+ (func $null (type $none_=>_none)
(nop)
)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(call_indirect $table (type $i32_=>_i32)
(local.get $0)
(i32.add
@@ -612,7 +612,7 @@ Secondary:
(import "primary" "%global" (global $base i32))
(import "primary" "%null" (func $null))
(elem (global.get $base) $null $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(local.get $0)
)
)
@@ -621,10 +621,10 @@ Secondary:
Before:
(module
(type $none_=>_none (func))
- (func $foo
+ (func $foo (type $none_=>_none)
(call $bar)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
)
@@ -632,10 +632,10 @@ Keeping: bar, foo
After:
(module
(type $none_=>_none (func))
- (func $foo
+ (func $foo (type $none_=>_none)
(call $bar)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
)
@@ -647,10 +647,10 @@ Secondary:
Before:
(module
(type $none_=>_none (func))
- (func $foo
+ (func $foo (type $none_=>_none)
(call $bar)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
)
@@ -659,7 +659,7 @@ After:
(module
(type $none_=>_none (func))
(export "%bar" (func $bar))
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
)
@@ -667,7 +667,7 @@ Secondary:
(module
(type $none_=>_none (func))
(import "primary" "%bar" (func $bar))
- (func $foo
+ (func $foo (type $none_=>_none)
(call $bar)
)
)
@@ -676,10 +676,10 @@ Secondary:
Before:
(module
(type $none_=>_none (func))
- (func $foo
+ (func $foo (type $none_=>_none)
(call $bar)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
)
@@ -691,7 +691,7 @@ After:
(table $0 1 funcref)
(elem (i32.const 0) $placeholder_0)
(export "%table" (table $0))
- (func $foo
+ (func $foo (type $none_=>_none)
(call_indirect $0 (type $none_=>_none)
(i32.const 0)
)
@@ -702,7 +702,7 @@ Secondary:
(type $none_=>_none (func))
(import "primary" "%table" (table $0 1 funcref))
(elem (i32.const 0) $bar)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
)
@@ -711,10 +711,10 @@ Secondary:
Before:
(module
(type $none_=>_none (func))
- (func $foo
+ (func $foo (type $none_=>_none)
(call $bar)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
)
@@ -725,10 +725,10 @@ After:
Secondary:
(module
(type $none_=>_none (func))
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $foo
+ (func $foo (type $none_=>_none)
(call $bar)
)
)
@@ -738,10 +738,10 @@ Before:
(module
(type $none_=>_none (func))
(export "%foo" (func $bar))
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(call $foo)
)
)
@@ -755,10 +755,10 @@ After:
(export "%foo" (func $bar))
(export "%foo_0" (func $foo))
(export "%table" (table $0))
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(call_indirect $0 (type $none_=>_none)
(i32.const 0)
)
@@ -770,7 +770,7 @@ Secondary:
(import "primary" "%table" (table $0 1 funcref))
(import "primary" "%foo_0" (func $foo))
(elem (i32.const 0) $bar)
- (func $bar
+ (func $bar (type $none_=>_none)
(call $foo)
)
)
@@ -781,16 +781,16 @@ Before:
(type $none_=>_none (func))
(table $table 4 funcref)
(elem (i32.const 0) $foo $bar $baz $quux)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $baz
+ (func $baz (type $none_=>_none)
(nop)
)
- (func $quux
+ (func $quux (type $none_=>_none)
(nop)
)
)
@@ -803,10 +803,10 @@ After:
(table $table 4 funcref)
(elem (i32.const 0) $placeholder_0 $bar $placeholder_2 $quux)
(export "%table" (table $table))
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $quux
+ (func $quux (type $none_=>_none)
(nop)
)
)
@@ -816,10 +816,10 @@ Secondary:
(import "primary" "%table" (table $table 4 funcref))
(elem $0 (i32.const 0) $foo)
(elem $1 (i32.const 2) $baz)
- (func $baz
+ (func $baz (type $none_=>_none)
(nop)
)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
)
@@ -831,16 +831,16 @@ Before:
(import "env" "base" (global $base i32))
(table $table 4 funcref)
(elem (global.get $base) $foo $bar $baz $quux)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $baz
+ (func $baz (type $none_=>_none)
(nop)
)
- (func $quux
+ (func $quux (type $none_=>_none)
(nop)
)
)
@@ -856,10 +856,10 @@ After:
(export "%bar" (func $bar))
(export "%table" (table $table))
(export "%global" (global $base))
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $quux
+ (func $quux (type $none_=>_none)
(nop)
)
)
@@ -870,10 +870,10 @@ Secondary:
(import "primary" "%global" (global $base i32))
(import "primary" "%bar" (func $bar))
(elem (global.get $base) $foo $bar $baz)
- (func $baz
+ (func $baz (type $none_=>_none)
(nop)
)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
)
@@ -884,16 +884,16 @@ Before:
(type $none_=>_none (func))
(table $table 4 funcref)
(elem (i32.const 0) $foo $bar $baz $quux)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $baz
+ (func $baz (type $none_=>_none)
(nop)
)
- (func $quux
+ (func $quux (type $none_=>_none)
(nop)
)
)
@@ -907,7 +907,7 @@ After:
(table $table 4 funcref)
(elem (i32.const 0) $placeholder_0 $placeholder_1 $baz $placeholder_3)
(export "%table" (table $table))
- (func $baz
+ (func $baz (type $none_=>_none)
(nop)
)
)
@@ -917,13 +917,13 @@ Secondary:
(import "primary" "%table" (table $table 4 funcref))
(elem $0 (i32.const 0) $foo $bar)
(elem $1 (i32.const 3) $quux)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $quux
+ (func $quux (type $none_=>_none)
(nop)
)
)
@@ -935,16 +935,16 @@ Before:
(import "env" "base" (global $base i32))
(table $table 4 funcref)
(elem (global.get $base) $foo $bar $baz $quux)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $baz
+ (func $baz (type $none_=>_none)
(nop)
)
- (func $quux
+ (func $quux (type $none_=>_none)
(nop)
)
)
@@ -961,7 +961,7 @@ After:
(export "%baz" (func $baz))
(export "%table" (table $table))
(export "%global" (global $base))
- (func $baz
+ (func $baz (type $none_=>_none)
(nop)
)
)
@@ -972,13 +972,13 @@ Secondary:
(import "primary" "%global" (global $base i32))
(import "primary" "%baz" (func $baz))
(elem (global.get $base) $foo $bar $baz $quux)
- (func $bar
+ (func $bar (type $none_=>_none)
(nop)
)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $quux
+ (func $quux (type $none_=>_none)
(nop)
)
)
@@ -990,10 +990,10 @@ Before:
(import "env" "base" (global $base i32))
(table $table 2 funcref)
(elem (global.get $base) $foo $bar)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
- (func $bar
+ (func $bar (type $none_=>_none)
(call $foo)
)
)
@@ -1008,7 +1008,7 @@ After:
(export "%foo" (func $foo))
(export "%table" (table $table))
(export "%global" (global $base))
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
)
@@ -1019,7 +1019,7 @@ Secondary:
(import "primary" "%global" (global $base i32))
(import "primary" "%foo" (func $foo))
(elem (global.get $base) $foo $bar)
- (func $bar
+ (func $bar (type $none_=>_none)
(call $foo)
)
)
@@ -1030,12 +1030,12 @@ Before:
(type $i32_=>_i32 (func (param i32) (result i32)))
(table $table 1 1 funcref)
(elem (i32.const 0) $foo)
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(call $bar
(i32.const 0)
)
)
- (func $bar (param $0 i32) (result i32)
+ (func $bar (type $i32_=>_i32) (param $0 i32) (result i32)
(call $foo
(i32.const 1)
)
@@ -1050,7 +1050,7 @@ After:
(elem (i32.const 0) $foo $placeholder_1)
(export "%foo" (func $foo))
(export "%table" (table $table))
- (func $foo (param $0 i32) (result i32)
+ (func $foo (type $i32_=>_i32) (param $0 i32) (result i32)
(call_indirect $table (type $i32_=>_i32)
(i32.const 0)
(i32.const 1)
@@ -1063,7 +1063,7 @@ Secondary:
(import "primary" "%table" (table $table 2 2 funcref))
(import "primary" "%foo" (func $foo (param i32) (result i32)))
(elem (i32.const 1) $bar)
- (func $bar (param $0 i32) (result i32)
+ (func $bar (type $i32_=>_i32) (param $0 i32) (result i32)
(call $foo
(i32.const 1)
)
@@ -1076,7 +1076,7 @@ Before:
(type $none_=>_none (func))
(export "foo1" (func $foo))
(export "foo2" (func $foo))
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
)
@@ -1090,7 +1090,7 @@ After:
(export "foo1" (func $foo))
(export "foo2" (func $foo))
(export "%table" (table $0))
- (func $foo
+ (func $foo (type $none_=>_none)
(call_indirect $0 (type $none_=>_none)
(i32.const 0)
)
@@ -1101,7 +1101,7 @@ Secondary:
(type $none_=>_none (func))
(import "primary" "%table" (table $0 1 funcref))
(elem (i32.const 0) $foo)
- (func $foo
+ (func $foo (type $none_=>_none)
(nop)
)
)
@@ -1120,34 +1120,34 @@ Minimized names primary:
(export "%g" (func $6))
(export "%h" (func $8))
(export "%i" (func $9))
- (func $0
+ (func $0 (type $none_=>_none)
(nop)
)
- (func $1
+ (func $1 (type $none_=>_none)
(nop)
)
- (func $2
+ (func $2 (type $none_=>_none)
(nop)
)
- (func $3
+ (func $3 (type $none_=>_none)
(nop)
)
- (func $4
+ (func $4 (type $none_=>_none)
(nop)
)
- (func $5
+ (func $5 (type $none_=>_none)
(nop)
)
- (func $6
+ (func $6 (type $none_=>_none)
(nop)
)
- (func $7
+ (func $7 (type $none_=>_none)
(nop)
)
- (func $8
+ (func $8 (type $none_=>_none)
(nop)
)
- (func $9
+ (func $9 (type $none_=>_none)
(nop)
)
)
@@ -1165,7 +1165,7 @@ Minimized names secondary:
(import "primary" "%b" (func $7))
(import "primary" "%h" (func $8))
(import "primary" "%i" (func $9))
- (func $call
+ (func $call (type $none_=>_none)
(call $0)
(call $1)
(call $2)