[AVX512] Use 256-bit extract instructions for extracting bits [255:128] from a 512-bit register

This enables the use of a smaller encoding by using a VEX instruction when possible.

Differential Revision: https://reviews.llvm.org/D37092

llvm-svn: 312100