Hi, attached patches are for renaming __builtin_ia32_kmov16 to __builtin_ia32_kmovw in GCC 5.* and 6.* branches since it was renamed in master. Bootstrapped and regtested on x86_64-linux-gnu. gcc/ * config/i386/i386.c (__builtin_ia32_kmovw): Renamed from __builtin_ia32_kmov16 since it was renamed in master. * config/i386/avx512fintrin.h: Ditto. Are they Ok to commit? -- Andrew