Fix wasm-split bug in absence of active element segments (#6651)

The module splitting code incorrectly assumed that there would be at least one
active element segment and failed to initialize the table slot manager with a
function table if that was not the case. Fix the bug by setting the table even
when there are no active segments and add a test.

Fixes #6572 and #6637.

1 files changed, 41 insertions, 0 deletions

diff --git a/test/lit/wasm-split/no-active-segment.wast b/test/lit/wasm-split/no-active-segment.wast
new file mode 100644
index 000000000..ad83b0480
--- /dev/null
+++ b/test/lit/wasm-split/no-active-segment.wast
@@ -0,0 +1,41 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; Test that splitting succeeds even if there are no active segments for the function table.
+
+;; RUN: wasm-split %s --split-funcs=foo -g -o1 %t.1.wasm -o2 %t.2.wasm
+;; RUN: wasm-dis %t.1.wasm | filecheck %s --check-prefix PRIMARY
+;; RUN: wasm-dis %t.2.wasm | filecheck %s --check-prefix SECONDARY
+
+(module
+ (table 0 funcref)
+ (export "foo" (func $foo))
+ ;; SECONDARY:      (type $0 (func))
+
+ ;; SECONDARY:      (import "primary" "table" (table $timport$0 1 funcref))
+
+ ;; SECONDARY:      (elem $0 (i32.const 0) $foo)
+
+ ;; SECONDARY:      (func $foo
+ ;; SECONDARY-NEXT:  (nop)
+ ;; SECONDARY-NEXT: )
+ (func $foo
+  (nop)
+ )
+)
+;; PRIMARY:      (type $0 (func))
+
+;; PRIMARY:      (import "placeholder" "0" (func $placeholder_0))
+
+;; PRIMARY:      (table $0 1 funcref)
+
+;; PRIMARY:      (elem $0 (i32.const 0) $placeholder_0)
+
+;; PRIMARY:      (export "foo" (func $0))
+
+;; PRIMARY:      (export "table" (table $0))
+
+;; PRIMARY:      (func $0
+;; PRIMARY-NEXT:  (call_indirect (type $0)
+;; PRIMARY-NEXT:   (i32.const 0)
+;; PRIMARY-NEXT:  )
+;; PRIMARY-NEXT: )