xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/X86/PR35777.ll (revision 31eaf86a1e8f1870e6ee4c42088a5213bde294b8)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -passes=verify,slp-vectorizer -o - -S -mtriple=x86_64-apple-macosx10.13.0 | FileCheck %s
3
4@global = local_unnamed_addr global [6 x double] zeroinitializer, align 16
5
6define { i64, i64 } @patatino(double %arg) {
7; CHECK-LABEL: @patatino(
8; CHECK-NEXT:  bb:
9; CHECK-NEXT:    [[TMP0:%.*]] = load <2 x double>, ptr @global, align 16
10; CHECK-NEXT:    [[TMP1:%.*]] = load <2 x double>, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 2), align 16
11; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[ARG:%.*]], i32 0
12; CHECK-NEXT:    [[TMP3:%.*]] = shufflevector <2 x double> [[TMP2]], <2 x double> poison, <2 x i32> zeroinitializer
13; CHECK-NEXT:    [[TMP4:%.*]] = fmul <2 x double> [[TMP1]], [[TMP3]]
14; CHECK-NEXT:    [[TMP5:%.*]] = fadd <2 x double> [[TMP0]], [[TMP4]]
15; CHECK-NEXT:    [[TMP6:%.*]] = load <2 x double>, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 4), align 16
16; CHECK-NEXT:    [[TMP7:%.*]] = fadd <2 x double> [[TMP6]], [[TMP5]]
17; CHECK-NEXT:    [[TMP8:%.*]] = fptosi <2 x double> [[TMP7]] to <2 x i32>
18; CHECK-NEXT:    [[TMP9:%.*]] = extractelement <2 x i32> [[TMP8]], i32 0
19; CHECK-NEXT:    [[TMP10:%.*]] = sext i32 [[TMP9]] to i64
20; CHECK-NEXT:    [[T16:%.*]] = insertvalue { i64, i64 } undef, i64 [[TMP10]], 0
21; CHECK-NEXT:    [[TMP11:%.*]] = extractelement <2 x i32> [[TMP8]], i32 1
22; CHECK-NEXT:    [[TMP12:%.*]] = sext i32 [[TMP11]] to i64
23; CHECK-NEXT:    [[T17:%.*]] = insertvalue { i64, i64 } [[T16]], i64 [[TMP12]], 1
24; CHECK-NEXT:    ret { i64, i64 } [[T17]]
25;
26bb:
27  %t = load double, ptr @global, align 16
28  %t1 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 2), align 16
29  %t2 = fmul double %t1, %arg
30  %t3 = fadd double %t, %t2
31  %t4 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 4), align 16
32  %t5 = fadd double %t4, %t3
33  %t6 = fptosi double %t5 to i32
34  %t7 = sext i32 %t6 to i64
35  %t8 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 1), align 8
36  %t9 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 3), align 8
37  %t10 = fmul double %t9, %arg
38  %t11 = fadd double %t8, %t10
39  %t12 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 5), align 8
40  %t13 = fadd double %t12, %t11
41  %t14 = fptosi double %t13 to i32
42  %t15 = sext i32 %t14 to i64
43  %t16 = insertvalue { i64, i64 } undef, i64 %t7, 0
44  %t17 = insertvalue { i64, i64 } %t16, i64 %t15, 1
45  ret { i64, i64 } %t17
46}
47