http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59227
--- Comment #17 from Andreas Schwab <sch...@linux-m68k.org> --- ia64 was using TFmode for 80 bit long double before r72916, so the __divtf3 name sticked for compatibility.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59227
--- Comment #17 from Andreas Schwab <sch...@linux-m68k.org> --- ia64 was using TFmode for 80 bit long double before r72916, so the __divtf3 name sticked for compatibility.