return tdesc_amd64_avx_mpx_linux;
case X86_TDESC_AVX_MPX_AVX512:
return tdesc_amd64_avx_mpx_avx512_linux;
+ case X86_TDESC_AVX_AVX512:
+ return tdesc_amd64_avx_avx512_linux;
default:
internal_error (__FILE__, __LINE__,
"unknown ipa tdesc index: %d", idx);
#else
init_registers_amd64_linux ();
init_registers_amd64_avx_linux ();
+ init_registers_amd64_mpx_linux ();
init_registers_amd64_avx_mpx_linux ();
- init_registers_amd64_avx_mpx_avx512_linux ();
+ init_registers_amd64_avx_avx512_linux ();
#endif
}