从伪C到伪assemlby语言的简单lex / yacc转换器

编程问答 2022-06-08

问题描述

必须重复提问才能提供答案

我想使用YACC / LEX（​​c ++）从mini C到NASM（汇编）进行某种翻译 程序应获取部分代码，并在NASM程序集中以该部分返回文件

mini C应该支持这样的代码

a = v1;
b = v2;
while(condition){
    // Some expressions +
}
if(Condition){ //
// Some expressions + 
else{
// Some expressions +
}

它应该识别正整数值，只能是简单表达式+，if / else和while循环，条件为{，==} 我知道如何使用flex进行词法分析，但是解析器对我来说很麻烦，尤其是解析while循环和if / else时。

那些if / else和while部分可以以开始/结束而不是{}

我猜语法应该像

Program: Block '.' 
;

Block : BEGIN_TOKEN Lines END_TOKEN
;

Lines: Lines ';' Line
| Line
;

Line: INT_TOKEN ID_TOKEN '=' NUM_TOKEN
| IF_TOKEN '(' Condition ')' Block ELSE Block
| WHILE_TOKEN '(' Condition ')' Block
| E
;

E: E + E
| ID_TOKEN
| NUM_TOKEN
;

Conditon: E '<' E
| E '>' E
| E EQ_TOKEN E
;

条件很简单，例如a c，d == 3 ... 它不需要任何类型的打印和扫描 动作应在单独的C ++文件中编写

解决方法

由于我的最后一个问题已经关闭，因为尽管有人在写书，所以我想分享我对这个问题的解决方案。这个问题是我的作业。

lexer.l 

%option noyywrap
%option nounput
%option noinput

%{
    
    #include <iostream>
    #include <cstdlib>
    
    using namespace std;
    
    #include "parser.tab.hpp"
    
%}

%%

while           {return WHILE_TOKEN;}
if              {return IF_TOKEN;}
else            {return ELSE_TOKEN;}
print           {return PRINT_TOKEN;}
"=="            {return EQ_TOKEN;}
"<="            {return LEQ_TOKEN;}
">="            {return GEQ_TOKEN;}
[-+(){}<>=;]    {return *yytext;}
[a-z]           {yylval.s = new string(yytext); return ID_TOKEN;}
(0|[1-9][0-9]*) {yylval.s = new stirng(yytext); return NUM_TOKEN;}
[ \t\n]         {}
.               {cerr<<"Lex error:  "<< *yytext << endl; exit(EXIT_FAILURE);}
%%

parser.ypp 

%{

#include <ostream>
#include <fstream>
#include <cstdlib>
#include <string>


using namespace std;

void yyerror(string s){
    cerr << s << endl;
    exit(EXIT_FAILURE);
}

extern int yylex();

ofstream out;

int next_label = 0;

%}

%union{
    string *s;
    int v;
}

%nonassoc IF_THEN
%nonassoc ELSE_TOKEN

%right '='
%left '<' '>' EQ_TOKEN LEQ_TOKEN GEQ_TOKEN
%left '+' '-'

%type<s> ID_TOKEN NUM_TOKEN
%type<v> WHILE_TOKEN IF_TOKEN ELSE_TOKEN
%token PRINT_TOKEN EQ_TOKEN LEQ_TOKEN GEQ_TOKEN WHILE_TOKEN ELSE_TOKEN IF_TOKEN ID_TOKEN NUM_TOKEN

%%

Program: Statements {out << "" << endl;}
;

Statements: Statements Statement {}
|
;

Statement: ';'
| E ';'
| '{' Statements '}'
| ID_TOKEN '=' E ';' {out << "assign_val" << endl;}
| PRINT_TOKEN '(' E ')' {out << "print" << endl;}
| WHILE_TOKEN {$1 = next_label; out << "L:" << $1 << ":" << endl; next_label+=2;} '(' E ')' {out << "L" << $1 +1 << ":" << endl;} Statement
| IF_TOKEN '(' E ')' {$1 = next_label++; out << "L" << $1 << ":" << endl;} Statement Else
;

Else: ELSE_TOKEN {$1 = next_label++; out << "jmp L" << $1 << ":" << endl;} Statement {out << "L" << $1 << ":" << endl;}
| %prec IF_THEN {}
;

E: E '+' E {out << "add" << endl;}
| E '-' E {out << "sub" << endl;}
| E '<' E {out << "compL" << endl;}
| E '>' E {out << "compG" << endl;}
| E EQ_TOKEN E {out << "compEQ" << endl;}
| E LEQ_TOKEN E {out << "compLEQ" << endl;}
| E GEQ_TOKEN E {out << "compGEQ" << endl;}
| '(' E ')'
| ID_TOKEN {out << *$1 << endl;}
| NUM_TOKEN {out << *$1 << endl;}
;

%%

int main(){
    out.open("output.s",ios_base::app);
    yyparse();
    return 0;
}

makefile 

program: parser.tab.o lex.yy.o
    g++ -Wall -o $@ $^
parser.tab.o: parser.tab.cpp parser.tab.hpp
    g++ -Wall -c -o $@ $<
lext.yy.o: lex.yy.c
    g++ -Wall -c -o $@ $<
lex.yy.c: lexer.l parser.tab.hpp
    flex $<
parser.tab.cpp parser.tab.hpp: parser.ypp
    bison -d -v $<

在终端中找到包含源文件的目录，然后运行 make 命令

assemblyassemblyassemblyc++compiler-constructionlexyacc