summaryrefslogtreecommitdiff
path: root/compiler_and_linker/unsorted/IroFlowgraph.c
diff options
context:
space:
mode:
authorAsh Wolf <ninji@wuffs.org>2023-01-26 11:30:47 +0000
committerAsh Wolf <ninji@wuffs.org>2023-01-26 11:30:47 +0000
commit094b96ca1df4a035b5f93c351f773306c0241f3f (patch)
tree95ce05e3ebe816c7ee7996206bb37ea17d8ca33c /compiler_and_linker/unsorted/IroFlowgraph.c
parentfc0c4c0df7b583b55a08317cf1ef6a71d27c0440 (diff)
downloadMWCC-094b96ca1df4a035b5f93c351f773306c0241f3f.tar.gz
MWCC-094b96ca1df4a035b5f93c351f773306c0241f3f.zip
move lots of source files around to match their actual placement in the original treemain
Diffstat (limited to 'compiler_and_linker/unsorted/IroFlowgraph.c')
-rw-r--r--compiler_and_linker/unsorted/IroFlowgraph.c439
1 files changed, 0 insertions, 439 deletions
diff --git a/compiler_and_linker/unsorted/IroFlowgraph.c b/compiler_and_linker/unsorted/IroFlowgraph.c
deleted file mode 100644
index 5c9c840..0000000
--- a/compiler_and_linker/unsorted/IroFlowgraph.c
+++ /dev/null
@@ -1,439 +0,0 @@
-#include "compiler/IroFlowgraph.h"
-#include "compiler/IroCSE.h"
-#include "compiler/IroLinearForm.h"
-#include "compiler/IroPropagate.h"
-#include "compiler/IROUseDef.h"
-#include "compiler/IroUtil.h"
-#include "compiler/CError.h"
-#include "compiler/CFunc.h"
-#include "compiler/CompilerTools.h"
-#include "compiler/Exceptions.h"
-#include "compiler/InlineAsmPPC.h"
-
-UInt16 IRO_NumNodes;
-IRONode *IRO_FirstNode;
-IRONode *IRO_LastNode;
-IRONode *IRO_EndNode;
-IRONode **IRO_NodeTable;
-BitVector *IRO_VarKills;
-BitVector *IRO_Avail;
-BitVector *IRO_FuncKills;
-BitVector *IRO_ExprKills;
-
-static IRONode *StartNode(IROLinear *linear) {
- IRONode *node = oalloc(sizeof(IRONode));
-
- node->index = IRO_NumNodes;
- node->numsucc = 0;
- node->succ = NULL;
- node->numpred = 0;
- node->pred = NULL;
- node->first = linear;
- node->last = linear;
- node->x16 = NULL;
- node->x1A = NULL;
- node->x1E = NULL;
- node->x22 = NULL;
- node->x26 = 0;
- node->x2A = NULL;
- node->dom = NULL;
- node->nextnode = NULL;
- node->x36 = 0;
- node->x37 = 0;
- node->mustreach = 0;
- node->x39 = 0;
- node->loopdepth = 0;
- node->x3C = 0;
- node->addressed = NULL;
-
- IRO_NumNodes++;
- if (!IRO_FirstNode)
- IRO_FirstNode = node;
- else
- IRO_LastNode->nextnode = node;
- IRO_LastNode = node;
- return node;
-}
-
-static void AddSucc(IRONode *a, IRONode *b) {
- a->succ[a->numsucc++] = b->index;
- b->numpred++;
-}
-
-static void AddLabelSucc(IRONode *node, CLabel *label) {
- IRONode *targetnode = (IRONode *) label->stmt;
- if (targetnode) {
- AddSucc(node, targetnode);
- targetnode->x39 = 1;
- } else {
- CError_FATAL(126);
- }
-}
-
-static void AddSwitchSucc(IRONode *node) {
- SwitchInfo *info = node->last->u.swtch.info;
- SwitchCase *curcase = info->cases;
- SInt32 i = 1;
-
- while (curcase) {
- curcase = curcase->next;
- i++;
- }
-
- node->succ = oalloc(sizeof(UInt16) * i);
- for (curcase = info->cases; curcase; curcase = curcase->next)
- AddLabelSucc(node, curcase->label);
- AddLabelSucc(node, info->defaultlabel);
-}
-
-static void AddPred(UInt32 a, UInt16 b) {
- IRONode *node = IRO_NodeTable[a];
- node->pred[node->numpred++] = b;
-}
-
-void IRO_ComputeSuccPred(void) {
- CLabel *label;
- IRONode *node;
- SInt32 count;
- IROLinear *linear;
- ExceptionAction *action;
- IAEffects effects;
- UInt16 i;
-
- for (label = Labels; label; label = label->next)
- label->stmt = NULL;
-
- for (node = IRO_FirstNode; node; node = node->nextnode) {
- node->x39 = 0;
- node->numsucc = 0;
- node->numpred = 0;
- node->x36 = 0;
- node->x37 = 0;
- if (node->first && node->first->type == IROLinearLabel)
- node->first->u.label.label->stmt = (Statement *) node;
- }
-
- for (node = IRO_FirstNode; node; node = node->nextnode) {
- if (!node->first) {
- if (node->nextnode) {
- node->succ = oalloc(sizeof(UInt16));
- AddSucc(node, node->nextnode);
- }
- } else {
- linear = node->last;
- next_linear:
- switch (linear->type) {
- case IROLinearReturn:
- case IROLinearEnd:
- break;
- case IROLinearGoto:
- node->succ = oalloc(sizeof(UInt16));
- AddLabelSucc(node, linear->u.label.label);
- break;
- case IROLinearIf:
- case IROLinearIfNot:
- node->succ = oalloc(sizeof(UInt16) * 2);
- AddSucc(node, node->nextnode);
- AddLabelSucc(node, linear->u.label.label);
- break;
- case IROLinearSwitch:
- AddSwitchSucc(node);
- break;
- case IROLinearFunccall:
- count = 1;
- if (IRO_FunctionCallMightThrowException(linear)) {
- for (action = linear->stmt->dobjstack; action; action = action->prev) {
- if (action->type == EAT_CATCHBLOCK || action->type == EAT_SPECIFICATION)
- count++;
- }
- }
- node->succ = oalloc(sizeof(UInt16) * count);
- AddSucc(node, node->nextnode);
- if (IRO_FunctionCallMightThrowException(linear)) {
- for (action = linear->stmt->dobjstack; action; action = action->prev) {
- if (action->type == EAT_CATCHBLOCK)
- AddLabelSucc(node, action->data.catch_block.catch_label);
- else if (action->type == EAT_SPECIFICATION)
- AddLabelSucc(node, action->data.specification.unexp_label);
- }
- }
- break;
- case IROLinearAsm:
- CodeGen_GetAsmEffects(linear->u.asm_stmt, &effects);
- node->succ = oalloc(sizeof(UInt16) * (!effects.x5 + effects.numlabels));
- if (!effects.x5)
- AddSucc(node, node->nextnode);
- for (i = 0; i < effects.numlabels; i++)
- AddLabelSucc(node, effects.labels[i]);
- break;
- case IROLinearOp2Arg:
- if (linear->nodetype == ECOMMA) {
- linear = linear->u.diadic.right;
- goto next_linear;
- }
- default:
- if (node->nextnode) {
- node->succ = oalloc(sizeof(UInt16));
- AddSucc(node, node->nextnode);
- }
- }
- }
- }
-
- for (node = IRO_FirstNode; node; node = node->nextnode) {
- if (node->numpred)
- node->pred = oalloc(sizeof(UInt16) * node->numpred);
- else
- node->pred = NULL;
- node->numpred = 0;
- }
-
- for (node = IRO_FirstNode; node; node = node->nextnode) {
- for (i = 0; i < node->numsucc; i++)
- AddPred(node->succ[i], node->index);
- }
-
- for (node = IRO_FirstNode; node; node = node->nextnode) {
- if (node->first && node->first->type == IROLinearLabel) {
- IROLinear *linear = node->first;
- do {
- if (linear->type == IROLinearBeginCatch || linear->type == IROLinearEndCatch || linear->type == IROLinearEndCatchDtor) {
- node->x39 = 1;
- break;
- }
- } while (linear != node->last && (linear = linear->next));
- }
- }
-}
-
-void IRO_ComputeDom(void) {
- IRONode *node;
- BitVector *bv;
- SInt32 i;
- int repeat;
-
- Bv_AllocVector(&IRO_FirstNode->dom, IRO_NumNodes);
- Bv_SetBit(IRO_FirstNode->index, IRO_FirstNode->dom);
- for (node = IRO_FirstNode->nextnode; node; node = node->nextnode) {
- Bv_AllocVector(&node->dom, IRO_NumNodes);
- Bv_Set(node->dom);
- }
-
- Bv_AllocVector(&bv, IRO_NumNodes);
-
- do {
- repeat = 0;
- for (node = IRO_FirstNode->nextnode; node; node = node->nextnode) {
- if (node->numpred) {
- Bv_Set(bv);
- for (i = 0; i < node->numpred; i++) {
- Bv_And(IRO_NodeTable[node->pred[i]]->dom, bv);
- }
- Bv_SetBit(node->index, bv);
- } else {
- Bv_Clear(bv);
- Bv_SetBit(node->index, bv);
- }
-
- if (!Bv_Compare(bv, node->dom)) {
- Bv_Copy(bv, node->dom);
- repeat = 1;
- }
- }
- } while (repeat);
-}
-
-void IRO_BuildFlowgraph(IROLinear *linear) {
- IROLinear *scan;
- CLabel *label;
- ExceptionAction *action;
- IAEffects effects;
- IRONode *node;
- SInt32 i;
- int flag;
-
- for (label = Labels; label; label = label->next)
- label->stmt = NULL;
-
- scan = linear;
- IRO_NumNodes = 0;
- IRO_FirstNode = IRO_LastNode = IRO_EndNode = NULL;
- while (scan) {
- StartNode(scan);
- if (scan->type == IROLinearLabel)
- scan->u.label.label->stmt = (Statement *) IRO_LastNode;
-
- flag = 0;
- while (!flag && scan->next && !(scan->next->flags & IROLF_1)) {
- switch (scan->type) {
- case IROLinearGoto:
- case IROLinearReturn:
- case IROLinearEntry:
- case IROLinearExit:
- case IROLinearEnd:
- flag = 1;
- break;
- case IROLinearIf:
- case IROLinearIfNot:
- case IROLinearSwitch:
- flag = 1;
- skip:
- if (scan->next->type == IROLinearLabel) {
- IROLinear *nw = IRO_NewLinear(IROLinearNop);
- nw->index = ++IRO_NumLinear;
- nw->next = scan->next;
- scan->next = nw;
- }
- break;
- case IROLinearFunccall:
- if (IRO_FunctionCallMightThrowException(scan)) {
- for (action = scan->stmt->dobjstack; action; action = action->prev) {
- if (action->type == EAT_CATCHBLOCK || action->type == EAT_SPECIFICATION) {
- flag = 1;
- goto skip;
- }
- }
- }
- break;
- case IROLinearAsm:
- CodeGen_GetAsmEffects(scan->u.asm_stmt, &effects);
- if (effects.numlabels)
- flag = 1;
- break;
- }
- if (!flag)
- scan = scan->next;
- }
-
- if (scan->type == IROLinearEnd)
- IRO_EndNode = IRO_LastNode;
- IRO_LastNode->last = scan;
- scan = scan->next;
- }
-
- IRO_NodeTable = oalloc(IRO_NumNodes * sizeof(IRONode *));
- memset(IRO_NodeTable, 0, IRO_NumNodes * sizeof(IRONode *));
- for (node = IRO_FirstNode, i = 0; node; node = node->nextnode)
- IRO_NodeTable[i++] = node;
-
- IRO_ComputeSuccPred();
- IRO_ComputeDom();
- IRO_CheckForUserBreak();
-}
-
-IRONode *IRO_NewFlowGraphNode(void) {
- IRONode *node = oalloc(sizeof(IRONode));
- memset(node, 0, sizeof(IRONode));
- node->index = IRO_NumNodes;
- IRO_NumNodes++;
- node->nextnode = NULL;
- return node;
-}
-
-IRONode *IRO_MergeFlowGraphNodes(IRONode *a, IRONode *b) {
- IRONode *succ;
- Boolean found;
- UInt32 i;
- UInt32 j;
- UInt32 k;
-
- if (a->nextnode == b && a->last && b->first && a->last->next == b->first) {
- if (b->first->type == IROLinearLabel)
- IRO_NopOut(b->first);
-
- a->nextnode = b->nextnode;
- a->last = b->last;
-
- for (i = 0; i < a->numsucc; i++) {
- if (b->index == a->succ[i]) {
- for (j = i; j < a->numsucc; j++) {
- if ((j + 1) < a->numsucc)
- a->succ[j] = a->succ[j + 1];
- else
- a->succ[j] = 0;
- }
- a->numsucc--;
- break;
- }
- }
-
- for (i = 0; i < b->numsucc; i++) {
- succ = IRO_NodeTable[b->succ[i]];
- for (j = 0; j < a->numsucc; j++) {
- if (b->succ[i] == a->succ[j])
- break;
- }
-
- if (j == a->numsucc) {
- AddSucc(a, IRO_NodeTable[b->succ[i]]);
- succ->numpred--;
- }
-
- found = 0;
- for (j = 0; j < succ->numpred; j++) {
- if (a->index == succ->pred[j]) {
- found = 1;
- break;
- }
- }
-
- for (j = 0; j < succ->numpred; j++) {
- if (b->index == succ->pred[j]) {
- if (!found) {
- succ->pred[j] = a->index;
- } else {
- for (k = j; k < succ->numpred; k++) {
- if ((k + 1) < succ->numpred)
- succ->pred[k] = succ->pred[k + 1];
- else
- succ->pred[k] = 0;
- }
- succ->numpred--;
- }
- break;
- }
- }
- }
-
- b->numsucc = b->numpred = 0;
- b->first = b->last = NULL;
- b->nextnode = NULL;
- b->x36 = 0;
- b->x37 = 0;
- b->mustreach = 0;
- b->x39 = 0;
- b->loopdepth = 0;
-
- if (IRO_LastNode == b)
- IRO_LastNode = a;
-
- if (IRO_FirstExpr && IRO_LastExpr) {
- IROExpr *expr;
- for (expr = IRO_FirstExpr; expr && expr != IRO_LastExpr->next; expr = expr->next) {
- if (expr->node == b)
- expr->node = a;
- }
- }
-
- if (IRO_FirstAssign && IRO_LastAssign) {
- IROAssign *assign;
- for (assign = IRO_FirstAssign; assign && assign != IRO_LastAssign->next; assign = assign->next) {
- if (assign->node == b)
- assign->node = a;
- }
- }
-
- if (IRO_FirstVarUse && IRO_LastVarUse) {
- IROUse *use;
- for (use = IRO_FirstVarUse; use && use != IRO_LastVarUse->globalnext; use = use->globalnext) {
- if (use->node == b)
- use->node = a;
- }
- }
-
- IRO_NodeTable[b->index] = NULL;
- return a;
- }
-
- return NULL;
-}