Skip to content

Commit e15e510

Browse files
alexey-bataevalexey-bataev
authored
[SLP][NFC] Add a test with the optimistic extractelements emission, NFC
Reviewers: Pull Request: #201192
1 parent b89bb06 commit e15e510

1 file changed

Lines changed: 71 additions & 0 deletions

File tree

‎llvm/test/Transforms/SLPVectorizer/ARM/extract-cost-scale-nullptr-user.ll‎

Lines changed: 71 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,71 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
2+
; RUN: opt -passes=slp-vectorizer -mtriple=thumbv8.1m.main-unknown-none-eabihf -S -mattr=+mve < %s | FileCheck %s
3+
4+
define void @test(ptr %p) {
5+
; CHECK-LABEL: define void @test(
6+
; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR0:[0-9]+]] {
7+
; CHECK-NEXT: [[ENTRY:.*]]:
8+
; CHECK-NEXT: br label %[[LOOP:.*]]
9+
; CHECK: [[LOOP]]:
10+
; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, %[[ENTRY]] ], [ [[NIV:%.*]], %[[LOOP]] ]
11+
; CHECK-NEXT: [[TMP0:%.*]] = phi <4 x i32> [ zeroinitializer, %[[ENTRY]] ], [ [[TMP2:%.*]], %[[LOOP]] ]
12+
; CHECK-NEXT: [[TMP1:%.*]] = extractelement <4 x i32> [[TMP0]], i32 3
13+
; CHECK-NEXT: [[A0:%.*]] = getelementptr i8, ptr [[P]], i32 [[TMP1]]
14+
; CHECK-NEXT: store i8 0, ptr [[A0]], align 1
15+
; CHECK-NEXT: [[A1:%.*]] = getelementptr i8, ptr [[P]], i32 [[TMP1]]
16+
; CHECK-NEXT: store i8 1, ptr [[A1]], align 1
17+
; CHECK-NEXT: [[A2:%.*]] = getelementptr i8, ptr [[P]], i32 [[TMP1]]
18+
; CHECK-NEXT: store i8 2, ptr [[A2]], align 1
19+
; CHECK-NEXT: [[A3:%.*]] = getelementptr i8, ptr [[P]], i32 [[TMP1]]
20+
; CHECK-NEXT: store i8 3, ptr [[A3]], align 1
21+
; CHECK-NEXT: [[A4:%.*]] = getelementptr i8, ptr [[P]], i32 [[TMP1]]
22+
; CHECK-NEXT: store i8 4, ptr [[A4]], align 1
23+
; CHECK-NEXT: [[A5:%.*]] = getelementptr i8, ptr [[P]], i32 [[TMP1]]
24+
; CHECK-NEXT: store i8 5, ptr [[A5]], align 1
25+
; CHECK-NEXT: [[A6:%.*]] = getelementptr i8, ptr [[P]], i32 [[TMP1]]
26+
; CHECK-NEXT: store i8 6, ptr [[A6]], align 1
27+
; CHECK-NEXT: [[A7:%.*]] = getelementptr i8, ptr [[P]], i32 [[TMP1]]
28+
; CHECK-NEXT: store i8 7, ptr [[A7]], align 1
29+
; CHECK-NEXT: [[TMP2]] = add nuw nsw <4 x i32> [[TMP0]], <i32 32, i32 32, i32 32, i32 16>
30+
; CHECK-NEXT: [[NIV]] = add nuw nsw i32 [[IV]], 16
31+
; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[NIV]], 512
32+
; CHECK-NEXT: br i1 [[C]], label %[[EXIT:.*]], label %[[LOOP]]
33+
; CHECK: [[EXIT]]:
34+
; CHECK-NEXT: ret void
35+
;
36+
entry:
37+
br label %loop
38+
39+
loop:
40+
%i0 = phi i32 [ 0, %entry ], [ %n0, %loop ]
41+
%i1 = phi i32 [ 0, %entry ], [ %n1, %loop ]
42+
%i2 = phi i32 [ 0, %entry ], [ %n2, %loop ]
43+
%i3 = phi i32 [ 0, %entry ], [ %n3, %loop ]
44+
%iv = phi i32 [ 0, %entry ], [ %niv, %loop ]
45+
%a0 = getelementptr i8, ptr %p, i32 %i1
46+
store i8 0, ptr %a0, align 1
47+
%a1 = getelementptr i8, ptr %p, i32 %i1
48+
store i8 1, ptr %a1, align 1
49+
%a2 = getelementptr i8, ptr %p, i32 %i1
50+
store i8 2, ptr %a2, align 1
51+
%a3 = getelementptr i8, ptr %p, i32 %i1
52+
store i8 3, ptr %a3, align 1
53+
%a4 = getelementptr i8, ptr %p, i32 %i1
54+
store i8 4, ptr %a4, align 1
55+
%a5 = getelementptr i8, ptr %p, i32 %i1
56+
store i8 5, ptr %a5, align 1
57+
%a6 = getelementptr i8, ptr %p, i32 %i1
58+
store i8 6, ptr %a6, align 1
59+
%a7 = getelementptr i8, ptr %p, i32 %i1
60+
store i8 7, ptr %a7, align 1
61+
%n0 = add nuw nsw i32 %i0, 32
62+
%n1 = add nuw nsw i32 %i1, 16
63+
%n2 = add nuw nsw i32 %i2, 32
64+
%n3 = add nuw nsw i32 %i3, 32
65+
%niv = add nuw nsw i32 %iv, 16
66+
%c = icmp eq i32 %niv, 512
67+
br i1 %c, label %exit, label %loop
68+
69+
exit:
70+
ret void
71+
}

0 commit comments

Comments
 (0)