Skip to content

Commit 93edfb2

Browse files
alexey-bataevtstellar
authored andcommitted
[SLP][NFC]Add a test to show an issue with incorrectly extracted
pointers. (cherry picked from commit 173dd89)
1 parent 162f3f1 commit 93edfb2

File tree

1 file changed

+34
-1
lines changed

1 file changed

+34
-1
lines changed

llvm/test/Transforms/SLPVectorizer/X86/extract_in_tree_user.ll

Lines changed: 34 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,6 @@ entry:
3232
ret i32 undef
3333
}
3434

35-
3635
declare float @llvm.powi.f32.i32(float, i32)
3736
define void @fn2(i32* %a, i32* %b, float* %c) {
3837
; CHECK-LABEL: @fn2(
@@ -99,3 +98,37 @@ entry:
9998
ret void
10099

101100
}
101+
102+
define void @externally_used_ptrs() {
103+
; CHECK-LABEL: @externally_used_ptrs(
104+
; CHECK-NEXT: entry:
105+
; CHECK-NEXT: [[TMP0:%.*]] = load i64*, i64** @a, align 8
106+
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i64*> poison, i64* [[TMP0]], i32 0
107+
; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x i64*> [[TMP1]], i64* [[TMP0]], i32 1
108+
; CHECK-NEXT: [[TMP3:%.*]] = getelementptr i64, <2 x i64*> [[TMP2]], <2 x i64> <i64 56, i64 11>
109+
; CHECK-NEXT: [[TMP4:%.*]] = ptrtoint <2 x i64*> [[TMP3]] to <2 x i64>
110+
; CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds i64, i64* [[TMP0]], i64 12
111+
; CHECK-NEXT: [[TMP5:%.*]] = extractelement <2 x i64*> [[TMP3]], i32 0
112+
; CHECK-NEXT: [[TMP6:%.*]] = bitcast i64* [[TMP5]] to <2 x i64>*
113+
; CHECK-NEXT: [[TMP7:%.*]] = load <2 x i64>, <2 x i64>* [[TMP6]], align 8
114+
; CHECK-NEXT: [[TMP8:%.*]] = extractelement <2 x i64*> [[TMP3]], i32 1
115+
; CHECK-NEXT: [[TMP9:%.*]] = add <2 x i64> [[TMP4]], [[TMP7]]
116+
; CHECK-NEXT: [[TMP10:%.*]] = bitcast i64* [[TMP5]] to <2 x i64>*
117+
; CHECK-NEXT: store <2 x i64> [[TMP9]], <2 x i64>* [[TMP10]], align 8
118+
; CHECK-NEXT: ret void
119+
;
120+
entry:
121+
%0 = load i64*, i64** @a, align 8
122+
%add.ptr = getelementptr inbounds i64, i64* %0, i64 11
123+
%1 = ptrtoint i64* %add.ptr to i64
124+
%add.ptr1 = getelementptr inbounds i64, i64* %0, i64 56
125+
%2 = ptrtoint i64* %add.ptr1 to i64
126+
%arrayidx2 = getelementptr inbounds i64, i64* %0, i64 12
127+
%3 = load i64, i64* %arrayidx2, align 8
128+
%4 = load i64, i64* %add.ptr, align 8
129+
%5 = add i64 %1, %3
130+
%6 = add i64 %2, %4
131+
store i64 %6, i64* %add.ptr, align 8
132+
store i64 %5, i64* %arrayidx2, align 8
133+
ret void
134+
}

0 commit comments

Comments
 (0)