test/Transforms/BBVectorize/X86/simple.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 -bb-vectorize-req-chain-depth=3 -instcombine -gvn -S | FileCheck %s
   3
   4 ; Basic depth-3 chain
   5 define double @test1(double %A1, double %A2, double %B1, double %B2) {
   6         %X1 = fsub double %A1, %B1
   7         %X2 = fsub double %A2, %B2
   8         %Y1 = fmul double %X1, %A1
   9         %Y2 = fmul double %X2, %A2
  10         %Z1 = fadd double %Y1, %B1
  11         %Z2 = fadd double %Y2, %B2
  12         %R  = fmul double %Z1, %Z2
  13         ret double %R
  14 ; CHECK: @test1
  15 ; CHECK: fsub <2 x double>
  16 ; CHECK: fmul <2 x double>
  17 ; CHECK: fadd <2 x double>
  18 ; CHECK: extract
  19 ; CHECK: extract
  20 ; CHECK: ret double %R
  21 }
  22
  23 ; Basic chain
  24 define double @test1a(double %A1, double %A2, double %B1, double %B2) {
  25         %X1 = fsub double %A1, %B1
  26         %X2 = fsub double %A2, %B2
  27         %Y1 = fmul double %X1, %A1
  28         %Y2 = fmul double %X2, %A2
  29         %Z1 = fadd double %Y1, %B1
  30         %Z2 = fadd double %Y2, %B2
  31         %W1 = fadd double %Y1, %Z1
  32         %W2 = fadd double %Y2, %Z2
  33         %V1 = fadd double %W1, %Z1
  34         %V2 = fadd double %W2, %Z2
  35         %Q1 = fadd double %W1, %V1
  36         %Q2 = fadd double %W2, %V2
  37         %S1 = fadd double %W1, %Q1
  38         %S2 = fadd double %W2, %Q2
  39         %R  = fmul double %S1, %S2
  40         ret double %R
  41 ; CHECK: @test1a
  42 ; CHECK: %X1.v.i1.1 = insertelement <2 x double> undef, double %B1, i32 0
  43 ; CHECK: %X1.v.i1.2 = insertelement <2 x double> %X1.v.i1.1, double %B2, i32 1
  44 ; CHECK: %X1.v.i0.1 = insertelement <2 x double> undef, double %A1, i32 0
  45 ; CHECK: %X1.v.i0.2 = insertelement <2 x double> %X1.v.i0.1, double %A2, i32 1
  46 ; CHECK: %X1 = fsub <2 x double> %X1.v.i0.2, %X1.v.i1.2
  47 ; CHECK: %Y1 = fmul <2 x double> %X1, %X1.v.i0.2
  48 ; CHECK: %Z1 = fadd <2 x double> %Y1, %X1.v.i1.2
  49 ; CHECK: %W1 = fadd <2 x double> %Y1, %Z1
  50 ; CHECK: %V1 = fadd <2 x double> %W1, %Z1
  51 ; CHECK: %Q1 = fadd <2 x double> %W1, %V1
  52 ; CHECK: %S1 = fadd <2 x double> %W1, %Q1
  53 ; CHECK: %S1.v.r1 = extractelement <2 x double> %S1, i32 0
  54 ; CHECK: %S1.v.r2 = extractelement <2 x double> %S1, i32 1
  55 ; CHECK: %R = fmul double %S1.v.r1, %S1.v.r2
  56 ; CHECK: ret double %R
  57 }
  58
  59 ; Basic depth-3 chain (last pair permuted)
  60 define double @test2(double %A1, double %A2, double %B1, double %B2) {
  61         %X1 = fsub double %A1, %B1
  62         %X2 = fsub double %A2, %B2
  63         %Y1 = fmul double %X1, %A1
  64         %Y2 = fmul double %X2, %A2
  65         %Z1 = fadd double %Y2, %B1
  66         %Z2 = fadd double %Y1, %B2
  67         %R  = fmul double %Z1, %Z2
  68         ret double %R
  69 ; CHECK: @test2
  70 ; CHECK: insertelement
  71 ; CHECK: insertelement
  72 ; CHECK: insertelement
  73 ; CHECK: insertelement
  74 ; CHECK: fsub <2 x double>
  75 ; CHECK: fmul <2 x double>
  76 ; CHECK: ret double %R
  77 }
  78
  79 ; Basic depth-4 chain (internal permutation)
  80 define double @test4(double %A1, double %A2, double %B1, double %B2) {
  81         %X1 = fsub double %A1, %B1
  82         %X2 = fsub double %A2, %B2
  83         %Y1 = fmul double %X1, %A1
  84         %Y2 = fmul double %X2, %A2
  85         %Z1 = fadd double %Y2, %B1
  86         %Z2 = fadd double %Y1, %B2
  87         %W1 = fadd double %Y2, %Z1
  88         %W2 = fadd double %Y1, %Z2
  89         %R  = fmul double %Z1, %Z2
  90         ret double %R
  91 ; CHECK: @test4
  92 ; CHECK: insertelement
  93 ; CHECK: insertelement
  94 ; CHECK: insertelement
  95 ; CHECK: insertelement
  96 ; CHECK: fsub <2 x double>
  97 ; CHECK: fmul <2 x double>
  98 ; CHECK: insertelement
  99 ; CHECK: insertelement
 100 ; CHECK: fadd <2 x double>
 101 ; CHECK: ret double %R
 102 }
 103
 104 ; Basic chain with shuffles
 105 define <8 x i8> @test6(<8 x i8> %A1, <8 x i8> %A2, <8 x i8> %B1, <8 x i8> %B2) {
 106         %X1 = sub <8 x i8> %A1, %B1
 107         %X2 = sub <8 x i8> %A2, %B2
 108         %Y1 = mul <8 x i8> %X1, %A1
 109         %Y2 = mul <8 x i8> %X2, %A2
 110         %Z1 = add <8 x i8> %Y1, %B1
 111         %Z2 = add <8 x i8> %Y2, %B2
 112         %Q1 = shufflevector <8 x i8> %Z1, <8 x i8> %Z2, <8 x i32> <i32 15, i32 8, i32 6, i32 1, i32 13, i32 10, i32 4, i32 3>
 113         %Q2 = shufflevector <8 x i8> %Z2, <8 x i8> %Z2, <8 x i32> <i32 6, i32 7, i32 0, i32 1, i32 2, i32 4, i32 4, i32 1>
 114         %R  = mul <8 x i8> %Q1, %Q2
 115         ret <8 x i8> %R
 116 ; CHECK: @test6
 117 ; CHECK-NOT: sub <16 x i8>
 118 ; CHECK: ret <8 x i8>
 119 }
 120