--- /dev/null
+#as: -mlibresoc
+#objdump: -dr -Mlibresoc
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+0+ <\.text>:
+.*:\s+(06 00 00 58|58 00 00 06)\s+fmvis\s+f0,0
+.*:\s+(06 00 e0 5b|5b e0 00 06)\s+fmvis\s+f31,0
+.*:\s+(c7 7f 1f 58|58 1f 7f c7)\s+fmvis\s+f0,32767
+.*:\s+(06 80 00 58|58 00 80 06)\s+fmvis\s+f0,-32768
{"rlmi", M(22,0), M_MASK, M601, PPCVLE, {RA, RS, RB, MBE, ME}},
{"rlmi.", M(22,1), M_MASK, M601, PPCVLE, {RA, RS, RB, MBE, ME}},
+{"fmvis", DX(22,3), DX_MASK, SVP64, PPCVLE, {FRS, DXD}},
+
{"svstep", SVL(22,19,0), SVL_MASK, SVP64, PPCVLE, {RT, SVi, vf}},
{"svstep.", SVL(22,19,1), SVL_MASK, SVP64, PPCVLE, {RT, SVi, vf}},