From bc1321735c15104ffad195e1509cab5f3a044260 Mon Sep 17 00:00:00 2001 From: Ash Wolf Date: Wed, 14 Dec 2022 01:00:56 +0000 Subject: rename some stuff and use an enum for RegClass --- compiler_and_linker/unsorted/AddPropagation.c | 13 ++- compiler_and_linker/unsorted/Alias.c | 2 +- compiler_and_linker/unsorted/CodeMotion.c | 14 ++-- compiler_and_linker/unsorted/Coloring.c | 4 +- compiler_and_linker/unsorted/CopyPropagation.c | 35 ++++---- compiler_and_linker/unsorted/InlineAsmRegisters.c | 2 +- .../unsorted/InlineAsmRegistersPPC.c | 2 +- compiler_and_linker/unsorted/InterferenceGraph.c | 46 +++-------- compiler_and_linker/unsorted/LiveInfo.c | 82 ++++++++----------- compiler_and_linker/unsorted/LoadDeletion.c | 5 +- compiler_and_linker/unsorted/LoopOptimization.c | 5 +- compiler_and_linker/unsorted/PCodeListing.c | 8 +- compiler_and_linker/unsorted/RegisterInfo.c | 52 ++++++------ compiler_and_linker/unsorted/Registers.c | 95 ++++++++++------------ compiler_and_linker/unsorted/StrengthReduction.c | 1 + compiler_and_linker/unsorted/UseDefChains.c | 5 +- compiler_and_linker/unsorted/VectorArraysToRegs.c | 52 ++++++------ 17 files changed, 187 insertions(+), 236 deletions(-) (limited to 'compiler_and_linker/unsorted') diff --git a/compiler_and_linker/unsorted/AddPropagation.c b/compiler_and_linker/unsorted/AddPropagation.c index 78b3393..bf058d4 100644 --- a/compiler_and_linker/unsorted/AddPropagation.c +++ b/compiler_and_linker/unsorted/AddPropagation.c @@ -4,6 +4,7 @@ #include "compiler/CopyPropagation.h" #include "compiler/PCode.h" #include "compiler/PCodeInfo.h" +#include "compiler/Registers.h" #include "compiler/StackFrame.h" #include "compiler/CError.h" #include "compiler/CParser.h" @@ -19,12 +20,12 @@ static int is_add(PCode *instr) { instr->op == PC_ADDI && ( instr->args[2].kind == PCOp_IMMEDIATE || - (instr->args[2].kind == PCOp_MEMORY && (unsigned char) instr->args[2].arg == 1) + (instr->args[2].kind == PCOp_MEMORY && (PCOpMemoryArg) instr->args[2].arg == PCOpMemory1) ) ) ) && - instr->args[0].data.reg.reg >= n_real_registers[(char) instr->args[0].arg]; + instr->args[0].data.reg.reg >= n_real_registers[instr->args[0].arg]; } static int addpropagatestouse(int candidateID, int useID) { @@ -140,9 +141,7 @@ static int addpropagatestouse(int candidateID, int useID) { i = instr->argCount; while (i--) { if ( - op->kind == PCOp_REGISTER && - op->arg == RegClass_GPR && - (op->data.reg.effect & EffectWrite) && + PC_OP_IS_WRITE_ANY_REGISTER(op, RegClass_GPR) && (op->data.reg.reg == reg2 || op->data.reg.reg == reg27) ) return 0; @@ -161,9 +160,7 @@ static int addpropagatestouse(int candidateID, int useID) { i = instr->argCount; while (i--) { if ( - op->kind == PCOp_REGISTER && - op->arg == RegClass_GPR && - (op->data.reg.effect & EffectWrite) && + PC_OP_IS_WRITE_ANY_REGISTER(op, RegClass_GPR) && (op->data.reg.reg == reg2 || op->data.reg.reg == reg27) ) return 0; diff --git a/compiler_and_linker/unsorted/Alias.c b/compiler_and_linker/unsorted/Alias.c index 4c0f064..521421d 100644 --- a/compiler_and_linker/unsorted/Alias.c +++ b/compiler_and_linker/unsorted/Alias.c @@ -544,7 +544,7 @@ void gather_alias_info(void) { if ( (!(pcode->flags & (fPCodeFlag4 | fPCodeFlag40000)) || op != pcode->args) && op->kind == PCOp_REGISTER && - op->arg == RegClass_GPR && + (RegClass) op->arg == RegClass_GPR && (op->data.reg.effect & EffectRead) ) { alias_array[aliases_idx] = NULL; diff --git a/compiler_and_linker/unsorted/CodeMotion.c b/compiler_and_linker/unsorted/CodeMotion.c index 539748e..8ebcdf0 100644 --- a/compiler_and_linker/unsorted/CodeMotion.c +++ b/compiler_and_linker/unsorted/CodeMotion.c @@ -138,7 +138,7 @@ static int isuniquedefinition(PCode *pcode, Loop *loop) { return 0; if (def->v.kind == PCOp_REGISTER) { - for (list = reg_Defs[(char) def->v.arg][def->v.u.reg]; list; list = list->next) { + for (list = reg_Defs[def->v.arg][def->v.u.reg]; list; list = list->next) { if ( bitvectorgetbit(Defs[list->id].pcode->block->blockIndex, loop->memberblocks) && list->id != defID @@ -171,7 +171,7 @@ static int uniquelyreachesuse(int defID, int useID) { def = &Defs[defID]; use = &Uses[useID]; if (def->v.kind == PCOp_REGISTER) { - for (list = reg_Defs[(char) def->v.arg][def->v.u.reg]; list; list = list->next) { + for (list = reg_Defs[def->v.arg][def->v.u.reg]; list; list = list->next) { if ( list->id != defID && bitvectorgetbit(list->id, usedefinfo[use->pcode->block->blockIndex].defvec8) @@ -209,7 +209,7 @@ static int uniquelyreachesalluses(int defID, Loop *loop) { def = &Defs[defID]; if (def->v.kind == PCOp_REGISTER) { - for (list = reg_Uses[(char) def->v.arg][def->v.u.reg]; list; list = list->next) { + for (list = reg_Uses[def->v.arg][def->v.u.reg]; list; list = list->next) { if ( bitvectorgetbit(list->id, usedefinfo[loop->preheader->blockIndex].usevec1C) || (bitvectorgetbit(Uses[list->id].pcode->block->blockIndex, loop->memberblocks) && !uniquelyreachesuse(defID, list->id)) @@ -241,7 +241,7 @@ static int isliveonexit(TinyValue *v, Loop *loop) { vec = usedefinfo[loop->preheader->blockIndex].usevec1C; if (v->kind == PCOp_REGISTER) { - for (list = reg_Uses[(char) v->arg][v->u.reg]; list; list = list->next) { + for (list = reg_Uses[v->arg][v->u.reg]; list; list = list->next) { if ( bitvectorgetbit(list->id, vec) && !bitvectorgetbit(Uses[list->id].pcode->block->blockIndex, loop->memberblocks) @@ -317,7 +317,7 @@ static void moveinvariantcomputation(PCode *pcode, Loop *loop) { if (def->v.kind == PCOp_REGISTER) { for (blocklist = loop->blocks; blocklist; blocklist = blocklist->next) { - for (list = reg_Defs[(char) def->v.arg][def->v.u.reg]; list; list = list->next) + for (list = reg_Defs[def->v.arg][def->v.u.reg]; list; list = list->next) bitvectorclearbit(list->id, usedefinfo[blocklist->block->blockIndex].defvec8); bitvectorsetbit(defID, usedefinfo[blocklist->block->blockIndex].defvec8); } @@ -874,10 +874,10 @@ static void moveinvariantsfromloop(Loop *loop) { for (def = &Defs[defID = instr->defID]; defID < number_of_Defs && def->pcode == instr; def++, defID++) { if (def->v.kind == PCOp_REGISTER) { - for (list = reg_Defs[(char) def->v.arg][def->v.u.reg]; list; list = list->next) + for (list = reg_Defs[def->v.arg][def->v.u.reg]; list; list = list->next) bitvectorclearbit(list->id, myvec); } else if (def->v.kind == PCOp_MEMORY) { - if ((char) def->v.arg == 0) { + if (def->v.arg == PCOpMemory0) { for (list = findobjectusedef(def->v.u.object)->defs; list; list = list->next) { if (uniquely_aliases(instr, Defs[list->id].pcode)) bitvectorclearbit(list->id, myvec); diff --git a/compiler_and_linker/unsorted/Coloring.c b/compiler_and_linker/unsorted/Coloring.c index 9ba3c28..f8ba156 100644 --- a/compiler_and_linker/unsorted/Coloring.c +++ b/compiler_and_linker/unsorted/Coloring.c @@ -10,7 +10,7 @@ #include "compiler/StackFrame.h" #include "compiler/objects.h" -char coloring_class; +RegClass coloring_class; static short used_regs_before_coloring; static void markspecialregisters(RegClass rclass) { @@ -198,7 +198,7 @@ static void rewritepcode(void) { if ( (instr->flags & fPCodeFlag10) && - ((char) instr->args[1].arg == coloring_class) && + (instr->args[1].arg == coloring_class) && instr->args[1].data.reg.reg == instr->args[0].data.reg.reg ) deletepcode(instr); diff --git a/compiler_and_linker/unsorted/CopyPropagation.c b/compiler_and_linker/unsorted/CopyPropagation.c index 23583b1..8662f61 100644 --- a/compiler_and_linker/unsorted/CopyPropagation.c +++ b/compiler_and_linker/unsorted/CopyPropagation.c @@ -1,15 +1,12 @@ #include "compiler/CopyPropagation.h" #include "compiler/CMangler.h" #include "compiler/CParser.h" -#include "compiler/CodeGen.h" +#include "compiler/BitVectors.h" #include "compiler/CompilerTools.h" -#include "compiler/UseDefChains.h" #include "compiler/PCode.h" +#include "compiler/PCodeListing.h" #include "compiler/RegisterInfo.h" -#include "compiler/BitVectors.h" - -// TODO move me -extern void pclistblocks(char *, char *); +#include "compiler/UseDefChains.h" int propagatedcopies; int propagated_instructions; @@ -98,13 +95,13 @@ static void computecandidatelist(void) { } for (def = &Defs[defID = pcode->defID]; defID < number_of_Defs && def->pcode == pcode; def++, defID++) { - if (def->kind == PCOp_REGISTER) { - for (list = reg_Uses[def->arg][def->u.reg]; list; list = list->next) + if (def->v.kind == PCOp_REGISTER) { + for (list = reg_Uses[def->v.arg][def->v.u.reg]; list; list = list->next) bitvectorclearbit(list->id, vec); } } for (use = &Uses[useID = pcode->useID]; useID < number_of_Uses && use->pcode == pcode; use++, useID++) { - if (use->kind == PCOp_REGISTER) + if (use->v.kind == PCOp_REGISTER) bitvectorsetbit(useID, vec); } } @@ -224,7 +221,7 @@ static void computeglobalpropinfo(void) { UInt32 *vec8; UInt32 *vecC; int i; - int j; + int blockIndex; int flag; PCLink *preds; UInt32 val; @@ -245,10 +242,10 @@ static void computeglobalpropinfo(void) { while (flag) { flag = 0; - for (i = 0; i < pcblockcount; i++) { - if (depthfirstordering[i]) { - info = &propinfo[depthfirstordering[i]->blockIndex]; - if ((preds = depthfirstordering[i]->predecessors)) { + for (blockIndex = 0; blockIndex < pcblockcount; blockIndex++) { + if (depthfirstordering[blockIndex]) { + info = &propinfo[depthfirstordering[blockIndex]->blockIndex]; + if ((preds = depthfirstordering[blockIndex]->predecessors)) { vec8 = info->vec8; bitvectorcopy(vec8, propinfo[preds->block->blockIndex].vecC, number_of_candidates); for (preds = preds->nextLink; preds; preds = preds->nextLink) @@ -259,7 +256,7 @@ static void computeglobalpropinfo(void) { vec8 = info->vec8; vec0 = info->vec0; vec4 = info->vec4; - for (j = 0; j < bitvecsize; j++) { + for (i = 0; i < bitvecsize; i++) { val = *vec0 | (*vec8 & ~*vec4); if (val != *vecC) { *vecC = val; @@ -359,7 +356,7 @@ static int copypropagatestouse(int candidateID, int useID) { UseOrDef *use; short reg1; short reg2; - char rclass; + RegClass rclass; PCode *pcode; int i; PCode *scan; @@ -419,7 +416,7 @@ static int copypropagatestouse(int candidateID, int useID) { static void propagateandremovecopy(int id) { Candidate *candidate; - unsigned char rclass; + RegClass rclass; short reg1; short reg2; RegUseOrDef *list; @@ -434,7 +431,7 @@ static void propagateandremovecopy(int id) { if (rclass == RegClass_GPR && reg1 >= 32 && reg1 <= last_exception_register[RegClass_GPR]) return; - if (!moreaggressiveoptimization && reg2 < n_real_registers[(char) rclass]) + if (!moreaggressiveoptimization && reg2 < n_real_registers[rclass]) return; for (list = candidate->list; list; list = list->next) { @@ -443,7 +440,7 @@ static void propagateandremovecopy(int id) { while (i--) { if ( op->kind == PCOp_REGISTER && - op->arg == (char) rclass && + op->arg == rclass && op->data.reg.reg == reg1 && (op->data.reg.effect & EffectRead) ) diff --git a/compiler_and_linker/unsorted/InlineAsmRegisters.c b/compiler_and_linker/unsorted/InlineAsmRegisters.c index 31f94c4..8dfba1e 100644 --- a/compiler_and_linker/unsorted/InlineAsmRegisters.c +++ b/compiler_and_linker/unsorted/InlineAsmRegisters.c @@ -21,7 +21,7 @@ void InlineAsm_InitializeRegisters() { hashedregisters[i] = NULL; } -void InlineAsm_InsertRegister(char *name, char rclass, short num, Object *object) { +void InlineAsm_InsertRegister(char *name, RegClass rclass, short num, Object *object) { HashedRegister **ptr; HashedRegister *hr; diff --git a/compiler_and_linker/unsorted/InlineAsmRegistersPPC.c b/compiler_and_linker/unsorted/InlineAsmRegistersPPC.c index a60bc15..4fb77ba 100644 --- a/compiler_and_linker/unsorted/InlineAsmRegistersPPC.c +++ b/compiler_and_linker/unsorted/InlineAsmRegistersPPC.c @@ -23,7 +23,7 @@ typedef struct RegInfo { typedef struct AsmRegister { char *name; - char rclass; + RegClass rclass; SInt32 num; } AsmRegister; diff --git a/compiler_and_linker/unsorted/InterferenceGraph.c b/compiler_and_linker/unsorted/InterferenceGraph.c index 942a5a0..424c675 100644 --- a/compiler_and_linker/unsorted/InterferenceGraph.c +++ b/compiler_and_linker/unsorted/InterferenceGraph.c @@ -53,25 +53,19 @@ static void buildinterferencematrix(void) { vec = oalloc(4 * ((regs + 31) >> 5)); for (block = pcbasicblocks; block; block = block->nextBlock) { - bitvectorcopy(vec, liveinfo[block->blockIndex].vecC, regs); + bitvectorcopy(vec, liveinfo[block->blockIndex].out, regs); for (instr = block->lastPCode; instr; instr = instr->prevPCode) { op = instr->args; i = instr->argCount; while (i--) { - if ( - op->kind == PCOp_REGISTER && - (char) op->arg == coloring_class && - (op->data.reg.effect & EffectWrite) - ) - { + if (PC_OP_IS_WRITE_ANY_REGISTER(op, coloring_class)) { reg = op->data.reg.reg; bitvectorclearbit(reg, vec); for (j = 0; j < regs; j++) { if (bitvectorgetbit(j, vec)) { if ( (instr->flags & fPCodeFlag10) && - instr->args[0].kind == PCOp_REGISTER && - (char) instr->args[0].arg == coloring_class && + PC_OP_IS_ANY_REGISTER(&instr->args[0], coloring_class) && instr->args[1].data.reg.reg == j ) continue; @@ -85,12 +79,7 @@ static void buildinterferencematrix(void) { op = instr->args; i = instr->argCount; while (i--) { - if ( - op->kind == PCOp_REGISTER && - (char) op->arg == coloring_class && - (op->data.reg.effect & EffectRead) - ) - { + if (PC_OP_IS_READ_ANY_REGISTER(op, coloring_class)) { reg = op->data.reg.reg; if (bitvectorgetbit(reg, vec) == 0) op->data.reg.effect |= Effect4; @@ -196,7 +185,7 @@ static void coalescenodes(void) { } } - if (instr->args[0].kind == PCOp_REGISTER && (char) instr->args[0].arg == coloring_class) { + if (PC_OP_IS_ANY_REGISTER(&instr->args[0], coloring_class)) { path1 = coalesced_path(instr->args[0].data.reg.reg); path2 = coalesced_path(instr->args[1].data.reg.reg); if (path1 == path2) { @@ -240,11 +229,7 @@ static void coalescenodes(void) { op = instr->args; i = instr->argCount; while (i--) { - if ( - op->kind == PCOp_REGISTER && - (char) op->arg == coloring_class && - op->data.reg.reg != coalesced[op->data.reg.reg] - ) + if (PC_OP_IS_ANY_REGISTER(op, coloring_class) && op->data.reg.reg != coalesced[op->data.reg.reg]) op->data.reg.reg = coalesced_path(op->data.reg.reg); op++; } @@ -307,7 +292,7 @@ static void eliminatedeadcode(void) { vec = oalloc(4 * ((regs + 31) >> 5)); for (block = pcbasicblocks; block; block = block->nextBlock) { - bitvectorcopy(vec, liveinfo[block->blockIndex].vecC, regs); + bitvectorcopy(vec, liveinfo[block->blockIndex].out, regs); for (instr = block->lastPCode; instr; instr = instr->prevPCode) { if (dead(instr, coloring_class, vec)) { deletepcode(instr); @@ -317,11 +302,7 @@ static void eliminatedeadcode(void) { op = instr->args; i = instr->argCount; while (i--) { - if ( - op->kind == PCOp_REGISTER && - (char) op->arg == coloring_class && - (op->data.reg.effect & EffectWrite) - ) + if (PC_OP_IS_WRITE_ANY_REGISTER(op, coloring_class)) bitvectorclearbit(op->data.reg.reg, vec); op++; } @@ -329,12 +310,7 @@ static void eliminatedeadcode(void) { op = instr->args; i = instr->argCount; while (i--) { - if ( - op->kind == PCOp_REGISTER && - (char) op->arg == coloring_class && - (op->data.reg.effect & EffectRead) - ) - { + if (PC_OP_IS_READ_ANY_REGISTER(op, coloring_class)) { int reg = op->data.reg.reg; if (!bitvectorgetbit(reg, vec)) op->data.reg.effect |= Effect4; @@ -362,9 +338,7 @@ static void findrematerializations(void) { i = instr->argCount; while (i--) { if ( - op->kind == PCOp_REGISTER && - (char) op->arg == coloring_class && - (op->data.reg.effect & EffectWrite) && + PC_OP_IS_WRITE_ANY_REGISTER(op, coloring_class) && op->data.reg.reg >= n_real_registers[coloring_class] && !(interferencegraph[op->data.reg.reg]->flags & (fPairLow | fPairHigh)) && !(interferencegraph[op->data.reg.reg]->flags & fIGNode40) diff --git a/compiler_and_linker/unsorted/LiveInfo.c b/compiler_and_linker/unsorted/LiveInfo.c index 779efed..ac22708 100644 --- a/compiler_and_linker/unsorted/LiveInfo.c +++ b/compiler_and_linker/unsorted/LiveInfo.c @@ -19,10 +19,10 @@ static void allocateliveinfo(void) { liveinfo = oalloc(sizeof(LiveInfo) * pcblockcount); for (i = 0, info = liveinfo; i < pcblockcount; i++, info++) { - bitvectorinitialize(info->vec0 = oalloc(4 * ((regs + 31) >> 5)), regs, 0); - bitvectorinitialize(info->vec4 = oalloc(4 * ((regs + 31) >> 5)), regs, 0); - bitvectorinitialize(info->vec8 = oalloc(4 * ((regs + 31) >> 5)), regs, 0); - bitvectorinitialize(info->vecC = oalloc(4 * ((regs + 31) >> 5)), regs, 0); + bitvectorinitialize(info->use = oalloc(4 * ((regs + 31) >> 5)), regs, 0); + bitvectorinitialize(info->def = oalloc(4 * ((regs + 31) >> 5)), regs, 0); + bitvectorinitialize(info->in = oalloc(4 * ((regs + 31) >> 5)), regs, 0); + bitvectorinitialize(info->out = oalloc(4 * ((regs + 31) >> 5)), regs, 0); } } @@ -30,40 +30,30 @@ static void computelocalusedef(void) { LiveInfo *info; PCodeBlock *block; PCode *instr; - UInt32 *vec0; - UInt32 *vec4; + UInt32 *use; + UInt32 *def; PCodeArg *op; int i; for (block = pcbasicblocks; block; block = block->nextBlock) { info = &liveinfo[block->blockIndex]; - vec0 = info->vec0; - vec4 = info->vec4; + use = info->use; + def = info->def; for (instr = block->firstPCode; instr; instr = instr->nextPCode) { op = instr->args; i = instr->argCount; while (i--) { - if ( - op->kind == PCOp_REGISTER && - (char) op->arg == coloring_class && - (op->data.reg.effect & EffectRead) && - !bitvectorgetbit(op->data.reg.reg, vec4) - ) - bitvectorsetbit(op->data.reg.reg, vec0); + if (PC_OP_IS_READ_ANY_REGISTER(op, coloring_class) && !bitvectorgetbit(op->data.reg.reg, def)) + bitvectorsetbit(op->data.reg.reg, use); op++; } op = instr->args; i = instr->argCount; while (i--) { - if ( - op->kind == PCOp_REGISTER && - (char) op->arg == coloring_class && - (op->data.reg.effect & EffectWrite) && - !bitvectorgetbit(op->data.reg.reg, vec0) - ) - bitvectorsetbit(op->data.reg.reg, vec4); + if (PC_OP_IS_WRITE_ANY_REGISTER(op, coloring_class) && !bitvectorgetbit(op->data.reg.reg, use)) + bitvectorsetbit(op->data.reg.reg, def); op++; } } @@ -73,10 +63,10 @@ static void computelocalusedef(void) { static void computeglobalinout(void) { UInt32 regs; LiveInfo *info; - UInt32 *vec0; - UInt32 *vec4; - UInt32 *vec8; - UInt32 *vecC; + UInt32 *use; + UInt32 *def; + UInt32 *in; + UInt32 *out; int bitvecsize; int blockIndex; int i; @@ -95,26 +85,26 @@ static void computeglobalinout(void) { if ((block = depthfirstordering[--blockIndex])) { info = &liveinfo[block->blockIndex]; if ((link = block->successors)) { - vecC = info->vecC; - bitvectorcopy(vecC, liveinfo[link->block->blockIndex].vec8, regs); + out = info->out; + bitvectorcopy(out, liveinfo[link->block->blockIndex].in, regs); for (link = link->nextLink; link; link = link->nextLink) - bitvectorunion(vecC, liveinfo[link->block->blockIndex].vec8, regs); + bitvectorunion(out, liveinfo[link->block->blockIndex].in, regs); } - vecC = info->vecC; - vec8 = info->vec8; - vec0 = info->vec0; - vec4 = info->vec4; + out = info->out; + in = info->in; + use = info->use; + def = info->def; for (i = 0; i < bitvecsize; i++) { - val = *vec0 | (*vecC & ~*vec4); - if (val != *vec8) { - *vec8 = val; + val = *use | (*out & ~*def); + if (val != *in) { + *in = val; flag = 1; } - vec8++; - vecC++; - vec0++; - vec4++; + in++; + out++; + use++; + def++; } } } @@ -130,19 +120,19 @@ void computelivevariables(Object *proc) { computelocalusedef(); if (coloring_class == RegClass_GPR && TYPE_FITS_IN_REGISTER(returnType)) { - bitvectorsetbit(3, liveinfo[epilogue->blockIndex].vec0); + bitvectorsetbit(3, liveinfo[epilogue->blockIndex].use); if (TYPE_IS_8BYTES(returnType)) - bitvectorsetbit(4, liveinfo[pclastblock->blockIndex].vec0); + bitvectorsetbit(4, liveinfo[pclastblock->blockIndex].use); } else if (coloring_class == RegClass_FPR && IS_TYPE_FLOAT(returnType)) { - bitvectorsetbit(1, liveinfo[epilogue->blockIndex].vec0); + bitvectorsetbit(1, liveinfo[epilogue->blockIndex].use); } else if (coloring_class == RegClass_VR && IS_TYPE_VECTOR(returnType)) { - bitvectorsetbit(2, liveinfo[epilogue->blockIndex].vec0); + bitvectorsetbit(2, liveinfo[epilogue->blockIndex].use); } computeglobalinout(); } -int dead(PCode *instr, char rclass, UInt32 *vec) { +int dead(PCode *instr, RegClass rclass, UInt32 *vec) { int i; PCodeArg *op; @@ -157,7 +147,7 @@ int dead(PCode *instr, char rclass, UInt32 *vec) { if ( op->kind == PCOp_REGISTER && (op->data.reg.effect & EffectWrite) && - (rclass != (char) op->arg || bitvectorgetbit(op->data.reg.reg, vec)) + (rclass != op->arg || bitvectorgetbit(op->data.reg.reg, vec)) ) return 0; op++; diff --git a/compiler_and_linker/unsorted/LoadDeletion.c b/compiler_and_linker/unsorted/LoadDeletion.c index 316e8c2..8cc0f28 100644 --- a/compiler_and_linker/unsorted/LoadDeletion.c +++ b/compiler_and_linker/unsorted/LoadDeletion.c @@ -3,6 +3,7 @@ #include "compiler/CParser.h" #include "compiler/PCode.h" #include "compiler/PCodeInfo.h" +#include "compiler/Registers.h" int deletedloads; @@ -10,7 +11,7 @@ static int is_load(PCode *instr) { return (instr->op == PC_LI || instr->op == PC_VSPLTISB || instr->op == PC_VSPLTISH || instr->op == PC_VSPLTISW) && - instr->args[0].data.reg.reg >= n_real_registers[(char) instr->args[0].arg]; + instr->args[0].data.reg.reg >= n_real_registers[instr->args[0].arg]; } static int loadpropagatestouse(int candidateID, int useID) { @@ -23,7 +24,7 @@ static void deleteload(int id) { candidate = Candidates + id; if (candidate->list || (candidate->pcode->flags & fSideEffects)) return; - if (candidate->pcode->args[0].data.reg.reg < n_real_registers[(char) candidate->pcode->args[0].arg]) + if (candidate->pcode->args[0].data.reg.reg < n_real_registers[candidate->pcode->args[0].arg]) return; deletepcode(candidate->pcode); diff --git a/compiler_and_linker/unsorted/LoopOptimization.c b/compiler_and_linker/unsorted/LoopOptimization.c index 6472119..327d7e4 100644 --- a/compiler_and_linker/unsorted/LoopOptimization.c +++ b/compiler_and_linker/unsorted/LoopOptimization.c @@ -5,6 +5,7 @@ #include "compiler/CompilerTools.h" #include "compiler/LoopDetection.h" #include "compiler/PCode.h" +#include "compiler/Registers.h" #include "compiler/UseDefChains.h" #include "compiler/objects.h" #include "compiler/types.h" @@ -1309,7 +1310,7 @@ void changearraytoregisters(void) { while (i--) { if ( op->kind == PCOp_MEMORY && - (unsigned char) op->arg == 1 && + (PCOpMemoryArg) op->arg == PCOpMemory1 && (array = lookup_array_object(arrays, op->data.mem.obj)) && !array->invalid ) { @@ -1475,7 +1476,7 @@ void changearraytoregisters(void) { instr->argCount && (instr->flags & (fPCodeFlag2 | fPCodeFlag4)) && instr->args[2].kind == PCOp_MEMORY && - (unsigned char) instr->args[2].arg == 1 && + (PCOpMemoryArg) instr->args[2].arg == PCOpMemory1 && (array = lookup_array_object(arrays, instr->args[2].data.mem.obj)) && !(array->invalid) ) diff --git a/compiler_and_linker/unsorted/PCodeListing.c b/compiler_and_linker/unsorted/PCodeListing.c index 9ce9621..922b63f 100644 --- a/compiler_and_linker/unsorted/PCodeListing.c +++ b/compiler_and_linker/unsorted/PCodeListing.c @@ -126,10 +126,10 @@ static void pclistblock(PCodeBlock *block, char *format, UInt32 vecSize) { if (vecSize) { fprintf(pcfile, "............................................................\n"); - formatdataflowset("use", liveinfo[block->blockIndex].vec0, vecSize, format); - formatdataflowset("def", liveinfo[block->blockIndex].vec4, vecSize, format); - formatdataflowset("in ", liveinfo[block->blockIndex].vec8, vecSize, format); - formatdataflowset("out", liveinfo[block->blockIndex].vecC, vecSize, format); + formatdataflowset("use", liveinfo[block->blockIndex].use, vecSize, format); + formatdataflowset("def", liveinfo[block->blockIndex].def, vecSize, format); + formatdataflowset("in ", liveinfo[block->blockIndex].in, vecSize, format); + formatdataflowset("out", liveinfo[block->blockIndex].out, vecSize, format); } fflush(pcfile); diff --git a/compiler_and_linker/unsorted/RegisterInfo.c b/compiler_and_linker/unsorted/RegisterInfo.c index 80e348d..3ee9373 100644 --- a/compiler_and_linker/unsorted/RegisterInfo.c +++ b/compiler_and_linker/unsorted/RegisterInfo.c @@ -18,7 +18,7 @@ static UInt8 save_state[RegisterMax]; short spr_to_sysreg[4] = {1, 8, 9, 0x100}; -void asm_used_register(char rclass, short reg) { +void asm_used_register(RegClass rclass, short reg) { int i; if ((reg < n_real_registers[rclass]) && (reg_state[rclass][reg] == RegState0)) { @@ -39,7 +39,7 @@ void asm_used_register(char rclass, short reg) { } } -void retain_register(Object *obj, char rclass, short reg) { +void retain_register(Object *obj, RegClass rclass, short reg) { VarInfo *vi; #line 95 @@ -79,7 +79,7 @@ int is_register_object(Object *obj) { return obj->sclass == OBJECT_SCLASS_101; } -int GetABIFirstNonVolatile(char rclass) { +int GetABIFirstNonVolatile(RegClass rclass) { switch (rclass) { case RegClass_SPR: return 3; case RegClass_CRFIELD: return 2; @@ -90,7 +90,7 @@ int GetABIFirstNonVolatile(char rclass) { } } -char GetRegisterClassName(char rclass) { +char GetRegisterClassName(RegClass rclass) { switch (rclass) { case RegClass_VR: return 'v'; case RegClass_GPR: return 'r'; @@ -102,7 +102,7 @@ char GetRegisterClassName(char rclass) { } } -static int first_nonvolatile_reg(char rclass) { +static int first_nonvolatile_reg(RegClass rclass) { return GetABIFirstNonVolatile(rclass); } @@ -120,7 +120,7 @@ void setup_diagnostic_reg_strings(void) { } void init_target_registers(void) { - char rclass; + RegClass rclass; int reg; int end; int tmp; @@ -130,7 +130,7 @@ void init_target_registers(void) { for (rclass = 0; rclass < RegClassMax; rclass++) { for (reg = 0; reg < RegisterMax; reg++) - special_register_names[(char)rclass][reg] = NULL; + special_register_names[rclass][reg] = NULL; } special_register_names[RegClass_SPR][0] = "XER"; @@ -150,27 +150,27 @@ void init_target_registers(void) { reg_state[RegClass_CRFIELD][5] = RegState2; for (rclass = 0; rclass < RegClassMax; rclass++) { - n_nonvolatile_registers[(char)rclass] = 0; - if (last_nonvolatile_reg[(char)rclass] >= 0) { + n_nonvolatile_registers[rclass] = 0; + if (last_nonvolatile_reg[rclass] >= 0) { end = first_nonvolatile_reg(rclass); - for (reg = last_nonvolatile_reg[(char)rclass]; reg >= end; reg--) { - if (reg_state[(char)rclass][reg] == RegState0) { - tmp = n_nonvolatile_registers[(char)rclass]++; - nonvolatile_registers[(char)rclass][tmp] = reg; + for (reg = last_nonvolatile_reg[rclass]; reg >= end; reg--) { + if (reg_state[rclass][reg] == RegState0) { + tmp = n_nonvolatile_registers[rclass]++; + nonvolatile_registers[rclass][tmp] = reg; } } } - assignable_registers[(char)rclass] = n_nonvolatile_registers[(char)rclass] - nonvol_reserve[(char)rclass]; - if (assignable_registers[(char)rclass] < 0) - assignable_registers[(char)rclass] = 0; + assignable_registers[rclass] = n_nonvolatile_registers[rclass] - nonvol_reserve[rclass]; + if (assignable_registers[rclass] < 0) + assignable_registers[rclass] = 0; - n_scratch_registers[(char)rclass] = 0; - for (reg = 0; reg < n_real_registers[(char)rclass]; reg++) { - if (reg < GetABIFirstNonVolatile(rclass) || reg > last_nonvolatile_reg[(char)rclass]) { - if (reg_state[(char)rclass][reg] == RegState0) { - tmp = n_scratch_registers[(char)rclass]++; - scratch_registers[(char)rclass][tmp] = reg; + n_scratch_registers[rclass] = 0; + for (reg = 0; reg < n_real_registers[rclass]; reg++) { + if (reg < GetABIFirstNonVolatile(rclass) || reg > last_nonvolatile_reg[rclass]) { + if (reg_state[rclass][reg] == RegState0) { + tmp = n_scratch_registers[rclass]++; + scratch_registers[rclass][tmp] = reg; } } } @@ -340,17 +340,17 @@ UInt32 colored_vrs_as_vrsave(PCodeBlock *block) { return mask; } -void save_before_coloring_nonvolatile_registers(char rclass) { +void save_before_coloring_nonvolatile_registers(RegClass rclass) { used_regs_before_coloring = used_nonvolatile_registers[rclass]; memcpy(save_state, reg_state[rclass], sizeof(save_state)); } -void reset_nonvolatile_registers(char rclass) { +void reset_nonvolatile_registers(RegClass rclass) { used_nonvolatile_registers[rclass] = used_regs_before_coloring; memcpy(reg_state[rclass], save_state, sizeof(save_state)); } -int is_nonvolatile_register(char rclass, int reg) { +int is_nonvolatile_register(RegClass rclass, int reg) { int i; for (i = 0; i < n_nonvolatile_registers[rclass]; i++) { @@ -380,7 +380,7 @@ void init_endian(void) { } void update_asm_nonvolatile_registers(void) { - char rclass; + RegClass rclass; int r31; for (rclass = 0; rclass < RegClassMax; rclass++) { diff --git a/compiler_and_linker/unsorted/Registers.c b/compiler_and_linker/unsorted/Registers.c index b8951b7..cd67a0a 100644 --- a/compiler_and_linker/unsorted/Registers.c +++ b/compiler_and_linker/unsorted/Registers.c @@ -5,12 +5,6 @@ #include "compiler/CompilerTools.h" #include "compiler/objects.h" -// haven't checked this object file for .data stuff yet - -// ONLY FOR TESTING -// this file gets kinda fucked up by the loop unroller -//#pragma opt_unroll_loops off - int used_virtual_registers[RegClassMax]; int used_nonvolatile_registers[RegClassMax]; int assignable_registers[RegClassMax]; @@ -26,6 +20,7 @@ char *register_class_name[RegClassMax]; char *register_class_format[RegClassMax]; int coloring; int optimizing; + typedef struct ModifiedRegisters { struct ModifiedRegisters *next; Object *obj; @@ -34,28 +29,27 @@ typedef struct ModifiedRegisters { static ModifiedRegisters *mod_regs_table[128]; void init_registers(void) { - char rclass; + RegClass rclass; int j; for (rclass = 0; rclass < RegClassMax; rclass++) { - for (j = 0; j < RegisterMax; j++) { - reg_state[(char)rclass][j] = RegState0; - } + for (j = 0; j < RegisterMax; j++) + reg_state[rclass][j] = RegState0; } for (rclass = 0; rclass < RegClassMax; rclass++) - used_nonvolatile_registers[(char)rclass] = 0; + used_nonvolatile_registers[rclass] = 0; optimizing = 1; init_target_registers(); for (rclass = 0; rclass < RegClassMax; rclass++) - used_virtual_registers[(char)rclass] = n_real_registers[(char)rclass]; + used_virtual_registers[rclass] = n_real_registers[rclass]; coloring = 1; } -void assign_register_to_variable(Object *obj, char rclass) { +void assign_register_to_variable(Object *obj, RegClass rclass) { VarInfo *vi; short reg; @@ -72,7 +66,7 @@ void assign_register_to_variable(Object *obj, char rclass) { vi->reg = reg; } -void retain_register_for_argument(Object *obj, char rclass, short reg) { +void retain_register_for_argument(Object *obj, RegClass rclass, short reg) { VarInfo *vi = obj->u.var.info; reg_state[rclass][reg] = RegState1; vi->flags |= VarInfoFlag2; @@ -80,7 +74,7 @@ void retain_register_for_argument(Object *obj, char rclass, short reg) { vi->reg = reg; } -int available_registers(char rclass) { +int available_registers(RegClass rclass) { int i; int count = 0; @@ -92,7 +86,7 @@ int available_registers(char rclass) { return count; } -UInt32 volatile_registers(char rclass) { +UInt32 volatile_registers(RegClass rclass) { UInt32 mask = 0; int i; int reg; @@ -106,7 +100,7 @@ UInt32 volatile_registers(char rclass) { return mask; } -short obtain_nonvolatile_register(char rclass) { +short obtain_nonvolatile_register(RegClass rclass) { int best = -1; while (used_nonvolatile_registers[rclass] < n_nonvolatile_registers[rclass]) { @@ -121,54 +115,45 @@ short obtain_nonvolatile_register(char rclass) { } void open_temp_registers(void) { - int rclass; + RegClass rclass; - for (rclass = 0; (char)rclass < RegClassMax; rclass++) { - int r = used_virtual_registers[(char)rclass]; - //last_temporary_register[rclass] = r; - //first_temporary_register[rclass] = r; - first_temporary_register[(char)rclass] = last_temporary_register[(char)rclass] = r; + for (rclass = 0; rclass < RegClassMax; rclass++) { + int r = used_virtual_registers[rclass]; + first_temporary_register[rclass] = last_temporary_register[rclass] = r; } - /*rclass = 0; - while (rclass < RegClassMax) { - r = used_virtual_registers[(char)rclass]; - last_temporary_register[(char)rclass] = r; - first_temporary_register[(char)rclass] = r; - rclass = rclass + 1; - }*/ } void check_temp_registers(void) { - char rclass; + RegClass rclass; if (!optimizing) { for (rclass = 0; rclass < RegClassMax; rclass++) { - if (used_virtual_registers[(char)rclass] > last_temporary_register[(char)rclass]) - last_temporary_register[(char)rclass] = used_virtual_registers[(char)rclass]; - if (used_virtual_registers[(char)rclass] > 256) - used_virtual_registers[(char)rclass] = first_temporary_register[(char)rclass]; + if (used_virtual_registers[rclass] > last_temporary_register[rclass]) + last_temporary_register[rclass] = used_virtual_registers[rclass]; + if (used_virtual_registers[rclass] > 256) + used_virtual_registers[rclass] = first_temporary_register[rclass]; } } } void close_temp_registers(void) { - char rclass; + RegClass rclass; for (rclass = 0; rclass < RegClassMax; rclass++) { - if (used_virtual_registers[(char)rclass] < last_temporary_register[(char)rclass]) - used_virtual_registers[(char)rclass] = last_temporary_register[(char)rclass]; + if (used_virtual_registers[rclass] < last_temporary_register[rclass]) + used_virtual_registers[rclass] = last_temporary_register[rclass]; else - last_temporary_register[(char)rclass] = used_virtual_registers[(char)rclass]; + last_temporary_register[rclass] = used_virtual_registers[rclass]; } } int count_scratch_registers(void) { - int rclass; + RegClass rclass; int count; count = 0; - for (rclass = 0; (char)rclass < RegClassMax; rclass++) - count += n_scratch_registers[(char)rclass]; + for (rclass = 0; rclass < RegClassMax; rclass++) + count += n_scratch_registers[rclass]; return count; } @@ -180,19 +165,23 @@ void init_modified_registers(void) { } static void compute_modified_registers(UInt32 *masks) { - int rclass; + RegClass rclass; PCodeBlock *block; PCode *pcode; + PCodeArg *op; int i; for (rclass = 0; rclass < RegClassMax; rclass++) - masks[(char)rclass] = 0; + masks[rclass] = 0; for (block = pcbasicblocks; block; block = block->nextBlock) { for (pcode = block->firstPCode; pcode; pcode = pcode->nextPCode) { - for (i = 0; i < pcode->argCount; i++) { - if (pcode->args[i].kind == PCOp_REGISTER && pcode->args[i].data.reg.effect & EffectWrite) - masks[pcode->args[i].arg] |= 1 << pcode->args[i].data.reg.reg; + op = pcode->args; + i = pcode->argCount; + while (i--) { + if (op->kind == PCOp_REGISTER && (op->data.reg.effect & EffectWrite)) + masks[op->arg] |= 1 << op->data.reg.reg; + op++; } } } @@ -204,25 +193,25 @@ void note_modified_registers(Object *obj) { mr = galloc(sizeof(ModifiedRegisters)); mr->obj = obj; compute_modified_registers(mr->mask); - mr->next = mod_regs_table[obj->name->hashval]; - mod_regs_table[obj->name->hashval] = mr; + mr->next = mod_regs_table[obj->name->hashval & 127]; + mod_regs_table[obj->name->hashval & 127] = mr; } void find_modified_registers(Object *obj, UInt32 *masks) { - char rclass; + RegClass rclass; ModifiedRegisters *scan; for (rclass = 0; rclass < RegClassMax; rclass++) - masks[(char)rclass] = 0xFFFFFFFF; + masks[rclass] = 0xFFFFFFFF; if (CParser_HasInternalLinkage(obj)) { - for (scan = mod_regs_table[obj->name->hashval]; scan; scan = scan->next) { + for (scan = mod_regs_table[obj->name->hashval & 127]; scan; scan = scan->next) { if (scan->obj == obj) break; } if (scan) { for (rclass = 0; rclass < RegClassMax; rclass++) - masks[(char)rclass] = scan->mask[(char)rclass]; + masks[rclass] = scan->mask[rclass]; } } } diff --git a/compiler_and_linker/unsorted/StrengthReduction.c b/compiler_and_linker/unsorted/StrengthReduction.c index 9b6117d..e9bc134 100644 --- a/compiler_and_linker/unsorted/StrengthReduction.c +++ b/compiler_and_linker/unsorted/StrengthReduction.c @@ -4,6 +4,7 @@ #include "compiler/LoopDetection.h" #include "compiler/PCode.h" #include "compiler/PCodeInfo.h" +#include "compiler/Registers.h" #include "compiler/UseDefChains.h" int strengthreducedloops; diff --git a/compiler_and_linker/unsorted/UseDefChains.c b/compiler_and_linker/unsorted/UseDefChains.c index 1840548..1525005 100644 --- a/compiler_and_linker/unsorted/UseDefChains.c +++ b/compiler_and_linker/unsorted/UseDefChains.c @@ -1,10 +1,11 @@ #include "compiler/UseDefChains.h" #include "compiler/Alias.h" -#include "compiler/PCode.h" +#include "compiler/BitVectors.h" #include "compiler/CompilerTools.h" +#include "compiler/PCode.h" +#include "compiler/Registers.h" #include "compiler/objects.h" #include "compiler/types.h" -#include "compiler/BitVectors.h" int number_of_Defs; UseOrDef *Defs; diff --git a/compiler_and_linker/unsorted/VectorArraysToRegs.c b/compiler_and_linker/unsorted/VectorArraysToRegs.c index 3f95cac..25a86a9 100644 --- a/compiler_and_linker/unsorted/VectorArraysToRegs.c +++ b/compiler_and_linker/unsorted/VectorArraysToRegs.c @@ -21,10 +21,10 @@ typedef struct LocalVectorArray { } LocalVectorArray; typedef struct VectorPropInfo { - UInt32 *vec0; - UInt32 *vec4; - UInt32 *vec8; - UInt32 *vecC; + UInt32 *use; + UInt32 *def; + UInt32 *in; + UInt32 *out; } VectorPropInfo; typedef struct ADDI { @@ -116,7 +116,7 @@ static void scaninstructions(LocalVectorArray *arrays) { while (i--) { if ( op->kind == PCOp_MEMORY && - op->arg == PCOpMemory1 && + (PCOpMemoryArg) op->arg == PCOpMemory1 && (array = lookup_vector_array_object(arrays, op->data.mem.obj)) && !array->invalid ) @@ -174,7 +174,7 @@ static void computeaddilist(LocalVectorArray *arrays) { instr->op == PC_ADDI && (reg = instr->args[0].data.reg.reg) >= n_real_registers[RegClass_GPR] && instr->args[2].kind == PCOp_MEMORY && - (unsigned char) instr->args[2].arg == 1 && + (PCOpMemoryArg) instr->args[2].arg == PCOpMemory1 && (array = lookup_vector_array_object(arrays, instr->args[2].data.mem.obj)) && !array->invalid ) @@ -195,7 +195,7 @@ static void computeaddilist(LocalVectorArray *arrays) { for (def = &Defs[defID = instr->defID]; defID < number_of_Defs && def->pcode == instr; def++, defID++) { if (def->v.kind == PCOp_REGISTER) { RegUseOrDef *l; - for (l = reg_Uses[(char) def->v.arg][def->v.u.reg]; l; l = l->next) + for (l = reg_Uses[def->v.arg][def->v.u.reg]; l; l = l->next) bitvectorclearbit(l->id, vec); } } @@ -216,10 +216,10 @@ static void allocatevectorpropinfo(void) { vectorpropinfo = oalloc(sizeof(VectorPropInfo) * pcblockcount); for (i = 0, info = vectorpropinfo; i < pcblockcount; i++, info++) { - info->vec0 = oalloc(4 * ((number_of_ADDIs + 31) >> 5)); - info->vec4 = oalloc(4 * ((number_of_ADDIs + 31) >> 5)); - info->vec8 = oalloc(4 * ((number_of_ADDIs + 31) >> 5)); - info->vecC = oalloc(4 * ((number_of_ADDIs + 31) >> 5)); + info->use = oalloc(4 * ((number_of_ADDIs + 31) >> 5)); + info->def = oalloc(4 * ((number_of_ADDIs + 31) >> 5)); + info->in = oalloc(4 * ((number_of_ADDIs + 31) >> 5)); + info->out = oalloc(4 * ((number_of_ADDIs + 31) >> 5)); } } @@ -238,8 +238,8 @@ static void computelocalvectorpropinfo(LocalVectorArray *arrays) { for (block = pcbasicblocks; block; block = block->nextBlock) { info = &vectorpropinfo[block->blockIndex]; - vec0 = info->vec0; - vec4 = info->vec4; + vec0 = info->use; + vec4 = info->def; bitvectorinitialize(vec0, number_of_ADDIs, 0); bitvectorinitialize(vec4, number_of_ADDIs, 0); index = firstaddinblock[block->blockIndex]; @@ -253,7 +253,7 @@ static void computelocalvectorpropinfo(LocalVectorArray *arrays) { for (addi_i = 0, addi = ADDIs; addi_i < number_of_ADDIs; addi_i++, addi++) { if ( addi->instr && - (char) addi->instr->args[0].arg == (char) op->arg && + addi->instr->args[0].arg == op->arg && addi->instr->args[0].data.reg.reg == op->data.reg.reg ) { @@ -270,7 +270,7 @@ static void computelocalvectorpropinfo(LocalVectorArray *arrays) { if ( instr->op == PC_ADDI && instr->args[2].kind == PCOp_MEMORY && - instr->args[2].arg == PCOpMemory1 && + (PCOpMemoryArg) instr->args[2].arg == PCOpMemory1 && (array = lookup_vector_array_object(arrays, instr->args[2].data.mem.obj)) && !array->invalid ) @@ -301,13 +301,13 @@ static void computeglobalvectorpropinfo(void) { bitvecsize = (number_of_ADDIs + 31) >> 5; flag = 1; info = &vectorpropinfo[pcbasicblocks->blockIndex]; - bitvectorinitialize(info->vec8, number_of_ADDIs, 0); - bitvectorcopy(info->vecC, info->vec0, number_of_ADDIs); + bitvectorinitialize(info->in, number_of_ADDIs, 0); + bitvectorcopy(info->out, info->use, number_of_ADDIs); for (block = pcbasicblocks->nextBlock; block; block = block->nextBlock) { info = &vectorpropinfo[block->blockIndex]; - vecC = info->vecC; - vec4 = info->vec4; + vecC = info->out; + vec4 = info->def; for (i = 0; i < bitvecsize; vecC++, vec4++, i++) *vecC = ~*vec4; } @@ -318,16 +318,16 @@ static void computeglobalvectorpropinfo(void) { if (depthfirstordering[blockIndex]) { info = &vectorpropinfo[depthfirstordering[blockIndex]->blockIndex]; if ((preds = depthfirstordering[blockIndex]->predecessors)) { - vec8 = info->vec8; - bitvectorcopy(vec8, vectorpropinfo[preds->block->blockIndex].vecC, number_of_ADDIs); + vec8 = info->in; + bitvectorcopy(vec8, vectorpropinfo[preds->block->blockIndex].out, number_of_ADDIs); for (preds = preds->nextLink; preds; preds = preds->nextLink) - bitvectorintersect(vec8, vectorpropinfo[preds->block->blockIndex].vecC, number_of_ADDIs); + bitvectorintersect(vec8, vectorpropinfo[preds->block->blockIndex].out, number_of_ADDIs); } - vecC = info->vecC; - vec8 = info->vec8; - vec0 = info->vec0; - vec4 = info->vec4; + vecC = info->out; + vec8 = info->in; + vec0 = info->use; + vec4 = info->def; for (j = 0; j < bitvecsize; j++) { val = *vec0 | (*vec8 & ~*vec4); if (val != *vecC) { -- cgit v1.2.3