AVXRegRegRegSimdVEX128Test/XRegRegRegEncEncodingTest.encode/31 (from AVXRegRegRegSimdVEX128Test_XRegRegRegEncEncodingTest)