ack/mach/proto/mcg/ir.h

#ifndef IR_H
#define IR_H

#include "ircodes.h"

struct ir
{
	int id;
	enum ir_opcode opcode;
	int size;
    char type;
	struct ir* left;
	struct ir* right;
	struct ir* root;
	union
	{
		arith ivalue;
		int rvalue;
		const char* lvalue;
		struct basicblock* bvalue;
        PMAPOF(struct basicblock, struct ir) phivalue;
	} u;

    ARRAYOF(struct ir) uses; /* all places this IR is used */

	struct vreg* result;     /* vreg containing IR result */
};

extern const char* ir_names[];

extern struct ir* new_ir0(int opcode, int size);
extern struct ir* new_ir1(int opcode, int size,
	struct ir* c1);
extern struct ir* new_ir2(int opcode, int size,
	struct ir* c1, struct ir* c2);

extern struct ir* new_labelir(const char* label);
extern struct ir* new_wordir(arith value);
extern struct ir* new_constir(int size, arith value);
extern struct ir* new_bbir(struct basicblock* bb);
extern struct ir* new_anyir(int size);
extern struct ir* new_localir(int offset);

typedef bool ir_walker_t(struct ir* node, void* user);
extern struct ir* ir_walk(struct ir* ir, ir_walker_t* callback, void* user);
extern struct ir* ir_find(struct ir* ir, int opcode);

extern void ir_print(char k, const struct ir* ir);

#endif

/* vim: set sw=4 ts=4 expandtab : */
Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00			`#ifndef IR_H`
			`#define IR_H`

Replaced the block splicer with a trivial block eliminator (which rewrites jumps to blocks which contain only a jump). Don't bother storing the bb graph in the ir nodes; we can find it on demand by walking the tree instead --- slower, but much easier to understand and more robust. Added a terrible map library. 2016-09-23 21:59:15 +00:00			`#include "ircodes.h"`

Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00			`struct ir`
			`{`
			`int id;`
Replaced the block splicer with a trivial block eliminator (which rewrites jumps to blocks which contain only a jump). Don't bother storing the bb graph in the ir nodes; we can find it on demand by walking the tree instead --- slower, but much easier to understand and more robust. Added a terrible map library. 2016-09-23 21:59:15 +00:00			`enum ir_opcode opcode;`
Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00			`int size;`
Re-re-add the type inference layer, now I know more about how things work. Remove that terrible float promotion code. 2016-10-22 21:04:13 +00:00			`char type;`
Store the EM code up front and build the basic block graph before generating the IR code. Lots more IR code. 2016-09-19 21:06:59 +00:00			`struct ir* left;`
			`struct ir* right;`
More rigorous dealing of IR groups; no need for is_generated and is_root any more (but now passes are required to set IR roots properly when changing instructions). 2016-10-01 20:58:29 +00:00			`struct ir* root;`
Add a bodged in algorithm for converting basic block communication from stacked variables to SSA. Also add dead block removal and block splicing. IR code is much better now. 2016-09-22 21:19:29 +00:00			`union`
			`{`
Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00			`arith ivalue;`
			`int rvalue;`
			`const char* lvalue;`
			`struct basicblock* bvalue;`
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 basicblock, struct ir) phivalue;`
Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00			`} u;`
Some instruction selection is now happening. 2016-09-24 20:46:08 +00:00
Keep track of register types as well as attributes --- the type being how we find new registers when evicting values. Input constraints work (they were being ignored before). Various bug fixing so they actually work. 2016-10-12 20:58:46 +00:00			`ARRAYOF(struct ir) uses; /* all places this IR is used */`

Massive rewrite of how emitters and the instruction selector works, after I realised that the existing approach wasn't working. Now, hopefully, tracks the instruction trees generated during selection properly. 2016-10-03 22:16:06 +00:00			`struct vreg* result; /* vreg containing IR result */`
Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00			`};`

			`extern const char* ir_names[];`

			`extern struct ir* new_ir0(int opcode, int size);`
			`extern struct ir* new_ir1(int opcode, int size,`
			`struct ir* c1);`
			`extern struct ir* new_ir2(int opcode, int size,`
			`struct ir* c1, struct ir* c2);`

			`extern struct ir* new_labelir(const char* label);`
			`extern struct ir* new_wordir(arith value);`
Tracing cleanup. Simplified the IR code. Some more opcodes. 2016-09-21 22:15:48 +00:00			`extern struct ir* new_constir(int size, arith value);`
Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00			`extern struct ir* new_bbir(struct basicblock* bb);`
			`extern struct ir* new_anyir(int size);`
Tracing cleanup. Simplified the IR code. Some more opcodes. 2016-09-21 22:15:48 +00:00			`extern struct ir* new_localir(int offset);`
Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00
Replaced the block splicer with a trivial block eliminator (which rewrites jumps to blocks which contain only a jump). Don't bother storing the bb graph in the ir nodes; we can find it on demand by walking the tree instead --- slower, but much easier to understand and more robust. Added a terrible map library. 2016-09-23 21:59:15 +00:00			`typedef bool ir_walker_t(struct ir* node, void* user);`
			`extern struct ir* ir_walk(struct ir* ir, ir_walker_t* callback, void* user);`
Add a bodged in algorithm for converting basic block communication from stacked variables to SSA. Also add dead block removal and block splicing. IR code is much better now. 2016-09-22 21:19:29 +00:00			`extern struct ir* ir_find(struct ir* ir, int opcode);`

Tracing cleanup. Simplified the IR code. Some more opcodes. 2016-09-21 22:15:48 +00:00			`extern void ir_print(char k, const struct ir* ir);`

Archival checking of the half-written IR treebuilder. 2016-09-18 21:24:54 +00:00			`#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 : */`