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