From e4da265b5017332007bb130c7df55b24d6dc4214 Mon Sep 17 00:00:00 2001 From: Quentin Carbonneaux Date: Mon, 28 Mar 2016 15:35:40 -0400 Subject: make block labels per-function --- emit.c | 16 +++++++++++----- test/abi4.ssa | 2 +- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/emit.c b/emit.c index 9b2975d..7309170 100644 --- a/emit.c +++ b/emit.c @@ -149,7 +149,10 @@ emitcon(Con *con, FILE *f) default: diag("emit: invalid constant"); case CAddr: - fprintf(f, "%s%s", con->local ? locprefix : symprefix, con->label); + if (con->local) + fprintf(f, "%s%s", locprefix, con->label); + else + fprintf(f, "%s%s", symprefix, con->label); if (con->bits.i) fprintf(f, "%+"PRId64, con->bits.i); break; @@ -493,6 +496,7 @@ emitfn(Fn *fn, FILE *f) [ICXnp] = "np", [ICXp] = "p" }; + static int id0; Blk *b, *s; Ins *i, itmp; int *r, c, fs; @@ -516,7 +520,7 @@ emitfn(Fn *fn, FILE *f) } for (b=fn->start; b; b=b->link) { - fprintf(f, "%s%s:\n", locprefix, b->name); + fprintf(f, "%sbb%d: /* %s */\n", locprefix, id0+b->id, b->name); for (i=b->ins; i!=&b->ins[b->nins]; i++) emitins(*i, fn, f); switch (b->jmp.type) { @@ -533,7 +537,8 @@ emitfn(Fn *fn, FILE *f) break; case JJmp: if (b->s1 != b->link) - fprintf(f, "\tjmp %s%s\n", locprefix, b->s1->name); + fprintf(f, "\tjmp %sbb%d /* %s */\n", + locprefix, id0+b->s1->id, b->s1->name); break; default: c = b->jmp.type - JXJc; @@ -545,13 +550,14 @@ emitfn(Fn *fn, FILE *f) s = b->s2; } else diag("emit: unhandled jump (1)"); - fprintf(f, "\tj%s %s%s\n", ctoa[c], locprefix, s->name); + fprintf(f, "\tj%s %sbb%d /* %s */\n", + ctoa[c], locprefix, id0+s->id, s->name); break; } diag("emit: unhandled jump (2)"); } } - + id0 += fn->nblk; } void diff --git a/test/abi4.ssa b/test/abi4.ssa index 844d985..47255bf 100644 --- a/test/abi4.ssa +++ b/test/abi4.ssa @@ -20,7 +20,7 @@ function $alpha(l %p, w %l, l %n) { export function :mem $test() { -@start +@ini %p =l alloc4 17 %r0 =w call $alpha(l %p, w 65, l 16) ret %p -- cgit 1.4.1