51 DEFUN __fractqqsf  label
64 DEFUN __fractuqqsf  label
76 DEFUN __fracthqsf  label
88 DEFUN __fractuhqsf  label
99 DEFUN __fracthasf  label
112 DEFUN __fractuhasf  label
125 DEFUN __fractsqsf  label
138 DEFUN __fractusqsf  label
149 DEFUN __fractsasf  label
162 DEFUN __fractusasf  label
177 DEFUN __fractsfqq  label
188 DEFUN __fractsfuqq  label
198 DEFUN __fractsfha  label
207 DEFUN __fractsfuha  label
217 DEFUN __fractsfhq  label
229 DEFUN __fractsfuhq  label
238 DEFUN __fractsfsa  label
247 DEFUN __fractsfusa  label
290 DEFUN   __mulhq3  label
315 DEFUN   __muluhq3  label
336 DEFUN   __mulha3  label
352 DEFUN   __muluha3  label
359 DEFUN   __muluha3_round  label
400 DEFUN __mulusa3  label
409 DEFUN __mulusa3_round  label
460 DEFUN __mulsa3  label
535 DEFUN   __mulsa3  label
578 DEFUN __mulusa3  label
587 DEFUN __mulusa3_round  label
693 DEFUN __usmuluha3  label
725 DEFUN __ssmulha3  label
794 DEFUN __usmulusa3  label
826 DEFUN __ssmulsa3  label
896 DEFUN   __divqq3  label
912 DEFUN   __udivuqq3  label
924 DEFUN   __divqq_helper  label
964 DEFUN   __divhq3  label
994 DEFUN   __udivuhq3  label
999 DEFUN   __udivuha3_common  label
1029 DEFUN   __divha3  label
1051 DEFUN   __udivuha3  label
1091 DEFUN   __divsa3  label
1115 DEFUN   __udivusa3  label
1183 DEFUN __ssabs_1  label
1206 DEFUN __ssneg_2  label
1215 DEFUN __ssabs_2  label
1238 DEFUN __ssneg_4  label
1250 DEFUN __ssabs_4  label
1284 DEFUN __clr_8  label
1290 DEFUN __sbc_8  label
1305 DEFUN __ssneg_8  label
1321 DEFUN __ssabs_8  label
1343 DEFUN __usadd_8  label
1357 DEFUN __ussub_8  label
1371 DEFUN __ssadd_8  label
1387 DEFUN __sssub_8  label
1429 DEFUN __mask1  label
1467 DEFUN  __roundqq3  label
1492 DEFUN  __rounduqq3  label
1522 DEFUN __addmask_2  label
1541 DEFUN  __roundhq3  label
1544 DEFUN  __roundha3  label
1559 DEFUN  __rounduhq3  label
1562 DEFUN  __rounduha3  label
1578 DEFUN  __round_s2_const  label
1585 DEFUN __round_u2_const  label
1631 DEFUN __addmask_4  label
1658 DEFUN  __roundsq3  label
1661 DEFUN  __roundsa3  label
1676 DEFUN  __roundusq3  label
1679 DEFUN  __roundusa3  label
1695 DEFUN  __round_s4_const  label
1702 DEFUN __round_u4_const  label
1769 DEFUN  __rounddq3  label
1779 DEFUN  __roundudq3  label
1789 DEFUN  __roundda3  label
1799 DEFUN  __rounduda3  label
1809 DEFUN  __roundta3  label
1819 DEFUN  __rounduta3  label
1828 DEFUN __round_x8  label
1922 DEFUN __ret  label