inferno-os tree was separated from the inferno-os-android (separated from the Android driver)

1 files changed, 53 insertions, 0 deletions

diff --git a/libinterp/validstk.c b/libinterp/validstk.c
new file mode 100644
index 0000000..6956a64
--- /dev/null
+++ b/libinterp/validstk.c
@@ -0,0 +1,53 @@
+#include "lib9.h"
+#include "isa.h"
+#include "interp.h"
+
+static int depth;
+
+void
+memchk(void *p, Type *t)
+{
+	Heap *h;
+	int i, j;
+	ulong *v, **base;
+
+	if(depth > 100)
+		return;
+	depth++;
+	base = p;
+	for(i = 0; i < t->np; i++) {
+		for(j = 0; j < 8; j++) {
+			if(t->map[i] & (1<<(7-j))) {
+				v = base[(i*8)+j];
+				if(v != H) {
+					h = D2H(v);
+					hmsize(h);
+					if(h->ref <= 0)
+						abort();
+					if(h->t != nil)
+						memchk(v, h->t);
+				}
+			}
+		}
+	}
+	depth--;
+}
+
+void
+validstk(void)
+{
+	Type *t;
+	Frame *f;
+	uchar *fp;
+
+	fp = R.FP;
+	while(fp != nil) {
+		f = (Frame*)fp;
+		t = f->t;
+		if(t == nil)
+			t = SEXTYPE(f)->reg.TR;
+
+		memchk(f, t);
+		fp = f->fp;
+	}
+}