; RUN: llc < %s -asm-verbose=false | FileCheck %s

target datalayout = "e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"

; CHECK-LABEL: .text
; CHECK-LABEL: f:
define void @f(i32 %a, float %b, i128 %c, i1 %d) {
  tail call i32 @printi(i32 %a)
  tail call float @printf(float %b)
  tail call void @printv()
  tail call void @split_arg(i128 %c)
  tail call void @expanded_arg(i1 %d)
  tail call i1 @lowered_result()
  ret void
}

; CHECK-LABEL: .imports
; CHECK-NEXT:  .import $printi "" "printi" (param i32) (result i32){{$}}
; CHECK-NEXT:  .import $printf "" "printf" (param f32) (result f32){{$}}
; CHECK-NEXT:  .import $printv "" "printv"{{$}}
; CHECK-NEXT:  .import $add2 "" "add2" (param i32 i32) (result i32){{$}}
; CHECK-NEXT:  .import $split_arg "" "split_arg" (param i64 i64){{$}}
; CHECK-NEXT:  .import $expanded_arg "" "expanded_arg" (param i32){{$}}
; CHECK-NEXT:  .import $lowered_result "" "lowered_result" (result i32){{$}}
declare i32 @printi(i32)
declare float @printf(float)
declare void @printv()
declare i32 @add2(i32, i32)
declare void @split_arg(i128)
declare void @expanded_arg(i1)
declare i1 @lowered_result()