如何解决从伪C到伪assemlby语言的简单lex / yacc转换器
必须重复提问才能提供答案
我想使用YACC / LEX(c ++)从mini C到NASM(汇编)进行某种翻译 程序应获取部分代码,并在NASM程序集中以该部分返回文件
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 命令
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。