summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/dot_s/reserved_func_ptrs.jscall.wast281
-rw-r--r--test/dot_s/reserved_func_ptrs.s59
-rw-r--r--test/dot_s/reserved_func_ptrs.wast147
-rw-r--r--test/lld/reserved_func_ptr.cpp34
-rw-r--r--test/lld/reserved_func_ptr.jscall.json1
-rw-r--r--test/lld/reserved_func_ptr.json1
-rw-r--r--test/lld/reserved_func_ptr.obin0 -> 566 bytes
-rw-r--r--test/lld/reserved_func_ptr.wast111
-rw-r--r--test/lld/reserved_func_ptr.wast.jscall.out294
-rw-r--r--test/lld/reserved_func_ptr.wast.out155
10 files changed, 1083 insertions, 0 deletions
diff --git a/test/dot_s/reserved_func_ptrs.jscall.wast b/test/dot_s/reserved_func_ptrs.jscall.wast
new file mode 100644
index 000000000..fd48f0a90
--- /dev/null
+++ b/test/dot_s/reserved_func_ptrs.jscall.wast
@@ -0,0 +1,281 @@
+(module
+ (type $FUNCSIG$v (func))
+ (type $FUNCSIG$vi (func (param i32)))
+ (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
+ (type $FUNCSIG$fffi (func (param f32 f32 i32) (result f32)))
+ (type $FUNCSIG$ddi (func (param f64 i32) (result f64)))
+ (type $FUNCSIG$viii (func (param i32 i32 i32)))
+ (type $FUNCSIG$ii (func (param i32) (result i32)))
+ (type $FUNCSIG$didi (func (param i32 f64 i32) (result f64)))
+ (type $FUNCSIG$fiffi (func (param i32 f32 f32 i32) (result f32)))
+ (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
+ (type $FUNCSIG$vii (func (param i32 i32)))
+ (type $FUNCSIG$viiii (func (param i32 i32 i32 i32)))
+ (import "env" "atoi" (func $atoi (param i32) (result i32)))
+ (import "env" "memory" (memory $0 1))
+ (import "env" "jsCall_ddi" (func $jsCall_ddi (param i32 f64 i32) (result f64)))
+ (import "env" "jsCall_fffi" (func $jsCall_fffi (param i32 f32 f32 i32) (result f32)))
+ (import "env" "jsCall_iii" (func $jsCall_iii (param i32 i32 i32) (result i32)))
+ (import "env" "jsCall_v" (func $jsCall_v (param i32)))
+ (import "env" "jsCall_vi" (func $jsCall_vi (param i32 i32)))
+ (import "env" "jsCall_viii" (func $jsCall_viii (param i32 i32 i32 i32)))
+ (table 21 21 anyfunc)
+ (elem (i32.const 0) $__wasm_nullptr $_Z18address_taken_funciii $_Z19address_taken_func2iii $jsCall_ddi_0 $jsCall_ddi_1 $jsCall_ddi_2 $jsCall_fffi_0 $jsCall_fffi_1 $jsCall_fffi_2 $jsCall_iii_0 $jsCall_iii_1 $jsCall_iii_2 $jsCall_v_0 $jsCall_v_1 $jsCall_v_2 $jsCall_vi_0 $jsCall_vi_1 $jsCall_vi_2 $jsCall_viii_0 $jsCall_viii_1 $jsCall_viii_2)
+ (export "main" (func $main))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "dynCall_viii" (func $dynCall_viii))
+ (func $_Z18address_taken_funciii (; 7 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32)
+ )
+ (func $_Z19address_taken_func2iii (; 8 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32)
+ )
+ (func $main (; 9 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (local $3 i32)
+ (local $4 i32)
+ (local $5 i32)
+ (set_local $2
+ (call $atoi
+ (i32.load offset=4
+ (get_local $1)
+ )
+ )
+ )
+ (set_local $3
+ (call $atoi
+ (i32.load offset=8
+ (get_local $1)
+ )
+ )
+ )
+ (set_local $4
+ (call $atoi
+ (i32.load offset=12
+ (get_local $1)
+ )
+ )
+ )
+ (set_local $5
+ (call $atoi
+ (i32.load offset=16
+ (get_local $1)
+ )
+ )
+ )
+ (set_local $1
+ (call $atoi
+ (i32.load offset=20
+ (get_local $1)
+ )
+ )
+ )
+ (call_indirect (type $FUNCSIG$v)
+ (get_local $2)
+ )
+ (call_indirect (type $FUNCSIG$vi)
+ (i32.const 3)
+ (get_local $3)
+ )
+ (drop
+ (call_indirect (type $FUNCSIG$iii)
+ (i32.const 4)
+ (i32.const 5)
+ (get_local $4)
+ )
+ )
+ (drop
+ (call_indirect (type $FUNCSIG$fffi)
+ (f32.const 3.0999999046325684)
+ (f32.const 4.199999809265137)
+ (i32.const 5)
+ (get_local $5)
+ )
+ )
+ (drop
+ (call_indirect (type $FUNCSIG$ddi)
+ (f64.const 4.2)
+ (i32.const 5)
+ (get_local $1)
+ )
+ )
+ (call_indirect (type $FUNCSIG$viii)
+ (i32.const 1)
+ (i32.const 2)
+ (i32.const 3)
+ (select
+ (i32.const 1)
+ (i32.const 2)
+ (i32.gt_s
+ (get_local $0)
+ (i32.const 3)
+ )
+ )
+ )
+ (i32.const 0)
+ )
+ (func $__wasm_nullptr (; 10 ;) (type $FUNCSIG$v)
+ (unreachable)
+ )
+ (func $stackSave (; 11 ;) (result i32)
+ (i32.load offset=4
+ (i32.const 0)
+ )
+ )
+ (func $stackAlloc (; 12 ;) (param $0 i32) (result i32)
+ (local $1 i32)
+ (i32.store offset=4
+ (i32.const 0)
+ (tee_local $1
+ (i32.and
+ (i32.sub
+ (i32.load offset=4
+ (i32.const 0)
+ )
+ (get_local $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (get_local $1)
+ )
+ (func $stackRestore (; 13 ;) (param $0 i32)
+ (i32.store offset=4
+ (i32.const 0)
+ (get_local $0)
+ )
+ )
+ (func $dynCall_viii (; 14 ;) (param $fptr i32) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call_indirect (type $FUNCSIG$viii)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ (get_local $fptr)
+ )
+ )
+ (func $jsCall_ddi_0 (; 15 ;) (param $0 f64) (param $1 i32) (result f64)
+ (call $jsCall_ddi
+ (i32.const 0)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_ddi_1 (; 16 ;) (param $0 f64) (param $1 i32) (result f64)
+ (call $jsCall_ddi
+ (i32.const 1)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_ddi_2 (; 17 ;) (param $0 f64) (param $1 i32) (result f64)
+ (call $jsCall_ddi
+ (i32.const 2)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_fffi_0 (; 18 ;) (param $0 f32) (param $1 f32) (param $2 i32) (result f32)
+ (call $jsCall_fffi
+ (i32.const 0)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_fffi_1 (; 19 ;) (param $0 f32) (param $1 f32) (param $2 i32) (result f32)
+ (call $jsCall_fffi
+ (i32.const 1)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_fffi_2 (; 20 ;) (param $0 f32) (param $1 f32) (param $2 i32) (result f32)
+ (call $jsCall_fffi
+ (i32.const 2)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_iii_0 (; 21 ;) (param $0 i32) (param $1 i32) (result i32)
+ (call $jsCall_iii
+ (i32.const 0)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_iii_1 (; 22 ;) (param $0 i32) (param $1 i32) (result i32)
+ (call $jsCall_iii
+ (i32.const 1)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_iii_2 (; 23 ;) (param $0 i32) (param $1 i32) (result i32)
+ (call $jsCall_iii
+ (i32.const 2)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_v_0 (; 24 ;)
+ (call $jsCall_v
+ (i32.const 0)
+ )
+ )
+ (func $jsCall_v_1 (; 25 ;)
+ (call $jsCall_v
+ (i32.const 1)
+ )
+ )
+ (func $jsCall_v_2 (; 26 ;)
+ (call $jsCall_v
+ (i32.const 2)
+ )
+ )
+ (func $jsCall_vi_0 (; 27 ;) (param $0 i32)
+ (call $jsCall_vi
+ (i32.const 0)
+ (get_local $0)
+ )
+ )
+ (func $jsCall_vi_1 (; 28 ;) (param $0 i32)
+ (call $jsCall_vi
+ (i32.const 1)
+ (get_local $0)
+ )
+ )
+ (func $jsCall_vi_2 (; 29 ;) (param $0 i32)
+ (call $jsCall_vi
+ (i32.const 2)
+ (get_local $0)
+ )
+ )
+ (func $jsCall_viii_0 (; 30 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call $jsCall_viii
+ (i32.const 0)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_viii_1 (; 31 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call $jsCall_viii
+ (i32.const 1)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_viii_2 (; 32 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call $jsCall_viii
+ (i32.const 2)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+)
+;; METADATA: { "asmConsts": {},"staticBump": 12, "initializers": [], "jsCallStartIndex": 3, "jsCallFuncType": ["ddi", "fffi", "iii", "v", "vi", "viii"] }
diff --git a/test/dot_s/reserved_func_ptrs.s b/test/dot_s/reserved_func_ptrs.s
new file mode 100644
index 000000000..2e838c795
--- /dev/null
+++ b/test/dot_s/reserved_func_ptrs.s
@@ -0,0 +1,59 @@
+ .text
+ .file "reserved_func_ptrs.cpp"
+ .type _Z18address_taken_funciii,@function
+_Z18address_taken_funciii:
+ .param i32, i32, i32
+ .endfunc
+.Lfunc_end0:
+ .size _Z18address_taken_funciii, .Lfunc_end0-_Z18address_taken_funciii
+
+ .type _Z19address_taken_func2iii,@function
+_Z19address_taken_func2iii:
+ .param i32, i32, i32
+ .endfunc
+.Lfunc_end1:
+ .size _Z19address_taken_func2iii, .Lfunc_end1-_Z19address_taken_func2iii
+
+ .hidden main
+ .globl main
+ .type main,@function
+main:
+ .param i32, i32
+ .result i32
+ .local i32, i32, i32, i32
+ i32.load $push0=, 4($1)
+ i32.call $2=, atoi@FUNCTION, $pop0
+ i32.load $push1=, 8($1)
+ i32.call $3=, atoi@FUNCTION, $pop1
+ i32.load $push2=, 12($1)
+ i32.call $4=, atoi@FUNCTION, $pop2
+ i32.load $push3=, 16($1)
+ i32.call $5=, atoi@FUNCTION, $pop3
+ i32.load $push4=, 20($1)
+ i32.call $1=, atoi@FUNCTION, $pop4
+ call_indirect $2
+ i32.const $push5=, 3
+ call_indirect $pop5, $3
+ i32.const $push7=, 4
+ i32.const $push6=, 5
+ i32.call_indirect $drop=, $pop7, $pop6, $4
+ f32.const $push9=, 0x1.8cccccp1
+ f32.const $push8=, 0x1.0cccccp2
+ i32.const $push21=, 5
+ f32.call_indirect $drop=, $pop9, $pop8, $pop21, $5
+ f64.const $push10=, 0x1.0cccccccccccdp2
+ i32.const $push20=, 5
+ f64.call_indirect $drop=, $pop10, $pop20, $1
+ i32.const $push16=, 1
+ i32.const $push15=, 2
+ i32.const $push19=, 3
+ i32.const $push13=, _Z18address_taken_funciii@FUNCTION
+ i32.const $push12=, _Z19address_taken_func2iii@FUNCTION
+ i32.const $push18=, 3
+ i32.gt_s $push11=, $0, $pop18
+ i32.select $push14=, $pop13, $pop12, $pop11
+ call_indirect $pop16, $pop15, $pop19, $pop14
+ i32.const $push17=, 0
+ .endfunc
+.Lfunc_end2:
+ .size main, .Lfunc_end2-main
diff --git a/test/dot_s/reserved_func_ptrs.wast b/test/dot_s/reserved_func_ptrs.wast
new file mode 100644
index 000000000..08cf95282
--- /dev/null
+++ b/test/dot_s/reserved_func_ptrs.wast
@@ -0,0 +1,147 @@
+(module
+ (type $FUNCSIG$v (func))
+ (type $FUNCSIG$vi (func (param i32)))
+ (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
+ (type $FUNCSIG$fffi (func (param f32 f32 i32) (result f32)))
+ (type $FUNCSIG$ddi (func (param f64 i32) (result f64)))
+ (type $FUNCSIG$viii (func (param i32 i32 i32)))
+ (type $FUNCSIG$ii (func (param i32) (result i32)))
+ (import "env" "atoi" (func $atoi (param i32) (result i32)))
+ (import "env" "memory" (memory $0 1))
+ (table 3 3 anyfunc)
+ (elem (i32.const 0) $__wasm_nullptr $_Z18address_taken_funciii $_Z19address_taken_func2iii)
+ (export "main" (func $main))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "dynCall_viii" (func $dynCall_viii))
+ (func $_Z18address_taken_funciii (; 1 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32)
+ )
+ (func $_Z19address_taken_func2iii (; 2 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32)
+ )
+ (func $main (; 3 ;) (param $0 i32) (param $1 i32) (result i32)
+ (local $2 i32)
+ (local $3 i32)
+ (local $4 i32)
+ (local $5 i32)
+ (set_local $2
+ (call $atoi
+ (i32.load offset=4
+ (get_local $1)
+ )
+ )
+ )
+ (set_local $3
+ (call $atoi
+ (i32.load offset=8
+ (get_local $1)
+ )
+ )
+ )
+ (set_local $4
+ (call $atoi
+ (i32.load offset=12
+ (get_local $1)
+ )
+ )
+ )
+ (set_local $5
+ (call $atoi
+ (i32.load offset=16
+ (get_local $1)
+ )
+ )
+ )
+ (set_local $1
+ (call $atoi
+ (i32.load offset=20
+ (get_local $1)
+ )
+ )
+ )
+ (call_indirect (type $FUNCSIG$v)
+ (get_local $2)
+ )
+ (call_indirect (type $FUNCSIG$vi)
+ (i32.const 3)
+ (get_local $3)
+ )
+ (drop
+ (call_indirect (type $FUNCSIG$iii)
+ (i32.const 4)
+ (i32.const 5)
+ (get_local $4)
+ )
+ )
+ (drop
+ (call_indirect (type $FUNCSIG$fffi)
+ (f32.const 3.0999999046325684)
+ (f32.const 4.199999809265137)
+ (i32.const 5)
+ (get_local $5)
+ )
+ )
+ (drop
+ (call_indirect (type $FUNCSIG$ddi)
+ (f64.const 4.2)
+ (i32.const 5)
+ (get_local $1)
+ )
+ )
+ (call_indirect (type $FUNCSIG$viii)
+ (i32.const 1)
+ (i32.const 2)
+ (i32.const 3)
+ (select
+ (i32.const 1)
+ (i32.const 2)
+ (i32.gt_s
+ (get_local $0)
+ (i32.const 3)
+ )
+ )
+ )
+ (i32.const 0)
+ )
+ (func $__wasm_nullptr (; 4 ;) (type $FUNCSIG$v)
+ (unreachable)
+ )
+ (func $stackSave (; 5 ;) (result i32)
+ (i32.load offset=4
+ (i32.const 0)
+ )
+ )
+ (func $stackAlloc (; 6 ;) (param $0 i32) (result i32)
+ (local $1 i32)
+ (i32.store offset=4
+ (i32.const 0)
+ (tee_local $1
+ (i32.and
+ (i32.sub
+ (i32.load offset=4
+ (i32.const 0)
+ )
+ (get_local $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (get_local $1)
+ )
+ (func $stackRestore (; 7 ;) (param $0 i32)
+ (i32.store offset=4
+ (i32.const 0)
+ (get_local $0)
+ )
+ )
+ (func $dynCall_viii (; 8 ;) (param $fptr i32) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call_indirect (type $FUNCSIG$viii)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ (get_local $fptr)
+ )
+ )
+)
+;; METADATA: { "asmConsts": {},"staticBump": 12, "initializers": [] }
diff --git a/test/lld/reserved_func_ptr.cpp b/test/lld/reserved_func_ptr.cpp
new file mode 100644
index 000000000..f40613ea0
--- /dev/null
+++ b/test/lld/reserved_func_ptr.cpp
@@ -0,0 +1,34 @@
+int atoi(const char *nptr);
+
+void address_taken_func(int a, int b, int c) {}
+void address_taken_func2(int a, int b, int c) {}
+
+int main(int argc, char **argv) {
+ int fp_v = atoi(argv[1]);
+ int fp_vi = atoi(argv[2]);
+ int fp_iii = atoi(argv[3]);
+ int fp_fffi = atoi(argv[4]);
+ int fp_ddi = atoi(argv[5]);
+
+ void (*f_viiii)(int, int, int) = 0;
+ if (argc > 3)
+ f_viiii = address_taken_func;
+ else
+ f_viiii = address_taken_func2;
+
+ void (*f_v)() = reinterpret_cast<void (*)()>(fp_v);
+ void (*f_vi)(int) = reinterpret_cast<void (*)(int)>(fp_vi);
+ int (*f_iii)(int, int) = reinterpret_cast<int (*)(int, int)>(fp_iii);
+ float (*f_fffi)(float, float, int) =
+ reinterpret_cast<float (*)(float, float, int)>(fp_fffi);
+ double (*f_ddi)(double, int) =
+ reinterpret_cast<double (*)(double, int)>(fp_ddi);
+
+ f_v();
+ f_vi(3);
+ f_iii(4, 5);
+ f_fffi(3.1f, 4.2f, 5);
+ f_ddi(4.2, 5);
+ f_viiii(1, 2, 3);
+ return 0;
+}
diff --git a/test/lld/reserved_func_ptr.jscall.json b/test/lld/reserved_func_ptr.jscall.json
new file mode 100644
index 000000000..e463aafe7
--- /dev/null
+++ b/test/lld/reserved_func_ptr.jscall.json
@@ -0,0 +1 @@
+{ "asmConsts": {},"staticBump": 0, "initializers": ["__wasm_call_ctors"], "jsCallStartIndex": 3, "jsCallFuncType": ["ddi", "fffi", "iii", "v", "vi", "viii"] }
diff --git a/test/lld/reserved_func_ptr.json b/test/lld/reserved_func_ptr.json
new file mode 100644
index 000000000..82f73d077
--- /dev/null
+++ b/test/lld/reserved_func_ptr.json
@@ -0,0 +1 @@
+{ "asmConsts": {},"staticBump": 0, "initializers": ["__wasm_call_ctors"] }
diff --git a/test/lld/reserved_func_ptr.o b/test/lld/reserved_func_ptr.o
new file mode 100644
index 000000000..f352c5cfe
--- /dev/null
+++ b/test/lld/reserved_func_ptr.o
Binary files differ
diff --git a/test/lld/reserved_func_ptr.wast b/test/lld/reserved_func_ptr.wast
new file mode 100644
index 000000000..6a77ec71b
--- /dev/null
+++ b/test/lld/reserved_func_ptr.wast
@@ -0,0 +1,111 @@
+(module
+ (type $0 (func))
+ (type $1 (func (param i32)))
+ (type $2 (func (param i32 i32) (result i32)))
+ (type $3 (func (param f32 f32 i32) (result f32)))
+ (type $4 (func (param f64 i32) (result f64)))
+ (type $5 (func (param i32 i32 i32)))
+ (type $6 (func (param i32) (result i32)))
+ (import "env" "_Z4atoiPKc" (func $_Z4atoiPKc (param i32) (result i32)))
+ (global $global$0 (mut i32) (i32.const 66560))
+ (global $global$1 i32 (i32.const 66560))
+ (table 3 3 anyfunc)
+ (elem (i32.const 1) $_Z18address_taken_funciii $_Z19address_taken_func2iii)
+ (memory $0 2)
+ (export "memory" (memory $0))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__heap_base" (global $global$1))
+ (func $_Z18address_taken_funciii (; 1 ;) (type $5) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32)
+ )
+ (func $_Z19address_taken_func2iii (; 2 ;) (type $5) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32)
+ )
+ (func $main (; 3 ;) (type $2) (param $var$0 i32) (param $var$1 i32) (result i32)
+ (local $var$2 i32)
+ (local $var$3 i32)
+ (local $var$4 i32)
+ (local $var$5 i32)
+ (set_local $var$2
+ (call $_Z4atoiPKc
+ (i32.load offset=4
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$3
+ (call $_Z4atoiPKc
+ (i32.load offset=8
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$4
+ (call $_Z4atoiPKc
+ (i32.load offset=12
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$5
+ (call $_Z4atoiPKc
+ (i32.load offset=16
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$1
+ (call $_Z4atoiPKc
+ (i32.load offset=20
+ (get_local $var$1)
+ )
+ )
+ )
+ (call_indirect (type $0)
+ (get_local $var$2)
+ )
+ (call_indirect (type $1)
+ (i32.const 3)
+ (get_local $var$3)
+ )
+ (drop
+ (call_indirect (type $2)
+ (i32.const 4)
+ (i32.const 5)
+ (get_local $var$4)
+ )
+ )
+ (drop
+ (call_indirect (type $3)
+ (f32.const 3.0999999046325684)
+ (f32.const 4.199999809265137)
+ (i32.const 5)
+ (get_local $var$5)
+ )
+ )
+ (drop
+ (call_indirect (type $4)
+ (f64.const 4.2)
+ (i32.const 5)
+ (get_local $var$1)
+ )
+ )
+ (call_indirect (type $5)
+ (i32.const 1)
+ (i32.const 2)
+ (i32.const 3)
+ (select
+ (i32.const 1)
+ (i32.const 2)
+ (i32.gt_s
+ (get_local $var$0)
+ (i32.const 3)
+ )
+ )
+ )
+ (i32.const 0)
+ )
+ (func $__wasm_call_ctors (; 4 ;) (type $0)
+ )
+ ;; custom section "linking", size 3
+)
+
diff --git a/test/lld/reserved_func_ptr.wast.jscall.out b/test/lld/reserved_func_ptr.wast.jscall.out
new file mode 100644
index 000000000..02166bf6c
--- /dev/null
+++ b/test/lld/reserved_func_ptr.wast.jscall.out
@@ -0,0 +1,294 @@
+(module
+ (type $0 (func))
+ (type $1 (func (param i32)))
+ (type $2 (func (param i32 i32) (result i32)))
+ (type $3 (func (param f32 f32 i32) (result f32)))
+ (type $4 (func (param f64 i32) (result f64)))
+ (type $5 (func (param i32 i32 i32)))
+ (type $6 (func (param i32) (result i32)))
+ (type $FUNCSIG$ii (func (param i32) (result i32)))
+ (type $FUNCSIG$viii (func (param i32 i32 i32)))
+ (type $FUNCSIG$didi (func (param i32 f64 i32) (result f64)))
+ (type $FUNCSIG$ddi (func (param f64 i32) (result f64)))
+ (type $FUNCSIG$fiffi (func (param i32 f32 f32 i32) (result f32)))
+ (type $FUNCSIG$fffi (func (param f32 f32 i32) (result f32)))
+ (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
+ (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
+ (type $FUNCSIG$vi (func (param i32)))
+ (type $FUNCSIG$v (func))
+ (type $FUNCSIG$vii (func (param i32 i32)))
+ (type $FUNCSIG$viiii (func (param i32 i32 i32 i32)))
+ (import "env" "_Z4atoiPKc" (func $_Z4atoiPKc (param i32) (result i32)))
+ (import "env" "jsCall_ddi" (func $jsCall_ddi (param i32 f64 i32) (result f64)))
+ (import "env" "jsCall_fffi" (func $jsCall_fffi (param i32 f32 f32 i32) (result f32)))
+ (import "env" "jsCall_iii" (func $jsCall_iii (param i32 i32 i32) (result i32)))
+ (import "env" "jsCall_v" (func $jsCall_v (param i32)))
+ (import "env" "jsCall_vi" (func $jsCall_vi (param i32 i32)))
+ (import "env" "jsCall_viii" (func $jsCall_viii (param i32 i32 i32 i32)))
+ (global $global$0 (mut i32) (i32.const 66560))
+ (global $global$1 i32 (i32.const 66560))
+ (table 21 21 anyfunc)
+ (elem (i32.const 1) $_Z18address_taken_funciii $_Z19address_taken_func2iii $jsCall_ddi_0 $jsCall_ddi_1 $jsCall_ddi_2 $jsCall_fffi_0 $jsCall_fffi_1 $jsCall_fffi_2 $jsCall_iii_0 $jsCall_iii_1 $jsCall_iii_2 $jsCall_v_0 $jsCall_v_1 $jsCall_v_2 $jsCall_vi_0 $jsCall_vi_1 $jsCall_vi_2 $jsCall_viii_0 $jsCall_viii_1 $jsCall_viii_2)
+ (memory $0 2)
+ (export "memory" (memory $0))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__heap_base" (global $global$1))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "__growWasmMemory" (func $__growWasmMemory))
+ (export "dynCall_viii" (func $dynCall_viii))
+ (func $_Z18address_taken_funciii (; 7 ;) (type $5) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32)
+ (nop)
+ )
+ (func $_Z19address_taken_func2iii (; 8 ;) (type $5) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32)
+ (nop)
+ )
+ (func $main (; 9 ;) (type $2) (param $var$0 i32) (param $var$1 i32) (result i32)
+ (local $var$2 i32)
+ (local $var$3 i32)
+ (local $var$4 i32)
+ (local $var$5 i32)
+ (set_local $var$2
+ (call $_Z4atoiPKc
+ (i32.load offset=4
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$3
+ (call $_Z4atoiPKc
+ (i32.load offset=8
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$4
+ (call $_Z4atoiPKc
+ (i32.load offset=12
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$5
+ (call $_Z4atoiPKc
+ (i32.load offset=16
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$1
+ (call $_Z4atoiPKc
+ (i32.load offset=20
+ (get_local $var$1)
+ )
+ )
+ )
+ (call_indirect (type $0)
+ (get_local $var$2)
+ )
+ (call_indirect (type $1)
+ (i32.const 3)
+ (get_local $var$3)
+ )
+ (drop
+ (call_indirect (type $2)
+ (i32.const 4)
+ (i32.const 5)
+ (get_local $var$4)
+ )
+ )
+ (drop
+ (call_indirect (type $3)
+ (f32.const 3.0999999046325684)
+ (f32.const 4.199999809265137)
+ (i32.const 5)
+ (get_local $var$5)
+ )
+ )
+ (drop
+ (call_indirect (type $4)
+ (f64.const 4.2)
+ (i32.const 5)
+ (get_local $var$1)
+ )
+ )
+ (call_indirect (type $5)
+ (i32.const 1)
+ (i32.const 2)
+ (i32.const 3)
+ (select
+ (i32.const 1)
+ (i32.const 2)
+ (i32.gt_s
+ (get_local $var$0)
+ (i32.const 3)
+ )
+ )
+ )
+ (i32.const 0)
+ )
+ (func $__wasm_call_ctors (; 10 ;) (type $0)
+ (nop)
+ )
+ (func $stackSave (; 11 ;) (result i32)
+ (get_global $global$0)
+ )
+ (func $stackAlloc (; 12 ;) (param $0 i32) (result i32)
+ (local $1 i32)
+ (set_global $global$0
+ (tee_local $1
+ (i32.and
+ (i32.sub
+ (get_global $global$0)
+ (get_local $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (get_local $1)
+ )
+ (func $stackRestore (; 13 ;) (param $0 i32)
+ (set_global $global$0
+ (get_local $0)
+ )
+ )
+ (func $__growWasmMemory (; 14 ;) (param $newSize i32) (result i32)
+ (grow_memory
+ (get_local $newSize)
+ )
+ )
+ (func $dynCall_viii (; 15 ;) (param $fptr i32) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call_indirect (type $FUNCSIG$viii)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ (get_local $fptr)
+ )
+ )
+ (func $jsCall_ddi_0 (; 16 ;) (param $0 f64) (param $1 i32) (result f64)
+ (call $jsCall_ddi
+ (i32.const 0)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_ddi_1 (; 17 ;) (param $0 f64) (param $1 i32) (result f64)
+ (call $jsCall_ddi
+ (i32.const 1)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_ddi_2 (; 18 ;) (param $0 f64) (param $1 i32) (result f64)
+ (call $jsCall_ddi
+ (i32.const 2)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_fffi_0 (; 19 ;) (param $0 f32) (param $1 f32) (param $2 i32) (result f32)
+ (call $jsCall_fffi
+ (i32.const 0)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_fffi_1 (; 20 ;) (param $0 f32) (param $1 f32) (param $2 i32) (result f32)
+ (call $jsCall_fffi
+ (i32.const 1)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_fffi_2 (; 21 ;) (param $0 f32) (param $1 f32) (param $2 i32) (result f32)
+ (call $jsCall_fffi
+ (i32.const 2)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_iii_0 (; 22 ;) (param $0 i32) (param $1 i32) (result i32)
+ (call $jsCall_iii
+ (i32.const 0)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_iii_1 (; 23 ;) (param $0 i32) (param $1 i32) (result i32)
+ (call $jsCall_iii
+ (i32.const 1)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_iii_2 (; 24 ;) (param $0 i32) (param $1 i32) (result i32)
+ (call $jsCall_iii
+ (i32.const 2)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ (func $jsCall_v_0 (; 25 ;)
+ (call $jsCall_v
+ (i32.const 0)
+ )
+ )
+ (func $jsCall_v_1 (; 26 ;)
+ (call $jsCall_v
+ (i32.const 1)
+ )
+ )
+ (func $jsCall_v_2 (; 27 ;)
+ (call $jsCall_v
+ (i32.const 2)
+ )
+ )
+ (func $jsCall_vi_0 (; 28 ;) (param $0 i32)
+ (call $jsCall_vi
+ (i32.const 0)
+ (get_local $0)
+ )
+ )
+ (func $jsCall_vi_1 (; 29 ;) (param $0 i32)
+ (call $jsCall_vi
+ (i32.const 1)
+ (get_local $0)
+ )
+ )
+ (func $jsCall_vi_2 (; 30 ;) (param $0 i32)
+ (call $jsCall_vi
+ (i32.const 2)
+ (get_local $0)
+ )
+ )
+ (func $jsCall_viii_0 (; 31 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call $jsCall_viii
+ (i32.const 0)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_viii_1 (; 32 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call $jsCall_viii
+ (i32.const 1)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+ (func $jsCall_viii_2 (; 33 ;) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call $jsCall_viii
+ (i32.const 2)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ )
+ )
+)
diff --git a/test/lld/reserved_func_ptr.wast.out b/test/lld/reserved_func_ptr.wast.out
new file mode 100644
index 000000000..983269810
--- /dev/null
+++ b/test/lld/reserved_func_ptr.wast.out
@@ -0,0 +1,155 @@
+(module
+ (type $0 (func))
+ (type $1 (func (param i32)))
+ (type $2 (func (param i32 i32) (result i32)))
+ (type $3 (func (param f32 f32 i32) (result f32)))
+ (type $4 (func (param f64 i32) (result f64)))
+ (type $5 (func (param i32 i32 i32)))
+ (type $6 (func (param i32) (result i32)))
+ (type $FUNCSIG$ii (func (param i32) (result i32)))
+ (type $FUNCSIG$viii (func (param i32 i32 i32)))
+ (import "env" "_Z4atoiPKc" (func $_Z4atoiPKc (param i32) (result i32)))
+ (global $global$0 (mut i32) (i32.const 66560))
+ (global $global$1 i32 (i32.const 66560))
+ (table 3 3 anyfunc)
+ (elem (i32.const 1) $_Z18address_taken_funciii $_Z19address_taken_func2iii)
+ (memory $0 2)
+ (export "memory" (memory $0))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__heap_base" (global $global$1))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "__growWasmMemory" (func $__growWasmMemory))
+ (export "dynCall_viii" (func $dynCall_viii))
+ (func $_Z18address_taken_funciii (; 1 ;) (type $5) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32)
+ (nop)
+ )
+ (func $_Z19address_taken_func2iii (; 2 ;) (type $5) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32)
+ (nop)
+ )
+ (func $main (; 3 ;) (type $2) (param $var$0 i32) (param $var$1 i32) (result i32)
+ (local $var$2 i32)
+ (local $var$3 i32)
+ (local $var$4 i32)
+ (local $var$5 i32)
+ (set_local $var$2
+ (call $_Z4atoiPKc
+ (i32.load offset=4
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$3
+ (call $_Z4atoiPKc
+ (i32.load offset=8
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$4
+ (call $_Z4atoiPKc
+ (i32.load offset=12
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$5
+ (call $_Z4atoiPKc
+ (i32.load offset=16
+ (get_local $var$1)
+ )
+ )
+ )
+ (set_local $var$1
+ (call $_Z4atoiPKc
+ (i32.load offset=20
+ (get_local $var$1)
+ )
+ )
+ )
+ (call_indirect (type $0)
+ (get_local $var$2)
+ )
+ (call_indirect (type $1)
+ (i32.const 3)
+ (get_local $var$3)
+ )
+ (drop
+ (call_indirect (type $2)
+ (i32.const 4)
+ (i32.const 5)
+ (get_local $var$4)
+ )
+ )
+ (drop
+ (call_indirect (type $3)
+ (f32.const 3.0999999046325684)
+ (f32.const 4.199999809265137)
+ (i32.const 5)
+ (get_local $var$5)
+ )
+ )
+ (drop
+ (call_indirect (type $4)
+ (f64.const 4.2)
+ (i32.const 5)
+ (get_local $var$1)
+ )
+ )
+ (call_indirect (type $5)
+ (i32.const 1)
+ (i32.const 2)
+ (i32.const 3)
+ (select
+ (i32.const 1)
+ (i32.const 2)
+ (i32.gt_s
+ (get_local $var$0)
+ (i32.const 3)
+ )
+ )
+ )
+ (i32.const 0)
+ )
+ (func $__wasm_call_ctors (; 4 ;) (type $0)
+ (nop)
+ )
+ (func $stackSave (; 5 ;) (result i32)
+ (get_global $global$0)
+ )
+ (func $stackAlloc (; 6 ;) (param $0 i32) (result i32)
+ (local $1 i32)
+ (set_global $global$0
+ (tee_local $1
+ (i32.and
+ (i32.sub
+ (get_global $global$0)
+ (get_local $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (get_local $1)
+ )
+ (func $stackRestore (; 7 ;) (param $0 i32)
+ (set_global $global$0
+ (get_local $0)
+ )
+ )
+ (func $__growWasmMemory (; 8 ;) (param $newSize i32) (result i32)
+ (grow_memory
+ (get_local $newSize)
+ )
+ )
+ (func $dynCall_viii (; 9 ;) (param $fptr i32) (param $0 i32) (param $1 i32) (param $2 i32)
+ (call_indirect (type $FUNCSIG$viii)
+ (get_local $0)
+ (get_local $1)
+ (get_local $2)
+ (get_local $fptr)
+ )
+ )
+)