===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/gc/mark_rts.c,v
retrieving revision 1.1.1.1
retrieving revision 1.3
diff -u -p -r1.1.1.1 -r1.3
--- OpenXM_contrib2/asir2000/gc/mark_rts.c	1999/12/03 07:39:10	1.1.1.1
+++ OpenXM_contrib2/asir2000/gc/mark_rts.c	2000/12/01 09:26:12	1.3
@@ -412,6 +412,8 @@ ptr_t cold_gc_frame;
 	if (0 == cold_gc_frame) return;
 #       ifdef STACK_GROWS_DOWN
     	  GC_push_all_eager(GC_approx_sp(), cold_gc_frame);
+	  /* For IA64, the register stack backing store is handled 	*/
+	  /* in the thread-specific code.				*/
 #       else
 	  GC_push_all_eager( cold_gc_frame, GC_approx_sp() );
 #       endif
@@ -419,6 +421,31 @@ ptr_t cold_gc_frame;
 #   	ifdef STACK_GROWS_DOWN
     	    GC_push_all_stack_partially_eager( GC_approx_sp(), GC_stackbottom,
 					       cold_gc_frame );
+#	    ifdef IA64
+	      /* We also need to push the register stack backing store. */
+	      /* This should really be done in the same way as the	*/
+	      /* regular stack.  For now we fudge it a bit.		*/
+	      /* Note that the backing store grows up, so we can't use	*/
+	      /* GC_push_all_stack_partially_eager.			*/
+	      {
+		extern word GC_save_regs_ret_val;
+			/* Previously set to backing store pointer.	*/
+		ptr_t bsp = (ptr_t) GC_save_regs_ret_val;
+	        ptr_t cold_gc_bs_pointer;
+#		ifdef ALL_INTERIOR_POINTERS
+	          cold_gc_bs_pointer = bsp - 2048;
+		  if (cold_gc_bs_pointer < BACKING_STORE_BASE) {
+		    cold_gc_bs_pointer = BACKING_STORE_BASE;
+		  }
+		  GC_push_all(BACKING_STORE_BASE, cold_gc_bs_pointer);
+#		else
+		  cold_gc_bs_pointer = BACKING_STORE_BASE;
+#		endif
+		GC_push_all_eager(cold_gc_bs_pointer, bsp);
+		/* All values should be sufficiently aligned that we	*/
+		/* dont have to worry about the boundary.		*/
+	      }
+#	    endif
 #       else
 	    GC_push_all_stack_partially_eager( GC_stackbottom, GC_approx_sp(),
 					       cold_gc_frame );
@@ -477,6 +504,9 @@ ptr_t cold_gc_frame;
 	/* In the USE_GENERIC_PUSH_REGS case, this is done inside	*/
 	/* GC_push_regs, so that we catch callee-save registers saved	*/
 	/* inside the GC_push_regs frame.				*/
+	/* In the case of linux threads on Ia64, the hot section of	*/
+	/* the main stack is marked here, but the register stack	*/
+	/* backing store is handled in the threads-specific code.	*/
 #   endif
     if (GC_push_other_roots != 0) (*GC_push_other_roots)();
     	/* In the threads case, this also pushes thread stacks.	*/