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.

Reply via email to