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