1f952bc05SAlexandros Lamprineas; RUN: opt -passes="ipsccp<func-spec>" -S < %s | FileCheck %s 2071dbaecSSjoerd Meijer 3*e15d72adSAlexandros Lamprineas; CHECK-NOT: @compute.specialized.1 4*e15d72adSAlexandros Lamprineas; CHECK-NOT: @compute.specialized.2 5071dbaecSSjoerd Meijer 6071dbaecSSjoerd Meijerdefine i64 @main(i64 %x, i1 %flag) { 7071dbaecSSjoerd Meijerentry: 8071dbaecSSjoerd Meijer br i1 %flag, label %plus, label %minus 9071dbaecSSjoerd Meijer 10071dbaecSSjoerd Meijerplus: 11ebdf5aefSMatt Arsenault %tmp0 = call i64 @compute(i64 %x, ptr @plus) 12071dbaecSSjoerd Meijer br label %merge 13071dbaecSSjoerd Meijer 14071dbaecSSjoerd Meijerminus: 15ebdf5aefSMatt Arsenault %tmp1 = call i64 @compute(i64 %x, ptr @minus) 16071dbaecSSjoerd Meijer br label %merge 17071dbaecSSjoerd Meijer 18071dbaecSSjoerd Meijermerge: 19071dbaecSSjoerd Meijer %tmp2 = phi i64 [ %tmp0, %plus ], [ %tmp1, %minus] 20071dbaecSSjoerd Meijer ret i64 %tmp2 21071dbaecSSjoerd Meijer} 22071dbaecSSjoerd Meijer 23ebdf5aefSMatt Arsenaultdefine internal i64 @compute(i64 %x, ptr %binop) minsize { 24071dbaecSSjoerd Meijerentry: 25071dbaecSSjoerd Meijer %tmp0 = call i64 %binop(i64 %x) 26071dbaecSSjoerd Meijer ret i64 %tmp0 27071dbaecSSjoerd Meijer} 28071dbaecSSjoerd Meijer 29071dbaecSSjoerd Meijerdefine internal i64 @plus(i64 %x) { 30071dbaecSSjoerd Meijerentry: 31071dbaecSSjoerd Meijer %tmp0 = add i64 %x, 1 32071dbaecSSjoerd Meijer ret i64 %tmp0 33071dbaecSSjoerd Meijer} 34071dbaecSSjoerd Meijer 35071dbaecSSjoerd Meijerdefine internal i64 @minus(i64 %x) { 36071dbaecSSjoerd Meijerentry: 37071dbaecSSjoerd Meijer %tmp0 = sub i64 %x, 1 38071dbaecSSjoerd Meijer ret i64 %tmp0 39071dbaecSSjoerd Meijer} 40