--- /dev/null
+#as: -mlibresoc
+#objdump: -dr -Mlibresoc
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+0+ <\.text>:
+.*:\s+(ef e0 00 0c|0c 00 e0 ef)\s+ffnmsubs\s+f31,f0,f0
+.*:\s+(ec 1f 00 0c|0c 00 1f ec)\s+ffnmsubs\s+f0,f31,f0
+.*:\s+(ec 00 f8 0c|0c f8 00 ec)\s+ffnmsubs\s+f0,f0,f31
+.*:\s+(ef e0 00 0d|0d 00 e0 ef)\s+ffnmsubs.\s+f31,f0,f0
+.*:\s+(ec 1f 00 0d|0d 00 1f ec)\s+ffnmsubs.\s+f0,f31,f0
+.*:\s+(ec 00 f8 0d|0d f8 00 ec)\s+ffnmsubs.\s+f0,f0,f31
{"ffmadds", A(59,5,0), AFRC_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
{"ffmadds.", A(59,5,1), AFRC_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
+{"ffnmsubs", A(59,6,0), AFRC_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
+{"ffnmsubs.", A(59,6,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}},