--- gforth/engine/profile.c	2001/02/28 22:31:43	1.2
+++ gforth/engine/profile.c	2003/11/02 22:15:29	1.13
@@ -1,6 +1,6 @@
 /* VM profiling support stuff
 
-  Copyright (C) 2001 Free Software Foundation, Inc.
+  Copyright (C) 2001,2002,2003 Free Software Foundation, Inc.
 
   This file is part of Gforth.
 
@@ -20,10 +20,10 @@
 */
 
 #include "config.h"
+#include "forth.h"
 #include <stdlib.h>
 #include <stdio.h>
 #include <assert.h>
-#include "forth.h"
 
 
 /* data structure: simple hash table with external chaining */
@@ -85,9 +85,9 @@ void vm_count_block(Xt *ip)
 }
 
 #ifdef DIRECT_THREADED
-#define VM_IS_INST(inst, n) ((inst) == vm_prims[(n)+DOESJUMP+1])
+#define VM_IS_INST(inst, n) ((inst) == vm_prims[n])
 #else
-#define VM_IS_INST(inst, n) ((inst) == &(vm_prims[(n)+DOESJUMP+1]))
+#define VM_IS_INST(inst, n) ((inst) == &(vm_prims[n]))
 #endif
 
 void postprocess_block(block_count *b)
@@ -102,6 +102,7 @@ void postprocess_block(block_count *b)
       add_inst(b,"unknown");
       ip++;
     }
+  _endif_:
     next_block = block_lookup(ip);
   } while (next_block == NULL);
   /* we fell through, so set fallthrough and update the count */
@@ -127,6 +128,8 @@ void postprocess(void)
    }
 }
 
+#if 1
+/* full basic blocks only */
 void print_block(FILE *file, block_count *b)
 {
   size_t i;
@@ -136,6 +139,34 @@ void print_block(FILE *file, block_count
     fprintf(file, "%s ", b->insts[i]);
   putc('\n', file);
 }
+#elif 0
+/* full basic blocks and all their prefixes */
+void print_block(FILE *file, block_count *b)
+{
+  size_t i,j;
+
+  for (j=1; j<=b->ninsts; j++) {
+    fprintf(file,"%14lld\t",b->count);
+    for (i=0; i<j; i++)
+      fprintf(file, "%s ", b->insts[i]);
+    putc('\n', file);
+  }
+}
+#else
+/* all subsequences up to length 12 */
+void print_block(FILE *file, block_count *b)
+{
+  size_t i,j,k;
+
+  for (i=1; i<2; i++)
+    for (j=0; i+j<=b->ninsts; j++) {
+      fprintf(file,"%14lld\t",b->count);
+      for (k=j; k<i+j; k++)
+	fprintf(file, "%s ", b->insts[k]);
+      putc('\n', file);
+    }
+}
+#endif
 
 void vm_print_profile(FILE *file)
 {