listのwrapをCASTでないときにtag付きポインタに

Author: oshimayuki1124

libC/capp.c

@@ -417,16 +417,15 @@ value coerce(value v, crc *s) {
     		*dest = 0;
     		return retv;
 			#else
-			if ((lst*)v != NULL && ((lst*)v)->lstkind == WRAPPED_LIST) { // u<<[s]>><[s']>
-				crc *c = compose_lists(((lst*)v)->lstdat.wrap_l.c, s);
+			if ((lst*)v != NULL && (((lst*)v)->lstdat.wrap_l.c & 0b1)) { // u<<[s]>><[s']>
+				crc *c = compose_lists((crc*)(((lst*)v)->lstdat.wrap_l.c & ~0b1), s);
 				if (c->crckind == ID) {    						// u<<[s]>><[s']> -> u<id> -> u
 					return (value)((lst*)v)->lstdat.wrap_l.w;
 				} else {										// u<<[s]>><[s']> -> u<[s;;s']> -> u<<[s;;s']>>
 					value retv;
 					retv = (value)GC_MALLOC(sizeof(lst));
-					((lst*)retv)->lstkind = WRAPPED_LIST;
 					((lst*)retv)->lstdat.wrap_l.w = ((lst*)v)->lstdat.wrap_l.w;
-					((lst*)retv)->lstdat.wrap_l.c = c;
+					((lst*)retv)->lstdat.wrap_l.c = (crc*)((uintptr_t)c | 0b1);
 					return retv;
 				}
 			} else {                   // u<[s']> -> u<<[s']>>
@@ -435,9 +434,8 @@ value coerce(value v, crc *s) {
 				#endif
 				value retv;
 				retv = (value)GC_MALLOC(sizeof(lst));
-				((lst*)retv)->lstkind = WRAPPED_LIST;
 				((lst*)retv)->lstdat.wrap_l.w = (lst*)v;
-				((lst*)retv)->lstdat.wrap_l.c = s;
+				((lst*)retv)->lstdat.wrap_l.c = (uintptr_t)s | 0b1;
 				return retv;
 			}
 			#endif
@@ -494,16 +492,15 @@ value coerce(value v, crc *s) {
 					#else
 					value retv;
 					retv = (value)GC_MALLOC(sizeof(lst));
-					((lst*)retv)->lstkind = WRAPPED_LIST;
-					if ((lst*)v != NULL && ((lst*)v)->lstkind == WRAPPED_LIST) {   // u<<[s]>><[s'];G!>
+					if ((lst*)v != NULL && (((lst*)v)->lstdat.wrap_l.c & 0b1)) {   // u<<[s]>><[s'];G!>
 						((lst*)retv)->lstdat.wrap_l.w = ((lst*)v)->lstdat.wrap_l.w;
-						((lst*)retv)->lstdat.wrap_l.c = compose_lists(((lst*)v)->lstdat.wrap_l.c, mid_crc);
+						((lst*)retv)->lstdat.wrap_l.c = (crc*)((uintptr_t)compose_lists((crc*)(((lst*)v)->lstdat.wrap_l.c & ~0b1), mid_crc) | 0b1);
 					} else { // u<[s'];G!> -> u<<[s'];G!>>
 						#ifdef PROFILE
 						update_longest(1);
 						#endif
 						((lst*)retv)->lstdat.wrap_l.w = (lst*)v;
-						((lst*)retv)->lstdat.wrap_l.c = mid_crc;
+						((lst*)retv)->lstdat.wrap_l.c = (uintptr_t)mid_crc | 0b1;
 					}
 					return tag_value(retv, G_LI);
 					#endif

libC/lst.c

@@ -12,6 +12,7 @@ __attribute__((noreturn)) void did_not_match() {
 #include "ty.h"
 #include "crc.h"
 
+#ifdef CAST
 int is_NULL(lst *l) {
 	while (l != NULL && l->lstkind == WRAPPED_LIST) {
 		l = l->lstdat.wrap_l.w;
@@ -21,26 +22,44 @@ int is_NULL(lst *l) {
 
 value hd(lst *l) {
 	if (l->lstkind == WRAPPED_LIST) {
-		#ifdef CAST
-		return cast(hd(l->lstdat.wrap_l.w), l->lstdat.wrap_l.u1->tydat.tylist, l->lstdat.wrap_l.u2->tydat.tylist, l->rid, l->polarity);
-		#else
-		return coerce(l->lstdat.wrap_l.w->lstdat.unwrap_l.h, l->lstdat.wrap_l.c->crcdat.one_crc);
-		#endif
+		return cast(hd(l->lstdat.wrap_l.w), l->lstdat.wrap_l.u1->tydat.tylist, l->lstdat.wrap_l.u2->tydat.tylist, l->rid, l->polarity);\
 	} else {
 		return l->lstdat.unwrap_l.h;
 	}
 }
 
 value tl(lst *l) {
 	if (l->lstkind == WRAPPED_LIST) {
-		#ifdef CAST
 		return cast(tl(l->lstdat.wrap_l.w), l->lstdat.wrap_l.u1, l->lstdat.wrap_l.u2, l->rid, l->polarity);
-		#else
-		return coerce(l->lstdat.wrap_l.w->lstdat.unwrap_l.t, l->lstdat.wrap_l.c);
-		#endif
 	} else {
 		return l->lstdat.unwrap_l.t;
 	}
 }
+#else
+
+int is_NULL(lst *l) {
+	while (l != NULL && (l->lstdat.wrap_l.c & 0b1)) {
+		l = l->lstdat.wrap_l.w;
+	}
+	return (l == NULL);
+}
+
+value hd(lst *l) {
+	if (l->lstdat.wrap_l.c & 0b1) {
+		return coerce(l->lstdat.wrap_l.w->lstdat.unwrap_l.h, ((crc*)(l->lstdat.wrap_l.c & ~0b1))->crcdat.one_crc);
+	} else {
+		return l->lstdat.unwrap_l.h;
+	}
+}
+
+value tl(lst *l) {
+	if (l->lstdat.wrap_l.c & 0b1) {
+		return coerce(l->lstdat.wrap_l.w->lstdat.unwrap_l.t, (crc*)(l->lstdat.wrap_l.c & ~0b1));
+	} else {
+		return l->lstdat.unwrap_l.t;
+	}
+}
+
+#endif
 
 #endif

libC/lst.h

@@ -7,34 +7,39 @@ typedef struct lst {
 	#if defined(EAGER) || defined(STATIC)
 	value h;
 	value t;
-	#else
+	#elif defined(CAST)
 	enum lstkind : uint8_t {
 		UNWRAPPED_LIST,
 		WRAPPED_LIST
 	} lstkind;
-	#ifdef CAST
 	uint8_t polarity;
 	uint32_t rid;
-	#endif
 	union lstdat {
 		struct unwrap_l {
 			value h;
 			value t;
 		} unwrap_l;
 		struct wrap_l {
 			lst *w;
-			#ifdef CAST
 			ty *u1;
 			ty *u2;
-			#else
-			crc *c;
-			#endif
+		} wrap_l;
+	} lstdat;
+	#else
+	union lstdat {
+		struct unwrap_l {
+			value h;
+			value t;
+		} unwrap_l;
+		struct wrap_l {
+			lst *w;
+			uintptr_t c;
 		} wrap_l;
 	} lstdat;
 	#endif
 } lst;
 
-void did_not_match() __attribute__((noreturn));;
+void did_not_match() __attribute__((noreturn));
 
 #if !defined(EAGER) && !defined(STATIC)
 value hd(lst*);