1a1e8b754SSjoerd Meijer; RUN: opt -function-specialization -func-specialization-size-threshold=3 -S < %s | FileCheck %s 2c4a0969bSSjoerd Meijer 3a1e8b754SSjoerd Meijerdefine i64 @main(i64 %x, i1 %flag) { 4a1e8b754SSjoerd Meijer; 5c4a0969bSSjoerd Meijer; CHECK-LABEL: @main(i64 %x, i1 %flag) { 6c4a0969bSSjoerd Meijer; CHECK: entry: 7c4a0969bSSjoerd Meijer; CHECK-NEXT: br i1 %flag, label %plus, label %minus 8c4a0969bSSjoerd Meijer; CHECK: plus: 9a1e8b754SSjoerd Meijer; CHECK-NEXT: [[TMP0:%.+]] = call i64 @compute.1(i64 %x, i64 (i64)* @plus) 10a1e8b754SSjoerd Meijer; CHECK-NEXT: br label %merge 11c4a0969bSSjoerd Meijer; CHECK: minus: 12a1e8b754SSjoerd Meijer; CHECK-NEXT: [[TMP1:%.+]] = call i64 @compute.2(i64 %x, i64 (i64)* @minus) 13c4a0969bSSjoerd Meijer; CHECK-NEXT: br label %merge 14c4a0969bSSjoerd Meijer; CHECK: merge: 15c4a0969bSSjoerd Meijer; CHECK-NEXT: [[TMP2:%.+]] = phi i64 [ [[TMP0]], %plus ], [ [[TMP1]], %minus ] 16c4a0969bSSjoerd Meijer; CHECK-NEXT: ret i64 [[TMP2]] 17c4a0969bSSjoerd Meijer; CHECK-NEXT: } 18c4a0969bSSjoerd Meijer; 19c4a0969bSSjoerd Meijerentry: 20c4a0969bSSjoerd Meijer br i1 %flag, label %plus, label %minus 21c4a0969bSSjoerd Meijer 22c4a0969bSSjoerd Meijerplus: 23c4a0969bSSjoerd Meijer %tmp0 = call i64 @compute(i64 %x, i64 (i64)* @plus) 24c4a0969bSSjoerd Meijer br label %merge 25c4a0969bSSjoerd Meijer 26c4a0969bSSjoerd Meijerminus: 27c4a0969bSSjoerd Meijer %tmp1 = call i64 @compute(i64 %x, i64 (i64)* @minus) 28c4a0969bSSjoerd Meijer br label %merge 29c4a0969bSSjoerd Meijer 30c4a0969bSSjoerd Meijermerge: 31c4a0969bSSjoerd Meijer %tmp2 = phi i64 [ %tmp0, %plus ], [ %tmp1, %minus] 32c4a0969bSSjoerd Meijer ret i64 %tmp2 33c4a0969bSSjoerd Meijer} 34c4a0969bSSjoerd Meijer 35*33830326SAlexandros Lamprineas; CHECK-NOT: define internal i64 @compute( 36*33830326SAlexandros Lamprineas; 37a1e8b754SSjoerd Meijer; CHECK-LABEL: define internal i64 @compute.1(i64 %x, i64 (i64)* %binop) { 38a1e8b754SSjoerd Meijer; CHECK-NEXT: entry: 39a1e8b754SSjoerd Meijer; CHECK-NEXT: [[TMP0:%.+]] = call i64 @plus(i64 %x) 40a1e8b754SSjoerd Meijer; CHECK-NEXT: ret i64 [[TMP0]] 41a1e8b754SSjoerd Meijer; CHECK-NEXT: } 42a1e8b754SSjoerd Meijer; 43a1e8b754SSjoerd Meijer; CHECK-LABEL: define internal i64 @compute.2(i64 %x, i64 (i64)* %binop) { 44a1e8b754SSjoerd Meijer; CHECK-NEXT: entry: 45a1e8b754SSjoerd Meijer; CHECK-NEXT: [[TMP0:%.+]] = call i64 @minus(i64 %x) 46a1e8b754SSjoerd Meijer; CHECK-NEXT: ret i64 [[TMP0]] 47a1e8b754SSjoerd Meijer; CHECK-NEXT: } 48a1e8b754SSjoerd Meijer; 49c4a0969bSSjoerd Meijerdefine internal i64 @compute(i64 %x, i64 (i64)* %binop) { 50c4a0969bSSjoerd Meijerentry: 51c4a0969bSSjoerd Meijer %tmp0 = call i64 %binop(i64 %x) 52c4a0969bSSjoerd Meijer ret i64 %tmp0 53c4a0969bSSjoerd Meijer} 54c4a0969bSSjoerd Meijer 55c4a0969bSSjoerd Meijerdefine internal i64 @plus(i64 %x) { 56c4a0969bSSjoerd Meijerentry: 57c4a0969bSSjoerd Meijer %tmp0 = add i64 %x, 1 58c4a0969bSSjoerd Meijer ret i64 %tmp0 59c4a0969bSSjoerd Meijer} 60c4a0969bSSjoerd Meijer 61c4a0969bSSjoerd Meijerdefine internal i64 @minus(i64 %x) { 62c4a0969bSSjoerd Meijerentry: 63c4a0969bSSjoerd Meijer %tmp0 = sub i64 %x, 1 64c4a0969bSSjoerd Meijer ret i64 %tmp0 65c4a0969bSSjoerd Meijer} 66