1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S --slp-vectorizer -mtriple=x86_64-unknown %s | FileCheck %s
3
4define void @test(double* %isec) {
5; CHECK-LABEL: @test(
6; CHECK-NEXT:  entry:
7; CHECK-NEXT:    [[ARRAYIDX10:%.*]] = getelementptr inbounds double, double* [[ISEC:%.*]], i64 0
8; CHECK-NEXT:    [[ARRAYIDX2:%.*]] = getelementptr inbounds double, double* [[ISEC]], i64 2
9; CHECK-NEXT:    [[TMP0:%.*]] = bitcast double* [[ARRAYIDX10]] to <2 x double>*
10; CHECK-NEXT:    [[TMP1:%.*]] = load <2 x double>, <2 x double>* [[TMP0]], align 8
11; CHECK-NEXT:    [[TMP2:%.*]] = bitcast double* [[ARRAYIDX2]] to <2 x double>*
12; CHECK-NEXT:    [[TMP3:%.*]] = load <2 x double>, <2 x double>* [[TMP2]], align 8
13; CHECK-NEXT:    [[TMP4:%.*]] = fadd <2 x double> [[TMP1]], [[TMP3]]
14; CHECK-NEXT:    [[TMP5:%.*]] = fsub <2 x double> [[TMP1]], [[TMP3]]
15; CHECK-NEXT:    [[TMP6:%.*]] = shufflevector <2 x double> [[TMP4]], <2 x double> [[TMP5]], <2 x i32> <i32 1, i32 2>
16; CHECK-NEXT:    [[TMP7:%.*]] = bitcast double* [[ARRAYIDX10]] to <2 x double>*
17; CHECK-NEXT:    store <2 x double> [[TMP6]], <2 x double>* [[TMP7]], align 8
18; CHECK-NEXT:    ret void
19;
20entry:
21  %arrayidx5 = getelementptr inbounds double, double* %isec, i64 1
22  %0 = load double, double* %arrayidx5, align 8
23  %arrayidx10 = getelementptr inbounds double, double* %isec, i64 0
24  %1 = load double, double* %arrayidx10, align 8
25  %arrayidx3 = getelementptr inbounds double, double* %isec, i64 3
26  %2 = load double, double* %arrayidx3, align 8
27  %arrayidx2 = getelementptr inbounds double, double* %isec, i64 2
28  %3 = load double, double* %arrayidx2, align 8
29  %4 = fadd double %0, %2
30  %5 = fsub double %1, %3
31  store double %4, double *%arrayidx10
32  store double %5, double *%arrayidx5
33  ret void
34}
35