Defer creation of CallImports to link time (#395)

s2wasm currently creates a Call AST node if the target is implemented in the current object (thus far assumed to be the final executable) and a CallImport node if not. In preparation for adding additional objects to the link before layout time, we make only Call nodes until link time, and then convert them to CallImport if they are undefined at that time.

7 files changed, 26 insertions, 26 deletions

diff --git a/test/dot_s/bcp-1.wast b/test/dot_s/bcp-1.wast
index 4e3fa51ea..659f9c7b7 100644
--- a/test/dot_s/bcp-1.wast
+++ b/test/dot_s/bcp-1.wast
@@ -11,10 +11,10 @@
   (export "memory" memory)
   (type $FUNCSIG$i (func (result i32)))
   (type $FUNCSIG$ii (func (param i32) (result i32)))
-  (type $FUNCSIG$vi (func (param i32)))
   (type $FUNCSIG$v (func))
-  (import $exit "env" "exit" (param i32))
+  (type $FUNCSIG$vi (func (param i32)))
   (import $abort "env" "abort")
+  (import $exit "env" "exit" (param i32))
   (export "bad0" $bad0)
   (export "bad1" $bad1)
   (export "bad2" $bad2)
diff --git a/test/llvm_autogenerated/call.wast b/test/llvm_autogenerated/call.wast
index d7142a446..abaa2454f 100644
--- a/test/llvm_autogenerated/call.wast
+++ b/test/llvm_autogenerated/call.wast
@@ -3,20 +3,20 @@
     (segment 4 "\10\04\00\00")
   )
   (export "memory" memory)
+  (type $FUNCSIG$v (func))
   (type $FUNCSIG$i (func (result i32)))
-  (type $FUNCSIG$j (func (result i64)))
-  (type $FUNCSIG$f (func (result f32)))
   (type $FUNCSIG$d (func (result f64)))
-  (type $FUNCSIG$v (func))
-  (type $FUNCSIG$ii (func (param i32) (result i32)))
+  (type $FUNCSIG$f (func (result f32)))
   (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
+  (type $FUNCSIG$ii (func (param i32) (result i32)))
+  (type $FUNCSIG$j (func (result i64)))
+  (import $double_nullary "env" "double_nullary" (result f64))
+  (import $float_nullary "env" "float_nullary" (result f32))
+  (import $i32_binary "env" "i32_binary" (param i32 i32) (result i32))
   (import $i32_nullary "env" "i32_nullary" (result i32))
+  (import $i32_unary "env" "i32_unary" (param i32) (result i32))
   (import $i64_nullary "env" "i64_nullary" (result i64))
-  (import $float_nullary "env" "float_nullary" (result f32))
-  (import $double_nullary "env" "double_nullary" (result f64))
   (import $void_nullary "env" "void_nullary")
-  (import $i32_unary "env" "i32_unary" (param i32) (result i32))
-  (import $i32_binary "env" "i32_binary" (param i32 i32) (result i32))
   (export "call_i32_nullary" $call_i32_nullary)
   (export "call_i64_nullary" $call_i64_nullary)
   (export "call_float_nullary" $call_float_nullary)
diff --git a/test/llvm_autogenerated/cfg-stackify.wast b/test/llvm_autogenerated/cfg-stackify.wast
index 36c3e389b..18475333c 100644
--- a/test/llvm_autogenerated/cfg-stackify.wast
+++ b/test/llvm_autogenerated/cfg-stackify.wast
@@ -3,11 +3,11 @@
     (segment 4 "\10\04\00\00")
   )
   (export "memory" memory)
-  (type $FUNCSIG$v (func))
   (type $FUNCSIG$i (func (result i32)))
-  (import $something "env" "something")
-  (import $bar "env" "bar")
+  (type $FUNCSIG$v (func))
   (import $a "env" "a" (result i32))
+  (import $bar "env" "bar")
+  (import $something "env" "something")
   (export "test0" $test0)
   (export "test1" $test1)
   (export "test2" $test2)
diff --git a/test/llvm_autogenerated/frem.wast b/test/llvm_autogenerated/frem.wast
index 4b15f3a14..2d7d4be4a 100644
--- a/test/llvm_autogenerated/frem.wast
+++ b/test/llvm_autogenerated/frem.wast
@@ -3,10 +3,10 @@
     (segment 4 "\10\04\00\00")
   )
   (export "memory" memory)
-  (type $FUNCSIG$fff (func (param f32 f32) (result f32)))
   (type $FUNCSIG$ddd (func (param f64 f64) (result f64)))
-  (import $fmodf "env" "fmodf" (param f32 f32) (result f32))
+  (type $FUNCSIG$fff (func (param f32 f32) (result f32)))
   (import $fmod "env" "fmod" (param f64 f64) (result f64))
+  (import $fmodf "env" "fmodf" (param f32 f32) (result f32))
   (export "frem32" $frem32)
   (export "frem64" $frem64)
   (func $frem32 (param $$0 f32) (param $$1 f32) (result f32)
diff --git a/test/llvm_autogenerated/legalize.wast b/test/llvm_autogenerated/legalize.wast
index 1ecc46fca..0da123266 100644
--- a/test/llvm_autogenerated/legalize.wast
+++ b/test/llvm_autogenerated/legalize.wast
@@ -4,8 +4,8 @@
   )
   (export "memory" memory)
   (type $FUNCSIG$vijjj (func (param i32 i64 i64 i64)))
-  (import $__lshrti3 "env" "__lshrti3" (param i32 i64 i64 i64))
   (import $__ashlti3 "env" "__ashlti3" (param i32 i64 i64 i64))
+  (import $__lshrti3 "env" "__lshrti3" (param i32 i64 i64 i64))
   (export "shl_i3" $shl_i3)
   (export "shl_i53" $shl_i53)
   (export "sext_in_reg_i32_i64" $sext_in_reg_i32_i64)
diff --git a/test/llvm_autogenerated/mem-intrinsics.wast b/test/llvm_autogenerated/mem-intrinsics.wast
index d5456299a..f5f36ab69 100644
--- a/test/llvm_autogenerated/mem-intrinsics.wast
+++ b/test/llvm_autogenerated/mem-intrinsics.wast
@@ -3,12 +3,12 @@
     (segment 4 "\10\04\00\00")
   )
   (export "memory" memory)
-  (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
   (type $FUNCSIG$i (func (result i32)))
+  (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
+  (import $def "env" "def" (result i32))
   (import $memcpy "env" "memcpy" (param i32 i32 i32) (result i32))
   (import $memmove "env" "memmove" (param i32 i32 i32) (result i32))
   (import $memset "env" "memset" (param i32 i32 i32) (result i32))
-  (import $def "env" "def" (result i32))
   (export "copy_yes" $copy_yes)
   (export "copy_no" $copy_no)
   (export "move_yes" $move_yes)
diff --git a/test/llvm_autogenerated/reg-stackify.wast b/test/llvm_autogenerated/reg-stackify.wast
index c35651002..14a8d8111 100644
--- a/test/llvm_autogenerated/reg-stackify.wast
+++ b/test/llvm_autogenerated/reg-stackify.wast
@@ -3,19 +3,19 @@
     (segment 4 "\10\04\00\00")
   )
   (export "memory" memory)
-  (type $FUNCSIG$v (func))
-  (type $FUNCSIG$vi (func (param i32)))
-  (type $FUNCSIG$vii (func (param i32 i32)))
   (type $FUNCSIG$i (func (result i32)))
   (type $FUNCSIG$ii (func (param i32) (result i32)))
+  (type $FUNCSIG$v (func))
+  (type $FUNCSIG$vii (func (param i32 i32)))
+  (type $FUNCSIG$vi (func (param i32)))
+  (import $blue "env" "blue" (result i32))
+  (import $callee "env" "callee" (param i32) (result i32))
   (import $evoke_side_effects "env" "evoke_side_effects")
+  (import $green "env" "green" (result i32))
+  (import $red "env" "red" (result i32))
+  (import $use_2 "env" "use_2" (param i32 i32))
   (import $use_a "env" "use_a" (param i32))
   (import $use_b "env" "use_b" (param i32))
-  (import $use_2 "env" "use_2" (param i32 i32))
-  (import $red "env" "red" (result i32))
-  (import $green "env" "green" (result i32))
-  (import $blue "env" "blue" (result i32))
-  (import $callee "env" "callee" (param i32) (result i32))
   (export "no0" $no0)
   (export "no1" $no1)
   (export "yes0" $yes0)