xref: /llvm-project/llvm/test/Transforms/FunctionSpecialization/function-specialization-minsize3.ll (revision e15d72adac66790a78a51a3087b56b2bde6b778a)
196a14f38SNikita Popov; 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. We only expect
44f9217c5SSjoerd Meijer; specialisation for the call that does not have the attribute:
54f9217c5SSjoerd Meijer;
64f9217c5SSjoerd Meijer; CHECK: plus:
7*e15d72adSAlexandros Lamprineas; CHECK:   %tmp0 = call i64 @compute.specialized.1(i64 %x, ptr @plus)
84f9217c5SSjoerd Meijer; CHECK:   br label %merge
94f9217c5SSjoerd Meijer; CHECK: minus:
10ebdf5aefSMatt Arsenault; CHECK:   %tmp1 = call i64 @compute(i64 %x, ptr @minus) #0
114f9217c5SSjoerd Meijer; CHECK:   br label %merge
124f9217c5SSjoerd Meijer;
134f9217c5SSjoerd Meijerdefine i64 @main(i64 %x, i1 %flag) {
144f9217c5SSjoerd Meijerentry:
154f9217c5SSjoerd Meijer  br i1 %flag, label %plus, label %minus
164f9217c5SSjoerd Meijer
174f9217c5SSjoerd Meijerplus:
18ebdf5aefSMatt Arsenault  %tmp0 = call i64 @compute(i64 %x, ptr @plus)
194f9217c5SSjoerd Meijer  br label %merge
204f9217c5SSjoerd Meijer
214f9217c5SSjoerd Meijerminus:
22ebdf5aefSMatt Arsenault  %tmp1 = call i64 @compute(i64 %x, ptr @minus) #0
234f9217c5SSjoerd Meijer  br label %merge
244f9217c5SSjoerd Meijer
254f9217c5SSjoerd Meijermerge:
264f9217c5SSjoerd Meijer  %tmp2 = phi i64 [ %tmp0, %plus ], [ %tmp1, %minus]
274f9217c5SSjoerd Meijer  ret i64 %tmp2
284f9217c5SSjoerd Meijer}
294f9217c5SSjoerd Meijer
30ebdf5aefSMatt Arsenaultdefine internal i64 @compute(i64 %x, ptr %binop) {
314f9217c5SSjoerd Meijerentry:
324f9217c5SSjoerd Meijer  %tmp0 = call i64 %binop(i64 %x)
334f9217c5SSjoerd Meijer  ret i64 %tmp0
344f9217c5SSjoerd Meijer}
354f9217c5SSjoerd Meijer
364f9217c5SSjoerd Meijerdefine internal i64 @plus(i64 %x) {
374f9217c5SSjoerd Meijerentry:
384f9217c5SSjoerd Meijer  %tmp0 = add i64 %x, 1
394f9217c5SSjoerd Meijer  ret i64 %tmp0
404f9217c5SSjoerd Meijer}
414f9217c5SSjoerd Meijer
424f9217c5SSjoerd Meijerdefine internal i64 @minus(i64 %x) {
434f9217c5SSjoerd Meijerentry:
444f9217c5SSjoerd Meijer  %tmp0 = sub i64 %x, 1
454f9217c5SSjoerd Meijer  ret i64 %tmp0
464f9217c5SSjoerd Meijer}
474f9217c5SSjoerd Meijer
484f9217c5SSjoerd Meijerattributes #0 = { minsize optsize }
49