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-NOT: fmul <2 x double>
  16 ; CHECK: ret double %R
  17 }
  18
  19 ; Basic chain
  20 define double @test1a(double %A1, double %A2, double %B1, double %B2) {
  21         %X1 = fsub double %A1, %B1
  22         %X2 = fsub double %A2, %B2
  23         %Y1 = fmul double %X1, %A1
  24         %Y2 = fmul double %X2, %A2
  25         %Z1 = fadd double %Y1, %B1
  26         %Z2 = fadd double %Y2, %B2
  27         %W1 = fadd double %Y1, %Z1
  28         %W2 = fadd double %Y2, %Z2
  29         %V1 = fadd double %W1, %Z1
  30         %V2 = fadd double %W2, %Z2
  31         %Q1 = fadd double %W1, %V1
  32         %Q2 = fadd double %W2, %V2
  33         %S1 = fadd double %W1, %Q1
  34         %S2 = fadd double %W2, %Q2
  35         %R  = fmul double %S1, %S2
  36         ret double %R
  37 ; CHECK: @test1a
  38 ; CHECK: %X1.v.i1.1 = insertelement <2 x double> undef, double %B1, i32 0
  39 ; CHECK: %X1.v.i1.2 = insertelement <2 x double> %X1.v.i1.1, double %B2, i32 1
  40 ; CHECK: %X1.v.i0.1 = insertelement <2 x double> undef, double %A1, i32 0
  41 ; CHECK: %X1.v.i0.2 = insertelement <2 x double> %X1.v.i0.1, double %A2, i32 1
  42 ; CHECK: %X1 = fsub <2 x double> %X1.v.i0.2, %X1.v.i1.2
  43 ; CHECK: %Y1 = fmul <2 x double> %X1, %X1.v.i0.2
  44 ; CHECK: %Z1 = fadd <2 x double> %Y1, %X1.v.i1.2
  45 ; CHECK: %W1 = fadd <2 x double> %Y1, %Z1
  46 ; CHECK: %V1 = fadd <2 x double> %W1, %Z1
  47 ; CHECK: %Q1 = fadd <2 x double> %W1, %V1
  48 ; CHECK: %S1 = fadd <2 x double> %W1, %Q1
  49 ; CHECK: %S1.v.r1 = extractelement <2 x double> %S1, i32 0
  50 ; CHECK: %S1.v.r2 = extractelement <2 x double> %S1, i32 1
  51 ; CHECK: %R = fmul double %S1.v.r1, %S1.v.r2
  52 ; CHECK: ret double %R
  53 }
  54
  55 ; Basic depth-3 chain (last pair permuted)
  56 define double @test2(double %A1, double %A2, double %B1, double %B2) {
  57         %X1 = fsub double %A1, %B1
  58         %X2 = fsub double %A2, %B2
  59         %Y1 = fmul double %X1, %A1
  60         %Y2 = fmul double %X2, %A2
  61         %Z1 = fadd double %Y2, %B1
  62         %Z2 = fadd double %Y1, %B2
  63         %R  = fmul double %Z1, %Z2
  64         ret double %R
  65 ; CHECK: @test2
  66 ; CHECK-NOT: fmul <2 x double>
  67 ; CHECK: ret double %R
  68 }
  69
  70 ; Basic depth-4 chain (internal permutation)
  71 define double @test4(double %A1, double %A2, double %B1, double %B2) {
  72         %X1 = fsub double %A1, %B1
  73         %X2 = fsub double %A2, %B2
  74         %Y1 = fmul double %X1, %A1
  75         %Y2 = fmul double %X2, %A2
  76         %Z1 = fadd double %Y2, %B1
  77         %Z2 = fadd double %Y1, %B2
  78         %W1 = fadd double %Y2, %Z1
  79         %W2 = fadd double %Y1, %Z2
  80         %R  = fmul double %Z1, %Z2
  81         ret double %R
  82 ; CHECK: @test4
  83 ; CHECK-NOT: fmul <2 x double>
  84 ; CHECK: ret double %R
  85 }
  86
  87 ; Basic chain with shuffles
  88 define <8 x i8> @test6(<8 x i8> %A1, <8 x i8> %A2, <8 x i8> %B1, <8 x i8> %B2) {
  89         %X1 = sub <8 x i8> %A1, %B1
  90         %X2 = sub <8 x i8> %A2, %B2
  91         %Y1 = mul <8 x i8> %X1, %A1
  92         %Y2 = mul <8 x i8> %X2, %A2
  93         %Z1 = add <8 x i8> %Y1, %B1
  94         %Z2 = add <8 x i8> %Y2, %B2
  95         %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>
  96         %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>
  97         %R  = mul <8 x i8> %Q1, %Q2
  98         ret <8 x i8> %R
  99 ; CHECK: @test6
 100 ; CHECK-NOT: sub <16 x i8>
 101 ; CHECK: ret <8 x i8>
 102 }
 103