Changeset 9746

Timestamp:

Jun 13, 2008, 12:45:44 PM (16 years ago)

Author:

Gary Byers

Message:

Get the link-inverting marker (at least mostly) working on ia32. Changes
(mostly) involve using fulltag_odd_fixnum for RMARK_PREV_CAR and
changing the CONS-walking code accordingly, treating
function_boundary_marker as something that can only exist in functions,
and using *boundary (not boundary[1]) to store the function displacement.

File:

• branches/ia32/lisp-kernel/x86-gc.c (modified) (8 diffs)

branches/ia32/lisp-kernel/x86-gc.c

@@ -534 +534 @@
 #ifdef X8664
 #define RMARK_PREV_ROOT fulltag_imm_1 /* fulltag of 'undefined' value */
-#define RMARK_PREV_CAR fulltag_nil /* fulltag_nil + node_size. Coincidence ? I think not. */
+#define RMARK_PREV_CAR fulltag_nil /* fulltag_cons + node_size. Coincidence ? I think not. */
 #else
-#define RMARK_PREV_ROOT fulltag_imm
-#define RMARK_PREV_CAR fulltag_immheader
+#define RMARK_PREV_ROOT fulltag_imm /* fulltag of 'undefined' value */
+#define RMARK_PREV_CAR fulltag_odd_fixnum 
 #endif
 
@@ -811 +811 @@
       goto ClimbCar;
 
-      /* default: abort() */
+    default: abort();
     }
 
@@ -820 +820 @@
   MarkCons:
     next = deref(this,1);
+#ifdef X8632
+    this += (RMARK_PREV_CAR-fulltag_cons);
+#else
     this += node_size;
+#endif
     tag_n = fulltag_of(next);
     if (!is_node_fulltag(tag_n)) goto MarkCdr;
@@ -838 +842 @@
   MarkCdr:
     next = deref(this, 0);
+#ifdef X8632
+    this -= (RMARK_PREV_CAR-fulltag_cons);
+#else
     this -= node_size;
+#endif
     tag_n = fulltag_of(next);
     if (!is_node_fulltag(tag_n)) goto Climb;
@@ -915 +923 @@
        * we've finished marking the function vector.
        */
-      ((int *)boundary)[1] &= 0xff;
-      ((int *)boundary)[1] |= (this-(LispObj)boundary) << 8;
+      *((int *)boundary) &= 0xff;
+      *((int *)boundary) |= ((this-(LispObj)boundary) << 8);
       this = (LispObj)(base)+fulltag_misc;
       dnode = gc_area_dnode(this);
@@ -926 +934 @@
       if (subtag == subtag_function) {
         boundary = base + (unsigned short)base[1];
-        ((int *)boundary)[1] &= 0xff;
-        ((int *)boundary)[1] |= (this-((LispObj)boundary)) << 8;
+        *((int *)boundary) &= 0xff;
+        *((int *)boundary) |= ((this-((LispObj)boundary)) << 8);
       }
     }
@@ -996 +1004 @@
 #else
     if ((tag_of(this) == tag_misc) &&
-        (header_subtag(this) == subtag_function) &&
         (header_subtag(next) == function_boundary_marker)) goto MarkFunctionDone;
 #endif
@@ -1029 +1036 @@
     (((int *)boundary)[1]) = 0;
 #else
-    this = ((LispObj)boundary) + ((int *)boundary)[1] >> 8;
-    ((int *)boundary)[1] &= 0xff;
+    this = ((LispObj)boundary) + ((*((int *)boundary)) >> 8);
+    ((int *)boundary)[0] &= 0xff;
     goto Climb;
 #endif