| ;; 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 -all -S -o - | filecheck %s |
| |
| ;; Like table-init.wat, but the global $g that the table initializer refers to |
| ;; is fused with a global whose initializer itself refers to another |
| ;; module-defined global, $a. Inlining $g exposes a reference to $a, which must |
| ;; be inlined as well, so verify that we keep inlining until the initializer |
| ;; refers to no module-defined globals. |
| |
| (module |
| ;; CHECK: (type $f (func)) |
| (type $f (func)) |
| |
| (global $g (import "second" "g") (ref $f)) |
| |
| ;; CHECK: (global $a (ref $f) (ref.func $h)) |
| |
| ;; CHECK: (global $g_1 (ref $f) (global.get $a)) |
| |
| ;; CHECK: (table $t 3 funcref (ref.func $h)) |
| (table $t (export "t") 3 funcref (global.get $g)) |
| ) |
| ;; CHECK: (export "t" (table $t)) |
| |
| ;; CHECK: (export "g" (global $g_1)) |
| |
| ;; CHECK: (func $h (type $f) |
| ;; CHECK-NEXT: ) |