1; RUN: opt -passes='loop-unroll-full' -disable-verify -disable-loop-unrolling=true --mtriple x86_64-pc-linux-gnu -S -o - %s | FileCheck %s
2
3; This checks that the loop full unroller will fire in the new pass manager
4; when forced via #pragma in the source (or annotation in the code).
5
6; Completely unroll the inner loop
7; CHECK-LABEL: @foo
8; CHECK: br i1
9; CHECK-NOT: br i1
10
11; Function Attrs: noinline nounwind optnone uwtable
12define void @foo() local_unnamed_addr #0 {
13bb:
14  %tmp = alloca [5 x i32*], align 16
15  br label %bb7.preheader
16
17bb3.loopexit:                                     ; preds = %bb10
18  %spec.select.lcssa = phi i32 [ %spec.select, %bb10 ]
19  %tmp5.not = icmp eq i32 %spec.select.lcssa, 0
20  br i1 %tmp5.not, label %bb24, label %bb7.preheader
21
22bb7.preheader:                                    ; preds = %bb3.loopexit, %bb
23  %tmp1.06 = phi i32 [ 5, %bb ], [ %spec.select.lcssa, %bb3.loopexit ]
24  br label %bb10
25
26bb10:                                             ; preds = %bb10, %bb7.preheader
27  %indvars.iv = phi i64 [ 0, %bb7.preheader ], [ %indvars.iv.next, %bb10 ]
28  %tmp1.14 = phi i32 [ %tmp1.06, %bb7.preheader ], [ %spec.select, %bb10 ]
29  %tmp13 = getelementptr inbounds [5 x i32*], [5 x i32*]* %tmp, i64 0, i64 %indvars.iv
30  %tmp14 = load i32*, i32** %tmp13, align 8
31  %tmp15.not = icmp ne i32* %tmp14, null
32  %tmp18 = sext i1 %tmp15.not to i32
33  %spec.select = add nsw i32 %tmp1.14, %tmp18
34  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
35  %exitcond.not = icmp eq i64 %indvars.iv.next, 5
36  br i1 %exitcond.not, label %bb3.loopexit, label %bb10, !llvm.loop !1
37
38bb24:                                             ; preds = %bb3.loopexit
39  ret void
40}
41
42attributes #0 = { nounwind uwtable }
43
44!llvm.module.flags = !{!0}
45
46!0 = !{i32 1, !"wchar_size", i32 4}
47!1 = distinct !{!1, !2}
48!2 = !{!"llvm.loop.unroll.full"}
49