AVXRegRegRegSimdVEX128Test/XRegRegRegEncEncodingTest.encode/25 (from AVXRegRegRegSimdVEX128Test_XRegRegRegEncEncodingTest)