1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -passes=loop-vectorize -force-vector-width=1 -force-vector-interleave=2 -S %s | FileCheck %s
3
4define void @test1_select_invariant(ptr %src.1, ptr %src.2, ptr %dst, i1 %c, i8 %n) {
5; CHECK-LABEL: @test1_select_invariant(
6; CHECK-NEXT:  entry:
7; CHECK-NEXT:    [[PTR_SEL:%.*]] = select i1 [[C:%.*]], ptr [[SRC_1:%.*]], ptr [[SRC_2:%.*]]
8; CHECK-NEXT:    [[TMP0:%.*]] = add i8 [[N:%.*]], -1
9; CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[TMP0]] to i32
10; CHECK-NEXT:    [[TMP2:%.*]] = add nuw nsw i32 [[TMP1]], 1
11; CHECK-NEXT:    [[MIN_ITERS_CHECK:%.*]] = icmp ult i32 [[TMP2]], 2
12; CHECK-NEXT:    br i1 [[MIN_ITERS_CHECK]], label %scalar.ph, label %vector.memcheck
13; CHECK:       vector.memcheck:
14; CHECK-NEXT:    [[TMP3:%.*]] = add i8 [[N]], -1
15; CHECK-NEXT:    [[TMP4:%.*]] = zext i8 [[TMP3]] to i64
16; CHECK-NEXT:    [[TMP5:%.*]] = add nuw nsw i64 [[TMP4]], 1
17; CHECK-NEXT:    [[UGLYGEP:%.*]] = getelementptr i8, ptr [[DST:%.*]], i64 [[TMP5]]
18; CHECK-NEXT:    [[UGLYGEP1:%.*]] = getelementptr i8, ptr [[PTR_SEL]], i64 1
19; CHECK-NEXT:    [[BOUND0:%.*]] = icmp ult ptr [[DST]], [[UGLYGEP1]]
20; CHECK-NEXT:    [[BOUND1:%.*]] = icmp ult ptr [[PTR_SEL]], [[UGLYGEP]]
21; CHECK-NEXT:    [[FOUND_CONFLICT:%.*]] = and i1 [[BOUND0]], [[BOUND1]]
22; CHECK-NEXT:    br i1 [[FOUND_CONFLICT]], label %scalar.ph, label %vector.ph
23;
24entry:
25  %ptr.sel = select i1 %c, ptr %src.1, ptr %src.2
26  br label %loop
27
28loop:
29  %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop ]
30  %l.1 = load i8, ptr %ptr.sel, align 8
31  %gep.dst = getelementptr i8, ptr %dst, i8 %iv
32  store i8 %l.1, ptr %gep.dst, align 2
33  %iv.next = add nsw nuw i8 %iv, 1
34  %ec = icmp eq i8 %iv.next, %n
35  br i1 %ec, label %exit, label %loop
36
37exit:
38  ret void
39}
40
41define void @test_loop_dependent_select1(ptr %src.1, ptr %src.2, ptr %dst, i1 %c, i8 %n) {
42; CHECK-LABEL: @test_loop_dependent_select1(
43; CHECK-NEXT:  entry:
44; CHECK-NEXT:    br label %loop
45; CHECK-NOT: vector.body:
46;
47entry:
48  br label %loop
49
50loop:
51  %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop ]
52  %gep.src.1 = getelementptr i8, ptr %src.1, i8 %iv
53  %gep.src.2 = getelementptr i8, ptr %src.2, i8 %iv
54  %ptr.sel = select i1 %c, ptr %gep.src.1, ptr %gep.src.2
55  %l.1 = load i8, ptr %ptr.sel, align 8
56  %gep.dst = getelementptr i8, ptr %dst, i8 %iv
57  store i8 %l.1, ptr %gep.dst, align 2
58  %iv.next = add nsw nuw i8 %iv, 1
59  %ec = icmp eq i8 %iv.next, %n
60  br i1 %ec, label %exit, label %loop
61
62exit:
63  ret void
64}
65
66
67define void @test_loop_dependent_select2(ptr %src.1, ptr %src.2, ptr %dst, i8 %n, i8 %x) {
68; CHECK-LABEL: @test_loop_dependent_select2(
69; CHECK-NEXT:  entry:
70; CHECK-NEXT:    br label %loop
71; CHECK-NOT: vector.body:
72;
73entry:
74  br label %loop
75
76loop:
77  %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop ]
78  %c = icmp ult i8 %iv, %x
79  %ptr.sel = select i1 %c, ptr %src.1, ptr %src.2
80  %l.1 = load i8, ptr %ptr.sel, align 8
81  %gep.dst = getelementptr i8, ptr %dst, i8 %iv
82  store i8 %l.1, ptr %gep.dst, align 2
83  %iv.next = add nsw nuw i8 %iv, 1
84  %ec = icmp eq i8 %iv.next, %n
85  br i1 %ec, label %exit, label %loop
86
87exit:
88  ret void
89}
90
91define void @test_loop_dependent_select_first_ptr_noundef(ptr noundef %src.1, ptr %src.2, ptr %dst, i8 %n, i8 %x) {
92; CHECK-LABEL: @test_loop_dependent_select_first_ptr_noundef(
93; CHECK-NEXT:  entry:
94; CHECK-NEXT:    br label %loop
95; CHECK-NOT: vector.body:
96;
97entry:
98  br label %loop
99
100loop:
101  %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop ]
102  %c = icmp ult i8 %iv, %x
103  %ptr.sel = select i1 %c, ptr %src.1, ptr %src.2
104  %l.1 = load i8, ptr %ptr.sel, align 8
105  %gep.dst = getelementptr i8, ptr %dst, i8 %iv
106  store i8 %l.1, ptr %gep.dst, align 2
107  %iv.next = add nsw nuw i8 %iv, 1
108  %ec = icmp eq i8 %iv.next, %n
109  br i1 %ec, label %exit, label %loop
110
111exit:
112  ret void
113}
114
115define void @test_loop_dependent_select_second_ptr_noundef(ptr %src.1, ptr noundef %src.2, ptr %dst, i8 %n, i8 %x) {
116; CHECK-LABEL: @test_loop_dependent_select_second_ptr_noundef(
117; CHECK-NEXT:  entry:
118; CHECK-NEXT:    br label %loop
119; CHECK-NOT: vector.body:
120;
121entry:
122  br label %loop
123
124loop:
125  %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop ]
126  %c = icmp ult i8 %iv, %x
127  %ptr.sel = select i1 %c, ptr %src.1, ptr %src.2
128  %l.1 = load i8, ptr %ptr.sel, align 8
129  %gep.dst = getelementptr i8, ptr %dst, i8 %iv
130  store i8 %l.1, ptr %gep.dst, align 2
131  %iv.next = add nsw nuw i8 %iv, 1
132  %ec = icmp eq i8 %iv.next, %n
133  br i1 %ec, label %exit, label %loop
134
135exit:
136  ret void
137}
138