1*4f9217c5SSjoerd Meijer; RUN: opt -function-specialization -func-specialization-size-threshold=3 -S < %s | FileCheck %s
2*4f9217c5SSjoerd Meijer
3*4f9217c5SSjoerd Meijer; Checks for callsites that have been annotated with MinSize. We only expect
4*4f9217c5SSjoerd Meijer; specialisation for the call that does not have the attribute:
5*4f9217c5SSjoerd Meijer;
6*4f9217c5SSjoerd Meijer; CHECK: plus:
7*4f9217c5SSjoerd Meijer; CHECK:   %tmp0 = call i64 @compute.1(i64 %x, i64 (i64)* @plus)
8*4f9217c5SSjoerd Meijer; CHECK:   br label %merge
9*4f9217c5SSjoerd Meijer; CHECK: minus:
10*4f9217c5SSjoerd Meijer; CHECK:   %tmp1 = call i64 @compute(i64 %x, i64 (i64)* @minus) #0
11*4f9217c5SSjoerd Meijer; CHECK:   br label %merge
12*4f9217c5SSjoerd Meijer;
13*4f9217c5SSjoerd Meijerdefine i64 @main(i64 %x, i1 %flag) {
14*4f9217c5SSjoerd Meijerentry:
15*4f9217c5SSjoerd Meijer  br i1 %flag, label %plus, label %minus
16*4f9217c5SSjoerd Meijer
17*4f9217c5SSjoerd Meijerplus:
18*4f9217c5SSjoerd Meijer  %tmp0 = call i64 @compute(i64 %x, i64 (i64)* @plus)
19*4f9217c5SSjoerd Meijer  br label %merge
20*4f9217c5SSjoerd Meijer
21*4f9217c5SSjoerd Meijerminus:
22*4f9217c5SSjoerd Meijer  %tmp1 = call i64 @compute(i64 %x, i64 (i64)* @minus) #0
23*4f9217c5SSjoerd Meijer  br label %merge
24*4f9217c5SSjoerd Meijer
25*4f9217c5SSjoerd Meijermerge:
26*4f9217c5SSjoerd Meijer  %tmp2 = phi i64 [ %tmp0, %plus ], [ %tmp1, %minus]
27*4f9217c5SSjoerd Meijer  ret i64 %tmp2
28*4f9217c5SSjoerd Meijer}
29*4f9217c5SSjoerd Meijer
30*4f9217c5SSjoerd Meijerdefine internal i64 @compute(i64 %x, i64 (i64)* %binop) {
31*4f9217c5SSjoerd Meijerentry:
32*4f9217c5SSjoerd Meijer  %tmp0 = call i64 %binop(i64 %x)
33*4f9217c5SSjoerd Meijer  ret i64 %tmp0
34*4f9217c5SSjoerd Meijer}
35*4f9217c5SSjoerd Meijer
36*4f9217c5SSjoerd Meijerdefine internal i64 @plus(i64 %x) {
37*4f9217c5SSjoerd Meijerentry:
38*4f9217c5SSjoerd Meijer  %tmp0 = add i64 %x, 1
39*4f9217c5SSjoerd Meijer  ret i64 %tmp0
40*4f9217c5SSjoerd Meijer}
41*4f9217c5SSjoerd Meijer
42*4f9217c5SSjoerd Meijerdefine internal i64 @minus(i64 %x) {
43*4f9217c5SSjoerd Meijerentry:
44*4f9217c5SSjoerd Meijer  %tmp0 = sub i64 %x, 1
45*4f9217c5SSjoerd Meijer  ret i64 %tmp0
46*4f9217c5SSjoerd Meijer}
47*4f9217c5SSjoerd Meijer
48*4f9217c5SSjoerd Meijerattributes #0 = { minsize optsize }
49