d0p1/ack
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
ack/mach/proto/mcg/basicblock.h

44 lines
1 KiB
C
Raw Permalink Normal View History

Perform SSA conversion of locals. Much, *much* better code now, at least inasmuch as it looks better before register allocation. Basic blocks now know their own successors and predecessors (after a certain point in the IR processing).
2016-10-02 15:50:34 +00:00
#ifndef BASICBLOCK_H
#define BASICBLOCK_H
Overhaul of everything phi related; critical edge splitting now happens before anything SSA happens; liveness calculations now look like they might be working.
2016-10-07 22:21:23 +00:00
struct phi
{
struct basicblock* prev; /* Predecessor that this phi is referring to */
struct ir* ir; /* IR of variable definition */
};
Perform SSA conversion of locals. Much, *much* better code now, at least inasmuch as it looks better before register allocation. Basic blocks now know their own successors and predecessors (after a certain point in the IR processing).
2016-10-02 15:50:34 +00:00
struct basicblock
{
const char* name;
ARRAYOF(struct em) ems;
ARRAYOF(struct ir) irs;
ARRAYOF(struct hop) hops;
ARRAYOF(struct basicblock) prevs;
ARRAYOF(struct basicblock) nexts;
No, dammit, for register allocation I need to walk the blocks in *dominance* order. Since the dominance tree has changed when I fiddled with the graph, I need to recompute it, so factor it out of the SSA pass. Code is uglier than I'd like but at least the RET statement goes last in the generated code now.
2016-10-05 21:52:54 +00:00
int order; /* used by dominance graph code */
Perform SSA conversion of locals. Much, *much* better code now, at least inasmuch as it looks better before register allocation. Basic blocks now know their own successors and predecessors (after a certain point in the IR processing).
2016-10-02 15:50:34 +00:00
Overhaul of everything phi related; critical edge splitting now happens before anything SSA happens; liveness calculations now look like they might be working.
2016-10-07 22:21:23 +00:00
PMAPOF(struct vreg, struct phi) phis;
/* Used by liveness calculation. */
ARRAYOF(struct vreg) liveins;
ARRAYOF(struct vreg) liveouts;
Bodge in enough phi support to let the instruction generator complete on basic programs.
2016-10-04 19:58:31 +00:00
A bb's regsin are no longer the same as those of its first instruction; occasionally the first hop of a block would try to rearrange its registers (due to evicted throughs), resulting in the phi moves copying values into the wrong registers.
2016-11-16 19:52:15 +00:00
/* Register assignments on entry and exit. */
register_assignment_t regsin;
register_assignment_t* regsout; /* points at regsout of the last insn. */
Basic register allocation works!
2016-10-08 21:32:54 +00:00
Perform SSA conversion of locals. Much, *much* better code now, at least inasmuch as it looks better before register allocation. Basic blocks now know their own successors and predecessors (after a certain point in the IR processing).
2016-10-02 15:50:34 +00:00
bool is_fake : 1;
bool is_root : 1;
bool is_terminated : 1;
};
extern void bb_init(void);
extern struct basicblock* bb_get(const char* name);
extern void bb_alias(struct basicblock* block, const char* name);
#endif
Made sure that all files end in vim magic.
2016-10-05 19:07:29 +00:00
/* vim: set sw=4 ts=4 expandtab : */
Reference in a new issue Copy permalink