;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.

;; Test that parameter names are preserved for imported functions

;; RUN: wasm-opt %s -S -o - | filecheck %s

(module
 (import "" "" (func (param i32 i64) (param $x i32) (param $y i64) (param f32 f64)))
 (import "" "" (func (param $x i32) (param f32 f64) (param $y i64)))
 (import "" "" (func (param $"" i32)))
)
;; CHECK:      (type $0 (func (param i32 i64 i32 i64 f32 f64)))

;; CHECK:      (type $1 (func (param i32 f32 f64 i64)))

;; CHECK:      (type $2 (func (param i32)))

;; CHECK:      (import "" "" (func $fimport$0 (param i32 i64) (param $x i32) (param $y i64) (param f32 f64)))

;; CHECK:      (import "" "" (func $fimport$1 (param $x i32) (param f32 f64) (param $y i64)))

;; CHECK:      (import "" "" (func $fimport$2 (param $"" i32)))