1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -slp-vectorizer < %s -S -o - -mtriple=x86_64-apple-macosx10.10.0 -mcpu=core2 | FileCheck %s
3
4define void @_Z10fooConvertPDv4_xS0_S0_PKS_() {
5; CHECK-LABEL: @_Z10fooConvertPDv4_xS0_S0_PKS_(
6; CHECK-NEXT:  entry:
7; CHECK-NEXT:    [[TMP0:%.*]] = extractelement <16 x half> undef, i32 4
8; CHECK-NEXT:    [[TMP1:%.*]] = extractelement <16 x half> undef, i32 5
9; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x half> poison, half [[TMP0]], i32 0
10; CHECK-NEXT:    [[TMP3:%.*]] = insertelement <2 x half> [[TMP2]], half [[TMP1]], i32 1
11; CHECK-NEXT:    [[TMP4:%.*]] = fpext <2 x half> [[TMP3]] to <2 x float>
12; CHECK-NEXT:    [[TMP5:%.*]] = bitcast <2 x float> [[TMP4]] to <2 x i32>
13; CHECK-NEXT:    [[TMP6:%.*]] = shufflevector <2 x i32> [[TMP5]], <2 x i32> poison, <8 x i32> <i32 0, i32 1, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>
14; CHECK-NEXT:    [[VECINS_I_5_I1:%.*]] = shufflevector <8 x i32> undef, <8 x i32> [[TMP6]], <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 8, i32 9, i32 6, i32 7>
15; CHECK-NEXT:    ret void
16;
17entry:
18  %0 = extractelement <16 x half> undef, i32 4
19  %conv.i.4.i = fpext half %0 to float
20  %1 = bitcast float %conv.i.4.i to i32
21  %vecins.i.4.i = insertelement <8 x i32> undef, i32 %1, i32 4
22  %2 = extractelement <16 x half> undef, i32 5
23  %conv.i.5.i = fpext half %2 to float
24  %3 = bitcast float %conv.i.5.i to i32
25  %vecins.i.5.i = insertelement <8 x i32> %vecins.i.4.i, i32 %3, i32 5
26  ret void
27}
28