AVXRegRegRegSimdVEX256Test/XRegRegRegEncEncodingTest.encode/12 (from AVXRegRegRegSimdVEX256Test_XRegRegRegEncEncodingTest)