Skip to content

Commit fa985b5

Browse files
alexey-bataevalexey-bataev
committed
[SLP][NFC]Add a test with missed reordering of the interleaved loads
1 parent c8f2cda commit fa985b5

File tree

1 file changed

+129
-0
lines changed

1 file changed

+129
-0
lines changed

‎llvm/test/Transforms/SLPVectorizer/RISCV/reordered-interleaved-loads.ll

Lines changed: 129 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,129 @@
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-gnu -mattr=+v %s | FileCheck %s
3+
4+
@h = external global [21 x i16]
5+
@a = external global [21 x [21 x i16]]
6+
7+
define i1 @test(i32 %conv15.12, i16 %0, ptr %1, i16 %2, i16 %3, i16 %4, i16 %5, i32 %conv15.1.3, i16 %6, i32 %conv15.1.4) {
8+
; CHECK-LABEL: define i1 @test(
9+
; CHECK-SAME: i32 [[CONV15_12:%.*]], i16 [[TMP0:%.*]], ptr [[TMP1:%.*]], i16 [[TMP2:%.*]], i16 [[TMP3:%.*]], i16 [[TMP4:%.*]], i16 [[TMP5:%.*]], i32 [[CONV15_1_3:%.*]], i16 [[TMP6:%.*]], i32 [[CONV15_1_4:%.*]]) #[[ATTR0:[0-9]+]] {
10+
; CHECK-NEXT: [[ENTRY:.*:]]
11+
; CHECK-NEXT: [[TMP7:%.*]] = load i16, ptr [[TMP1]], align 2
12+
; CHECK-NEXT: [[TMP8:%.*]] = load i16, ptr @h, align 2
13+
; CHECK-NEXT: [[TMP9:%.*]] = load <16 x i16>, ptr getelementptr inbounds nuw (i8, ptr @h, i64 6), align 2
14+
; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <16 x i16> [[TMP9]], <16 x i16> poison, <4 x i32> <i32 0, i32 3, i32 6, i32 9>
15+
; CHECK-NEXT: [[TMP11:%.*]] = insertelement <8 x i16> poison, i16 [[TMP6]], i32 0
16+
; CHECK-NEXT: [[TMP12:%.*]] = insertelement <8 x i16> [[TMP11]], i16 [[TMP5]], i32 1
17+
; CHECK-NEXT: [[TMP13:%.*]] = insertelement <8 x i16> [[TMP12]], i16 [[TMP4]], i32 2
18+
; CHECK-NEXT: [[TMP14:%.*]] = insertelement <8 x i16> [[TMP13]], i16 [[TMP3]], i32 3
19+
; CHECK-NEXT: [[TMP15:%.*]] = insertelement <8 x i16> [[TMP14]], i16 [[TMP2]], i32 4
20+
; CHECK-NEXT: [[TMP16:%.*]] = insertelement <8 x i16> [[TMP15]], i16 [[TMP0]], i32 6
21+
; CHECK-NEXT: [[TMP17:%.*]] = insertelement <8 x i16> [[TMP16]], i16 [[TMP8]], i32 5
22+
; CHECK-NEXT: [[TMP18:%.*]] = insertelement <8 x i16> [[TMP17]], i16 [[TMP7]], i32 7
23+
; CHECK-NEXT: [[TMP19:%.*]] = sext <8 x i16> [[TMP18]] to <8 x i32>
24+
; CHECK-NEXT: [[TMP20:%.*]] = call <8 x i32> @llvm.smax.v8i32(<8 x i32> [[TMP19]], <8 x i32> zeroinitializer)
25+
; CHECK-NEXT: [[TMP21:%.*]] = call <8 x i16> @llvm.vector.insert.v8i16.v4i16(<8 x i16> [[TMP18]], <4 x i16> [[TMP10]], i64 0)
26+
; CHECK-NEXT: [[TMP22:%.*]] = icmp eq <8 x i16> [[TMP21]], zeroinitializer
27+
; CHECK-NEXT: [[TMP23:%.*]] = select <8 x i1> [[TMP22]], <8 x i32> splat (i32 8), <8 x i32> [[TMP19]]
28+
; CHECK-NEXT: [[TMP24:%.*]] = insertelement <8 x i32> [[TMP19]], i32 [[CONV15_1_4]], i32 0
29+
; CHECK-NEXT: [[TMP25:%.*]] = insertelement <8 x i32> [[TMP24]], i32 [[CONV15_1_3]], i32 1
30+
; CHECK-NEXT: [[TMP26:%.*]] = insertelement <8 x i32> [[TMP25]], i32 [[CONV15_12]], i32 7
31+
; CHECK-NEXT: [[TMP27:%.*]] = xor <8 x i32> [[TMP23]], [[TMP26]]
32+
; CHECK-NEXT: [[TMP28:%.*]] = icmp sgt <8 x i32> [[TMP20]], [[TMP27]]
33+
; CHECK-NEXT: [[TMP29:%.*]] = extractelement <8 x i1> [[TMP28]], i32 7
34+
; CHECK-NEXT: [[CONV30_18:%.*]] = zext i1 [[TMP29]] to i16
35+
; CHECK-NEXT: store i16 [[CONV30_18]], ptr @a, align 2
36+
; CHECK-NEXT: [[TMP30:%.*]] = extractelement <8 x i1> [[TMP28]], i32 6
37+
; CHECK-NEXT: [[CONV30_219:%.*]] = zext i1 [[TMP30]] to i16
38+
; CHECK-NEXT: store i16 [[CONV30_219]], ptr @a, align 2
39+
; CHECK-NEXT: [[TMP31:%.*]] = extractelement <8 x i1> [[TMP28]], i32 5
40+
; CHECK-NEXT: [[CONV30_330:%.*]] = zext i1 [[TMP31]] to i16
41+
; CHECK-NEXT: store i16 [[CONV30_330]], ptr @a, align 2
42+
; CHECK-NEXT: [[TMP32:%.*]] = extractelement <8 x i1> [[TMP28]], i32 4
43+
; CHECK-NEXT: [[CONV30_4:%.*]] = zext i1 [[TMP32]] to i16
44+
; CHECK-NEXT: store i16 [[CONV30_4]], ptr @a, align 2
45+
; CHECK-NEXT: [[TMP33:%.*]] = extractelement <8 x i1> [[TMP28]], i32 3
46+
; CHECK-NEXT: [[CONV30_1_1:%.*]] = zext i1 [[TMP33]] to i16
47+
; CHECK-NEXT: store i16 [[CONV30_1_1]], ptr @a, align 2
48+
; CHECK-NEXT: [[TMP34:%.*]] = extractelement <8 x i1> [[TMP28]], i32 2
49+
; CHECK-NEXT: [[CONV30_1_2:%.*]] = zext i1 [[TMP34]] to i16
50+
; CHECK-NEXT: store i16 [[CONV30_1_2]], ptr @a, align 2
51+
; CHECK-NEXT: [[TMP35:%.*]] = extractelement <8 x i1> [[TMP28]], i32 1
52+
; CHECK-NEXT: [[CONV30_1_3:%.*]] = zext i1 [[TMP35]] to i16
53+
; CHECK-NEXT: store i16 [[CONV30_1_3]], ptr @a, align 2
54+
; CHECK-NEXT: [[TMP36:%.*]] = extractelement <8 x i1> [[TMP28]], i32 0
55+
; CHECK-NEXT: ret i1 [[TMP36]]
56+
;
57+
entry:
58+
%7 = load i16, ptr %1, align 2
59+
%conv15.121 = sext i16 %7 to i32
60+
%cond.13 = tail call i32 @llvm.smax.i32(i32 %conv15.121, i32 0)
61+
%tobool.not.14 = icmp eq i16 %7, 0
62+
%cond27.15 = select i1 %tobool.not.14, i32 8, i32 %conv15.121
63+
%xor.16 = xor i32 %cond27.15, %conv15.12
64+
%cmp28.17 = icmp sgt i32 %cond.13, %xor.16
65+
%conv30.18 = zext i1 %cmp28.17 to i16
66+
store i16 %conv30.18, ptr @a, align 2
67+
%conv15.213 = sext i16 %0 to i32
68+
%cond.214 = tail call i32 @llvm.smax.i32(i32 %conv15.213, i32 0)
69+
%tobool.not.215 = icmp eq i16 %0, 0
70+
%cond27.216 = select i1 %tobool.not.215, i32 8, i32 %conv15.213
71+
%xor.217 = xor i32 %cond27.216, %conv15.213
72+
%cmp28.218 = icmp sgt i32 %cond.214, %xor.217
73+
%conv30.219 = zext i1 %cmp28.218 to i16
74+
store i16 %conv30.219, ptr @a, align 2
75+
%8 = load i16, ptr @h, align 2
76+
%conv15.324 = sext i16 %8 to i32
77+
%cond.325 = tail call i32 @llvm.smax.i32(i32 %conv15.324, i32 0)
78+
%tobool.not.326 = icmp eq i16 %8, 0
79+
%cond27.327 = select i1 %tobool.not.326, i32 8, i32 %conv15.324
80+
%xor.328 = xor i32 %cond27.327, %conv15.324
81+
%cmp28.329 = icmp sgt i32 %cond.325, %xor.328
82+
%conv30.330 = zext i1 %cmp28.329 to i16
83+
store i16 %conv30.330, ptr @a, align 2
84+
%conv15.4 = sext i16 %2 to i32
85+
%cond.4 = tail call i32 @llvm.smax.i32(i32 %conv15.4, i32 0)
86+
%tobool.not.4 = icmp eq i16 %2, 0
87+
%cond27.4 = select i1 %tobool.not.4, i32 8, i32 %conv15.4
88+
%xor.4 = xor i32 %cond27.4, %conv15.4
89+
%cmp28.4 = icmp sgt i32 %cond.4, %xor.4
90+
%conv30.4 = zext i1 %cmp28.4 to i16
91+
store i16 %conv30.4, ptr @a, align 2
92+
%9 = load i16, ptr getelementptr inbounds nuw (i8, ptr @h, i64 6), align 2
93+
%conv15.1.1 = sext i16 %3 to i32
94+
%cond.1.1 = tail call i32 @llvm.smax.i32(i32 %conv15.1.1, i32 0)
95+
%tobool.not.1.1 = icmp eq i16 %9, 0
96+
%cond27.1.1 = select i1 %tobool.not.1.1, i32 8, i32 %conv15.1.1
97+
%xor.1.1 = xor i32 %cond27.1.1, %conv15.1.1
98+
%cmp28.1.1 = icmp sgt i32 %cond.1.1, %xor.1.1
99+
%conv30.1.1 = zext i1 %cmp28.1.1 to i16
100+
store i16 %conv30.1.1, ptr @a, align 2
101+
%10 = load i16, ptr getelementptr inbounds nuw (i8, ptr @h, i64 12), align 4
102+
%conv15.1.2 = sext i16 %4 to i32
103+
%cond.1.2 = tail call i32 @llvm.smax.i32(i32 %conv15.1.2, i32 0)
104+
%tobool.not.1.2 = icmp eq i16 %10, 0
105+
%cond27.1.2 = select i1 %tobool.not.1.2, i32 8, i32 %conv15.1.2
106+
%xor.1.2 = xor i32 %cond27.1.2, %conv15.1.2
107+
%cmp28.1.2 = icmp sgt i32 %cond.1.2, %xor.1.2
108+
%conv30.1.2 = zext i1 %cmp28.1.2 to i16
109+
store i16 %conv30.1.2, ptr @a, align 2
110+
%11 = load i16, ptr getelementptr inbounds nuw (i8, ptr @h, i64 18), align 2
111+
%conv15.1.32 = sext i16 %5 to i32
112+
%cond.1.3 = tail call i32 @llvm.smax.i32(i32 %conv15.1.32, i32 0)
113+
%tobool.not.1.3 = icmp eq i16 %11, 0
114+
%cond27.1.3 = select i1 %tobool.not.1.3, i32 8, i32 %conv15.1.32
115+
%xor.1.3 = xor i32 %cond27.1.3, %conv15.1.3
116+
%cmp28.1.3 = icmp sgt i32 %cond.1.3, %xor.1.3
117+
%conv30.1.3 = zext i1 %cmp28.1.3 to i16
118+
store i16 %conv30.1.3, ptr @a, align 2
119+
%12 = load i16, ptr getelementptr inbounds nuw (i8, ptr @h, i64 24), align 8
120+
%conv15.1.43 = sext i16 %6 to i32
121+
%cond.1.4 = tail call i32 @llvm.smax.i32(i32 %conv15.1.43, i32 0)
122+
%tobool.not.1.4 = icmp eq i16 %12, 0
123+
%cond27.1.4 = select i1 %tobool.not.1.4, i32 8, i32 %conv15.1.43
124+
%xor.1.4 = xor i32 %cond27.1.4, %conv15.1.4
125+
%cmp28.1.4 = icmp sgt i32 %cond.1.4, %xor.1.4
126+
ret i1 %cmp28.1.4
127+
}
128+
129+
declare i32 @llvm.smax.i32(i32, i32)

0 commit comments

Comments
 (0)