--- /dev/null
+#as: -mlibresoc
+#objdump: -dr -Mlibresoc
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+0+ <\.text>:
+.*:\s+(ef e0 04 18|18 04 e0 ef)\s+fcbrts\s+f31,f0
+.*:\s+(ec 00 fc 18|18 fc 00 ec)\s+fcbrts\s+f0,f31
+.*:\s+(ef e0 04 19|19 04 e0 ef)\s+fcbrts.\s+f31,f0
+.*:\s+(ec 00 fc 19|19 fc 00 ec)\s+fcbrts.\s+f0,f31
+.*:\s+(ef e0 04 1a|1a 04 e0 ef)\s+fsinpis\s+f31,f0
+.*:\s+(ec 00 fc 1a|1a fc 00 ec)\s+fsinpis\s+f0,f31
+.*:\s+(ef e0 04 1b|1b 04 e0 ef)\s+fsinpis.\s+f31,f0
+.*:\s+(ec 00 fc 1b|1b fc 00 ec)\s+fsinpis.\s+f0,f31
+.*:\s+(ef e0 04 1c|1c 04 e0 ef)\s+fatan2pis\s+f31,f0,f0
+.*:\s+(ec 1f 04 1c|1c 04 1f ec)\s+fatan2pis\s+f0,f31,f0
+.*:\s+(ec 00 fc 1c|1c fc 00 ec)\s+fatan2pis\s+f0,f0,f31
+.*:\s+(ef e0 04 1d|1d 04 e0 ef)\s+fatan2pis.\s+f31,f0,f0
+.*:\s+(ec 1f 04 1d|1d 04 1f ec)\s+fatan2pis.\s+f0,f31,f0
+.*:\s+(ec 00 fc 1d|1d fc 00 ec)\s+fatan2pis.\s+f0,f0,f31
+.*:\s+(ef e0 04 1e|1e 04 e0 ef)\s+fasinpis\s+f31,f0
+.*:\s+(ec 00 fc 1e|1e fc 00 ec)\s+fasinpis\s+f0,f31
+.*:\s+(ef e0 04 1f|1f 04 e0 ef)\s+fasinpis.\s+f31,f0
+.*:\s+(ec 00 fc 1f|1f fc 00 ec)\s+fasinpis.\s+f0,f31
+.*:\s+(ef e0 04 58|58 04 e0 ef)\s+fcospis\s+f31,f0
+.*:\s+(ec 00 fc 58|58 fc 00 ec)\s+fcospis\s+f0,f31
+.*:\s+(ef e0 04 59|59 04 e0 ef)\s+fcospis.\s+f31,f0
+.*:\s+(ec 00 fc 59|59 fc 00 ec)\s+fcospis.\s+f0,f31
+.*:\s+(ef e0 04 5a|5a 04 e0 ef)\s+ftanpis\s+f31,f0
+.*:\s+(ec 00 fc 5a|5a fc 00 ec)\s+ftanpis\s+f0,f31
+.*:\s+(ef e0 04 5b|5b 04 e0 ef)\s+ftanpis.\s+f31,f0
+.*:\s+(ec 00 fc 5b|5b fc 00 ec)\s+ftanpis.\s+f0,f31
+.*:\s+(ef e0 04 5c|5c 04 e0 ef)\s+facospis\s+f31,f0
+.*:\s+(ec 00 fc 5c|5c fc 00 ec)\s+facospis\s+f0,f31
+.*:\s+(ef e0 04 5d|5d 04 e0 ef)\s+facospis.\s+f31,f0
+.*:\s+(ec 00 fc 5d|5d fc 00 ec)\s+facospis.\s+f0,f31
+.*:\s+(ef e0 04 5e|5e 04 e0 ef)\s+fatanpis\s+f31,f0
+.*:\s+(ec 00 fc 5e|5e fc 00 ec)\s+fatanpis\s+f0,f31
+.*:\s+(ef e0 04 5f|5f 04 e0 ef)\s+fatanpis.\s+f31,f0
+.*:\s+(ec 00 fc 5f|5f fc 00 ec)\s+fatanpis.\s+f0,f31
+.*:\s+(ef e0 04 98|98 04 e0 ef)\s+frsqrts\s+f31,f0
+.*:\s+(ec 00 fc 98|98 fc 00 ec)\s+frsqrts\s+f0,f31
+.*:\s+(ef e0 04 99|99 04 e0 ef)\s+frsqrts.\s+f31,f0
+.*:\s+(ec 00 fc 99|99 fc 00 ec)\s+frsqrts.\s+f0,f31
+.*:\s+(ef e0 04 9a|9a 04 e0 ef)\s+fsins\s+f31,f0
+.*:\s+(ec 00 fc 9a|9a fc 00 ec)\s+fsins\s+f0,f31
+.*:\s+(ef e0 04 9b|9b 04 e0 ef)\s+fsins.\s+f31,f0
+.*:\s+(ec 00 fc 9b|9b fc 00 ec)\s+fsins.\s+f0,f31
+.*:\s+(ef e0 04 9c|9c 04 e0 ef)\s+fatan2s\s+f31,f0,f0
+.*:\s+(ec 1f 04 9c|9c 04 1f ec)\s+fatan2s\s+f0,f31,f0
+.*:\s+(ec 00 fc 9c|9c fc 00 ec)\s+fatan2s\s+f0,f0,f31
+.*:\s+(ef e0 04 9d|9d 04 e0 ef)\s+fatan2s.\s+f31,f0,f0
+.*:\s+(ec 1f 04 9d|9d 04 1f ec)\s+fatan2s.\s+f0,f31,f0
+.*:\s+(ec 00 fc 9d|9d fc 00 ec)\s+fatan2s.\s+f0,f0,f31
+.*:\s+(ef e0 04 9e|9e 04 e0 ef)\s+fasins\s+f31,f0
+.*:\s+(ec 00 fc 9e|9e fc 00 ec)\s+fasins\s+f0,f31
+.*:\s+(ef e0 04 9f|9f 04 e0 ef)\s+fasins.\s+f31,f0
+.*:\s+(ec 00 fc 9f|9f fc 00 ec)\s+fasins.\s+f0,f31
+.*:\s+(ef e0 04 d8|d8 04 e0 ef)\s+fcoss\s+f31,f0
+.*:\s+(ec 00 fc d8|d8 fc 00 ec)\s+fcoss\s+f0,f31
+.*:\s+(ef e0 04 d9|d9 04 e0 ef)\s+fcoss.\s+f31,f0
+.*:\s+(ec 00 fc d9|d9 fc 00 ec)\s+fcoss.\s+f0,f31
+.*:\s+(ef e0 04 da|da 04 e0 ef)\s+ftans\s+f31,f0
+.*:\s+(ec 00 fc da|da fc 00 ec)\s+ftans\s+f0,f31
+.*:\s+(ef e0 04 db|db 04 e0 ef)\s+ftans.\s+f31,f0
+.*:\s+(ec 00 fc db|db fc 00 ec)\s+ftans.\s+f0,f31
+.*:\s+(ef e0 04 dc|dc 04 e0 ef)\s+facoss\s+f31,f0
+.*:\s+(ec 00 fc dc|dc fc 00 ec)\s+facoss\s+f0,f31
+.*:\s+(ef e0 04 dd|dd 04 e0 ef)\s+facoss.\s+f31,f0
+.*:\s+(ec 00 fc dd|dd fc 00 ec)\s+facoss.\s+f0,f31
+.*:\s+(ef e0 04 de|de 04 e0 ef)\s+fatans\s+f31,f0
+.*:\s+(ec 00 fc de|de fc 00 ec)\s+fatans\s+f0,f31
+.*:\s+(ef e0 04 df|df 04 e0 ef)\s+fatans.\s+f31,f0
+.*:\s+(ec 00 fc df|df fc 00 ec)\s+fatans.\s+f0,f31
+.*:\s+(ef e0 05 18|18 05 e0 ef)\s+frecips\s+f31,f0
+.*:\s+(ec 00 fd 18|18 fd 00 ec)\s+frecips\s+f0,f31
+.*:\s+(ef e0 05 19|19 05 e0 ef)\s+frecips.\s+f31,f0
+.*:\s+(ec 00 fd 19|19 fd 00 ec)\s+frecips.\s+f0,f31
+.*:\s+(ef e0 05 1a|1a 05 e0 ef)\s+fsinhs\s+f31,f0
+.*:\s+(ec 00 fd 1a|1a fd 00 ec)\s+fsinhs\s+f0,f31
+.*:\s+(ef e0 05 1b|1b 05 e0 ef)\s+fsinhs.\s+f31,f0
+.*:\s+(ec 00 fd 1b|1b fd 00 ec)\s+fsinhs.\s+f0,f31
+.*:\s+(ef e0 05 1c|1c 05 e0 ef)\s+fhypots\s+f31,f0,f0
+.*:\s+(ec 1f 05 1c|1c 05 1f ec)\s+fhypots\s+f0,f31,f0
+.*:\s+(ec 00 fd 1c|1c fd 00 ec)\s+fhypots\s+f0,f0,f31
+.*:\s+(ef e0 05 1d|1d 05 e0 ef)\s+fhypots.\s+f31,f0,f0
+.*:\s+(ec 1f 05 1d|1d 05 1f ec)\s+fhypots.\s+f0,f31,f0
+.*:\s+(ec 00 fd 1d|1d fd 00 ec)\s+fhypots.\s+f0,f0,f31
+.*:\s+(ef e0 05 1e|1e 05 e0 ef)\s+fasinhs\s+f31,f0
+.*:\s+(ec 00 fd 1e|1e fd 00 ec)\s+fasinhs\s+f0,f31
+.*:\s+(ef e0 05 1f|1f 05 e0 ef)\s+fasinhs.\s+f31,f0
+.*:\s+(ec 00 fd 1f|1f fd 00 ec)\s+fasinhs.\s+f0,f31
+.*:\s+(ef e0 05 58|58 05 e0 ef)\s+fcoshs\s+f31,f0
+.*:\s+(ec 00 fd 58|58 fd 00 ec)\s+fcoshs\s+f0,f31
+.*:\s+(ef e0 05 59|59 05 e0 ef)\s+fcoshs.\s+f31,f0
+.*:\s+(ec 00 fd 59|59 fd 00 ec)\s+fcoshs.\s+f0,f31
+.*:\s+(ef e0 05 5a|5a 05 e0 ef)\s+ftanhs\s+f31,f0
+.*:\s+(ec 00 fd 5a|5a fd 00 ec)\s+ftanhs\s+f0,f31
+.*:\s+(ef e0 05 5b|5b 05 e0 ef)\s+ftanhs.\s+f31,f0
+.*:\s+(ec 00 fd 5b|5b fd 00 ec)\s+ftanhs.\s+f0,f31
+.*:\s+(ef e0 05 5c|5c 05 e0 ef)\s+facoshs\s+f31,f0
+.*:\s+(ec 00 fd 5c|5c fd 00 ec)\s+facoshs\s+f0,f31
+.*:\s+(ef e0 05 5d|5d 05 e0 ef)\s+facoshs.\s+f31,f0
+.*:\s+(ec 00 fd 5d|5d fd 00 ec)\s+facoshs.\s+f0,f31
+.*:\s+(ef e0 05 5e|5e 05 e0 ef)\s+fatanhs\s+f31,f0
+.*:\s+(ec 00 fd 5e|5e fd 00 ec)\s+fatanhs\s+f0,f31
+.*:\s+(ef e0 05 5f|5f 05 e0 ef)\s+fatanhs.\s+f31,f0
+.*:\s+(ec 00 fd 5f|5f fd 00 ec)\s+fatanhs.\s+f0,f31
+.*:\s+(ef e0 05 98|98 05 e0 ef)\s+fminnum08s\s+f31,f0,f0
+.*:\s+(ec 1f 05 98|98 05 1f ec)\s+fminnum08s\s+f0,f31,f0
+.*:\s+(ec 00 fd 98|98 fd 00 ec)\s+fminnum08s\s+f0,f0,f31
+.*:\s+(ef e0 05 99|99 05 e0 ef)\s+fminnum08s.\s+f31,f0,f0
+.*:\s+(ec 1f 05 99|99 05 1f ec)\s+fminnum08s.\s+f0,f31,f0
+.*:\s+(ec 00 fd 99|99 fd 00 ec)\s+fminnum08s.\s+f0,f0,f31
+.*:\s+(ef e0 05 9a|9a 05 e0 ef)\s+fmin19s\s+f31,f0,f0
+.*:\s+(ec 1f 05 9a|9a 05 1f ec)\s+fmin19s\s+f0,f31,f0
+.*:\s+(ec 00 fd 9a|9a fd 00 ec)\s+fmin19s\s+f0,f0,f31
+.*:\s+(ef e0 05 9b|9b 05 e0 ef)\s+fmin19s.\s+f31,f0,f0
+.*:\s+(ec 1f 05 9b|9b 05 1f ec)\s+fmin19s.\s+f0,f31,f0
+.*:\s+(ec 00 fd 9b|9b fd 00 ec)\s+fmin19s.\s+f0,f0,f31
+.*:\s+(ef e0 05 9c|9c 05 e0 ef)\s+fminnum19s\s+f31,f0,f0
+.*:\s+(ec 1f 05 9c|9c 05 1f ec)\s+fminnum19s\s+f0,f31,f0
+.*:\s+(ec 00 fd 9c|9c fd 00 ec)\s+fminnum19s\s+f0,f0,f31
+.*:\s+(ef e0 05 9d|9d 05 e0 ef)\s+fminnum19s.\s+f31,f0,f0
+.*:\s+(ec 1f 05 9d|9d 05 1f ec)\s+fminnum19s.\s+f0,f31,f0
+.*:\s+(ec 00 fd 9d|9d fd 00 ec)\s+fminnum19s.\s+f0,f0,f31
+.*:\s+(ef e0 05 9e|9e 05 e0 ef)\s+fmincs\s+f31,f0,f0
+.*:\s+(ec 1f 05 9e|9e 05 1f ec)\s+fmincs\s+f0,f31,f0
+.*:\s+(ec 00 fd 9e|9e fd 00 ec)\s+fmincs\s+f0,f0,f31
+.*:\s+(ef e0 05 9f|9f 05 e0 ef)\s+fmincs.\s+f31,f0,f0
+.*:\s+(ec 1f 05 9f|9f 05 1f ec)\s+fmincs.\s+f0,f31,f0
+.*:\s+(ec 00 fd 9f|9f fd 00 ec)\s+fmincs.\s+f0,f0,f31
+.*:\s+(ef e0 05 d8|d8 05 e0 ef)\s+fmaxnum08s\s+f31,f0,f0
+.*:\s+(ec 1f 05 d8|d8 05 1f ec)\s+fmaxnum08s\s+f0,f31,f0
+.*:\s+(ec 00 fd d8|d8 fd 00 ec)\s+fmaxnum08s\s+f0,f0,f31
+.*:\s+(ef e0 05 d9|d9 05 e0 ef)\s+fmaxnum08s.\s+f31,f0,f0
+.*:\s+(ec 1f 05 d9|d9 05 1f ec)\s+fmaxnum08s.\s+f0,f31,f0
+.*:\s+(ec 00 fd d9|d9 fd 00 ec)\s+fmaxnum08s.\s+f0,f0,f31
+.*:\s+(ef e0 05 da|da 05 e0 ef)\s+fmax19s\s+f31,f0,f0
+.*:\s+(ec 1f 05 da|da 05 1f ec)\s+fmax19s\s+f0,f31,f0
+.*:\s+(ec 00 fd da|da fd 00 ec)\s+fmax19s\s+f0,f0,f31
+.*:\s+(ef e0 05 db|db 05 e0 ef)\s+fmax19s.\s+f31,f0,f0
+.*:\s+(ec 1f 05 db|db 05 1f ec)\s+fmax19s.\s+f0,f31,f0
+.*:\s+(ec 00 fd db|db fd 00 ec)\s+fmax19s.\s+f0,f0,f31
+.*:\s+(ef e0 05 dc|dc 05 e0 ef)\s+fmaxnum19s\s+f31,f0,f0
+.*:\s+(ec 1f 05 dc|dc 05 1f ec)\s+fmaxnum19s\s+f0,f31,f0
+.*:\s+(ec 00 fd dc|dc fd 00 ec)\s+fmaxnum19s\s+f0,f0,f31
+.*:\s+(ef e0 05 dd|dd 05 e0 ef)\s+fmaxnum19s.\s+f31,f0,f0
+.*:\s+(ec 1f 05 dd|dd 05 1f ec)\s+fmaxnum19s.\s+f0,f31,f0
+.*:\s+(ec 00 fd dd|dd fd 00 ec)\s+fmaxnum19s.\s+f0,f0,f31
+.*:\s+(ef e0 05 de|de 05 e0 ef)\s+fmaxcs\s+f31,f0,f0
+.*:\s+(ec 1f 05 de|de 05 1f ec)\s+fmaxcs\s+f0,f31,f0
+.*:\s+(ec 00 fd de|de fd 00 ec)\s+fmaxcs\s+f0,f0,f31
+.*:\s+(ef e0 05 df|df 05 e0 ef)\s+fmaxcs.\s+f31,f0,f0
+.*:\s+(ec 1f 05 df|df 05 1f ec)\s+fmaxcs.\s+f0,f31,f0
+.*:\s+(ec 00 fd df|df fd 00 ec)\s+fmaxcs.\s+f0,f0,f31
+.*:\s+(ef e0 06 18|18 06 e0 ef)\s+fexp2m1s\s+f31,f0
+.*:\s+(ec 00 fe 18|18 fe 00 ec)\s+fexp2m1s\s+f0,f31
+.*:\s+(ef e0 06 19|19 06 e0 ef)\s+fexp2m1s.\s+f31,f0
+.*:\s+(ec 00 fe 19|19 fe 00 ec)\s+fexp2m1s.\s+f0,f31
+.*:\s+(ef e0 06 1a|1a 06 e0 ef)\s+flog2p1s\s+f31,f0
+.*:\s+(ec 00 fe 1a|1a fe 00 ec)\s+flog2p1s\s+f0,f31
+.*:\s+(ef e0 06 1b|1b 06 e0 ef)\s+flog2p1s.\s+f31,f0
+.*:\s+(ec 00 fe 1b|1b fe 00 ec)\s+flog2p1s.\s+f0,f31
+.*:\s+(ef e0 06 1c|1c 06 e0 ef)\s+fminmagnum08s\s+f31,f0,f0
+.*:\s+(ec 1f 06 1c|1c 06 1f ec)\s+fminmagnum08s\s+f0,f31,f0
+.*:\s+(ec 00 fe 1c|1c fe 00 ec)\s+fminmagnum08s\s+f0,f0,f31
+.*:\s+(ef e0 06 1d|1d 06 e0 ef)\s+fminmagnum08s.\s+f31,f0,f0
+.*:\s+(ec 1f 06 1d|1d 06 1f ec)\s+fminmagnum08s.\s+f0,f31,f0
+.*:\s+(ec 00 fe 1d|1d fe 00 ec)\s+fminmagnum08s.\s+f0,f0,f31
+.*:\s+(ef e0 06 1e|1e 06 e0 ef)\s+fmaxmagnum08s\s+f31,f0,f0
+.*:\s+(ec 1f 06 1e|1e 06 1f ec)\s+fmaxmagnum08s\s+f0,f31,f0
+.*:\s+(ec 00 fe 1e|1e fe 00 ec)\s+fmaxmagnum08s\s+f0,f0,f31
+.*:\s+(ef e0 06 1f|1f 06 e0 ef)\s+fmaxmagnum08s.\s+f31,f0,f0
+.*:\s+(ec 1f 06 1f|1f 06 1f ec)\s+fmaxmagnum08s.\s+f0,f31,f0
+.*:\s+(ec 00 fe 1f|1f fe 00 ec)\s+fmaxmagnum08s.\s+f0,f0,f31
+.*:\s+(ef e0 06 58|58 06 e0 ef)\s+fexpm1s\s+f31,f0
+.*:\s+(ec 00 fe 58|58 fe 00 ec)\s+fexpm1s\s+f0,f31
+.*:\s+(ef e0 06 59|59 06 e0 ef)\s+fexpm1s.\s+f31,f0
+.*:\s+(ec 00 fe 59|59 fe 00 ec)\s+fexpm1s.\s+f0,f31
+.*:\s+(ef e0 06 5a|5a 06 e0 ef)\s+flogp1s\s+f31,f0
+.*:\s+(ec 00 fe 5a|5a fe 00 ec)\s+flogp1s\s+f0,f31
+.*:\s+(ef e0 06 5b|5b 06 e0 ef)\s+flogp1s.\s+f31,f0
+.*:\s+(ec 00 fe 5b|5b fe 00 ec)\s+flogp1s.\s+f0,f31
+.*:\s+(ef e0 06 98|98 06 e0 ef)\s+fexp10m1s\s+f31,f0
+.*:\s+(ec 00 fe 98|98 fe 00 ec)\s+fexp10m1s\s+f0,f31
+.*:\s+(ef e0 06 99|99 06 e0 ef)\s+fexp10m1s.\s+f31,f0
+.*:\s+(ec 00 fe 99|99 fe 00 ec)\s+fexp10m1s.\s+f0,f31
+.*:\s+(ef e0 06 9a|9a 06 e0 ef)\s+flog10p1s\s+f31,f0
+.*:\s+(ec 00 fe 9a|9a fe 00 ec)\s+flog10p1s\s+f0,f31
+.*:\s+(ef e0 06 9b|9b 06 e0 ef)\s+flog10p1s.\s+f31,f0
+.*:\s+(ec 00 fe 9b|9b fe 00 ec)\s+flog10p1s.\s+f0,f31
+.*:\s+(ef e0 06 9e|9e 06 e0 ef)\s+fmods\s+f31,f0,f0
+.*:\s+(ec 1f 06 9e|9e 06 1f ec)\s+fmods\s+f0,f31,f0
+.*:\s+(ec 00 fe 9e|9e fe 00 ec)\s+fmods\s+f0,f0,f31
+.*:\s+(ef e0 06 9f|9f 06 e0 ef)\s+fmods.\s+f31,f0,f0
+.*:\s+(ec 1f 06 9f|9f 06 1f ec)\s+fmods.\s+f0,f31,f0
+.*:\s+(ec 00 fe 9f|9f fe 00 ec)\s+fmods.\s+f0,f0,f31
+.*:\s+(ef e0 06 d8|d8 06 e0 ef)\s+fpowns\s+f31,f0,r0
+.*:\s+(ec 1f 06 d8|d8 06 1f ec)\s+fpowns\s+f0,f31,r0
+.*:\s+(ec 00 fe d8|d8 fe 00 ec)\s+fpowns\s+f0,f0,r31
+.*:\s+(ef e0 06 d9|d9 06 e0 ef)\s+fpowns.\s+f31,f0,r0
+.*:\s+(ec 1f 06 d9|d9 06 1f ec)\s+fpowns.\s+f0,f31,r0
+.*:\s+(ec 00 fe d9|d9 fe 00 ec)\s+fpowns.\s+f0,f0,r31
+.*:\s+(ef e0 06 da|da 06 e0 ef)\s+frootns\s+f31,f0,r0
+.*:\s+(ec 1f 06 da|da 06 1f ec)\s+frootns\s+f0,f31,r0
+.*:\s+(ec 00 fe da|da fe 00 ec)\s+frootns\s+f0,f0,r31
+.*:\s+(ef e0 06 db|db 06 e0 ef)\s+frootns.\s+f31,f0,r0
+.*:\s+(ec 1f 06 db|db 06 1f ec)\s+frootns.\s+f0,f31,r0
+.*:\s+(ec 00 fe db|db fe 00 ec)\s+frootns.\s+f0,f0,r31
+.*:\s+(ef e0 06 dc|dc 06 e0 ef)\s+fminmag19s\s+f31,f0,f0
+.*:\s+(ec 1f 06 dc|dc 06 1f ec)\s+fminmag19s\s+f0,f31,f0
+.*:\s+(ec 00 fe dc|dc fe 00 ec)\s+fminmag19s\s+f0,f0,f31
+.*:\s+(ef e0 06 dd|dd 06 e0 ef)\s+fminmag19s.\s+f31,f0,f0
+.*:\s+(ec 1f 06 dd|dd 06 1f ec)\s+fminmag19s.\s+f0,f31,f0
+.*:\s+(ec 00 fe dd|dd fe 00 ec)\s+fminmag19s.\s+f0,f0,f31
+.*:\s+(ef e0 06 de|de 06 e0 ef)\s+fmaxmag19s\s+f31,f0,f0
+.*:\s+(ec 1f 06 de|de 06 1f ec)\s+fmaxmag19s\s+f0,f31,f0
+.*:\s+(ec 00 fe de|de fe 00 ec)\s+fmaxmag19s\s+f0,f0,f31
+.*:\s+(ef e0 06 df|df 06 e0 ef)\s+fmaxmag19s.\s+f31,f0,f0
+.*:\s+(ec 1f 06 df|df 06 1f ec)\s+fmaxmag19s.\s+f0,f31,f0
+.*:\s+(ec 00 fe df|df fe 00 ec)\s+fmaxmag19s.\s+f0,f0,f31
+.*:\s+(ef e0 07 18|18 07 e0 ef)\s+fexp2s\s+f31,f0
+.*:\s+(ec 00 ff 18|18 ff 00 ec)\s+fexp2s\s+f0,f31
+.*:\s+(ef e0 07 19|19 07 e0 ef)\s+fexp2s.\s+f31,f0
+.*:\s+(ec 00 ff 19|19 ff 00 ec)\s+fexp2s.\s+f0,f31
+.*:\s+(ef e0 07 1a|1a 07 e0 ef)\s+flog2s\s+f31,f0
+.*:\s+(ec 00 ff 1a|1a ff 00 ec)\s+flog2s\s+f0,f31
+.*:\s+(ef e0 07 1b|1b 07 e0 ef)\s+flog2s.\s+f31,f0
+.*:\s+(ec 00 ff 1b|1b ff 00 ec)\s+flog2s.\s+f0,f31
+.*:\s+(ef e0 07 1c|1c 07 e0 ef)\s+fminmagnum19s\s+f31,f0,f0
+.*:\s+(ec 1f 07 1c|1c 07 1f ec)\s+fminmagnum19s\s+f0,f31,f0
+.*:\s+(ec 00 ff 1c|1c ff 00 ec)\s+fminmagnum19s\s+f0,f0,f31
+.*:\s+(ef e0 07 1d|1d 07 e0 ef)\s+fminmagnum19s.\s+f31,f0,f0
+.*:\s+(ec 1f 07 1d|1d 07 1f ec)\s+fminmagnum19s.\s+f0,f31,f0
+.*:\s+(ec 00 ff 1d|1d ff 00 ec)\s+fminmagnum19s.\s+f0,f0,f31
+.*:\s+(ef e0 07 1e|1e 07 e0 ef)\s+fmaxmagnum19s\s+f31,f0,f0
+.*:\s+(ec 1f 07 1e|1e 07 1f ec)\s+fmaxmagnum19s\s+f0,f31,f0
+.*:\s+(ec 00 ff 1e|1e ff 00 ec)\s+fmaxmagnum19s\s+f0,f0,f31
+.*:\s+(ef e0 07 1f|1f 07 e0 ef)\s+fmaxmagnum19s.\s+f31,f0,f0
+.*:\s+(ec 1f 07 1f|1f 07 1f ec)\s+fmaxmagnum19s.\s+f0,f31,f0
+.*:\s+(ec 00 ff 1f|1f ff 00 ec)\s+fmaxmagnum19s.\s+f0,f0,f31
+.*:\s+(ef e0 07 58|58 07 e0 ef)\s+fexps\s+f31,f0
+.*:\s+(ec 00 ff 58|58 ff 00 ec)\s+fexps\s+f0,f31
+.*:\s+(ef e0 07 59|59 07 e0 ef)\s+fexps.\s+f31,f0
+.*:\s+(ec 00 ff 59|59 ff 00 ec)\s+fexps.\s+f0,f31
+.*:\s+(ef e0 07 5a|5a 07 e0 ef)\s+flogs\s+f31,f0
+.*:\s+(ec 00 ff 5a|5a ff 00 ec)\s+flogs\s+f0,f31
+.*:\s+(ef e0 07 5b|5b 07 e0 ef)\s+flogs.\s+f31,f0
+.*:\s+(ec 00 ff 5b|5b ff 00 ec)\s+flogs.\s+f0,f31
+.*:\s+(ef e0 07 98|98 07 e0 ef)\s+fexp10s\s+f31,f0
+.*:\s+(ec 00 ff 98|98 ff 00 ec)\s+fexp10s\s+f0,f31
+.*:\s+(ef e0 07 99|99 07 e0 ef)\s+fexp10s.\s+f31,f0
+.*:\s+(ec 00 ff 99|99 ff 00 ec)\s+fexp10s.\s+f0,f31
+.*:\s+(ef e0 07 9a|9a 07 e0 ef)\s+flog10s\s+f31,f0
+.*:\s+(ec 00 ff 9a|9a ff 00 ec)\s+flog10s\s+f0,f31
+.*:\s+(ef e0 07 9b|9b 07 e0 ef)\s+flog10s.\s+f31,f0
+.*:\s+(ec 00 ff 9b|9b ff 00 ec)\s+flog10s.\s+f0,f31
+.*:\s+(ef e0 07 9e|9e 07 e0 ef)\s+fremainders\s+f31,f0,f0
+.*:\s+(ec 1f 07 9e|9e 07 1f ec)\s+fremainders\s+f0,f31,f0
+.*:\s+(ec 00 ff 9e|9e ff 00 ec)\s+fremainders\s+f0,f0,f31
+.*:\s+(ef e0 07 9f|9f 07 e0 ef)\s+fremainders.\s+f31,f0,f0
+.*:\s+(ec 1f 07 9f|9f 07 1f ec)\s+fremainders.\s+f0,f31,f0
+.*:\s+(ec 00 ff 9f|9f ff 00 ec)\s+fremainders.\s+f0,f0,f31
+.*:\s+(ef e0 07 d8|d8 07 e0 ef)\s+fpowrs\s+f31,f0,f0
+.*:\s+(ec 1f 07 d8|d8 07 1f ec)\s+fpowrs\s+f0,f31,f0
+.*:\s+(ec 00 ff d8|d8 ff 00 ec)\s+fpowrs\s+f0,f0,f31
+.*:\s+(ef e0 07 d9|d9 07 e0 ef)\s+fpowrs.\s+f31,f0,f0
+.*:\s+(ec 1f 07 d9|d9 07 1f ec)\s+fpowrs.\s+f0,f31,f0
+.*:\s+(ec 00 ff d9|d9 ff 00 ec)\s+fpowrs.\s+f0,f0,f31
+.*:\s+(ef e0 07 da|da 07 e0 ef)\s+fpows\s+f31,f0,f0
+.*:\s+(ec 1f 07 da|da 07 1f ec)\s+fpows\s+f0,f31,f0
+.*:\s+(ec 00 ff da|da ff 00 ec)\s+fpows\s+f0,f0,f31
+.*:\s+(ef e0 07 db|db 07 e0 ef)\s+fpows.\s+f31,f0,f0
+.*:\s+(ec 1f 07 db|db 07 1f ec)\s+fpows.\s+f0,f31,f0
+.*:\s+(ec 00 ff db|db ff 00 ec)\s+fpows.\s+f0,f0,f31
+.*:\s+(ef e0 07 dc|dc 07 e0 ef)\s+fminmagcs\s+f31,f0,f0
+.*:\s+(ec 1f 07 dc|dc 07 1f ec)\s+fminmagcs\s+f0,f31,f0
+.*:\s+(ec 00 ff dc|dc ff 00 ec)\s+fminmagcs\s+f0,f0,f31
+.*:\s+(ef e0 07 dd|dd 07 e0 ef)\s+fminmagcs.\s+f31,f0,f0
+.*:\s+(ec 1f 07 dd|dd 07 1f ec)\s+fminmagcs.\s+f0,f31,f0
+.*:\s+(ec 00 ff dd|dd ff 00 ec)\s+fminmagcs.\s+f0,f0,f31
+.*:\s+(ef e0 07 de|de 07 e0 ef)\s+fmaxmagcs\s+f31,f0,f0
+.*:\s+(ec 1f 07 de|de 07 1f ec)\s+fmaxmagcs\s+f0,f31,f0
+.*:\s+(ec 00 ff de|de ff 00 ec)\s+fmaxmagcs\s+f0,f0,f31
+.*:\s+(ef e0 07 df|df 07 e0 ef)\s+fmaxmagcs.\s+f31,f0,f0
+.*:\s+(ec 1f 07 df|df 07 1f ec)\s+fmaxmagcs.\s+f0,f31,f0
+.*:\s+(ec 00 ff df|df ff 00 ec)\s+fmaxmagcs.\s+f0,f0,f31
+.*:\s+(ff e0 04 18|18 04 e0 ff)\s+fcbrt\s+f31,f0
+.*:\s+(fc 00 fc 18|18 fc 00 fc)\s+fcbrt\s+f0,f31
+.*:\s+(ff e0 04 19|19 04 e0 ff)\s+fcbrt.\s+f31,f0
+.*:\s+(fc 00 fc 19|19 fc 00 fc)\s+fcbrt.\s+f0,f31
+.*:\s+(ff e0 04 1a|1a 04 e0 ff)\s+fsinpi\s+f31,f0
+.*:\s+(fc 00 fc 1a|1a fc 00 fc)\s+fsinpi\s+f0,f31
+.*:\s+(ff e0 04 1b|1b 04 e0 ff)\s+fsinpi.\s+f31,f0
+.*:\s+(fc 00 fc 1b|1b fc 00 fc)\s+fsinpi.\s+f0,f31
+.*:\s+(ff e0 04 1c|1c 04 e0 ff)\s+fatan2pi\s+f31,f0,f0
+.*:\s+(fc 1f 04 1c|1c 04 1f fc)\s+fatan2pi\s+f0,f31,f0
+.*:\s+(fc 00 fc 1c|1c fc 00 fc)\s+fatan2pi\s+f0,f0,f31
+.*:\s+(ff e0 04 1d|1d 04 e0 ff)\s+fatan2pi.\s+f31,f0,f0
+.*:\s+(fc 1f 04 1d|1d 04 1f fc)\s+fatan2pi.\s+f0,f31,f0
+.*:\s+(fc 00 fc 1d|1d fc 00 fc)\s+fatan2pi.\s+f0,f0,f31
+.*:\s+(ff e0 04 1e|1e 04 e0 ff)\s+fasinpi\s+f31,f0
+.*:\s+(fc 00 fc 1e|1e fc 00 fc)\s+fasinpi\s+f0,f31
+.*:\s+(ff e0 04 1f|1f 04 e0 ff)\s+fasinpi.\s+f31,f0
+.*:\s+(fc 00 fc 1f|1f fc 00 fc)\s+fasinpi.\s+f0,f31
+.*:\s+(ff e0 04 58|58 04 e0 ff)\s+fcospi\s+f31,f0
+.*:\s+(fc 00 fc 58|58 fc 00 fc)\s+fcospi\s+f0,f31
+.*:\s+(ff e0 04 59|59 04 e0 ff)\s+fcospi.\s+f31,f0
+.*:\s+(fc 00 fc 59|59 fc 00 fc)\s+fcospi.\s+f0,f31
+.*:\s+(ff e0 04 5a|5a 04 e0 ff)\s+ftanpi\s+f31,f0
+.*:\s+(fc 00 fc 5a|5a fc 00 fc)\s+ftanpi\s+f0,f31
+.*:\s+(ff e0 04 5b|5b 04 e0 ff)\s+ftanpi.\s+f31,f0
+.*:\s+(fc 00 fc 5b|5b fc 00 fc)\s+ftanpi.\s+f0,f31
+.*:\s+(ff e0 04 5c|5c 04 e0 ff)\s+facospi\s+f31,f0
+.*:\s+(fc 00 fc 5c|5c fc 00 fc)\s+facospi\s+f0,f31
+.*:\s+(ff e0 04 5d|5d 04 e0 ff)\s+facospi.\s+f31,f0
+.*:\s+(fc 00 fc 5d|5d fc 00 fc)\s+facospi.\s+f0,f31
+.*:\s+(ff e0 04 5e|5e 04 e0 ff)\s+fatanpi\s+f31,f0
+.*:\s+(fc 00 fc 5e|5e fc 00 fc)\s+fatanpi\s+f0,f31
+.*:\s+(ff e0 04 5f|5f 04 e0 ff)\s+fatanpi.\s+f31,f0
+.*:\s+(fc 00 fc 5f|5f fc 00 fc)\s+fatanpi.\s+f0,f31
+.*:\s+(ff e0 04 98|98 04 e0 ff)\s+frsqrt\s+f31,f0
+.*:\s+(fc 00 fc 98|98 fc 00 fc)\s+frsqrt\s+f0,f31
+.*:\s+(ff e0 04 99|99 04 e0 ff)\s+frsqrt.\s+f31,f0
+.*:\s+(fc 00 fc 99|99 fc 00 fc)\s+frsqrt.\s+f0,f31
+.*:\s+(ff e0 04 9a|9a 04 e0 ff)\s+fsin\s+f31,f0
+.*:\s+(fc 00 fc 9a|9a fc 00 fc)\s+fsin\s+f0,f31
+.*:\s+(ff e0 04 9b|9b 04 e0 ff)\s+fsin.\s+f31,f0
+.*:\s+(fc 00 fc 9b|9b fc 00 fc)\s+fsin.\s+f0,f31
+.*:\s+(ff e0 04 9c|9c 04 e0 ff)\s+fatan2\s+f31,f0,f0
+.*:\s+(fc 1f 04 9c|9c 04 1f fc)\s+fatan2\s+f0,f31,f0
+.*:\s+(fc 00 fc 9c|9c fc 00 fc)\s+fatan2\s+f0,f0,f31
+.*:\s+(ff e0 04 9d|9d 04 e0 ff)\s+fatan2.\s+f31,f0,f0
+.*:\s+(fc 1f 04 9d|9d 04 1f fc)\s+fatan2.\s+f0,f31,f0
+.*:\s+(fc 00 fc 9d|9d fc 00 fc)\s+fatan2.\s+f0,f0,f31
+.*:\s+(ff e0 04 9e|9e 04 e0 ff)\s+fasin\s+f31,f0
+.*:\s+(fc 00 fc 9e|9e fc 00 fc)\s+fasin\s+f0,f31
+.*:\s+(ff e0 04 9f|9f 04 e0 ff)\s+fasin.\s+f31,f0
+.*:\s+(fc 00 fc 9f|9f fc 00 fc)\s+fasin.\s+f0,f31
+.*:\s+(ff e0 04 d8|d8 04 e0 ff)\s+fcos\s+f31,f0
+.*:\s+(fc 00 fc d8|d8 fc 00 fc)\s+fcos\s+f0,f31
+.*:\s+(ff e0 04 d9|d9 04 e0 ff)\s+fcos.\s+f31,f0
+.*:\s+(fc 00 fc d9|d9 fc 00 fc)\s+fcos.\s+f0,f31
+.*:\s+(ff e0 04 da|da 04 e0 ff)\s+ftan\s+f31,f0
+.*:\s+(fc 00 fc da|da fc 00 fc)\s+ftan\s+f0,f31
+.*:\s+(ff e0 04 db|db 04 e0 ff)\s+ftan.\s+f31,f0
+.*:\s+(fc 00 fc db|db fc 00 fc)\s+ftan.\s+f0,f31
+.*:\s+(ff e0 04 dc|dc 04 e0 ff)\s+facos\s+f31,f0
+.*:\s+(fc 00 fc dc|dc fc 00 fc)\s+facos\s+f0,f31
+.*:\s+(ff e0 04 dd|dd 04 e0 ff)\s+facos.\s+f31,f0
+.*:\s+(fc 00 fc dd|dd fc 00 fc)\s+facos.\s+f0,f31
+.*:\s+(ff e0 04 de|de 04 e0 ff)\s+fatan\s+f31,f0
+.*:\s+(fc 00 fc de|de fc 00 fc)\s+fatan\s+f0,f31
+.*:\s+(ff e0 04 df|df 04 e0 ff)\s+fatan.\s+f31,f0
+.*:\s+(fc 00 fc df|df fc 00 fc)\s+fatan.\s+f0,f31
+.*:\s+(ff e0 05 18|18 05 e0 ff)\s+frecip\s+f31,f0
+.*:\s+(fc 00 fd 18|18 fd 00 fc)\s+frecip\s+f0,f31
+.*:\s+(ff e0 05 19|19 05 e0 ff)\s+frecip.\s+f31,f0
+.*:\s+(fc 00 fd 19|19 fd 00 fc)\s+frecip.\s+f0,f31
+.*:\s+(ff e0 05 1a|1a 05 e0 ff)\s+fsinh\s+f31,f0
+.*:\s+(fc 00 fd 1a|1a fd 00 fc)\s+fsinh\s+f0,f31
+.*:\s+(ff e0 05 1b|1b 05 e0 ff)\s+fsinh.\s+f31,f0
+.*:\s+(fc 00 fd 1b|1b fd 00 fc)\s+fsinh.\s+f0,f31
+.*:\s+(ff e0 05 1c|1c 05 e0 ff)\s+fhypot\s+f31,f0,f0
+.*:\s+(fc 1f 05 1c|1c 05 1f fc)\s+fhypot\s+f0,f31,f0
+.*:\s+(fc 00 fd 1c|1c fd 00 fc)\s+fhypot\s+f0,f0,f31
+.*:\s+(ff e0 05 1d|1d 05 e0 ff)\s+fhypot.\s+f31,f0,f0
+.*:\s+(fc 1f 05 1d|1d 05 1f fc)\s+fhypot.\s+f0,f31,f0
+.*:\s+(fc 00 fd 1d|1d fd 00 fc)\s+fhypot.\s+f0,f0,f31
+.*:\s+(ff e0 05 1e|1e 05 e0 ff)\s+fasinh\s+f31,f0
+.*:\s+(fc 00 fd 1e|1e fd 00 fc)\s+fasinh\s+f0,f31
+.*:\s+(ff e0 05 1f|1f 05 e0 ff)\s+fasinh.\s+f31,f0
+.*:\s+(fc 00 fd 1f|1f fd 00 fc)\s+fasinh.\s+f0,f31
+.*:\s+(ff e0 05 58|58 05 e0 ff)\s+fcosh\s+f31,f0
+.*:\s+(fc 00 fd 58|58 fd 00 fc)\s+fcosh\s+f0,f31
+.*:\s+(ff e0 05 59|59 05 e0 ff)\s+fcosh.\s+f31,f0
+.*:\s+(fc 00 fd 59|59 fd 00 fc)\s+fcosh.\s+f0,f31
+.*:\s+(ff e0 05 5a|5a 05 e0 ff)\s+ftanh\s+f31,f0
+.*:\s+(fc 00 fd 5a|5a fd 00 fc)\s+ftanh\s+f0,f31
+.*:\s+(ff e0 05 5b|5b 05 e0 ff)\s+ftanh.\s+f31,f0
+.*:\s+(fc 00 fd 5b|5b fd 00 fc)\s+ftanh.\s+f0,f31
+.*:\s+(ff e0 05 5c|5c 05 e0 ff)\s+facosh\s+f31,f0
+.*:\s+(fc 00 fd 5c|5c fd 00 fc)\s+facosh\s+f0,f31
+.*:\s+(ff e0 05 5d|5d 05 e0 ff)\s+facosh.\s+f31,f0
+.*:\s+(fc 00 fd 5d|5d fd 00 fc)\s+facosh.\s+f0,f31
+.*:\s+(ff e0 05 5e|5e 05 e0 ff)\s+fatanh\s+f31,f0
+.*:\s+(fc 00 fd 5e|5e fd 00 fc)\s+fatanh\s+f0,f31
+.*:\s+(ff e0 05 5f|5f 05 e0 ff)\s+fatanh.\s+f31,f0
+.*:\s+(fc 00 fd 5f|5f fd 00 fc)\s+fatanh.\s+f0,f31
+.*:\s+(ff e0 05 98|98 05 e0 ff)\s+fminnum08\s+f31,f0,f0
+.*:\s+(fc 1f 05 98|98 05 1f fc)\s+fminnum08\s+f0,f31,f0
+.*:\s+(fc 00 fd 98|98 fd 00 fc)\s+fminnum08\s+f0,f0,f31
+.*:\s+(ff e0 05 99|99 05 e0 ff)\s+fminnum08.\s+f31,f0,f0
+.*:\s+(fc 1f 05 99|99 05 1f fc)\s+fminnum08.\s+f0,f31,f0
+.*:\s+(fc 00 fd 99|99 fd 00 fc)\s+fminnum08.\s+f0,f0,f31
+.*:\s+(ff e0 05 9a|9a 05 e0 ff)\s+fmin19\s+f31,f0,f0
+.*:\s+(fc 1f 05 9a|9a 05 1f fc)\s+fmin19\s+f0,f31,f0
+.*:\s+(fc 00 fd 9a|9a fd 00 fc)\s+fmin19\s+f0,f0,f31
+.*:\s+(ff e0 05 9b|9b 05 e0 ff)\s+fmin19.\s+f31,f0,f0
+.*:\s+(fc 1f 05 9b|9b 05 1f fc)\s+fmin19.\s+f0,f31,f0
+.*:\s+(fc 00 fd 9b|9b fd 00 fc)\s+fmin19.\s+f0,f0,f31
+.*:\s+(ff e0 05 9c|9c 05 e0 ff)\s+fminnum19\s+f31,f0,f0
+.*:\s+(fc 1f 05 9c|9c 05 1f fc)\s+fminnum19\s+f0,f31,f0
+.*:\s+(fc 00 fd 9c|9c fd 00 fc)\s+fminnum19\s+f0,f0,f31
+.*:\s+(ff e0 05 9d|9d 05 e0 ff)\s+fminnum19.\s+f31,f0,f0
+.*:\s+(fc 1f 05 9d|9d 05 1f fc)\s+fminnum19.\s+f0,f31,f0
+.*:\s+(fc 00 fd 9d|9d fd 00 fc)\s+fminnum19.\s+f0,f0,f31
+.*:\s+(ff e0 05 9e|9e 05 e0 ff)\s+fminc\s+f31,f0,f0
+.*:\s+(fc 1f 05 9e|9e 05 1f fc)\s+fminc\s+f0,f31,f0
+.*:\s+(fc 00 fd 9e|9e fd 00 fc)\s+fminc\s+f0,f0,f31
+.*:\s+(ff e0 05 9f|9f 05 e0 ff)\s+fminc.\s+f31,f0,f0
+.*:\s+(fc 1f 05 9f|9f 05 1f fc)\s+fminc.\s+f0,f31,f0
+.*:\s+(fc 00 fd 9f|9f fd 00 fc)\s+fminc.\s+f0,f0,f31
+.*:\s+(ff e0 05 d8|d8 05 e0 ff)\s+fmaxnum08\s+f31,f0,f0
+.*:\s+(fc 1f 05 d8|d8 05 1f fc)\s+fmaxnum08\s+f0,f31,f0
+.*:\s+(fc 00 fd d8|d8 fd 00 fc)\s+fmaxnum08\s+f0,f0,f31
+.*:\s+(ff e0 05 d9|d9 05 e0 ff)\s+fmaxnum08.\s+f31,f0,f0
+.*:\s+(fc 1f 05 d9|d9 05 1f fc)\s+fmaxnum08.\s+f0,f31,f0
+.*:\s+(fc 00 fd d9|d9 fd 00 fc)\s+fmaxnum08.\s+f0,f0,f31
+.*:\s+(ff e0 05 da|da 05 e0 ff)\s+fmax19\s+f31,f0,f0
+.*:\s+(fc 1f 05 da|da 05 1f fc)\s+fmax19\s+f0,f31,f0
+.*:\s+(fc 00 fd da|da fd 00 fc)\s+fmax19\s+f0,f0,f31
+.*:\s+(ff e0 05 db|db 05 e0 ff)\s+fmax19.\s+f31,f0,f0
+.*:\s+(fc 1f 05 db|db 05 1f fc)\s+fmax19.\s+f0,f31,f0
+.*:\s+(fc 00 fd db|db fd 00 fc)\s+fmax19.\s+f0,f0,f31
+.*:\s+(ff e0 05 dc|dc 05 e0 ff)\s+fmaxnum19\s+f31,f0,f0
+.*:\s+(fc 1f 05 dc|dc 05 1f fc)\s+fmaxnum19\s+f0,f31,f0
+.*:\s+(fc 00 fd dc|dc fd 00 fc)\s+fmaxnum19\s+f0,f0,f31
+.*:\s+(ff e0 05 dd|dd 05 e0 ff)\s+fmaxnum19.\s+f31,f0,f0
+.*:\s+(fc 1f 05 dd|dd 05 1f fc)\s+fmaxnum19.\s+f0,f31,f0
+.*:\s+(fc 00 fd dd|dd fd 00 fc)\s+fmaxnum19.\s+f0,f0,f31
+.*:\s+(ff e0 05 de|de 05 e0 ff)\s+fmaxc\s+f31,f0,f0
+.*:\s+(fc 1f 05 de|de 05 1f fc)\s+fmaxc\s+f0,f31,f0
+.*:\s+(fc 00 fd de|de fd 00 fc)\s+fmaxc\s+f0,f0,f31
+.*:\s+(ff e0 05 df|df 05 e0 ff)\s+fmaxc.\s+f31,f0,f0
+.*:\s+(fc 1f 05 df|df 05 1f fc)\s+fmaxc.\s+f0,f31,f0
+.*:\s+(fc 00 fd df|df fd 00 fc)\s+fmaxc.\s+f0,f0,f31
+.*:\s+(ff e0 06 18|18 06 e0 ff)\s+fexp2m1\s+f31,f0
+.*:\s+(fc 00 fe 18|18 fe 00 fc)\s+fexp2m1\s+f0,f31
+.*:\s+(ff e0 06 19|19 06 e0 ff)\s+fexp2m1.\s+f31,f0
+.*:\s+(fc 00 fe 19|19 fe 00 fc)\s+fexp2m1.\s+f0,f31
+.*:\s+(ff e0 06 1a|1a 06 e0 ff)\s+flog2p1\s+f31,f0
+.*:\s+(fc 00 fe 1a|1a fe 00 fc)\s+flog2p1\s+f0,f31
+.*:\s+(ff e0 06 1b|1b 06 e0 ff)\s+flog2p1.\s+f31,f0
+.*:\s+(fc 00 fe 1b|1b fe 00 fc)\s+flog2p1.\s+f0,f31
+.*:\s+(ff e0 06 1c|1c 06 e0 ff)\s+fminmagnum08\s+f31,f0,f0
+.*:\s+(fc 1f 06 1c|1c 06 1f fc)\s+fminmagnum08\s+f0,f31,f0
+.*:\s+(fc 00 fe 1c|1c fe 00 fc)\s+fminmagnum08\s+f0,f0,f31
+.*:\s+(ff e0 06 1d|1d 06 e0 ff)\s+fminmagnum08.\s+f31,f0,f0
+.*:\s+(fc 1f 06 1d|1d 06 1f fc)\s+fminmagnum08.\s+f0,f31,f0
+.*:\s+(fc 00 fe 1d|1d fe 00 fc)\s+fminmagnum08.\s+f0,f0,f31
+.*:\s+(ff e0 06 1e|1e 06 e0 ff)\s+fmaxmagnum08\s+f31,f0,f0
+.*:\s+(fc 1f 06 1e|1e 06 1f fc)\s+fmaxmagnum08\s+f0,f31,f0
+.*:\s+(fc 00 fe 1e|1e fe 00 fc)\s+fmaxmagnum08\s+f0,f0,f31
+.*:\s+(ff e0 06 1f|1f 06 e0 ff)\s+fmaxmagnum08.\s+f31,f0,f0
+.*:\s+(fc 1f 06 1f|1f 06 1f fc)\s+fmaxmagnum08.\s+f0,f31,f0
+.*:\s+(fc 00 fe 1f|1f fe 00 fc)\s+fmaxmagnum08.\s+f0,f0,f31
+.*:\s+(ff e0 06 58|58 06 e0 ff)\s+fexpm1\s+f31,f0
+.*:\s+(fc 00 fe 58|58 fe 00 fc)\s+fexpm1\s+f0,f31
+.*:\s+(ff e0 06 59|59 06 e0 ff)\s+fexpm1.\s+f31,f0
+.*:\s+(fc 00 fe 59|59 fe 00 fc)\s+fexpm1.\s+f0,f31
+.*:\s+(ff e0 06 5a|5a 06 e0 ff)\s+flogp1\s+f31,f0
+.*:\s+(fc 00 fe 5a|5a fe 00 fc)\s+flogp1\s+f0,f31
+.*:\s+(ff e0 06 5b|5b 06 e0 ff)\s+flogp1.\s+f31,f0
+.*:\s+(fc 00 fe 5b|5b fe 00 fc)\s+flogp1.\s+f0,f31
+.*:\s+(ff e0 06 98|98 06 e0 ff)\s+fexp10m1\s+f31,f0
+.*:\s+(fc 00 fe 98|98 fe 00 fc)\s+fexp10m1\s+f0,f31
+.*:\s+(ff e0 06 99|99 06 e0 ff)\s+fexp10m1.\s+f31,f0
+.*:\s+(fc 00 fe 99|99 fe 00 fc)\s+fexp10m1.\s+f0,f31
+.*:\s+(ff e0 06 9a|9a 06 e0 ff)\s+flog10p1\s+f31,f0
+.*:\s+(fc 00 fe 9a|9a fe 00 fc)\s+flog10p1\s+f0,f31
+.*:\s+(ff e0 06 9b|9b 06 e0 ff)\s+flog10p1.\s+f31,f0
+.*:\s+(fc 00 fe 9b|9b fe 00 fc)\s+flog10p1.\s+f0,f31
+.*:\s+(ff e0 06 9e|9e 06 e0 ff)\s+fmod\s+f31,f0,f0
+.*:\s+(fc 1f 06 9e|9e 06 1f fc)\s+fmod\s+f0,f31,f0
+.*:\s+(fc 00 fe 9e|9e fe 00 fc)\s+fmod\s+f0,f0,f31
+.*:\s+(ff e0 06 9f|9f 06 e0 ff)\s+fmod.\s+f31,f0,f0
+.*:\s+(fc 1f 06 9f|9f 06 1f fc)\s+fmod.\s+f0,f31,f0
+.*:\s+(fc 00 fe 9f|9f fe 00 fc)\s+fmod.\s+f0,f0,f31
+.*:\s+(ff e0 06 d8|d8 06 e0 ff)\s+fpown\s+f31,f0,r0
+.*:\s+(fc 1f 06 d8|d8 06 1f fc)\s+fpown\s+f0,f31,r0
+.*:\s+(fc 00 fe d8|d8 fe 00 fc)\s+fpown\s+f0,f0,r31
+.*:\s+(ff e0 06 d9|d9 06 e0 ff)\s+fpown.\s+f31,f0,r0
+.*:\s+(fc 1f 06 d9|d9 06 1f fc)\s+fpown.\s+f0,f31,r0
+.*:\s+(fc 00 fe d9|d9 fe 00 fc)\s+fpown.\s+f0,f0,r31
+.*:\s+(ff e0 06 da|da 06 e0 ff)\s+frootn\s+f31,f0,r0
+.*:\s+(fc 1f 06 da|da 06 1f fc)\s+frootn\s+f0,f31,r0
+.*:\s+(fc 00 fe da|da fe 00 fc)\s+frootn\s+f0,f0,r31
+.*:\s+(ff e0 06 db|db 06 e0 ff)\s+frootn.\s+f31,f0,r0
+.*:\s+(fc 1f 06 db|db 06 1f fc)\s+frootn.\s+f0,f31,r0
+.*:\s+(fc 00 fe db|db fe 00 fc)\s+frootn.\s+f0,f0,r31
+.*:\s+(ff e0 06 dc|dc 06 e0 ff)\s+fminmag19\s+f31,f0,f0
+.*:\s+(fc 1f 06 dc|dc 06 1f fc)\s+fminmag19\s+f0,f31,f0
+.*:\s+(fc 00 fe dc|dc fe 00 fc)\s+fminmag19\s+f0,f0,f31
+.*:\s+(ff e0 06 dd|dd 06 e0 ff)\s+fminmag19.\s+f31,f0,f0
+.*:\s+(fc 1f 06 dd|dd 06 1f fc)\s+fminmag19.\s+f0,f31,f0
+.*:\s+(fc 00 fe dd|dd fe 00 fc)\s+fminmag19.\s+f0,f0,f31
+.*:\s+(ff e0 06 de|de 06 e0 ff)\s+fmaxmag19\s+f31,f0,f0
+.*:\s+(fc 1f 06 de|de 06 1f fc)\s+fmaxmag19\s+f0,f31,f0
+.*:\s+(fc 00 fe de|de fe 00 fc)\s+fmaxmag19\s+f0,f0,f31
+.*:\s+(ff e0 06 df|df 06 e0 ff)\s+fmaxmag19.\s+f31,f0,f0
+.*:\s+(fc 1f 06 df|df 06 1f fc)\s+fmaxmag19.\s+f0,f31,f0
+.*:\s+(fc 00 fe df|df fe 00 fc)\s+fmaxmag19.\s+f0,f0,f31
+.*:\s+(ff e0 07 18|18 07 e0 ff)\s+fexp2\s+f31,f0
+.*:\s+(fc 00 ff 18|18 ff 00 fc)\s+fexp2\s+f0,f31
+.*:\s+(ff e0 07 19|19 07 e0 ff)\s+fexp2.\s+f31,f0
+.*:\s+(fc 00 ff 19|19 ff 00 fc)\s+fexp2.\s+f0,f31
+.*:\s+(ff e0 07 1a|1a 07 e0 ff)\s+flog2\s+f31,f0
+.*:\s+(fc 00 ff 1a|1a ff 00 fc)\s+flog2\s+f0,f31
+.*:\s+(ff e0 07 1b|1b 07 e0 ff)\s+flog2.\s+f31,f0
+.*:\s+(fc 00 ff 1b|1b ff 00 fc)\s+flog2.\s+f0,f31
+.*:\s+(ff e0 07 1c|1c 07 e0 ff)\s+fminmagnum19\s+f31,f0,f0
+.*:\s+(fc 1f 07 1c|1c 07 1f fc)\s+fminmagnum19\s+f0,f31,f0
+.*:\s+(fc 00 ff 1c|1c ff 00 fc)\s+fminmagnum19\s+f0,f0,f31
+.*:\s+(ff e0 07 1d|1d 07 e0 ff)\s+fminmagnum19.\s+f31,f0,f0
+.*:\s+(fc 1f 07 1d|1d 07 1f fc)\s+fminmagnum19.\s+f0,f31,f0
+.*:\s+(fc 00 ff 1d|1d ff 00 fc)\s+fminmagnum19.\s+f0,f0,f31
+.*:\s+(ff e0 07 1e|1e 07 e0 ff)\s+fmaxmagnum19\s+f31,f0,f0
+.*:\s+(fc 1f 07 1e|1e 07 1f fc)\s+fmaxmagnum19\s+f0,f31,f0
+.*:\s+(fc 00 ff 1e|1e ff 00 fc)\s+fmaxmagnum19\s+f0,f0,f31
+.*:\s+(ff e0 07 1f|1f 07 e0 ff)\s+fmaxmagnum19.\s+f31,f0,f0
+.*:\s+(fc 1f 07 1f|1f 07 1f fc)\s+fmaxmagnum19.\s+f0,f31,f0
+.*:\s+(fc 00 ff 1f|1f ff 00 fc)\s+fmaxmagnum19.\s+f0,f0,f31
+.*:\s+(ff e0 07 58|58 07 e0 ff)\s+fexp\s+f31,f0
+.*:\s+(fc 00 ff 58|58 ff 00 fc)\s+fexp\s+f0,f31
+.*:\s+(ff e0 07 59|59 07 e0 ff)\s+fexp.\s+f31,f0
+.*:\s+(fc 00 ff 59|59 ff 00 fc)\s+fexp.\s+f0,f31
+.*:\s+(ff e0 07 5a|5a 07 e0 ff)\s+flog\s+f31,f0
+.*:\s+(fc 00 ff 5a|5a ff 00 fc)\s+flog\s+f0,f31
+.*:\s+(ff e0 07 5b|5b 07 e0 ff)\s+flog.\s+f31,f0
+.*:\s+(fc 00 ff 5b|5b ff 00 fc)\s+flog.\s+f0,f31
+.*:\s+(ff e0 07 98|98 07 e0 ff)\s+fexp10\s+f31,f0
+.*:\s+(fc 00 ff 98|98 ff 00 fc)\s+fexp10\s+f0,f31
+.*:\s+(ff e0 07 99|99 07 e0 ff)\s+fexp10.\s+f31,f0
+.*:\s+(fc 00 ff 99|99 ff 00 fc)\s+fexp10.\s+f0,f31
+.*:\s+(ff e0 07 9a|9a 07 e0 ff)\s+flog10\s+f31,f0
+.*:\s+(fc 00 ff 9a|9a ff 00 fc)\s+flog10\s+f0,f31
+.*:\s+(ff e0 07 9b|9b 07 e0 ff)\s+flog10.\s+f31,f0
+.*:\s+(fc 00 ff 9b|9b ff 00 fc)\s+flog10.\s+f0,f31
+.*:\s+(ff e0 07 9e|9e 07 e0 ff)\s+fremainder\s+f31,f0,f0
+.*:\s+(fc 1f 07 9e|9e 07 1f fc)\s+fremainder\s+f0,f31,f0
+.*:\s+(fc 00 ff 9e|9e ff 00 fc)\s+fremainder\s+f0,f0,f31
+.*:\s+(ff e0 07 9f|9f 07 e0 ff)\s+fremainder.\s+f31,f0,f0
+.*:\s+(fc 1f 07 9f|9f 07 1f fc)\s+fremainder.\s+f0,f31,f0
+.*:\s+(fc 00 ff 9f|9f ff 00 fc)\s+fremainder.\s+f0,f0,f31
+.*:\s+(ff e0 07 d8|d8 07 e0 ff)\s+fpowr\s+f31,f0,f0
+.*:\s+(fc 1f 07 d8|d8 07 1f fc)\s+fpowr\s+f0,f31,f0
+.*:\s+(fc 00 ff d8|d8 ff 00 fc)\s+fpowr\s+f0,f0,f31
+.*:\s+(ff e0 07 d9|d9 07 e0 ff)\s+fpowr.\s+f31,f0,f0
+.*:\s+(fc 1f 07 d9|d9 07 1f fc)\s+fpowr.\s+f0,f31,f0
+.*:\s+(fc 00 ff d9|d9 ff 00 fc)\s+fpowr.\s+f0,f0,f31
+.*:\s+(ff e0 07 da|da 07 e0 ff)\s+fpow\s+f31,f0,f0
+.*:\s+(fc 1f 07 da|da 07 1f fc)\s+fpow\s+f0,f31,f0
+.*:\s+(fc 00 ff da|da ff 00 fc)\s+fpow\s+f0,f0,f31
+.*:\s+(ff e0 07 db|db 07 e0 ff)\s+fpow.\s+f31,f0,f0
+.*:\s+(fc 1f 07 db|db 07 1f fc)\s+fpow.\s+f0,f31,f0
+.*:\s+(fc 00 ff db|db ff 00 fc)\s+fpow.\s+f0,f0,f31
+.*:\s+(ff e0 07 dc|dc 07 e0 ff)\s+fminmagc\s+f31,f0,f0
+.*:\s+(fc 1f 07 dc|dc 07 1f fc)\s+fminmagc\s+f0,f31,f0
+.*:\s+(fc 00 ff dc|dc ff 00 fc)\s+fminmagc\s+f0,f0,f31
+.*:\s+(ff e0 07 dd|dd 07 e0 ff)\s+fminmagc.\s+f31,f0,f0
+.*:\s+(fc 1f 07 dd|dd 07 1f fc)\s+fminmagc.\s+f0,f31,f0
+.*:\s+(fc 00 ff dd|dd ff 00 fc)\s+fminmagc.\s+f0,f0,f31
+.*:\s+(ff e0 07 de|de 07 e0 ff)\s+fmaxmagc\s+f31,f0,f0
+.*:\s+(fc 1f 07 de|de 07 1f fc)\s+fmaxmagc\s+f0,f31,f0
+.*:\s+(fc 00 ff de|de ff 00 fc)\s+fmaxmagc\s+f0,f0,f31
+.*:\s+(ff e0 07 df|df 07 e0 ff)\s+fmaxmagc.\s+f31,f0,f0
+.*:\s+(fc 1f 07 df|df 07 1f fc)\s+fmaxmagc.\s+f0,f31,f0
+.*:\s+(fc 00 ff df|df ff 00 fc)\s+fmaxmagc.\s+f0,f0,f31
{"dmxvf64gernn",XX3(59,250), XX3ACC_MASK, POWER10, PPCVLE, {ACC, XA6ap, XB6a}},
{"xvf64gernn", XX3(59,250), XX3ACC_MASK, POWER10, PPCVLE, {ACC, XA6ap, XB6a}},
+{"fcbrts", XRC(59,524,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcbrts.", XRC(59,524,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsinpis", XRC(59,525,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsinpis.", XRC(59,525,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatan2pis", XRC(59,526,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fatan2pis.", XRC(59,526,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fasinpis", XRC(59,527,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fasinpis.", XRC(59,527,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcospis", XRC(59,556,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcospis.", XRC(59,556,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftanpis", XRC(59,557,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftanpis.", XRC(59,557,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facospis", XRC(59,558,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facospis.", XRC(59,558,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatanpis", XRC(59,559,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatanpis.", XRC(59,559,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"frsqrts", XRC(59,588,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"frsqrts.", XRC(59,588,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsins", XRC(59,589,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsins.", XRC(59,589,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatan2s", XRC(59,590,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fatan2s.", XRC(59,590,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fasins", XRC(59,591,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fasins.", XRC(59,591,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcoss", XRC(59,620,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcoss.", XRC(59,620,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftans", XRC(59,621,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftans.", XRC(59,621,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facoss", XRC(59,622,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facoss.", XRC(59,622,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatans", XRC(59,623,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatans.", XRC(59,623,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"frecips", XRC(59,652,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"frecips.", XRC(59,652,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsinhs", XRC(59,653,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsinhs.", XRC(59,653,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fhypots", XRC(59,654,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fhypots.", XRC(59,654,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fasinhs", XRC(59,655,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fasinhs.", XRC(59,655,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcoshs", XRC(59,684,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcoshs.", XRC(59,684,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftanhs", XRC(59,685,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftanhs.", XRC(59,685,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facoshs", XRC(59,686,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facoshs.", XRC(59,686,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatanhs", XRC(59,687,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatanhs.", XRC(59,687,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fminnum08s", XRC(59,716,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminnum08s.", XRC(59,716,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmin19s", XRC(59,717,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmin19s.", XRC(59,717,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminnum19s", XRC(59,718,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminnum19s.", XRC(59,718,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmincs", XRC(59,719,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmincs.", XRC(59,719,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxnum08s", XRC(59,748,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxnum08s.", XRC(59,748,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmax19s", XRC(59,749,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmax19s.", XRC(59,749,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxnum19s", XRC(59,750,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxnum19s.", XRC(59,750,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxcs", XRC(59,751,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxcs.", XRC(59,751,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fexp2m1s", XRC(59,780,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp2m1s.", XRC(59,780,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog2p1s", XRC(59,781,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog2p1s.", XRC(59,781,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fminmagnum08s", XRC(59,782,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmagnum08s.", XRC(59,782,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagnum08s", XRC(59,783,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagnum08s.", XRC(59,783,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fexpm1s", XRC(59,812,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexpm1s.", XRC(59,812,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flogp1s", XRC(59,813,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flogp1s.", XRC(59,813,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp10m1s", XRC(59,844,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp10m1s.", XRC(59,844,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog10p1s", XRC(59,845,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog10p1s.", XRC(59,845,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fmods", XRC(59,847,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmods.", XRC(59,847,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpowns", XRC(59,876,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, RB}},
+{"fpowns.", XRC(59,876,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, RB}},
+{"frootns", XRC(59,877,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, RB}},
+{"frootns.", XRC(59,877,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, RB}},
+{"fminmag19s", XRC(59,878,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmag19s.", XRC(59,878,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmag19s", XRC(59,879,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmag19s.", XRC(59,879,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fexp2s", XRC(59,908,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp2s.", XRC(59,908,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog2s", XRC(59,909,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog2s.", XRC(59,909,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fminmagnum19s", XRC(59,910,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmagnum19s.", XRC(59,910,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagnum19s", XRC(59,911,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagnum19s.", XRC(59,911,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fexps", XRC(59,940,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexps.", XRC(59,940,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flogs", XRC(59,941,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flogs.", XRC(59,941,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp10s", XRC(59,972,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp10s.", XRC(59,972,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog10s", XRC(59,973,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog10s.", XRC(59,973,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fremainders", XRC(59,975,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fremainders.", XRC(59,975,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpowrs", XRC(59,1004,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpowrs.", XRC(59,1004,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpows", XRC(59,1005,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpows.", XRC(59,1005,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmagcs", XRC(59,1006,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmagcs.", XRC(59,1006,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagcs", XRC(59,1007,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagcs.", XRC(59,1007,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+
{"xsaddsp", XX3(60,0), XX3_MASK, PPCVSX2, PPCVLE, {XT6, XA6, XB6}},
{"xsmaddasp", XX3(60,1), XX3_MASK, PPCVSX2, PPCVLE, {XT6, XA6, XB6}},
{"xxsldwi", XX3(60,2), XX3SHW_MASK, PPCVSX, PPCVLE, {XT6, XA6, XB6, SHW}},
{"dcffixqq", XVA(63,994,0), XVA_MASK, POWER10, PPCVLE, {FRTp, VB}},
{"dctfixqq", XVA(63,994,1), XVA_MASK, POWER10, PPCVLE, {VD, FRBp}},
+
+{"fcbrt", XRC(63,524,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcbrt.", XRC(63,524,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsinpi", XRC(63,525,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsinpi.", XRC(63,525,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatan2pi", XRC(63,526,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fatan2pi.", XRC(63,526,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fasinpi", XRC(63,527,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fasinpi.", XRC(63,527,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcospi", XRC(63,556,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcospi.", XRC(63,556,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftanpi", XRC(63,557,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftanpi.", XRC(63,557,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facospi", XRC(63,558,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facospi.", XRC(63,558,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatanpi", XRC(63,559,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatanpi.", XRC(63,559,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"frsqrt", XRC(63,588,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"frsqrt.", XRC(63,588,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsin", XRC(63,589,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsin.", XRC(63,589,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatan2", XRC(63,590,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fatan2.", XRC(63,590,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fasin", XRC(63,591,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fasin.", XRC(63,591,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcos", XRC(63,620,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcos.", XRC(63,620,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftan", XRC(63,621,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftan.", XRC(63,621,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facos", XRC(63,622,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facos.", XRC(63,622,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatan", XRC(63,623,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatan.", XRC(63,623,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"frecip", XRC(63,652,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"frecip.", XRC(63,652,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsinh", XRC(63,653,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fsinh.", XRC(63,653,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fhypot", XRC(63,654,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fhypot.", XRC(63,654,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fasinh", XRC(63,655,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fasinh.", XRC(63,655,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcosh", XRC(63,684,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fcosh.", XRC(63,684,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftanh", XRC(63,685,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"ftanh.", XRC(63,685,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facosh", XRC(63,686,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"facosh.", XRC(63,686,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatanh", XRC(63,687,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fatanh.", XRC(63,687,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fminnum08", XRC(63,716,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminnum08.", XRC(63,716,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmin19", XRC(63,717,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmin19.", XRC(63,717,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminnum19", XRC(63,718,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminnum19.", XRC(63,718,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminc", XRC(63,719,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminc.", XRC(63,719,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxnum08", XRC(63,748,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxnum08.", XRC(63,748,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmax19", XRC(63,749,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmax19.", XRC(63,749,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxnum19", XRC(63,750,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxnum19.", XRC(63,750,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxc", XRC(63,751,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxc.", XRC(63,751,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fexp2m1", XRC(63,780,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp2m1.", XRC(63,780,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog2p1", XRC(63,781,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog2p1.", XRC(63,781,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fminmagnum08", XRC(63,782,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmagnum08.", XRC(63,782,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagnum08", XRC(63,783,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagnum08.", XRC(63,783,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fexpm1", XRC(63,812,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexpm1.", XRC(63,812,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flogp1", XRC(63,813,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flogp1.", XRC(63,813,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp10m1", XRC(63,844,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp10m1.", XRC(63,844,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog10p1", XRC(63,845,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog10p1.", XRC(63,845,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fmod", XRC(63,847,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmod.", XRC(63,847,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpown", XRC(63,876,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, RB}},
+{"fpown.", XRC(63,876,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, RB}},
+{"frootn", XRC(63,877,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, RB}},
+{"frootn.", XRC(63,877,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, RB}},
+{"fminmag19", XRC(63,878,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmag19.", XRC(63,878,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmag19", XRC(63,879,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmag19.", XRC(63,879,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fexp2", XRC(63,908,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp2.", XRC(63,908,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog2", XRC(63,909,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog2.", XRC(63,909,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fminmagnum19", XRC(63,910,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmagnum19.", XRC(63,910,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagnum19", XRC(63,911,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagnum19.", XRC(63,911,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fexp", XRC(63,940,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp.", XRC(63,940,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog", XRC(63,941,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog.", XRC(63,941,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp10", XRC(63,972,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fexp10.", XRC(63,972,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog10", XRC(63,973,0), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"flog10.", XRC(63,973,1), X_MASK, SVP64, PPCVLE, {FRT, FRB}},
+{"fremainder", XRC(63,975,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fremainder.", XRC(63,975,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpowr", XRC(63,1004,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpowr.", XRC(63,1004,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpow", XRC(63,1005,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fpow.", XRC(63,1005,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmagc", XRC(63,1006,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fminmagc.", XRC(63,1006,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagc", XRC(63,1007,0), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
+{"fmaxmagc.", XRC(63,1007,1), X_MASK, SVP64, PPCVLE, {FRT, FRA, FRB}},
};
const unsigned int powerpc_num_opcodes = ARRAY_SIZE (powerpc_opcodes);