[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / SLPVectorizer / X86 / PR35865.ll
blobb022dd7d9155b10ffb5d27e262d81140f3d7d3d4
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
4 define 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:    [[CONV_I_4_I:%.*]] = fpext half [[TMP0]] to float
9 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast float [[CONV_I_4_I]] to i32
10 ; CHECK-NEXT:    [[VECINS_I_4_I:%.*]] = insertelement <8 x i32> undef, i32 [[TMP1]], i32 4
11 ; CHECK-NEXT:    [[TMP2:%.*]] = extractelement <16 x half> undef, i32 5
12 ; CHECK-NEXT:    [[CONV_I_5_I:%.*]] = fpext half [[TMP2]] to float
13 ; CHECK-NEXT:    [[TMP3:%.*]] = bitcast float [[CONV_I_5_I]] to i32
14 ; CHECK-NEXT:    [[VECINS_I_5_I:%.*]] = insertelement <8 x i32> [[VECINS_I_4_I]], i32 [[TMP3]], i32 5
15 ; CHECK-NEXT:    ret void
17 entry:
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