1; RUN: opt < %s  -loop-vectorize -force-vector-interleave=1 -dce -instcombine -S | FileCheck %s
2
3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
4
5; CHECK-LABEL: @test1(
6; CHECK: store <8 x i32>
7; CHECK: ret void
8define void @test1(i32* nocapture %a, i32 %n) #0 {
9entry:
10  %cmp4 = icmp sgt i32 %n, 0
11  br i1 %cmp4, label %for.body, label %for.end
12
13for.body:                                         ; preds = %entry, %for.body
14  %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]
15  %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
16  %0 = trunc i64 %indvars.iv to i32
17  store i32 %0, i32* %arrayidx, align 4
18  %indvars.iv.next = add i64 %indvars.iv, 1
19  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
20  %exitcond = icmp eq i32 %lftr.wideiv, %n
21  br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !0
22
23for.end:                                          ; preds = %for.body, %entry
24  ret void
25}
26
27; CHECK-LABEL: @test2(
28; CHECK: store <8 x i32>
29; CHECK: ret void
30define void @test2(i32* nocapture %a, i32 %n) #0 {
31entry:
32  %cmp4 = icmp sgt i32 %n, 0
33  br i1 %cmp4, label %for.body, label %for.end
34
35for.body:                                         ; preds = %entry, %for.body
36  %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]
37  %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
38  %0 = trunc i64 %indvars.iv to i32
39  store i32 %0, i32* %arrayidx, align 4
40  %indvars.iv.next = add i64 %indvars.iv, 1
41  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
42  %exitcond = icmp eq i32 %lftr.wideiv, %n
43  br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !2
44
45for.end:                                          ; preds = %for.body, %entry
46  ret void
47}
48
49; CHECK-LABEL: @test3(
50; CHECK: store <8 x i32>
51; CHECK: ret void
52define void @test3(i32* nocapture %a, i32 %n) #0 {
53entry:
54  %cmp4 = icmp sgt i32 %n, 0
55  br i1 %cmp4, label %for.body, label %for.end
56
57for.body:                                         ; preds = %entry, %for.body
58  %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]
59  %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
60  %0 = trunc i64 %indvars.iv to i32
61  store i32 %0, i32* %arrayidx, align 4
62  %indvars.iv.next = add i64 %indvars.iv, 1
63  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
64  %exitcond = icmp eq i32 %lftr.wideiv, %n
65  br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !4
66
67for.end:                                          ; preds = %for.body, %entry
68  ret void
69}
70
71attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
72
73!0 = !{!0, !1}
74!1 = !{!"llvm.loop.vectorize.width", i32 8}
75!2 = !{!2, !1, !3}
76!3 = !{!"llvm.loop.vectorize.scalable.enable", i32 1}
77!4 = !{!4, !1, !5}
78!5 = !{!"llvm.loop.vectorize.scalable.enable", i32 0}
79