--- /dev/null
+#as: -mlibresoc
+#objdump: -dr -Mlibresoc
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+0+ <\.text>:
+.*:\s+(ef e0 07 c0|c0 07 e0 ef)\s+ffadds\s+f31,f0,f0
+.*:\s+(ec 1f 07 c0|c0 07 1f ec)\s+ffadds\s+f0,f31,f0
+.*:\s+(ec 00 ff c0|c0 ff 00 ec)\s+ffadds\s+f0,f0,f31
+.*:\s+(ef e0 07 c1|c1 07 e0 ef)\s+ffadds.\s+f31,f0,f0
+.*:\s+(ec 1f 07 c1|c1 07 1f ec)\s+ffadds.\s+f0,f31,f0
+.*:\s+(ec 00 ff c1|c1 ff 00 ec)\s+ffadds.\s+f0,f0,f31
{"flog10s.", XRC(59,973,1), X_MASK, SFFS, PPCVLE, {FRT, FRB}},
{"fremainders", XRC(59,975,0), X_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
{"fremainders.", XRC(59,975,1), X_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
+{"ffadds", A(59,992,0), AFRC_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
+{"ffadds.", A(59,992,1), AFRC_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
{"fpowrs", XRC(59,1004,0), X_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
{"fpowrs.", XRC(59,1004,1), X_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},
{"fpows", XRC(59,1005,0), X_MASK, SFFS, PPCVLE, {FRT, FRA, FRB}},