From: Kirill Yukhin <kyukhin@gcc.gnu.org>
Date: Fri, 24 Nov 2017 07:39:57 +0000 (+0000)
Subject: Add missing gcc/config.gcc hunks from r255121.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=489154e71b1b64e05f4b002289480a20976d2588;p=gcc.git

Add missing gcc/config.gcc hunks from r255121.

From-SVN: r255132
---

diff --git a/gcc/config.gcc b/gcc/config.gcc
index 24f904455b0..eb41faf74ba 100644
--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -379,7 +379,8 @@ i[34567]86-*-*)
 		       avx512vbmivlintrin.h avx5124fmapsintrin.h avx5124vnniwintrin.h
 		       avx512vpopcntdqintrin.h clwbintrin.h mwaitxintrin.h
 		       clzerointrin.h pkuintrin.h sgxintrin.h cetintrin.h
-		       gfniintrin.h cet.h"
+		       gfniintrin.h cet.h avx512vbmi2intrin.h
+		       avx512vbmi2vlintrin.h"
 	;;
 x86_64-*-*)
 	cpu_type=i386
@@ -404,7 +405,8 @@ x86_64-*-*)
 		       avx512vbmivlintrin.h avx5124fmapsintrin.h avx5124vnniwintrin.h
 		       avx512vpopcntdqintrin.h clwbintrin.h mwaitxintrin.h
 		       clzerointrin.h pkuintrin.h sgxintrin.h cetintrin.h
-		       gfniintrin.h cet.h"
+		       gfniintrin.h cet.h avx512vbmi2intrin.h
+		       avx512vbmi2vlintrin.h"
 	;;
 ia64-*-*)
 	extra_headers=ia64intrin.h