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. No specialisation
4*4f9217c5SSjoerd Meijer; expected here:
5*4f9217c5SSjoerd Meijer;
6*4f9217c5SSjoerd Meijer; CHECK-NOT: @compute.1
7*4f9217c5SSjoerd Meijer; CHECK-NOT: @compute.2
8*4f9217c5SSjoerd Meijer
9*4f9217c5SSjoerd Meijerdefine i64 @main(i64 %x, i1 %flag) {
10*4f9217c5SSjoerd Meijerentry:
11*4f9217c5SSjoerd Meijer  br i1 %flag, label %plus, label %minus
12*4f9217c5SSjoerd Meijer
13*4f9217c5SSjoerd Meijerplus:
14*4f9217c5SSjoerd Meijer  %tmp0 = call i64 @compute(i64 %x, i64 (i64)* @plus) #0
15*4f9217c5SSjoerd Meijer  br label %merge
16*4f9217c5SSjoerd Meijer
17*4f9217c5SSjoerd Meijerminus:
18*4f9217c5SSjoerd Meijer  %tmp1 = call i64 @compute(i64 %x, i64 (i64)* @minus) #0
19*4f9217c5SSjoerd Meijer  br label %merge
20*4f9217c5SSjoerd Meijer
21*4f9217c5SSjoerd Meijermerge:
22*4f9217c5SSjoerd Meijer  %tmp2 = phi i64 [ %tmp0, %plus ], [ %tmp1, %minus]
23*4f9217c5SSjoerd Meijer  ret i64 %tmp2
24*4f9217c5SSjoerd Meijer}
25*4f9217c5SSjoerd Meijer
26*4f9217c5SSjoerd Meijerdefine internal i64 @compute(i64 %x, i64 (i64)* %binop) {
27*4f9217c5SSjoerd Meijerentry:
28*4f9217c5SSjoerd Meijer  %tmp0 = call i64 %binop(i64 %x)
29*4f9217c5SSjoerd Meijer  ret i64 %tmp0
30*4f9217c5SSjoerd Meijer}
31*4f9217c5SSjoerd Meijer
32*4f9217c5SSjoerd Meijerdefine internal i64 @plus(i64 %x) {
33*4f9217c5SSjoerd Meijerentry:
34*4f9217c5SSjoerd Meijer  %tmp0 = add i64 %x, 1
35*4f9217c5SSjoerd Meijer  ret i64 %tmp0
36*4f9217c5SSjoerd Meijer}
37*4f9217c5SSjoerd Meijer
38*4f9217c5SSjoerd Meijerdefine internal i64 @minus(i64 %x) {
39*4f9217c5SSjoerd Meijerentry:
40*4f9217c5SSjoerd Meijer  %tmp0 = sub i64 %x, 1
41*4f9217c5SSjoerd Meijer  ret i64 %tmp0
42*4f9217c5SSjoerd Meijer}
43*4f9217c5SSjoerd Meijer
44*4f9217c5SSjoerd Meijerattributes #0 = { minsize optsize }
45