mid/nctref
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add ugpr and umem types

Browse Source
This commit is contained in:
Mid
2025-09-14 10:44:08 +03:00
parent 251d24fb30
commit 273e6d1058
7 changed files with 75 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/types.c
View File

@@ -24,6 +24,12 @@ Type *primitive_parse(const char *src) {
}
}
if(!strcmp(src, "ugpr")) {
return type_u(8 * arch_gpr_size());
} else if(!strcmp(src, "umem")) {
return type_u(arch_memory_width());
}
TypePrimitive *ret = calloc(1, sizeof(*ret));
ret->type = TYPE_TYPE_PRIMITIVE;
ret->src = strdup(src);

34
src/x86/arch.h
View File

@@ -241,9 +241,23 @@ static inline WhysItBad_Huh x86_test_mul(AST *stmtPrev, AST *stmt) {
}
if(x86_imul_supported()) {
return GUCCI;
} else if(stmt->stmtAssign.to->exprBinOp.operands[1]->nodeKind == AST_EXPR_PRIMITIVE) {
return SRC1_IS_BAD_XOP;
if(ast_expression_equal(stmt->stmtAssign.what, stmt->stmtAssign.to->exprBinOp.operands[0])) {
if(is_xop(stmt->stmtAssign.to->exprBinOp.operands[1]) == XOP_NOT_XOP) {
return SRC1_IS_BAD_XOP;
}
return GUCCI;
} else {
if(is_xop(stmt->stmtAssign.to->exprBinOp.operands[0]) == XOP_NOT_XOP) {
return SRC0_IS_BAD_XOP;
}
if(stmt->stmtAssign.to->exprBinOp.operands[1]->nodeKind == AST_EXPR_PRIMITIVE) {
return GUCCI;
}
}
} else {
if(stmt->stmtAssign.to->exprBinOp.operands[1]->nodeKind == AST_EXPR_PRIMITIVE) {
return SRC1_IS_BAD_XOP;
}
}
if(is_xop(stmt->stmtAssign.to->exprBinOp.operands[1]) == XOP_NOT_XOP) {
@@ -294,6 +308,18 @@ static inline int arch_gpr_size() {
return x86_max_gpr_size();
}
static inline int arch_memory_width() {
switch(x86_target()) {
case I086:
case I186:
return 20;
case I286:
return 24;
default:
return 32;
}
}
// lol
static inline bool is_reg_b(int cls, int res) {
const char *name = REG_CLASSES[cls].rsN[res];
@@ -333,4 +359,4 @@ static inline void reg_cast_to_gpr(int *cls, int *res) {
}
}
void arch_init();
void arch_init();

2
src/x86/cg.c
View File

@@ -412,7 +412,7 @@ void cg_chunk(CGState *cg, AST *a) {
assert(s->stmtAssign.what->exprVar.thing->kind == SCOPEITEM_VAR);
if(!strcmp(xop(a, s->stmtAssign.what), xop(a, s->stmtAssign.to->exprBinOp.operands[0]))) {
printf("imul %s, %s, %s\n", xop(a, s->stmtAssign.what), xop(a, s->stmtAssign.what), xop(a, s->stmtAssign.to->exprBinOp.operands[1]));
printf("imul %s, %s\n", xop(a, s->stmtAssign.what), xop(a, s->stmtAssign.to->exprBinOp.operands[1]));
} else {
printf("imul %s, %s, %s\n", xop(a, s->stmtAssign.what), xop(a, s->stmtAssign.to->exprBinOp.operands[0]), xop(a, s->stmtAssign.to->exprBinOp.operands[1]));
}

30
src/x86/dumberdowner.c
View File

@@ -225,7 +225,7 @@ static void dumben_visitor(AST **nptr, AST *stmt, AST *stmtPrev, AST *chu, AST *
} else if(s->nodeKind == AST_STMT_RETURN) {
// ret specifically returns in eax always, so it needs to be in a precolored var
// ret returns in eax always, so it needs to be in a precolored var
AST *retval = s->stmtReturn.val;
if(retval && (!is_xop(retval) || retval->nodeKind == AST_EXPR_PRIMITIVE || (retval->nodeKind == AST_EXPR_VAR && retval->exprVar.thing->kind == SCOPEITEM_VAR && (!retval->exprVar.thing->data.var.precolored || !strchr(REG_CLASSES[retval->exprVar.thing->data.var.registerClass].rsN[retval->exprVar.thing->data.var.color], 'a'))))) {
@@ -392,7 +392,19 @@ static void dumben_visitor(AST **nptr, AST *stmt, AST *stmtPrev, AST *chu, AST *
AST *hihalf = varify(tlc, chu, stmtPrev->statement.next, s, mulhi);
vte_precolor(hihalf->exprVar.thing, REG_CLASS_16_32, 7);
switch(type_size(s->stmtAssign.what->expression.type)) {
case 1:
vte_precolor(hihalf->exprVar.thing, REG_CLASS_8, 6);
break;
case 2:
vte_precolor(hihalf->exprVar.thing, REG_CLASS_16_32, 6);
break;
case 4:
vte_precolor(hihalf->exprVar.thing, REG_CLASS_16_32, 7);
break;
default:
abort();
}
}
s->stmtAssign.what = ast_deep_copy(s->stmtAssign.to->exprBinOp.operands[0]);
@@ -405,7 +417,19 @@ static void dumben_visitor(AST **nptr, AST *stmt, AST *stmtPrev, AST *chu, AST *
s->stmtAssign.next = (AST*) redest;
vte_precolor(s->stmtAssign.to->exprBinOp.operands[0]->exprVar.thing, REG_CLASS_16_32, 1);
switch(type_size(s->stmtAssign.what->expression.type)) {
case 1:
vte_precolor(s->stmtAssign.to->exprBinOp.operands[0]->exprVar.thing, REG_CLASS_8, 0);
break;
case 2:
vte_precolor(s->stmtAssign.to->exprBinOp.operands[0]->exprVar.thing, REG_CLASS_16_32, 0);
break;
case 4:
vte_precolor(s->stmtAssign.to->exprBinOp.operands[0]->exprVar.thing, REG_CLASS_16_32, 1);
break;
default:
abort();
}
this->effective = 1;
} else assert(because == NOT_AT_ALL_IT || because == GUCCI);