1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/rtl.h b/gcc/rtl.h
index 4acc23b..cbed200 100644
--- a/gcc/rtl.h
+++ b/gcc/rtl.h
@@ -1226,6 +1226,7 @@ extern unsigned int num_sign_bit_copies (const_rtx, enum machine_mode);
 extern bool constant_pool_constant_p (rtx);
 extern bool truncated_to_mode (enum machine_mode, const_rtx);
 extern int low_bitmask_len (enum machine_mode, unsigned HOST_WIDE_INT);
+extern void split_double (rtx, rtx *, rtx *);
 
 #ifndef GENERATOR_FILE
 /* Return the cost of SET X.  SPEED_P is true if optimizing for speed