--- /dev/null
+#as: -mlibresoc
+#objdump: -dr -Mlibresoc
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+0+ <\.text>:
+.*:\s+(ef e0 00 08|08 00 e0 ef)\s+ffmsubs\s+f31,f0,f0
+.*:\s+(ec 1f 00 08|08 00 1f ec)\s+ffmsubs\s+f0,f31,f0
+.*:\s+(ec 00 f8 08|08 f8 00 ec)\s+ffmsubs\s+f0,f0,f31
+.*:\s+(ef e0 00 09|09 00 e0 ef)\s+ffmsubs.\s+f31,f0,f0
+.*:\s+(ec 1f 00 09|09 00 1f ec)\s+ffmsubs.\s+f0,f31,f0
+.*:\s+(ec 00 f8 09|09 f8 00 ec)\s+ffmsubs.\s+f0,f0,f31
{"dmxvi8ger4", XX3(59,3), XX3ACC_MASK, POWER10, PPCVLE, {ACC, XA6a, XB6a}},
{"xvi8ger4", XX3(59,3), XX3ACC_MASK, POWER10, PPCVLE, {ACC, XA6a, XB6a}},
+{"ffmsubs", A(59,4,0), AFRC_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
+{"ffmsubs.", A(59,4,1), AFRC_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
+
{"fdivs", A(59,18,0), AFRC_MASK, PPC, PPCEFS|PPCVLE, {FRT, FRA, FRB}},
{"fdivs.", A(59,18,1), AFRC_MASK, PPC, PPCEFS|PPCVLE, {FRT, FRA, FRB}},