32'b????110?????????????????????????: /* Coprocessor data transfer */
read_0 = insn[19:16];
32'b????1110???????????????????0????, /* Coprocessor data op */
32'b????1110???????????????????1????, /* Coprocessor register transfer */
32'b????1111????????????????????????: /* SWI */
32'b????110?????????????????????????: /* Coprocessor data transfer */
read_0 = insn[19:16];
32'b????1110???????????????????0????, /* Coprocessor data op */
32'b????1110???????????????????1????, /* Coprocessor register transfer */
32'b????1111????????????????????????: /* SWI */