test/Transforms/BBVectorize/X86/sh-types.ll

   1 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   2 ; RUN: opt < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=corei7 -bb-vectorize -S | FileCheck %s
   3
   4 define <4 x float> @test7(<4 x float> %A1, <4 x float> %B1, double %C1, double %C2, double %D1, double %D2) {
   5         %A2 = shufflevector <4 x float> %A1, <4 x float> undef, <4 x i32> <i32 2, i32 1, i32 0, i32 3>
   6         %B2 = shufflevector <4 x float> %B1, <4 x float> undef, <4 x i32> <i32 2, i32 1, i32 0, i32 3>
   7         %X1 = shufflevector <4 x float> %A2, <4 x float> undef, <2 x i32> <i32 0, i32 1>
   8         %X2 = shufflevector <4 x float> %B2, <4 x float> undef, <2 x i32> <i32 2, i32 3>
   9         %Y1 = shufflevector <2 x float> %X1, <2 x float> undef, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
  10         %Y2 = shufflevector <2 x float> %X2, <2 x float> undef, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
  11
  12         %M1 = fsub double %C1, %D1
  13         %M2 = fsub double %C2, %D2
  14         %N1 = fmul double %M1, %C1
  15         %N2 = fmul double %M2, %C2
  16         %Z1 = fadd double %N1, %D1
  17         %Z2 = fadd double %N2, %D2
  18
  19         %R = fmul <4 x float> %Y1, %Y2
  20         ret <4 x float> %R
  21 ; CHECK-LABEL: @test7(
  22 ; CHECK-NOT: <8 x float>
  23 ; CHECK: ret <4 x float>
  24 }
  25