1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -S -mtriple=x86_64-unknown -mattr=+avx -slp-vectorizer | FileCheck %s
3
4@array = external global [20 x [13 x i32]]
5
6define void @hoge(i64 %idx, <4 x i32>* %sink) {
7; CHECK-LABEL: @hoge(
8; CHECK-NEXT:  bb:
9; CHECK-NEXT:    [[TMP0:%.*]] = getelementptr inbounds [20 x [13 x i32]], [20 x [13 x i32]]* @array, i64 0, i64 [[IDX:%.*]], i64 5
10; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[TMP0]] to <4 x i32>*
11; CHECK-NEXT:    [[TMP2:%.*]] = load <4 x i32>, <4 x i32>* [[TMP1]], align 4
12; CHECK-NEXT:    [[TMP3:%.*]] = shufflevector <4 x i32> [[TMP2]], <4 x i32> poison, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
13; CHECK-NEXT:    store <4 x i32> [[TMP3]], <4 x i32>* [[SINK:%.*]], align 16
14; CHECK-NEXT:    ret void
15;
16bb:
17  %0 = getelementptr inbounds [20 x [13 x i32]], [20 x [13 x i32]]* @array, i64 0, i64 %idx, i64 5
18  %1 = getelementptr inbounds [20 x [13 x i32]], [20 x [13 x i32]]* @array, i64 0, i64 %idx, i64 6
19  %2 = getelementptr inbounds [20 x [13 x i32]], [20 x [13 x i32]]* @array, i64 0, i64 %idx, i64 7
20  %3 = getelementptr inbounds [20 x [13 x i32]], [20 x [13 x i32]]* @array, i64 0, i64 %idx, i64 8
21  %4 = load i32, i32* %1, align 4
22  %5 = insertelement <4 x i32> undef, i32 %4, i32 0
23  %6 = load i32, i32* %2, align 4
24  %7 = insertelement <4 x i32> %5, i32 %6, i32 1
25  %8 = load i32, i32* %3, align 4
26  %9 = insertelement <4 x i32> %7, i32 %8, i32 2
27  %10 = load i32, i32* %0, align 4
28  %11 = insertelement <4 x i32> %9, i32 %10, i32 3
29  store <4 x i32> %11, <4 x i32>* %sink
30  ret void
31}
32
33