AVXSimdRegRegEVEX512Test/XRegRegEncEncodingTest.encode/13 (from AVXSimdRegRegEVEX512Test_XRegRegEncEncodingTest)