Skip to content

Commit c6673b8

Browse files
alexey-bataevGroverkss
authored andcommitted
[SLP][NFC]Add a test with the missed vectorization opportunity for stores with same address
1 parent ece4023 commit c6673b8

File tree

1 file changed

+31
-0
lines changed

1 file changed

+31
-0
lines changed
Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2+
; RUN: opt -S --passes=slp-vectorizer -mtriple=riscv64-unknown-linux -mattr=+v < %s | FileCheck %s
3+
4+
define void @test(ptr %dest) {
5+
; CHECK-LABEL: define void @test(
6+
; CHECK-SAME: ptr [[DEST:%.*]]) #[[ATTR0:[0-9]+]] {
7+
; CHECK-NEXT: [[ENTRY:.*:]]
8+
; CHECK-NEXT: [[INC3:%.*]] = getelementptr inbounds i32, ptr [[DEST]], i64 3
9+
; CHECK-NEXT: store i32 1, ptr [[INC3]], align 2
10+
; CHECK-NEXT: store i32 1, ptr [[DEST]], align 4
11+
; CHECK-NEXT: [[INC1:%.*]] = getelementptr inbounds i32, ptr [[DEST]], i64 1
12+
; CHECK-NEXT: store i32 1, ptr [[INC1]], align 2
13+
; CHECK-NEXT: [[INC2:%.*]] = getelementptr inbounds i32, ptr [[DEST]], i64 2
14+
; CHECK-NEXT: store i32 1, ptr [[INC2]], align 2
15+
; CHECK-NEXT: store i32 2, ptr [[DEST]], align 2
16+
; CHECK-NEXT: store i32 1, ptr [[INC3]], align 2
17+
; CHECK-NEXT: ret void
18+
;
19+
entry:
20+
%inc3 = getelementptr inbounds i32, ptr %dest, i64 3
21+
store i32 1, ptr %inc3, align 2
22+
23+
store i32 1, ptr %dest, align 4
24+
%inc1 = getelementptr inbounds i32, ptr %dest, i64 1
25+
store i32 1, ptr %inc1, align 2
26+
%inc2 = getelementptr inbounds i32, ptr %dest, i64 2
27+
store i32 1, ptr %inc2, align 2
28+
store i32 2, ptr %dest, align 2
29+
store i32 1, ptr %inc3, align 2
30+
ret void
31+
}

0 commit comments

Comments
 (0)