AVXRegRegRegSimdVEX128Test/XRegRegRegEncEncodingTest.encode/15 (from AVXRegRegRegSimdVEX128Test_XRegRegRegEncEncodingTest)