xref: /llvm-project/llvm/test/Transforms/FunctionSpecialization/function-specialization-minsize2.ll (revision e15d72adac66790a78a51a3087b56b2bde6b778a)
19627bcdeSAlexandros Lamprineas; RUN: opt -passes="ipsccp<func-spec>" -funcspec-min-function-size=3 -S < %s | FileCheck %s
24f9217c5SSjoerd Meijer
34f9217c5SSjoerd Meijer; Checks for callsites that have been annotated with MinSize. No specialisation
44f9217c5SSjoerd Meijer; expected here:
54f9217c5SSjoerd Meijer;
6*e15d72adSAlexandros Lamprineas; CHECK-NOT: @compute.specialized.1
7*e15d72adSAlexandros Lamprineas; CHECK-NOT: @compute.specialized.2
84f9217c5SSjoerd Meijer
94f9217c5SSjoerd Meijerdefine i64 @main(i64 %x, i1 %flag) {
104f9217c5SSjoerd Meijerentry:
114f9217c5SSjoerd Meijer  br i1 %flag, label %plus, label %minus
124f9217c5SSjoerd Meijer
134f9217c5SSjoerd Meijerplus:
14ebdf5aefSMatt Arsenault  %tmp0 = call i64 @compute(i64 %x, ptr @plus) #0
154f9217c5SSjoerd Meijer  br label %merge
164f9217c5SSjoerd Meijer
174f9217c5SSjoerd Meijerminus:
18ebdf5aefSMatt Arsenault  %tmp1 = call i64 @compute(i64 %x, ptr @minus) #0
194f9217c5SSjoerd Meijer  br label %merge
204f9217c5SSjoerd Meijer
214f9217c5SSjoerd Meijermerge:
224f9217c5SSjoerd Meijer  %tmp2 = phi i64 [ %tmp0, %plus ], [ %tmp1, %minus]
234f9217c5SSjoerd Meijer  ret i64 %tmp2
244f9217c5SSjoerd Meijer}
254f9217c5SSjoerd Meijer
26ebdf5aefSMatt Arsenaultdefine internal i64 @compute(i64 %x, ptr %binop) {
274f9217c5SSjoerd Meijerentry:
284f9217c5SSjoerd Meijer  %tmp0 = call i64 %binop(i64 %x)
294f9217c5SSjoerd Meijer  ret i64 %tmp0
304f9217c5SSjoerd Meijer}
314f9217c5SSjoerd Meijer
324f9217c5SSjoerd Meijerdefine internal i64 @plus(i64 %x) {
334f9217c5SSjoerd Meijerentry:
344f9217c5SSjoerd Meijer  %tmp0 = add i64 %x, 1
354f9217c5SSjoerd Meijer  ret i64 %tmp0
364f9217c5SSjoerd Meijer}
374f9217c5SSjoerd Meijer
384f9217c5SSjoerd Meijerdefine internal i64 @minus(i64 %x) {
394f9217c5SSjoerd Meijerentry:
404f9217c5SSjoerd Meijer  %tmp0 = sub i64 %x, 1
414f9217c5SSjoerd Meijer  ret i64 %tmp0
424f9217c5SSjoerd Meijer}
434f9217c5SSjoerd Meijer
444f9217c5SSjoerd Meijerattributes #0 = { minsize optsize }
45