cfg.h

Go to the documentation of this file.

 
#ifndef CFG_H
#define CFG_H
 
#include <stdio.h>
#include <stdbool.h>
#include "program.h"
#include "list.h"


#define CFG_MAX_DEFS 1
#define CFG_MAX_USES 2
 

typedef struct {
  t_regID tempRegID;
  t_listNode *mcRegWhitelist;
} t_cfgReg;
 
typedef struct t_basicBlock t_basicBlock;
typedef struct t_cfg t_cfg;

typedef struct {
  t_basicBlock *parent;
  t_instruction *instr;
  t_cfgReg *defs[CFG_MAX_DEFS];
  t_cfgReg *uses[CFG_MAX_USES];
  t_listNode *in;
  t_listNode *out;
} t_bbNode;

struct t_basicBlock {
  t_cfg *parent;     
  t_listNode *pred;  
  t_listNode *succ;  
  t_listNode *nodes; 
};

struct t_cfg {
  t_listNode *blocks;
  t_basicBlock *endingBlock;
  t_listNode *registers;
};
 


t_bbNode *bbInsertInstruction(t_basicBlock *block, t_instruction *instr);
t_bbNode *bbInsertInstructionBefore(
    t_basicBlock *block, t_instruction *instr, t_bbNode *ip);
t_bbNode *bbInsertInstructionAfter(
    t_basicBlock *block, t_instruction *instr, t_bbNode *ip);

 


t_cfg *programToCFG(t_program *program);

int cfgIterateNodes(t_cfg *graph, void *context,
    int (*callback)(t_bbNode *node, int nodeIndex, void *context));

void cfgToProgram(t_program *program, t_cfg *graph);

void deleteCFG(t_cfg *graph);

 


void cfgComputeLiveness(t_cfg *graph);

t_listNode *bbGetLiveIn(t_basicBlock *bblock);
t_listNode *bbGetLiveOut(t_basicBlock *bblock);

 


void cfgDump(t_cfg *graph, FILE *fout, bool verbose);


 
#endif