; CHECK-LABEL: .text
; CHECK-LABEL: f:
-define void @f(i32 %a, float %b) {
+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 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()