AVXRegRegRegSimdEVEX128Test/XRegRegRegEncEncodingTest.encode/12 (from AVXRegRegRegSimdEVEX128Test_XRegRegRegEncEncodingTest)