+/* Record one reload that needs to be performed. */
+extern int push_reload (rtx, rtx, rtx *, rtx *, enum reg_class,
+ enum machine_mode, enum machine_mode,
+ int, int, int, enum reload_type);
+
+/* Functions in postreload.c: */
+extern void reload_cse_regs (rtx);