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
4 @global = local_unnamed_addr global [6 x double] zeroinitializer, align 16
6 define { i64, i64 } @patatino(double %arg) {
7 ; CHECK-LABEL: @patatino(
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: [[SHUFFLE:%.*]] = shufflevector <2 x double> [[TMP2]], <2 x double> poison, <2 x i32> zeroinitializer
13 ; CHECK-NEXT: [[TMP3:%.*]] = fmul <2 x double> [[TMP1]], [[SHUFFLE]]
14 ; CHECK-NEXT: [[TMP4:%.*]] = fadd <2 x double> [[TMP0]], [[TMP3]]
15 ; CHECK-NEXT: [[TMP5:%.*]] = load <2 x double>, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 4), align 16
16 ; CHECK-NEXT: [[TMP6:%.*]] = fadd <2 x double> [[TMP5]], [[TMP4]]
17 ; CHECK-NEXT: [[TMP7:%.*]] = fptosi <2 x double> [[TMP6]] to <2 x i32>
18 ; CHECK-NEXT: [[TMP8:%.*]] = sext <2 x i32> [[TMP7]] to <2 x i64>
19 ; CHECK-NEXT: [[TMP9:%.*]] = extractelement <2 x i64> [[TMP8]], i32 0
20 ; CHECK-NEXT: [[T16:%.*]] = insertvalue { i64, i64 } undef, i64 [[TMP9]], 0
21 ; CHECK-NEXT: [[TMP10:%.*]] = extractelement <2 x i64> [[TMP8]], i32 1
22 ; CHECK-NEXT: [[T17:%.*]] = insertvalue { i64, i64 } [[T16]], i64 [[TMP10]], 1
23 ; CHECK-NEXT: ret { i64, i64 } [[T17]]
26 %t = load double, ptr @global, align 16
27 %t1 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 2), align 16
28 %t2 = fmul double %t1, %arg
29 %t3 = fadd double %t, %t2
30 %t4 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 4), align 16
31 %t5 = fadd double %t4, %t3
32 %t6 = fptosi double %t5 to i32
33 %t7 = sext i32 %t6 to i64
34 %t8 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 1), align 8
35 %t9 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 3), align 8
36 %t10 = fmul double %t9, %arg
37 %t11 = fadd double %t8, %t10
38 %t12 = load double, ptr getelementptr inbounds ([6 x double], ptr @global, i64 0, i64 5), align 8
39 %t13 = fadd double %t12, %t11
40 %t14 = fptosi double %t13 to i32
41 %t15 = sext i32 %t14 to i64
42 %t16 = insertvalue { i64, i64 } undef, i64 %t7, 0
43 %t17 = insertvalue { i64, i64 } %t16, i64 %t15, 1