1; RUN: opt -function-specialization -force-function-specialization -func-specialization-max-iters=2 -S < %s | FileCheck %s
2
3; Alloca is not an integer type:
4;
5; CHECK:     @recursiveFunc.1
6; CHECK-NOT: @recursiveFunc.2
7
8@Global = internal constant i32 1, align 4
9
10define internal void @recursiveFunc(i32* nocapture readonly %arg) {
11  %temp = alloca float, align 4
12  %arg.load = load i32, i32* %arg, align 4
13  %arg.cmp = icmp slt i32 %arg.load, 4
14  br i1 %arg.cmp, label %block6, label %ret.block
15
16block6:
17  call void @print_val(i32 %arg.load)
18  %arg.add = add nsw i32 %arg.load, 1
19  %bc = bitcast float* %temp to i32*
20  call void @recursiveFunc(i32* nonnull %bc)
21  br label %ret.block
22
23ret.block:
24  ret void
25}
26
27define i32 @main() {
28  call void @recursiveFunc(i32* nonnull @Global)
29  ret i32 0
30}
31
32declare dso_local void @print_val(i32)
33