Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

(feat) code generator addition #7

Merged
merged 17 commits into from
Oct 29, 2022
Merged

(feat) code generator addition #7

Show file tree
Hide file tree
Changes from 6 commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
d967f35
Started working on code generator, added working with the frame and c…
Defancet Oct 13, 2022
9f54bf8
Refactoring code according to Nick's comments, added new
Defancet Oct 15, 2022
3e7c8cc
(feat) started working on code generator
Defancet Oct 13, 2022
f6ef8e2
(refactor) refactoring code
Defancet Oct 15, 2022
9e4f3cd
Merge remote-tracking branch 'origin/code_generator_addition' into co…
Defancet Oct 16, 2022
3a9ebda
(fix) fixed small bug
Defancet Oct 16, 2022
250d967
(refactor) code refactoring
Defancet Oct 27, 2022
f613b93
(test) added code generator test file
Defancet Oct 27, 2022
b383f4f
(refactor) changed enum names,
Defancet Oct 28, 2022
2136c84
(feat) added frames for some functions
Defancet Oct 28, 2022
0488a10
(bug) make changes to CMake file
Defancet Oct 28, 2022
8c4594e
(bug) make changes to CMake file
Defancet Oct 28, 2022
8f3e3cf
(bug) some more changes to CMake file
Defancet Oct 28, 2022
7c999b4
Merge branch 'master' into code_generator_addition
NickSettler Oct 29, 2022
6c07ed7
Update CMakeLists.txt
NickSettler Oct 29, 2022
36d23ca
(bug) remove test file
Defancet Oct 29, 2022
ee7382d
(bug) typo fixed
Defancet Oct 29, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
374 changes: 374 additions & 0 deletions src/code_generator.c
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,374 @@
/**
* Imperative IFJ22 language compiler implementation
* @author xkalut00, Maksim Kalutski
* @file code_generator.c
* @brief Code generator source file
* @date ??.10.2022
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Date should be set

*/

#include "code_generator.h"

void generate_move(char *variable_frame, char *variable, char *symbol_frame, char *symbol) {
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Frames are actually predefined: GF, LF and TF. Maybe we can list them as an enumeration and pass them to code generator functions instead of passing them as a string

fprintf(fd, "MOVE %s@%s %s@%s\n", variable_frame, variable, symbol_frame, symbol);
}

void generate_create_frame() {
fprintf(fd, "CREATEFRAME\n");
}

void generate_push_frame() {
fprintf(fd, "PUSHFRAME\n");
}

void generate_pop_frame() {
fprintf(fd, "POPFRAME\n");
}

void generate_declaration(char *variable_frame, char *variable) {
fprintf(fd, "DEFVAR %s@%s\n", variable_frame, variable);
}

void generate_call(char *label) {
fprintf(fd, "CALL %s\n", label);
}

void generate_add_on_top(char *type, char *variable) {
fprintf(fd, "PUSHS %s@%s\n", type, variable);
}

void generate_pop_from_top(char *variable_frame, char *variable) {
fprintf(fd, "POPS %s@%s\n", variable_frame, variable);
}

void generate_clear_stack() {
fprintf(fd, "LABEL clear_stack\n");
fprintf(fd, "MOVE GT@clear_var bool@true\n");
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You are using frpintf here, so in these big functions you can also replace frame with its variable using enum

fprintf(fd, "JUMPIFEQ clear_stack_end GF@clear_top_var bool@true\n");
fprintf(fd, "POPS GT@_clear_stack\n");
fprintf(fd, "JUMP clear_stack\n");
fprintf(fd, "RETURN\n");
}

void generate_operation(instructions_t instruction, char *result, char *symbol1, char *symbol2) {
switch (instruction) {
case ADD:
fprintf(fd, "ADD LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As we have discussed, this can be changed to other way without switch case. You can create an enum with string key values. Or you can create a numbered enum an string array with values ordered in the same order as enum. So than you'll be able to use its values instead of switch..case like this

fprintf(fd, operations[instruction], ...);

Take a look at #13 for an example. In summary, we should avoid such large repeating constructions in our code

break;
case SUB:
fprintf(fd, "SUB LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case MUL:
fprintf(fd, "MUL LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case IMUL:
fprintf(fd, "IMUL LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case DIV:
fprintf(fd, "DIV LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case IDIV:
fprintf(fd, "IDIV LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case LT:
fprintf(fd, "LT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case GT:
fprintf(fd, "GT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case EQ:
fprintf(fd, "EQ LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case NOTLT:
fprintf(fd, "LT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
fprintf(fd, "NOT LF@%s LF@%s\n", result, result);
break;
case NOTGT:
fprintf(fd, "GT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
fprintf(fd, "NOT LF@%s LF@%s\n", result, result);
break;
case NOTEQ:
fprintf(fd, "EQ LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
fprintf(fd, "NOT LF@%s LF@%s\n", result, result);
break;
case AND:
fprintf(fd, "AND LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case OR:
fprintf(fd, "OR LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case NOT:
fprintf(fd, "NOT LF@%s LF@%s\n", result, symbol1);
break;
default:
fprintf(stderr, "Unknown operation");
}
}

void generate_stack_operation(stack_instructions_t instruction, char *result, char *symbol1, char *symbol2) {
switch (instruction) {
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This switch case can be also changed in the way described previously. Also switch..case constructions down can be changed this way

case ADDS:
fprintf(fd, "ADDS LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case SUBS:
fprintf(fd, "SUBS LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case MULS:
fprintf(fd, "MULS LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case DIVS:
fprintf(fd, "DIVS LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case IDIVS:
fprintf(fd, "IDIVS LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
default:
fprintf(stderr, "Unknown operation");
}
}

void generate_string_relational_operation(instructions_t instruction, char *result, char *symbol1, char *symbol2) {
switch (instruction) {
case CONCAT:
fprintf(fd, "CONCAT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case STRLEN:
fprintf(fd, "STRLEN LF@%s LF@%s\n", result, symbol1);
break;
case GETCHAR:
fprintf(fd, "GETCHAR LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case SETCHAR:
fprintf(fd, "SETCHAR LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case LT:
fprintf(fd, "LT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case GT:
fprintf(fd, "GT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case EQ:
fprintf(fd, "EQ LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
break;
case NOTLT:
fprintf(fd, "LT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
fprintf(fd, "NOT LF@%s LF@%s\n", result, result);
break;
case NOTGT:
fprintf(fd, "GT LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
fprintf(fd, "NOT LF@%s LF@%s\n", result, result);
break;
case NOTEQ:
fprintf(fd, "EQ LF@%s LF@%s LF@%s\n", result, symbol1, symbol2);
fprintf(fd, "NOT LF@%s LF@%s\n", result, result);
break;
default:
fprintf(stderr, "Unknown operation");
}
}

void generate_int_to_float() {
fprintf(fd, "LABEL float2int\n");
fprintf(fd, "CREATEFRAME\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@retval1\n");
fprintf(fd, "MOVE LF@retval1 nil@nil\n");
fprintf(fd, "DEFVAR LF@float2int\n");
fprintf(fd, "MOVE LF@float2int LF@1\n");
fprintf(fd, "INT2FLOAT LF@retval1 LF@float2int\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}

void generate_float_to_int() {
fprintf(fd, "LABEL int2float\n");
fprintf(fd, "CREATEFRAME\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@retval1\n");
fprintf(fd, "MOVE LF@retval1 nil@nil\n");
fprintf(fd, "DEFVAR LF@int2float\n");
fprintf(fd, "MOVE LF@int2float LF@1\n");
fprintf(fd, "FLOAT2INT LF@retval1 LF@int2float\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}

void generate_int_to_char() {
fprintf(fd, "LABEL int2char\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@retval1\n");
fprintf(fd, "MOVE LF@retval1 nil@nil\n");
fprintf(fd, "DEFVAR LF@i\n");
fprintf(fd, "MOVE LF@i LF@1\n");
fprintf(fd, "DEFVAR LF@i\n");
fprintf(fd, "MOVE LF@tmp nil@nil\n");
fprintf(fd, "TYPE LF@tmp LF@int\n");
fprintf(fd, "JUMPIFEQ error_label LF@tmp string@nil\n");
fprintf(fd, "LT LF@tmp LF@i int@0\n");
fprintf(fd, "JUMPIFEQ nil_return LF@tmp bool@true\n");
fprintf(fd, "GT LF@tmp LF@i int@255\n");
fprintf(fd, "JUMPIFEQ nil_return LF@tmp bool@true\n");
fprintf(fd, "INT2CHAR LF@retval1 LF@int\n");
fprintf(fd, "LABEL nil_return\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}

void generate_string_to_int() {
fprintf(fd, "LABEL stri2int\n");
fprintf(fd, "CREATEFRAME\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@s\n");
fprintf(fd, "MOVE LF@s LF@1\n");
fprintf(fd, "DEFVAR LF@i\n");
fprintf(fd, "MOVE LF@i LF@2\n");
fprintf(fd, "DEFVAR LF@lenght\n");
fprintf(fd, "MOVE LF@length nil@nil\n");
fprintf(fd, "DEFVAR LF@tmp\n");
fprintf(fd, "MOVE LF@tmp nil@nil\n");
fprintf(fd, "TYPE LF@tmp LF@s\n");
fprintf(fd, "JUMPIFEQ error_label LF@tmp string@nil\n");
fprintf(fd, "TYPE LF@tmp LF@i\n");
fprintf(fd, "JUMPIFEQ error_label LF@tmp string@nil\n");
fprintf(fd, "STRLEN LF@length LF@s\n");
fprintf(fd, "LT LF@tmp LF@i int@0\n");
fprintf(fd, "JUMPIFEQ nil_return LF@tmp bool@true\n");
fprintf(fd, "GT LF@tmp LF@i LF@length\n");
fprintf(fd, "JUMPIFEQ nil_return LF@tmp bool@true\n");
fprintf(fd, "STRI2INT LF@retval1 LF@s LF@i\n");
fprintf(fd, "LABEL nil_return\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}

void generate_conversion_operation(stack_conversion_t instruction) {
switch (instruction) {
case INT2FLOATS:
fprintf(fd, "INT2FLOATS\n");
break;
case FLOAT2INTS:
fprintf(fd, "FLOAT2INTS\n");
break;
case INT2CHARS:
fprintf(fd, "INT2CHARS\n");
break;
case STRI2INTS:
fprintf(fd, "STRI2INTS\n");
break;
default:
fprintf(stderr, "Unknown operation");
}
}

void generate_reads() {
fprintf(fd, "LABEL reads\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@retval1\n");
fprintf(fd, "MOVE LF@retval1\n");
fprintf(fd, "READ LF@retval1 string\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}

void generate_readi() {
fprintf(fd, "LABEL readi\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@retval1\n");
fprintf(fd, "MOVE LF@retval1\n");
fprintf(fd, "READ LF@retval1 int\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}

void generate_readf() {
fprintf(fd, "LABEL readf\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@retval1\n");
fprintf(fd, "MOVE LF@retval1\n");
fprintf(fd, "READ LF@retval1 float\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}

void generate_write() {
fprintf(fd, "LABEL write\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@write_to\n");
fprintf(fd, "DEFVAR LF@check_for_nil\n");
fprintf(fd, "POPS LF@write_to\n");
fprintf(fd, "TYPE LF@check_for_nil LF@write_to\n");
fprintf(fd, "JUMPIFEQ its_nil\n");
fprintf(fd, "WRITE LF@write_to\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
fprintf(fd, "LABEL its_nil\n");
fprintf(fd, "WRITE string@nil\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN");
}

void generate_substr() {
fprintf(fd, "LABEL substr\n");
fprintf(fd, "PUSHFRAME\n");
fprintf(fd, "DEFVAR LF@retval1\n");
fprintf(fd, "MOVE LF@retval1 string@\n");

fprintf(fd, "DEFVAR LF@s\n"); // ("s", 1)
fprintf(fd, "MOVE LF@s int@1\n");

fprintf(fd, "DEFVAR LF@i\n"); // ("i", 2)
fprintf(fd, "MOVE LF@i int@2\n");

fprintf(fd, "DEFVAR LF@j\n"); // ("j", 3)
fprintf(fd, "MOVE LF@j int@3\n");

fprintf(fd, "DEFVAR LF@tmp\n"); // ("tmp",)
fprintf(fd, "MOVE LF@tmp nil@nil\n");

fprintf(fd, "DEFVAR LF@length\n"); // ("length")
fprintf(fd, "MOVE LF@length nil@nil\n");

fprintf(fd, "DEFVAR LF@sing LF@s\n"); // ("sing")
fprintf(fd, "MOVE LF@sing nil@nil\n");

fprintf(fd, "TYPE LF@tmp LF@s\n");
fprintf(fd, "JUMPIFEQ error LF@tmp string@nil\n");
fprintf(fd, "TYPE LF@tmp LF@i\n");
fprintf(fd, "JUMPIFEQ error LF@tmp string@nil\n");
fprintf(fd, "TYPE LF@tmp LF@j\n");
fprintf(fd, "JUMPIFEQ error LF@tmp string@nil\n");

fprintf(fd, "STRLEN LF@length LF@s\n");
fprintf(fd, "LT LF@tmp LF@i int@1\n");
fprintf(fd, "JUMPIFEQ return LF@tmp bool@false\n");
fprintf(fd, "GT LF@tmp LF@j LF@lenght\n");
fprintf(fd, "JUMPIFEQ return LF@tmp bool@false\n");

NickSettler marked this conversation as resolved.
Show resolved Hide resolved
fprintf(fd, "GT LF@tmp LF@j LF@length\n");
fprintf(fd, "JUMPIFEQ return LF@tmp bool@true\n");
fprintf(fd, "LT LF@tmp LF@j int@1\n");
fprintf(fd, "JUMPIFEQ return LF@tmp bool@true\n");

fprintf(fd, "GT LF@tmp LF@i LF@j\n");
fprintf(fd, "JUMPIFEQ return LF@tmp bool@true\n");

fprintf(fd, "SUB LF@i LF@i int@1\n");
fprintf(fd, "SUB LF@j LF@j int@1\n");

fprintf(fd, "LABEL loop\n");
fprintf(fd, "GETCHAR LF@sing LF@s LF@i\n");
fprintf(fd, "CONCAT LF@retval1 LF@retval1 LF@sing\n");

fprintf(fd, "ADD LF@i LF@i int@1\n");
fprintf(fd, "LT LF@tmp LF@i LF@j\n");
fprintf(fd, "JUMPIFEQ return LF@tmp bool@true\n");
fprintf(fd, "JUMP loop\n");

fprintf(fd, "LABEL return\n");
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}

void generate_end() {
fprintf(fd, "POPFRAME\n");
fprintf(fd, "RETURN\n");
}
Loading