1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -passes="ipsccp<func-spec>" -force-specialization -S < %s | FileCheck %s
3
4define i32 @main() {
5; CHECK-LABEL: @main(
6; CHECK-NEXT:  bb:
7; CHECK-NEXT:    tail call void @wombat.specialized.1(ptr undef, i64 undef, i64 undef, ptr @quux)
8; CHECK-NEXT:    tail call void @wombat.specialized.2(ptr undef, i64 undef, i64 undef, ptr @eggs)
9; CHECK-NEXT:    ret i32 undef
10;
11bb:
12  tail call void @wombat(ptr undef, i64 undef, i64 undef, ptr @quux)
13  tail call void @wombat(ptr undef, i64 undef, i64 undef, ptr @eggs)
14  ret i32 undef
15}
16
17declare i32 @quux()
18declare i32 @eggs()
19
20define internal void @wombat(ptr %arg, i64 %arg1, i64 %arg2, ptr %arg3) {
21bb4:
22  %tmp = tail call i32 %arg3(ptr undef, ptr undef)
23  ret void
24}
25