AVXRegRegRegSimdVEX128Test/XRegRegRegEncEncodingTest.encode/13 (from AVXRegRegRegSimdVEX128Test_XRegRegRegEncEncodingTest)