gigi.h (gnat_init_gcc_fp): Declare.
* gcc-interface/gigi.h (gnat_init_gcc_fp): Declare. * gcc-interface/trans.c (gigi): Call it. * gcc-interface/misc.c (gnat_init_gcc_fp): New function. From-SVN: r199287
This commit is contained in:
parent
0e24192cc9
commit
df09b22cf9
|
@ -1,3 +1,9 @@
|
|||
2013-05-24 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gcc-interface/gigi.h (gnat_init_gcc_fp): Declare.
|
||||
* gcc-interface/trans.c (gigi): Call it.
|
||||
* gcc-interface/misc.c (gnat_init_gcc_fp): New function.
|
||||
|
||||
2013-05-24 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gcc-interface/gigi.h (enum inline_status_t): New type.
|
||||
|
|
|
@ -502,7 +502,13 @@ extern tree get_block_jmpbuf_decl (void);
|
|||
for location information and flag propagation. */
|
||||
extern void gnat_pushdecl (tree decl, Node_Id gnat_node);
|
||||
|
||||
/* Initialize the GCC support for exception handling. */
|
||||
extern void gnat_init_gcc_eh (void);
|
||||
|
||||
/* Initialize the GCC support for floating-point operations. */
|
||||
extern void gnat_init_gcc_fp (void);
|
||||
|
||||
/* Install the builtin functions we might need. */
|
||||
extern void gnat_install_builtins (void);
|
||||
|
||||
/* Return an integer type with the number of bits of precision given by
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
* *
|
||||
* C Implementation File *
|
||||
* *
|
||||
* Copyright (C) 1992-2012, Free Software Foundation, Inc. *
|
||||
* Copyright (C) 1992-2013, Free Software Foundation, Inc. *
|
||||
* *
|
||||
* GNAT is free software; you can redistribute it and/or modify it under *
|
||||
* terms of the GNU General Public License as published by the Free Soft- *
|
||||
|
@ -346,9 +346,7 @@ gnat_init (void)
|
|||
return true;
|
||||
}
|
||||
|
||||
/* If we are using the GCC mechanism to process exception handling, we
|
||||
have to register the personality routine for Ada and to initialize
|
||||
various language dependent hooks. */
|
||||
/* Initialize the GCC support for exception handling. */
|
||||
|
||||
void
|
||||
gnat_init_gcc_eh (void)
|
||||
|
@ -381,6 +379,28 @@ gnat_init_gcc_eh (void)
|
|||
init_eh ();
|
||||
}
|
||||
|
||||
/* Initialize the GCC support for floating-point operations. */
|
||||
|
||||
void
|
||||
gnat_init_gcc_fp (void)
|
||||
{
|
||||
/* Disable FP optimizations that ignore the signedness of zero if
|
||||
S'Signed_Zeros is True, but don't override the user if not. */
|
||||
if (Signed_Zeros_On_Target)
|
||||
flag_signed_zeros = 1;
|
||||
else if (!global_options_set.x_flag_signed_zeros)
|
||||
flag_signed_zeros = 0;
|
||||
|
||||
/* Assume that FP operations can trap if S'Machine_Overflow is True,
|
||||
but don't override the user if not.
|
||||
|
||||
??? Alpha/VMS enables FP traps without declaring it. */
|
||||
if (Machine_Overflows_On_Target || TARGET_ABI_OPEN_VMS)
|
||||
flag_trapping_math = 1;
|
||||
else if (!global_options_set.x_flag_trapping_math)
|
||||
flag_trapping_math = 0;
|
||||
}
|
||||
|
||||
/* Print language-specific items in declaration NODE. */
|
||||
|
||||
static void
|
||||
|
|
|
@ -677,6 +677,9 @@ gigi (Node_Id gnat_root, int max_gnat_node, int number_name ATTRIBUTE_UNUSED,
|
|||
if (Exception_Mechanism == Back_End_Exceptions)
|
||||
gnat_init_gcc_eh ();
|
||||
|
||||
/* Initialize the GCC support for FP operations. */
|
||||
gnat_init_gcc_fp ();
|
||||
|
||||
/* Now translate the compilation unit proper. */
|
||||
Compilation_Unit_to_gnu (gnat_root);
|
||||
|
||||
|
|
Loading…
Reference in New Issue