version 1.2, 2001/02/28 22:31:43
|
version 1.3, 2001/03/01 14:27:22
|
Line 127 void postprocess(void)
|
Line 127 void postprocess(void)
|
} |
} |
} |
} |
|
|
|
#if 0 |
void print_block(FILE *file, block_count *b) |
void print_block(FILE *file, block_count *b) |
{ |
{ |
size_t i; |
size_t i; |
Line 136 void print_block(FILE *file, block_count
|
Line 137 void print_block(FILE *file, block_count
|
fprintf(file, "%s ", b->insts[i]); |
fprintf(file, "%s ", b->insts[i]); |
putc('\n', file); |
putc('\n', file); |
} |
} |
|
#endif |
|
|
|
void print_block(FILE *file, block_count *b) |
|
{ |
|
size_t i,j,k; |
|
|
|
for (i=2; i<12; 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); |
|
} |
|
} |
|
|
void vm_print_profile(FILE *file) |
void vm_print_profile(FILE *file) |
{ |
{ |