18 aes32dsi a0, a1, a2, 2
19 aes32dsmi a0, a1, a2, 2
20 aes32esi a0, a1, a2, 2
21 aes32esmi a0, a1, a2, 2
26 sha512sig0h a0, a1, a2
27 sha512sig0l a0, a1, a2
28 sha512sig1h a0, a1, a2
29 sha512sig1l a0, a1, a2
30 sha512sum0r a0, a1, a2
31 sha512sum1r a0, a1, a2