summaryrefslogtreecommitdiff
path: root/6/peep.c
blob: 970f0aea300b2ab9c1df71a0296a2005dfc563ca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
#include <stdlib.h>
#include <stdio.h>
#include <stdint.h>
#include <stdarg.h>
#include <ctype.h>
#include <string.h>
#include <assert.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <unistd.h>

#include "parse.h"
#include "opt.h"
#include "asm.h"


/* we sometimes leave dead code generated after 
 * a non-conditional jump. This code scans for
 * the non-conditional exit from the BB, and truncates
 * at that point */
static void deadcode(Isel *s, Asmbb *bb)
{
    size_t i;

    for (i = 0; i < bb->ni; i++) {
        if (bb->il[i]->op == Ijmp) {
            i++;
            break;
        }
    }
    bb->ni = i;
}

/* checks for of dumb jump code.
 * nop jumps:
 *      jmp .l1
 *      .l1:
 * TODO: check for jumps over jumps.
 */     
static void nopjmp(Isel *s, Asmbb *bb, size_t idx)
{
    Insn *jmp;
    Loc *targ;
    Asmbb *nextbb;
    size_t i;

    /* skip empty bbs */
    if (!bb->ni)
        return;
    /* find the target of the last unconditional
     * jump in the bb */
    targ = NULL;
    if (bb->il[bb->ni - 1]->op == Ijmp) {
        jmp = bb->il[bb->ni - 1];
        if (jmp->args[0]->type == Loclbl)
            targ = jmp->args[0];
    }
    if (!targ)
        return;
    
    /* figure out if it's somewhere in the head of the next bb */
    if (idx < s->nbb)
        nextbb = s->bb[idx + 1];
    for (i = 0; i < nextbb->nlbls; i++) {
        if (!strcmp(nextbb->lbls[i], targ->lbl)) {
            bb->ni--;
            break;
        }
    }
}

void peep(Isel *s)
{
    size_t i;

    for (i = 0; i < s->nbb; i++) {
        deadcode(s, s->bb[i]);
        nopjmp(s, s->bb[i], i);
    }
}