[CostModel][X86] Added some AVX512 and 512-bit vector cost tests

llvm-svn: 279291

1 files changed, 129 insertions, 0 deletions

diff --git a/llvm/test/Analysis/CostModel/X86/arith.ll b/llvm/test/Analysis/CostModel/X86/arith.ll
index 8d436d2c577..91c17295f35 100644
--- a/llvm/test/Analysis/CostModel/X86/arith.ll
+++ b/llvm/test/Analysis/CostModel/X86/arith.ll
@@ -2,6 +2,8 @@
 ; RUN: opt < %s  -cost-model -analyze -mtriple=x86_64-apple-macosx10.8.0 -mattr=+sse4.2 | FileCheck %s --check-prefix=CHECK --check-prefix=SSE42
 ; RUN: opt < %s  -cost-model -analyze -mtriple=x86_64-apple-macosx10.8.0 -mattr=+avx | FileCheck %s --check-prefix=CHECK --check-prefix=AVX
 ; RUN: opt < %s  -cost-model -analyze -mtriple=x86_64-apple-macosx10.8.0 -mattr=+avx2 | FileCheck %s --check-prefix=CHECK --check-prefix=AVX2
+; RUN: opt < %s  -cost-model -analyze -mtriple=x86_64-apple-macosx10.8.0 -mattr=+avx512f | FileCheck %s --check-prefix=CHECK --check-prefix=AVX512 --check-prefix=AVX512F
+; RUN: opt < %s  -cost-model -analyze -mtriple=x86_64-apple-macosx10.8.0 -mattr=+avx512f,+avx512bw | FileCheck %s --check-prefix=CHECK --check-prefix=AVX512 --check-prefix=AVX512BW
 
 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-n8:16:32:64-S128"
 target triple = "x86_64-apple-macosx10.8.0"
@@ -12,27 +14,38 @@ define i32 @add(i32 %arg) {
   ; SSE42: cost of 1 {{.*}} %A = add
   ; AVX: cost of 1 {{.*}} %A = add
   ; AVX2: cost of 1 {{.*}} %A = add
+  ; AVX512: cost of 1 {{.*}} %A = add
   %A = add <4 x i32> undef, undef
   ; SSSE3: cost of 2 {{.*}} %B = add
   ; SSE42: cost of 2 {{.*}} %B = add
   ; AVX: cost of 4 {{.*}} %B = add
   ; AVX2: cost of 1 {{.*}} %B = add
+  ; AVX512: cost of 1 {{.*}} %B = add
   %B = add <8 x i32> undef, undef
   ; SSSE3: cost of 1 {{.*}} %C = add
   ; SSE42: cost of 1 {{.*}} %C = add
   ; AVX: cost of 1 {{.*}} %C = add
   ; AVX2: cost of 1 {{.*}} %C = add
+  ; AVX512: cost of 1 {{.*}} %C = add
   %C = add <2 x i64> undef, undef
   ; SSSE3: cost of 2 {{.*}} %D = add
   ; SSE42: cost of 2 {{.*}} %D = add
   ; AVX: cost of 4 {{.*}} %D = add
   ; AVX2: cost of 1 {{.*}} %D = add
+  ; AVX512: cost of 1 {{.*}} %D = add
   %D = add <4 x i64> undef, undef
   ; SSSE3: cost of 4 {{.*}} %E = add
   ; SSE42: cost of 4 {{.*}} %E = add
   ; AVX: cost of 8 {{.*}} %E = add
   ; AVX2: cost of 2 {{.*}} %E = add
+  ; AVX512: cost of 1 {{.*}} %E = add
   %E = add <8 x i64> undef, undef
+  ; SSSE3: cost of 4 {{.*}} %F = add
+  ; SSE42: cost of 4 {{.*}} %F = add
+  ; AVX: cost of 8 {{.*}} %F = add
+  ; AVX2: cost of 2 {{.*}} %F = add
+  ; AVX512: cost of 1 {{.*}} %F = add
+  %F = add <16 x i32> undef, undef
   ret i32 undef
 }
 
@@ -42,22 +55,38 @@ define i32 @xor(i32 %arg) {
   ; SSE42: cost of 1 {{.*}} %A = xor
   ; AVX: cost of 1 {{.*}} %A = xor
   ; AVX2: cost of 1 {{.*}} %A = xor
+  ; AVX512: cost of 1 {{.*}} %A = xor
   %A = xor <4 x i32> undef, undef
   ; SSSE3: cost of 2 {{.*}} %B = xor
   ; SSE42: cost of 2 {{.*}} %B = xor
   ; AVX: cost of 1 {{.*}} %B = xor
   ; AVX2: cost of 1 {{.*}} %B = xor
+  ; AVX512: cost of 1 {{.*}} %B = xor
   %B = xor <8 x i32> undef, undef
   ; SSSE3: cost of 1 {{.*}} %C = xor
   ; SSE42: cost of 1 {{.*}} %C = xor
   ; AVX: cost of 1 {{.*}} %C = xor
   ; AVX2: cost of 1 {{.*}} %C = xor
+  ; AVX512: cost of 1 {{.*}} %C = xor
   %C = xor <2 x i64> undef, undef
   ; SSSE3: cost of 2 {{.*}} %D = xor
   ; SSE42: cost of 2 {{.*}} %D = xor
   ; AVX: cost of 1 {{.*}} %D = xor
   ; AVX2: cost of 1 {{.*}} %D = xor
+  ; AVX512: cost of 1 {{.*}} %D = xor
   %D = xor <4 x i64> undef, undef
+  ; SSSE3: cost of 4 {{.*}} %E = xor
+  ; SSE42: cost of 4 {{.*}} %E = xor
+  ; AVX: cost of 2 {{.*}} %E = xor
+  ; AVX2: cost of 2 {{.*}} %E = xor
+  ; AVX512: cost of 1 {{.*}} %E = xor
+  %E = xor <8 x i64> undef, undef
+  ; SSSE3: cost of 4 {{.*}} %F = xor
+  ; SSE42: cost of 4 {{.*}} %F = xor
+  ; AVX: cost of 2 {{.*}} %F = xor
+  ; AVX2: cost of 2 {{.*}} %F = xor
+  ; AVX512: cost of 1 {{.*}} %F = xor
+  %F = xor <16 x i32> undef, undef
   ret i32 undef
 }
 
@@ -70,21 +99,25 @@ define void @mul() {
   ; SSE42: cost of 9 {{.*}} %A0 = mul
   ; AVX: cost of 9 {{.*}} %A0 = mul
   ; AVX2: cost of 9 {{.*}} %A0 = mul
+  ; AVX512: cost of 9 {{.*}} %A0 = mul
   %A0 = mul <2 x i32> undef, undef
   ; SSSE3: cost of 6 {{.*}} %A1 = mul
   ; SSE42: cost of 1 {{.*}} %A1 = mul
   ; AVX: cost of 1 {{.*}} %A1 = mul
   ; AVX2: cost of 1 {{.*}} %A1 = mul
+  ; AVX512: cost of 1 {{.*}} %A1 = mul
   %A1 = mul <4 x i32> undef, undef
   ; SSSE3: cost of 9 {{.*}} %A2 = mul
   ; SSE42: cost of 9 {{.*}} %A2 = mul
   ; AVX: cost of 9 {{.*}} %A2 = mul
   ; AVX2: cost of 9 {{.*}} %A2 = mul
+  ; AVX512: cost of 9 {{.*}} %A2 = mul
   %A2 = mul <2 x i64> undef, undef
   ; SSSE3: cost of 18 {{.*}} %A3 = mul
   ; SSE42: cost of 18 {{.*}} %A3 = mul
   ; AVX: cost of 18 {{.*}} %A3 = mul
   ; AVX2: cost of 9 {{.*}} %A3 = mul
+  ; AVX512: cost of 9 {{.*}} %A3 = mul
   %A3 = mul <4 x i64> undef, undef
   ret void
 }
@@ -95,12 +128,40 @@ define i32 @fmul(i32 %arg) {
   ; SSE42: cost of 2 {{.*}} %A = fmul
   ; AVX: cost of 2 {{.*}} %A = fmul
   ; AVX2: cost of 2 {{.*}} %A = fmul
+  ; AVX512: cost of 2 {{.*}} %A = fmul
   %A = fmul <4 x float> undef, undef
   ; SSSE3: cost of 4 {{.*}} %B = fmul
   ; SSE42: cost of 4 {{.*}} %B = fmul
   ; AVX: cost of 2 {{.*}} %B = fmul
   ; AVX2: cost of 2 {{.*}} %B = fmul
+  ; AVX512: cost of 2 {{.*}} %B = fmul
   %B = fmul <8 x float> undef, undef
+  ; SSSE3: cost of 8 {{.*}} %C = fmul
+  ; SSE42: cost of 8 {{.*}} %C = fmul
+  ; AVX: cost of 4 {{.*}} %C = fmul
+  ; AVX2: cost of 4 {{.*}} %C = fmul
+  ; AVX512: cost of 2 {{.*}} %C = fmul
+  %C = fmul <16 x float> undef, undef
+
+  ; SSSE3: cost of 2 {{.*}} %D = fmul
+  ; SSE42: cost of 2 {{.*}} %D = fmul
+  ; AVX: cost of 2 {{.*}} %D = fmul
+  ; AVX2: cost of 2 {{.*}} %D = fmul
+  ; AVX512: cost of 2 {{.*}} %D = fmul
+  %D = fmul <2 x double> undef, undef
+  ; SSSE3: cost of 4 {{.*}} %E = fmul
+  ; SSE42: cost of 4 {{.*}} %E = fmul
+  ; AVX: cost of 2 {{.*}} %E = fmul
+  ; AVX2: cost of 2 {{.*}} %E = fmul
+  ; AVX512: cost of 2 {{.*}} %E = fmul
+  %E = fmul <4 x double> undef, undef
+  ; SSSE3: cost of 8 {{.*}} %F = fmul
+  ; SSE42: cost of 8 {{.*}} %F = fmul
+  ; AVX: cost of 4 {{.*}} %F = fmul
+  ; AVX2: cost of 4 {{.*}} %F = fmul
+  ; AVX512: cost of 2 {{.*}} %F = fmul
+  %F = fmul <8 x double> undef, undef
+
   ret i32 undef
 }
 
@@ -110,12 +171,40 @@ define i32 @fdiv(i32 %arg) {
   ; SSE42: cost of 2 {{.*}} %A = fdiv
   ; AVX: cost of 2 {{.*}} %A = fdiv
   ; AVX2: cost of 2 {{.*}} %A = fdiv
+  ; AVX512: cost of 2 {{.*}} %A = fdiv
   %A = fdiv <4 x float> undef, undef
   ; SSSE3: cost of 4 {{.*}} %B = fdiv
   ; SSE42: cost of 4 {{.*}} %B = fdiv
   ; AVX: cost of 2 {{.*}} %B = fdiv
   ; AVX2: cost of 2 {{.*}} %B = fdiv
+  ; AVX512: cost of 2 {{.*}} %B = fdiv
   %B = fdiv <8 x float> undef, undef
+  ; SSSE3: cost of 8 {{.*}} %C = fdiv
+  ; SSE42: cost of 8 {{.*}} %C = fdiv
+  ; AVX: cost of 4 {{.*}} %C = fdiv
+  ; AVX2: cost of 4 {{.*}} %C = fdiv
+  ; AVX512: cost of 2 {{.*}} %C = fdiv
+  %C = fdiv <16 x float> undef, undef
+
+  ; SSSE3: cost of 2 {{.*}} %D = fdiv
+  ; SSE42: cost of 2 {{.*}} %D = fdiv
+  ; AVX: cost of 2 {{.*}} %D = fdiv
+  ; AVX2: cost of 2 {{.*}} %D = fdiv
+  ; AVX512: cost of 2 {{.*}} %D = fdiv
+  %D = fdiv <2 x double> undef, undef
+  ; SSSE3: cost of 4 {{.*}} %E = fdiv
+  ; SSE42: cost of 4 {{.*}} %E = fdiv
+  ; AVX: cost of 2 {{.*}} %E = fdiv
+  ; AVX2: cost of 2 {{.*}} %E = fdiv
+  ; AVX512: cost of 2 {{.*}} %E = fdiv
+  %E = fdiv <4 x double> undef, undef
+  ; SSSE3: cost of 8 {{.*}} %F = fdiv
+  ; SSE42: cost of 8 {{.*}} %F = fdiv
+  ; AVX: cost of 4 {{.*}} %F = fdiv
+  ; AVX2: cost of 4 {{.*}} %F = fdiv
+  ; AVX512: cost of 2 {{.*}} %F = fdiv
+  %F = fdiv <8 x double> undef, undef
+
   ret i32 undef
 }
 
@@ -125,12 +214,40 @@ define i32 @frem(i32 %arg) {
   ; SSE42: cost of 14 {{.*}} %A = frem
   ; AVX: cost of 14 {{.*}} %A = frem
   ; AVX2: cost of 14 {{.*}} %A = frem
+  ; AVX512: cost of 14 {{.*}} %A = frem
   %A = frem <4 x float> undef, undef
   ; SSSE3: cost of 28 {{.*}} %B = frem
   ; SSE42: cost of 28 {{.*}} %B = frem
   ; AVX: cost of 30 {{.*}} %B = frem
   ; AVX2: cost of 30 {{.*}} %B = frem
+  ; AVX512: cost of 30 {{.*}} %B = frem
   %B = frem <8 x float> undef, undef
+  ; SSSE3: cost of 56 {{.*}} %C = frem
+  ; SSE42: cost of 56 {{.*}} %C = frem
+  ; AVX: cost of 60 {{.*}} %C = frem
+  ; AVX2: cost of 60 {{.*}} %C = frem
+  ; AVX512: cost of 62 {{.*}} %C = frem
+  %C = frem <16 x float> undef, undef
+
+  ; SSSE3: cost of 6 {{.*}} %D = frem
+  ; SSE42: cost of 6 {{.*}} %D = frem
+  ; AVX: cost of 6 {{.*}} %D = frem
+  ; AVX2: cost of 6 {{.*}} %D = frem
+  ; AVX512: cost of 6 {{.*}} %D = frem
+  %D = frem <2 x double> undef, undef
+  ; SSSE3: cost of 12 {{.*}} %E = frem
+  ; SSE42: cost of 12 {{.*}} %E = frem
+  ; AVX: cost of 14 {{.*}} %E = frem
+  ; AVX2: cost of 14 {{.*}} %E = frem
+  ; AVX512: cost of 14 {{.*}} %E = frem
+  %E = frem <4 x double> undef, undef
+  ; SSSE3: cost of 24 {{.*}} %F = frem
+  ; SSE42: cost of 24 {{.*}} %F = frem
+  ; AVX: cost of 28 {{.*}} %F = frem
+  ; AVX2: cost of 28 {{.*}} %F = frem
+  ; AVX512: cost of 30 {{.*}} %F = frem
+  %F = frem <8 x double> undef, undef
+
   ret i32 undef
 }
 
@@ -140,63 +257,75 @@ define void @shift() {
   ; SSE42: cost of 10 {{.*}} %A0 = shl
   ; AVX: cost of 10 {{.*}} %A0 = shl
   ; AVX2: cost of 1 {{.*}} %A0 = shl
+  ; AVX512: cost of 1 {{.*}} %A0 = shl
   %A0 = shl <4 x i32> undef, undef
   ; SSSE3: cost of 4 {{.*}} %A1 = shl
   ; SSE42: cost of 4 {{.*}} %A1 = shl
   ; AVX: cost of 4 {{.*}} %A1 = shl
   ; AVX2: cost of 1 {{.*}} %A1 = shl
+  ; AVX512: cost of 1 {{.*}} %A1 = shl
   %A1 = shl <2 x i64> undef, undef
   ; SSSE3: cost of 20 {{.*}} %A2 = shl
   ; SSE42: cost of 20 {{.*}} %A2 = shl
   ; AVX: cost of 20 {{.*}} %A2 = shl
   ; AVX2: cost of 1 {{.*}} %A2 = shl
+  ; AVX512: cost of 1 {{.*}} %A2 = shl
   %A2 = shl <8 x i32> undef, undef
   ; SSSE3: cost of 8 {{.*}} %A3 = shl
   ; SSE42: cost of 8 {{.*}} %A3 = shl
   ; AVX: cost of 8 {{.*}} %A3 = shl
   ; AVX2: cost of 1 {{.*}} %A3 = shl
+  ; AVX512: cost of 1 {{.*}} %A3 = shl
   %A3 = shl <4 x i64> undef, undef
 
   ; SSSE3: cost of 16 {{.*}} %B0 = lshr
   ; SSE42: cost of 16 {{.*}} %B0 = lshr
   ; AVX: cost of 16 {{.*}} %B0 = lshr
   ; AVX2: cost of 1 {{.*}} %B0 = lshr
+  ; AVX512: cost of 1 {{.*}} %B0 = lshr
   %B0 = lshr <4 x i32> undef, undef
   ; SSSE3: cost of 4 {{.*}} %B1 = lshr
   ; SSE42: cost of 4 {{.*}} %B1 = lshr
   ; AVX: cost of 4 {{.*}} %B1 = lshr
   ; AVX2: cost of 1 {{.*}} %B1 = lshr
+  ; AVX512: cost of 1 {{.*}} %B1 = lshr
   %B1 = lshr <2 x i64> undef, undef
   ; SSSE3: cost of 32 {{.*}} %B2 = lshr
   ; SSE42: cost of 32 {{.*}} %B2 = lshr
   ; AVX: cost of 32 {{.*}} %B2 = lshr
   ; AVX2: cost of 1 {{.*}} %B2 = lshr
+  ; AVX512: cost of 1 {{.*}} %B2 = lshr
   %B2 = lshr <8 x i32> undef, undef
   ; SSSE3: cost of 8 {{.*}} %B3 = lshr
   ; SSE42: cost of 8 {{.*}} %B3 = lshr
   ; AVX: cost of 8 {{.*}} %B3 = lshr
   ; AVX2: cost of 1 {{.*}} %B3 = lshr
+  ; AVX512: cost of 1 {{.*}} %B3 = lshr
   %B3 = lshr <4 x i64> undef, undef
 
   ; SSSE3: cost of 16 {{.*}} %C0 = ashr
   ; SSE42: cost of 16 {{.*}} %C0 = ashr
   ; AVX: cost of 16 {{.*}} %C0 = ashr
   ; AVX2: cost of 1 {{.*}} %C0 = ashr
+  ; AVX512: cost of 1 {{.*}} %C0 = ashr
   %C0 = ashr <4 x i32> undef, undef
   ; SSSE3: cost of 12 {{.*}} %C1 = ashr
   ; SSE42: cost of 12 {{.*}} %C1 = ashr
   ; AVX: cost of 12 {{.*}} %C1 = ashr
   ; AVX2: cost of 4 {{.*}} %C1 = ashr
+  ; AVX512: cost of 4 {{.*}} %C1 = ashr
   %C1 = ashr <2 x i64> undef, undef
   ; SSSE3: cost of 32 {{.*}} %C2 = ashr
   ; SSE42: cost of 32 {{.*}} %C2 = ashr
   ; AVX: cost of 32 {{.*}} %C2 = ashr
   ; AVX2: cost of 1 {{.*}} %C2 = ashr
+  ; AVX512: cost of 1 {{.*}} %C2 = ashr
   %C2 = ashr <8 x i32> undef, undef
   ; SSSE3: cost of 24 {{.*}} %C3 = ashr
   ; SSE42: cost of 24 {{.*}} %C3 = ashr
   ; AVX: cost of 24 {{.*}} %C3 = ashr
   ; AVX2: cost of 4 {{.*}} %C3 = ashr
+  ; AVX512: cost of 4 {{.*}} %C3 = ashr
   %C3 = ashr <4 x i64> undef, undef
 
   ret void