# CHECK: maddu $6, $7
0x01 0x00 0xc7 0x70
+# CHECK: mfc0 $8, $16, 4
+0x04 0x80 0x08 0x40
+
# CHECK: mfc1 $6, $f7
0x00 0x38 0x06 0x44
# CHECK: msubu $6, $7
0x05 0x00 0xc7 0x70
+# CHECK: mtc0 $9, $15, 1
+0x01 0x78 0x89 0x40
+
# CHECK: mtc1 $6, $f7
0x00 0x38 0x86 0x44