832a833,841
> }
> } else if (bits(op1, 3, 2) == 0x3 && bits(op2, 3, 2) == 0x2) {
> const uint32_t op1 = bits(machInst, 22, 20);
> const uint32_t op2 = bits(machInst, 5, 4);
> const IntRegIndex rd =
> (IntRegIndex)(uint32_t)bits(machInst, 11, 8);
> const IntRegIndex rm =
> (IntRegIndex)(uint32_t)bits(machInst, 3, 0);
> switch (op1) {