AVXRegRegRegSimdEVEX256Test/XRegRegRegEncEncodingTest.encode/25 (from AVXRegRegRegSimdEVEX256Test_XRegRegRegEncEncodingTest)