summaryrefslogtreecommitdiff
path: root/compiler_and_linker/unsorted/CIRTransform.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/CIRTransform.c
parentfc0c4c0df7b583b55a08317cf1ef6a71d27c0440 (diff)
downloadMWCC-main.tar.gz
MWCC-main.zip
move lots of source files around to match their actual placement in the original treemain
Diffstat (limited to 'compiler_and_linker/unsorted/CIRTransform.c')
-rw-r--r--compiler_and_linker/unsorted/CIRTransform.c534
1 files changed, 0 insertions, 534 deletions
diff --git a/compiler_and_linker/unsorted/CIRTransform.c b/compiler_and_linker/unsorted/CIRTransform.c
deleted file mode 100644
index b91f6af..0000000
--- a/compiler_and_linker/unsorted/CIRTransform.c
+++ /dev/null
@@ -1,534 +0,0 @@
-#include "compiler/CIRTransform.h"
-#include "compiler/CError.h"
-#include "compiler/CExpr.h"
-#include "compiler/CFunc.h"
-#include "compiler/CInit.h"
-#include "compiler/CMachine.h"
-#include "compiler/CParser.h"
-#include "compiler/objects.h"
-#include "compiler/types.h"
-#include "compiler/CompilerTools.h"
-#include "compiler/CDecl.h"
-
-#ifdef __MWERKS__
-#pragma options align=mac68k
-#endif
-typedef struct CIRTransTemp {
- struct CIRTransTemp *next;
- Object *object;
- Boolean flag;
-} CIRTransTemp;
-
-typedef struct MultiAccessOperand {
- Object *object;
- Object *tempobj;
- ENode *ass;
- Type *type;
- Type *bitfieldType;
-} MultiAccessOperand;
-
-// no idea what this is for...
-typedef struct StrangeRuntimeFunction {
- Object *object;
- short unk;
- char name[1];
-} StrangeRuntimeFunction;
-#ifdef __MWERKS__
-#pragma options align=reset
-#endif
-
-static TypeFunc cirtrans_rtfunc8 = {
- TYPEFUNC, 0, NULL, NULL, TYPE(&void_ptr), 0, 0
-};
-static TypeFunc cirtrans_rtfunc4 = {
- TYPEFUNC, 0, NULL, NULL, TYPE(&stunsignedlong), 0, 0
-};
-static TypeFunc cirtrans_rtfunc2 = {
- TYPEFUNC, 0, NULL, NULL, TYPE(&stsignedshort), 0, 0
-};
-
-static CIRTransTemp *cirtrans_temps;
-Boolean modulo_generated;
-Boolean bigswitch_generated;
-Boolean alloca_called;
-
-// forward decls
-static ENode *CIRTrans_TransExpr(ENode *expr, Boolean flag);
-
-void CIRTrans_Setup(void) {
-}
-
-void CIRTrans_Cleanup(void) {
-}
-
-static Object *CIRTrans_GetRuntimeFunction(StrangeRuntimeFunction *rtfunc, Type *type) {
- Object *object;
-
- object = rtfunc->object;
- if (!object) {
- object = CParser_NewFunctionObject(NULL);
- rtfunc->object = object;
-
- object->nspace = cscope_root;
- object->name = GetHashNameNodeExport(rtfunc->name);
- object->flags = OBJECT_INTERNAL;
-
- if (type) {
- switch (type->size) {
- case 2:
- object->type = TYPE(&cirtrans_rtfunc2);
- break;
- case 4:
- object->type = TYPE(&cirtrans_rtfunc4);
- break;
- case 8:
- object->type = TYPE(&cirtrans_rtfunc8);
- break;
- default:
- CError_FATAL(427);
- }
- } else {
- object->type = TYPE(&cirtrans_rtfunc8);
- }
- }
-
- return object;
-}
-
-static Object *CIRTrans_GetTemporary(Type *type) {
- CIRTransTemp *temp;
-
- for (temp = cirtrans_temps; temp; temp = temp->next) {
- if (temp->object->type->size == type->size && !temp->flag) {
- temp->flag = 1;
- return temp->object;
- }
- }
-
- temp = oalloc(sizeof(CIRTransTemp));
- temp->next = cirtrans_temps;
- cirtrans_temps = temp;
-
- temp->object = create_temp_object(type);
- temp->flag = 1;
- return temp->object;
-}
-
-static ENode *CIRTrans_CheckRuntimeAssign(ENode *expr) {
- ENode *inner;
-
- if (ENODE_IS(expr->data.diadic.right, EINDIRECT)) {
- inner = expr->data.diadic.right->data.monadic;
- if (
- ENODE_IS(inner, EFUNCCALL) &&
- (inner->flags & ENODE_FLAG_80) &&
- inner->data.funccall.args &&
- ENODE_IS(inner->data.funccall.args->node, EOBJREF)
- )
- {
- CError_ASSERT(502, ENODE_IS(expr->data.diadic.left, EINDIRECT));
- inner->data.funccall.args->node = expr->data.diadic.left->data.monadic;
- inner->flags &= ~ENODE_FLAG_80;
- return expr->data.diadic.right;
- }
- }
-
- return expr;
-}
-
-static void CIRTrans_SetupMultiAccessOperand(MultiAccessOperand *mop, ENode *expr) {
- memclrw(mop, sizeof(MultiAccessOperand));
-
- mop->type = expr->rtype;
-
- CError_ASSERT(522, ENODE_IS(expr, EINDIRECT));
- expr = expr->data.monadic;
-
- if (ENODE_IS(expr, EOBJREF)) {
- mop->object = expr->data.objref;
- } else {
- if (ENODE_IS(expr, EBITFIELD)) {
- mop->bitfieldType = expr->rtype;
- expr = expr->data.monadic;
- }
- expr->rtype = CDecl_NewPointerType(mop->type);
- mop->tempobj = create_temp_object(expr->rtype);
- mop->ass = makediadicnode(create_objectnode(mop->tempobj), expr, EASS);
- }
-}
-
-static ENode *CIRTrans_GetMultiAccessOperand(MultiAccessOperand *mop) {
- ENode *expr;
-
- if (mop->object == NULL) {
- expr = create_objectnode(mop->tempobj);
- if (mop->bitfieldType) {
- expr = makemonadicnode(expr, EBITFIELD);
- expr->rtype = mop->bitfieldType;
- }
- expr = makemonadicnode(expr, EINDIRECT);
- } else {
- expr = create_objectnode(mop->object);
- }
-
- expr->rtype = mop->type;
- return expr;
-}
-
-static ENode *CIRTrans_InitMultiAccessExpression(MultiAccessOperand *mop, ENode *expr) {
- if (mop->ass) {
- expr = makediadicnode(mop->ass, expr, ECOMMA);
- expr->rtype = expr->data.diadic.right->rtype;
- }
- return expr;
-}
-
-ENode *CIRTrans_TransformOpAss(ENode *expr) {
- ENodeType nt;
- ENode *expr2;
- MultiAccessOperand mop;
-
- if (!ENODE_IS(expr->data.diadic.left, EINDIRECT)) {
- CError_Error(CErrorStr142);
- return nullnode();
- }
-
- CIRTrans_SetupMultiAccessOperand(&mop, expr->data.diadic.left);
-
- switch (expr->type) {
- case EMULASS:
- nt = EMUL;
- break;
- case EDIVASS:
- nt = EDIV;
- break;
- case EMODASS:
- nt = EMODULO;
- break;
- case EADDASS:
- nt = EADD;
- break;
- case ESUBASS:
- nt = ESUB;
- break;
- case ESHLASS:
- nt = ESHL;
- break;
- case ESHRASS:
- nt = ESHR;
- break;
- case EANDASS:
- nt = EAND;
- break;
- case EXORASS:
- nt = EXOR;
- break;
- case EORASS:
- nt = EOR;
- break;
- default:
- CError_FATAL(622);
- }
-
- expr2 = CIRTrans_GetMultiAccessOperand(&mop);
-
- if (!IS_TYPE_POINTER_ONLY(expr2->rtype)) {
- expr2 = CExpr_NewDyadicNode(expr2, nt, expr->data.diadic.right);
- if (expr2->rtype != expr->data.diadic.left->rtype) {
- expr2 = makemonadicnode(expr2, ETYPCON);
- expr2->rtype = expr->data.diadic.left->rtype;
- }
- } else {
- expr2 = makediadicnode(expr2, expr->data.diadic.right, nt);
- }
-
- if (IS_TYPE_FLOAT(expr2->rtype))
- expr2 = CExpr_BinaryFloatExpression(expr2);
-
- expr2 = makediadicnode(CIRTrans_GetMultiAccessOperand(&mop), expr2, EASS);
- return CIRTrans_InitMultiAccessExpression(&mop, expr2);
-}
-
-static void CIRTrans_TransIncDec() {
- // empty, never called
-}
-
-static ENode *CIRTrans_TransIntConst(ENode *expr) {
- Object *obj;
- UInt8 data[16];
-
- CMach_InitIntMem(expr->rtype, expr->data.intval, data);
-
- obj = CParser_NewGlobalDataObject(NULL);
- obj->name = CParser_GetUniqueName();
- obj->type = expr->rtype;
- obj->sclass = TK_STATIC;
- obj->datatype = DDATA;
- CScope_AddGlobalObject(obj);
- CInit_DeclareData(obj, data, NULL, obj->type->size);
- return create_objectnode(obj);
-}
-
-static ENode *CIRTrans_TransFloatConst(ENode *expr) {
- Object *obj;
- UInt8 data[16];
-
- CMach_InitFloatMem(expr->rtype, expr->data.floatval, data);
-
- obj = CParser_NewGlobalDataObject(NULL);
- obj->name = CParser_GetUniqueName();
- obj->type = expr->rtype;
- obj->sclass = TK_STATIC;
- obj->datatype = DDATA;
- CScope_AddGlobalObject(obj);
- CInit_DeclareData(obj, data, NULL, obj->type->size);
- return create_objectnode(obj);
-}
-
-static ENode *CIRTrans_TransUnary(ENode *expr, Type *type, StrangeRuntimeFunction *rtfunc) {
- if (type->size > 4) {
- expr = funccallexpr(
- CIRTrans_GetRuntimeFunction(rtfunc, type),
- create_objectrefnode(CIRTrans_GetTemporary(type)),
- expr,
- NULL,
- NULL);
- expr->flags |= ENODE_FLAG_80;
- expr = makemonadicnode(expr, EINDIRECT);
- expr->rtype = type;
- return expr;
- } else {
- expr = funccallexpr(
- CIRTrans_GetRuntimeFunction(rtfunc, type),
- expr,
- NULL,
- NULL,
- NULL);
- expr->rtype = type;
- return expr;
- }
-}
-
-static ENode *CIRTrans_TransBinary(ENode *expr, StrangeRuntimeFunction *rtfunc) {
- ENode *expr2;
-
- if (expr->rtype->size > 4) {
- expr2 = funccallexpr(
- CIRTrans_GetRuntimeFunction(rtfunc, expr->rtype),
- create_objectrefnode(CIRTrans_GetTemporary(expr->rtype)),
- expr->data.diadic.left,
- expr->data.diadic.right,
- NULL);
- expr2->flags |= ENODE_FLAG_80;
- expr2 = makemonadicnode(expr2, EINDIRECT);
- expr2->rtype = expr->rtype;
- return expr2;
- } else {
- expr2 = funccallexpr(
- CIRTrans_GetRuntimeFunction(rtfunc, expr->rtype),
- expr->data.diadic.left,
- expr->data.diadic.right,
- NULL,
- NULL);
- expr2->rtype = expr->rtype;
- return expr2;
- }
-}
-
-static ENodeList *CIRTrans_TransExprList(ENodeList *list) {
- ENodeList *scan;
-
- for (scan = list; scan; scan = scan->next)
- scan->node = CIRTrans_TransExpr(scan->node, 1);
-
- return list;
-}
-
-static ENode *CIRTrans_TransExpr(ENode *expr, Boolean flag) {
- switch (expr->type) {
- case EINDIRECT:
- case EFORCELOAD:
- case EBITFIELD:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, flag);
- break;
- case EPOSTINC:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, 1);
- break;
- case EPOSTDEC:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, 1);
- break;
- case EPREINC:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, 1);
- break;
- case EPREDEC:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, 1);
- break;
- case ETYPCON:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, flag);
- if (!flag)
- return expr->data.monadic;
- break;
- case EBINNOT:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, flag);
- break;
- case ELOGNOT:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, flag);
- break;
- case EMONMIN:
- expr->data.monadic = CIRTrans_TransExpr(expr->data.monadic, flag);
- break;
- case EADD:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case ESUB:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EMUL:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- case EDIV:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EMODULO:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case ESHL:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case ESHR:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EROTL:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EROTR:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EAND:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EXOR:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EOR:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case ELESS:
- case EGREATER:
- case ELESSEQU:
- case EGREATEREQU:
- case EEQU:
- case ENOTEQU:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- if (!flag) {
- expr->type = ECOMMA;
- expr->rtype = expr->data.diadic.right->rtype;
- return expr;
- }
- break;
- case ELAND:
- case ELOR:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, 1);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EMULV:
- case EADDV:
- case ESUBV:
- case EPMODULO:
- case EBCLR:
- case EBTST:
- case EBSET:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, flag);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case EASS:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, 1);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, 1);
- break;
- case EMULASS:
- case EDIVASS:
- case EADDASS:
- case ESUBASS:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, 1);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, 1);
- break;
- case EMODASS:
- case ESHLASS:
- case ESHRASS:
- case EANDASS:
- case EXORASS:
- case EORASS:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, 1);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, 1);
- break;
- case ECOMMA:
- expr->data.diadic.left = CIRTrans_TransExpr(expr->data.diadic.left, 0);
- expr->data.diadic.right = CIRTrans_TransExpr(expr->data.diadic.right, flag);
- break;
- case ECOND:
- expr->data.cond.cond = CIRTrans_TransExpr(expr->data.cond.cond, 1);
- expr->data.cond.expr1 = CIRTrans_TransExpr(expr->data.cond.expr1, 1);
- expr->data.cond.expr2 = CIRTrans_TransExpr(expr->data.cond.expr2, 1);
- break;
- case EMFPOINTER:
- expr->data.mfpointer.accessnode = CIRTrans_TransExpr(expr->data.mfpointer.accessnode, flag);
- expr->data.mfpointer.mfpointer = CIRTrans_TransExpr(expr->data.mfpointer.mfpointer, flag);
- break;
- case EFUNCCALL:
- case EFUNCCALLP:
- if (
- ENODE_IS(expr->data.funccall.funcref, EOBJREF) &&
- !strcmp(expr->data.funccall.funcref->data.objref->name->name, "__alloca")
- )
- alloca_called = 1;
- expr->data.funccall.funcref = CIRTrans_TransExpr(expr->data.funccall.funcref, 1);
- expr->data.funccall.args = CIRTrans_TransExprList(expr->data.funccall.args);
- break;
- case ENULLCHECK:
- expr->data.nullcheck.nullcheckexpr = CIRTrans_TransExpr(expr->data.nullcheck.nullcheckexpr, 1);
- expr->data.nullcheck.condexpr = CIRTrans_TransExpr(expr->data.nullcheck.condexpr, 1);
- break;
- case ENEWEXCEPTION:
- case ENEWEXCEPTIONARRAY:
- expr->data.newexception.initexpr = CIRTrans_TransExpr(expr->data.newexception.initexpr, 1);
- expr->data.newexception.tryexpr = CIRTrans_TransExpr(expr->data.newexception.tryexpr, 1);
- break;
- case EINITTRYCATCH:
- expr->data.itc.initexpr = CIRTrans_TransExpr(expr->data.itc.initexpr, 1);
- expr->data.itc.tryexpr = CIRTrans_TransExpr(expr->data.itc.tryexpr, 1);
- expr->data.itc.catchexpr = CIRTrans_TransExpr(expr->data.itc.catchexpr, 1);
- expr->data.itc.result = CIRTrans_TransExpr(expr->data.itc.result, 1);
- break;
- case EINTCONST:
- case EFLOATCONST:
- case ESTRINGCONST:
- case EOBJREF:
- case EPRECOMP:
- case ETEMP:
- case ELABEL:
- case EMEMBER:
- case EINSTRUCTION:
- case EVECTOR128CONST:
- break;
- default:
- CError_FATAL(1947);
- }
-
- return expr;
-}
-
-void CIRTrans_Transform(void) {
- cirtrans_temps = NULL;
-}