1 files changed, 94 insertions, 0 deletions
diff --git a/test/lit/merge/fusing.wat b/test/lit/merge/fusing.wat
new file mode 100644
index 000000000..645634b4d
--- /dev/null
+++ b/test/lit/merge/fusing.wat
@@ -0,0 +1,94 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; RUN: wasm-merge %s first %s.second second --rename-export-conflicts -all -S -o - | filecheck %s
+
+;; Test that we fuse imports to exports across modules.
+;;
+;; We test functions and memories here, and not every possible entity in a
+;; comprehensive way, since they all go through the same code path. (But we test
+;; two to at least verify we differentiate them.)
+
+(module
+  ;; The first two imports here will be resolved to direct calls into the
+  ;; second module's merged contents.
+  (import "second" "foo" (func $other.foo))
+
+  (import "second" "bar" (func $other.bar))
+
+  (import "second" "mem" (memory $other.mem 1))
+
+  ;; This import will remain unresolved.
+  ;; CHECK:      (type $none_=>_none (func))
+
+  ;; CHECK:      (type $none_=>_i32 (func (result i32)))
+
+  ;; CHECK:      (import "third" "missing" (func $other.missing))
+  (import "third" "missing" (func $other.missing))
+
+  ;; CHECK:      (memory $second.mem 2)
+
+  ;; CHECK:      (export "foo" (func $first.foo))
+
+  ;; CHECK:      (export "bar" (func $bar))
+
+  ;; CHECK:      (export "keepalive" (func $keepalive))
+
+  ;; CHECK:      (export "mem" (memory $second.mem))
+
+  ;; CHECK:      (export "foo_4" (func $second.foo))
+
+  ;; CHECK:      (export "bar_5" (func $bar_6))
+
+  ;; CHECK:      (func $first.foo (type $none_=>_none)
+  ;; CHECK-NEXT:  (drop
+  ;; CHECK-NEXT:   (i32.const 1)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (call $second.foo)
+  ;; CHECK-NEXT: )
+  (func $first.foo (export "foo")
+    (drop
+      (i32.const 1)
+    )
+    (call $other.foo)
+  )
+
+  ;; CHECK:      (func $bar (type $none_=>_none)
+  ;; CHECK-NEXT:  (drop
+  ;; CHECK-NEXT:   (i32.const 2)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (call $bar_6)
+  ;; CHECK-NEXT:  (call $other.missing)
+  ;; CHECK-NEXT: )
+  (func $bar (export "bar")
+    (drop
+      (i32.const 2)
+    )
+    (call $other.bar)
+    (call $other.missing)
+  )
+
+  ;; CHECK:      (func $keepalive (type $none_=>_i32) (result i32)
+  ;; CHECK-NEXT:  (i32.load
+  ;; CHECK-NEXT:   (i32.const 10)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT: )
+  (func $keepalive (export "keepalive") (result i32)
+    ;; Load from the memory imported from the second module.
+    (i32.load $other.mem
+      (i32.const 10)
+    )
+  )
+)
+;; CHECK:      (func $second.foo (type $none_=>_none)
+;; CHECK-NEXT:  (call $first.foo)
+;; CHECK-NEXT:  (drop
+;; CHECK-NEXT:   (i32.const 3)
+;; CHECK-NEXT:  )
+;; CHECK-NEXT: )
+
+;; CHECK:      (func $bar_6 (type $none_=>_none)
+;; CHECK-NEXT:  (call $bar)
+;; CHECK-NEXT:  (drop
+;; CHECK-NEXT:   (i32.const 4)
+;; CHECK-NEXT:  )
+;; CHECK-NEXT: )