diff --git a/gcc/config/ia64/ia64.c b/gcc/config/ia64/ia64.c
index a6e5ff60643076782503734b9846f4dfb5c1a5f3..56f2bb564e8bbe575e5e25b83b78bbae53a5720f 100644
--- a/gcc/config/ia64/ia64.c
+++ b/gcc/config/ia64/ia64.c
@@ -7695,6 +7695,7 @@ ia64_init_builtins (void)
     = build_function_type_list (void_type_node, pdi_type_node, NULL_TREE);
 
   tree fpreg_type;
+  tree float80_type;
 
   /* The __fpreg type.  */
   fpreg_type = make_node (REAL_TYPE);
@@ -7708,20 +7709,13 @@ ia64_init_builtins (void)
   (*lang_hooks.types.register_builtin_type) (fpreg_type, "__fpreg");
 
   /* The __float80 type.  */
-  if (INTEL_EXTENDED_IEEE_FORMAT)
-    /* The __float80 type is a synonym for "long double".  */
-    (*lang_hooks.types.register_builtin_type) (long_double_type_node,
-					       "__float80");
-  else
-    {
-      tree float80_type = make_node (REAL_TYPE);
-      /* ??? Once the IA64 back end supports both 80-bit and 128-bit
-	 floating types, this type should have XFmode, not TFmode.
-	 TYPE_PRECISION should be 80 bits, not 128.  */
-      TYPE_PRECISION (float80_type) = 128;
-      layout_type (float80_type);
-      (*lang_hooks.types.register_builtin_type) (float80_type, "__float80");
-    }
+  float80_type = make_node (REAL_TYPE);
+  /* ??? Once the IA64 back end supports both 80-bit and 128-bit
+     floating types, this type should have XFmode, not TFmode.
+     TYPE_PRECISION should be 80 bits, not 128.  */
+  TYPE_PRECISION (float80_type) = 128;
+  layout_type (float80_type);
+  (*lang_hooks.types.register_builtin_type) (float80_type, "__float80");
 
   /* The __float128 type.  */
   if (INTEL_EXTENDED_IEEE_FORMAT)