--- a/gcc/config/i386/immintrin.h	Fri Oct 27 22:46:09 2017 +0900
+++ b/gcc/config/i386/immintrin.h	Thu Oct 25 07:37:49 2018 +0900
@@ -1,4 +1,4 @@
-/* Copyright (C) 2008-2017 Free Software Foundation, Inc.
+/* Copyright (C) 2008-2018 Free Software Foundation, Inc.
 
    This file is part of GCC.
 
@@ -74,6 +74,18 @@
 
 #include <avx512vpopcntdqintrin.h>
 
+#include <avx512vbmi2intrin.h>
+
+#include <avx512vbmi2vlintrin.h>
+
+#include <avx512vnniintrin.h>
+
+#include <avx512vnnivlintrin.h>
+
+#include <avx512vpopcntdqvlintrin.h>
+
+#include <avx512bitalgintrin.h>
+
 #include <shaintrin.h>
 
 #include <lzcntintrin.h>
@@ -92,6 +104,29 @@
 
 #include <cetintrin.h>
 
+#include <gfniintrin.h>
+
+#include <vaesintrin.h>
+
+#include <vpclmulqdqintrin.h>
+
+#include <movdirintrin.h>
+
+#include <sgxintrin.h>
+
+#include <pconfigintrin.h>
+
+#include <waitpkgintrin.h>
+
+#include <cldemoteintrin.h>
+
+extern __inline void
+__attribute__((__gnu_inline__, __always_inline__, __artificial__))
+_wbinvd (void)
+{
+  __builtin_ia32_wbinvd ();
+}
+
 #ifndef __RDRND__
 #pragma GCC push_options
 #pragma GCC target("rdrnd")