EVEX and compressed displacement encoding for AVX512