xref: /llvm-project/llvm/test/Transforms/FunctionSpecialization/specialization-order.ll (revision e15d72adac66790a78a51a3087b56b2bde6b778a) 
1; RUN: opt -S --passes="ipsccp<func-spec>,deadargelim" -force-specialization < %s | FileCheck %s
2define dso_local i32 @add(i32 %x, i32 %y) {
3entry:
4  %add = add nsw i32 %y, %x
5  ret i32 %add
6}
7
8define dso_local i32 @sub(i32 %x, i32 %y) {
9entry:
10  %sub = sub nsw i32 %x, %y
11  ret i32 %sub
12}
13
14define internal i32 @f(i32 %x, i32 %y, ptr %u, ptr %v) noinline {
15entry:
16  %call = tail call i32 %u(i32 %x, i32 %y)
17  %call1 = tail call i32 %v(i32 %x, i32 %y)
18  %mul = mul nsw i32 %call1, %call
19  ret i32 %mul
20}
21
22define dso_local i32 @g0(i32 %x, i32 %y) {
23; CHECK-LABEL: @g0
24; CHECK:       call i32 @f.specialized.3(i32 [[X:%.*]], i32 [[Y:%.*]])
25entry:
26  %call = tail call i32 @f(i32 %x, i32 %y, ptr @add, ptr @add)
27  ret i32 %call
28}
29
30
31define dso_local i32 @g1(i32 %x, i32 %y) {
32; CHECK-LABEL: @g1(
33; CHECK:       call i32 @f.specialized.2(i32 [[X:%.*]], i32 [[Y:%.*]])
34entry:
35  %call = tail call i32 @f(i32 %x, i32 %y, ptr @sub, ptr @add)
36  ret i32 %call
37}
38
39define dso_local i32 @g2(i32 %x, i32 %y, ptr %v) {
40; CHECK-LABEL: @g2
41; CHECK:       call i32 @f.specialized.1(i32 [[X:%.*]], i32 [[Y:%.*]], ptr [[V:%.*]])
42entry:
43  %call = tail call i32 @f(i32 %x, i32 %y, ptr @sub, ptr %v)
44  ret i32 %call
45}
46
47; CHECK-LABEL: define {{.*}} i32 @f.specialized.1
48; CHECK:       call i32 @sub(i32 %x, i32 %y)
49; CHECK-NEXT:  call i32 %v(i32 %x, i32 %y)
50
51; CHECK-LABEL: define {{.*}} i32 @f.specialized.2
52; CHECK:       call i32 @sub(i32 %x, i32 %y)
53; CHECK-NEXT:  call i32 @add(i32 %x, i32 %y)
54
55; CHECK-LABEL: define {{.*}} i32 @f.specialized.3
56; CHECK:       call i32 @add(i32 %x, i32 %y)
57; CHECK-NEXT:   call i32 @add(i32 %x, i32 %y)
58
59