AVXRegRegRegSimdEVEX512Test/XRegRegRegEncEncodingTest.encode/13 (from AVXRegRegRegSimdEVEX512Test_XRegRegRegEncEncodingTest)