; 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) {
  tail call i32 @printi(i32 %a)
  tail call float @printf(float %b)
  tail call void @printv()
  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"
declare i32 @printi(i32)
declare float @printf(float)
declare void @printv()