diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-08-07 16:01:07 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-09-15 23:01:30 -0400 |
| commit | e65a615c903c96eaaad17a05e83d1d763cc21675 (patch) | |
| tree | e6596e00623620092f727d02c63f05b887797e9f /lisc/emit.c | |
| parent | ad012e9d558138b61881156ab8b31e74cd759825 (diff) | |
| download | roux-e65a615c903c96eaaad17a05e83d1d763cc21675.tar.gz | |
jez becomes jnz, complete cmp+jmp contraction
Diffstat (limited to 'lisc/emit.c')
| -rw-r--r-- | lisc/emit.c | 40 |
1 files changed, 27 insertions, 13 deletions
diff --git a/lisc/emit.c b/lisc/emit.c index c1fd49a..ad48a27 100644 --- a/lisc/emit.c +++ b/lisc/emit.c @@ -73,6 +73,20 @@ static char *ctoa[NCmp] = { [Cne] = "ne", }; +static int +cneg(int cmp) +{ + switch (cmp) { + default: diag("cneg: unhandled comparison"); + case Ceq: return Cne; + case Csle: return Csgt; + case Cslt: return Csge; + case Csgt: return Csle; + case Csge: return Cslt; + case Cne: return Ceq; + } +} + static void eref(Ref r, Fn *fn, FILE *f) { @@ -187,9 +201,9 @@ eins(Ins i, Fn *fn, FILE *f) void emitfn(Fn *fn, FILE *f) { - char *js; Blk *b, *s; Ins *i; + int c; fprintf(f, ".text\n" @@ -216,19 +230,19 @@ emitfn(Fn *fn, FILE *f) if (b->s1 != b->link) fprintf(f, "\tjmp .L%s\n", b->s1->name); break; - case JJez: - if (b->s1 == b->link) { - js = "jne"; - s = b->s2; - } else if (b->s2 == b->link) { - js = "je"; - s = b->s1; - } else - diag("emit: unhandled jump (1)"); - eop("cmp $0,", b->jmp.arg, R, fn, f); - fprintf(f, "\t%s .L%s\n", js, s->name); - break; default: + c = b->jmp.type - JXJc; + if (0 <= c && c <= NCmp) { + if (b->link == b->s2) { + s = b->s1; + } else if (b->link == b->s1) { + c = cneg(c); + s = b->s2; + } else + diag("emit: unhandled jump (1)"); + fprintf(f, "\tj%s .L%s\n", ctoa[c], s->name); + break; + } diag("emit: unhandled jump (2)"); } } |