Skip to content
Snippets Groups Projects
Commit 8d81b229 authored by krf41037's avatar krf41037
Browse files

Assembly generation parsing from tac

parent 84e5526a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 295 additions and 10 deletions
src/assembly_gen.c
+ 295
− 10
View file @ 8d81b229
#include <stdio.h>
#include <unistd.h>
#include <sys/wait.h>
#include "mcc/tac.h"
#include "mcc/tac_print.h"
#include "mcc/symbol_table.h"
char *mcc_asm_gen(FILE *out, struct mcc_tac *tac)
{
......@@ -15,6 +13,7 @@ char *mcc_asm_gen(FILE *out, struct mcc_tac *tac)
{
struct mcc_tac_entry *entry = tac->tac_entries->arr[i];
char *arg1 = entry->arg1;
//TODO calculate offset and save temp offset
switch (entry->tac_op)
{
......@@ -24,36 +23,322 @@ char *mcc_asm_gen(FILE *out, struct mcc_tac *tac)
fprintf(out, "%s:\n", arg1);
fprintf(out, "\tpushl\t%%ebp\n");
fprintf(out, "\tmovl\t%%esp, %%ebp\n");
break;
break;
case MCC_TAC_CALL:
fprintf(out, "\tcall\t%s\n", arg1);
break;
// unary
case MCC_TAC_MINUS_INT_UN:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", offset);
fprintf(out, "\tnegl\t%%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", offset);
break;
case MCC_TAC_MINUS_FLOAT_UN:
break;
case MCC_TAC_NOT:
fprintf(out, "\tnegl\t%%eax\n");
break;
// binary
case MCC_TAC_PLUS_INT:
fprintf(out, "\taddl\t%d(%%ebp), %%eax\n", offset );
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\taddl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_MINUS_INT_BIN:
fprintf(out, "\tsubl\t%d(%%ebp), %%eax\n",offset);
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tsubl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_MUL_INT:
fprintf(out, "\timull\t%d(%%ebp), %%eax\n",offset);
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\timull\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_DIV_INT:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcltd\n");
fprintf(out, "\tidivl\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_PLUS_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfadds\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tfstps\t%d(%%ebp)\n", result->offset);
break;
case MCC_TAC_MINUS_FLOAT_BIN:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfsubs\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tfstps\t%d(%%ebp)\n", result->offset);
break;
case MCC_TAC_MUL_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfmuls\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tfstps\t%d(%%ebp)\n", result->offset);
break;
case MCC_TAC_DIV_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfdivs\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tfstps\t%d(%%ebp)\n", result->offset);
break;
case MCC_TAC_NOT_BOOL:
fprintf(out, "\txorl\t$1, %%edx\n");
break;
case MCC_TAC_AND:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tandl\t%d(%%ebp), %%edx\n", arg2->offset);
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_OR:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\torl\t%d(%%ebp), %%edx\n", arg2->offset);
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_EQ:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcmpl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tsete\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_NEQ:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcmpl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tsetne\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_GT:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcmpl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tsetg\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_LT:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcmpl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tsetl\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_LTEQ:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcmpl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tsetle\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_GTEQ:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcmpl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tsetge\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_LT_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfcomip\t%%st(1), %%st\n");
fprintf(out, "\tfstp\t%%st(0)\n");
fprintf(out, "\tsetb\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_LTEQ_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfcomip\t%%st(1), %%st\n");
fprintf(out, "\tfstp\t%%st(0)\n");
fprintf(out, "\tsetbe\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_GT_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfcomip\t%%st(1), %%st\n");
fprintf(out, "\tfstp\t%%st(0)\n");
fprintf(out, "\tseta\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_GTEQ_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfcomip\t%%st(1), %%st\n");
fprintf(out, "\tfstp\t%%st(0)\n");
fprintf(out, "\tsetae\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_EQ_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfcomip\t%%st(1), %%st\n");
fprintf(out, "\tfstp\t%%st(0)\n");
fprintf(out, "\tsete\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_EQ_BOOL:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcmpl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tsete\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_NEQ_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg2->offset);
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tfcomip\t%%st(1), %%st\n");
fprintf(out, "\tfstp\t%%st(0)\n");
fprintf(out, "\tsetne\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
case MCC_TAC_NEQ_BOOL:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tcmpl\t%d(%%ebp), %%eax\n", arg2->offset);
fprintf(out, "\tsetne\t%%al\n");
fprintf(out, "\tmovzbl\t%%al, %%eax\n");
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
break;
// literal
case MCC_TAC_BOOL_LITERAL:
//TODO parse arg1 to 0 or 1??
int bool_value = (strcmp(arg1, "true") == 0) ? 1 : 0;
fprintf(out, "\tmovl\t$%s, %d(%%ebp)\n",arg1, result->offset);
break;
case MCC_TAC_INT_LITERAL:
fprintf(out, "\tmovl\t$%s, %d(%%ebp)\n",arg1, result->offset);
break;
case MCC_TAC_STRING_LITERAL:
fprintf(out, "\tmovl\t$.LCONST%d, %d(%%ebp)\n", const_count,result->offset);
break;
case MCC_TAC_FLOAT_LITERAL:
//TODO create new constant
fprintf(out, "\tflds\t.LCONST%d\n", const_count);
fprintf(out, "\tfstps\t%d(%%ebp)\n", result->offset);
break;
// copy
case MCC_TAC_BOOL:
break;
case MCC_TAC_INT:
break;
case MCC_TAC_STRING:
break;
case MCC_TAC_FLOAT:
break;
// push
case MCC_TAC_PARAM_BOOL:
case MCC_TAC_PARAM_INT:
case MCC_TAC_PARAM_FLOAT:
case MCC_TAC_PARAM_STRING:
fprintf(out, "\tpushl\t%d(%%ebp)\n", arg1->offset);
break;
case MCC_TAC_PARAM_BOOL_ARR:
case MCC_TAC_PARAM_INT_ARR:
case MCC_TAC_PARAM_FLOAT_ARR:
case MCC_TAC_PARAM_STRING_ARR:
fprintf(out, "\tleal\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tpushl\t%%eax\n");
break;
// pop
case MCC_TAC_PARAM_POP_BOOL:
case MCC_TAC_PARAM_POP_INT:
case MCC_TAC_PARAM_POP_FLOAT:
case MCC_TAC_PARAM_POP_STRING:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", param_offset);
fprintf(out, "\tmovl\t%%eax, %d(%%ebp)\n", result->offset);
//increase param offset
break;
case MCC_TAC_PARAM_POP_BOOL_ARR:
case MCC_TAC_PARAM_POP_INT_ARR:
case MCC_TAC_PARAM_POP_FLOAT_ARR:
case MCC_TAC_PARAM_POP_STRING_ARR:
//increase param offset
break;
// load
case MCC_TAC_LOAD_BOOL:
case MCC_TAC_LOAD_INT:
case MCC_TAC_LOAD_STRING:
fprintf(out, "\tmovl\t%d(%%ebp), %%edx\n", arg1->offset);
fprintf(out, "\tmovl\t%d(%%ebp), %%ecx\n", arg2->offset);
fprintf(out, "\tmovl\t0(%%ecx, %%edx, %d), %%eax\n", 4);
break;
case MCC_TAC_LOAD_FLOAT:
fprintf(out, "\tmovl\t%d(%%ebp), %%edx\n", arg1->offset);
fprintf(out, "\tmovl\t%d(%%ebp), %%ecx\n", arg2->offset);
fprintf(out, "\tflds\t%d(%%ebp, %%edx, %d)\n", arg1->offset, 4);
break;
// store
case MCC_TAC_STORE_BOOL:
case MCC_TAC_STORE_INT:
case MCC_TAC_STORE_STRING:
fprintf(out, "\tmovl\t%d(%%ebp), %%eax\n", arg1->offset);
fprintf(out, "\tmovl\t%d(%%ebp), %%edx\n", arg2->offset);
fprintf(out, "\tmovl\t%d(%%ebp), %%ecx\n", offset);
fprintf(out, "\tmovl\t%%eax, 0(%%ecx, %%edx, %d)\n", 4);
break;
case MCC_TAC_STORE_FLOAT:
fprintf(out, "\tflds\t%d(%%ebp)\n", arg1->offset);
fprintf(out, "\tmovl\t%d(%%ebp), %%edx\n", arg2->offset);
fprintf(out, "\tmovl\t%d(%%ebp), %%ecx\n", offset);
fprintf(out, "\tfstps\t0(%%ecx, %%edx, %d)\n", 4);
break;
// IR operations
case MCC_TAC_JMP :
fprintf(out, "\tjmp\t.%s\n", result + sizeof(char));
break;
case MCC_TAC_JMP_FALSE :
fprintf(out, "\tcmpl\t$0, %d(%%ebp)\n", arg1->offset);
fprintf(out, "\tje\t.%s\n", result + sizeof(char));
break;
case MCC_TAC_RETURN :
fprintf(out, "\tleave\n");
fprintf(out, "\tret\n");
break;
case MCC_TAC_ARR_DECL :
// set stack offset size of pointer * elements
break;
case MCC_TAC_LABEL :
fprintf(out, ".%s:\n", result + sizeof(char));
break;
case MCC_TAC_FUNCTION_END :
fprintf(out, "\tleave\n");
fprintf(out, "\tret\n");
break;
default:
case MCC_TAC_UNKNOWN:
break;
}
}
fprintf(out, "\n");
//TODO add constants
//fprintf(out, ".LCONST%d:\n", i);
}
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment