自制编译器：后端代码生成（三）

最新推荐文章于 2024-03-15 07:45:00 发布
最新推荐文章于 2024-03-15 07:45:00 发布
阅读量3.3k 收藏 4
点赞数 1
分类专栏： 自制Compiler
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/roger__wong/article/details/9105571
版权

（14）expr

/*                         Type
* expr -->  (expr)           0
                ids|             1
              number|           2
              literal|           3
             func-call|         4
            expr  ops expr|      5
*/

public void genCode() {
		
		ArrayList<Code> al=BackendClassManager.tFunc.codes;
		if(Type==0)
		{
			expr1.genCode();
		}
		else if(Type==1)
		{
			ids.genCode();
		}
		else if(Type==2)
		{
			Code code;
			if(number.isInt==true)
			{
				code=new Code(0x01);
				code.Operands.add(number.toString());
			}
			else
			{
				code=new Code(0x02);
				code.Operands.add(number.toString());
			}
			al.add(code);
		}
		else if(Type==3)
		{
			literal.genCode();
		}
		else if(Type==4)
		{
			fc.genCode();
		}
		else if(Type==5)
		{
			expr1.genCode();
			Code code=new Code(0x05);
			int pos=BackendClassManager.nameSlot.keySet().size();
			BackendClassManager.nameSlot.put(this.toString(), pos);
			code.Operands.add(String.valueOf(pos));
			al.add(code);
			expr2.genCode();
			code=new Code(0x03);
			code.Operands.add(String.valueOf(pos));
			al.add(code);
			BackendClassManager.expr1=expr1;
			BackendClassManager.expr2=expr2;
			op.genCode();
		}
	}

expr的genCode方法产生的效果是把此expr的值放到栈顶。

如果type=0，则递归调用括号里的expr的genCode；如果type=1，则把ids的值放到栈顶；如果type=2，先判断立即数的类型之后再压入立即数；如果type=3，把字符串的句柄压入栈顶；type=4调用funccall的genCode；type=5，先生成expr1的字节码，然后将结果暂存到局部变量表，之后生成expr2的字节码，再把之前的结果压栈，调用op的genCode代码为运算符生成字节码。

值得注意的是，调用op的genCode之前首先要把参与运算的expr放到全局变量里，op的字节码生成过程需要使用这两个expr的信息。


（15）funccall

func-call --> ids . func-name(NUL|args)

public void genCode() {
		// TODO Auto-generated method stub
		ArrayList<Code> al=BackendClassManager.tFunc.codes;
		memberfuncdeclare mfc=(memberfuncdeclare)SyntaxTreeGenerator.getFunctions().get(fn.toString()).value;
		ArrayList<ids> ags=ag.getidsList();
		ArrayList<Integer> poses=new ArrayList<Integer>();
		for(int i=0;i<=ags.size()-1;i++)
		{
			ags.get(i).genCode();
			poses.add(CodeGenHelper.StoreToLocalTable(al));
		}
		for(int i=0;i<=poses.size()-1;i++)
		{
			CodeGenHelper.LoadToStack(al, poses.get(i));
		}
		if(mfc.isstatic==true)
		{
			Code code=new Code(0x1B);
			code.Operands.add(IDS.toString()+"."+fn.toString());
			al.add(code);
		
		}
		else
		{
			IDS.genCode();
			Code code=new Code(0x1A);
			code.Operands.add(fn.toString());
			al.add(code);
		}
	}
函数调用的过程如下：

首先所有参数压栈，然后虚拟机执行call指令，给新函数分配执行环境（栈帧），把之前压栈的参数放到局部变量表中（如果有this参数的话this也要以参数的形式放到局部变量表中）；函数执行完之后虚拟机释放资源，并把堆栈顶元素（返回值）放到其调用者的堆栈顶。

首先先从符号表中找到这个函数（封装在了SyntaxTreeGenerator中），然后得到所有参数，并存储到局部变量表中（之所以这么做因为参数的获取过程可能会把堆栈顺序打乱），接着把之前存过的所有参数压入堆栈，再判断该函数是否是个静态函数来使用不同的字节码进行调用。


（16）ops

ops --> bitop | logiop | artmop | cprop

public void genCode() {
		if(type==TYPE_BITOP)
		{
			bo.genCode();
		}
		else if(type==TYPE_LOGIOP)
		{
			lo.genCode();
		}
		else if(type==TYPE_ARMTOP)
		{
			ao.genCode();
		}
		else if(type==TYPE_CPROP)
		{
			co.genCode();
		}
		
	}

根据不同的类型调用不同op的genCode方法。


（17）cprop

public void genCode() {
		expr expr1,expr2;
		ArrayList<Code> al=BackendClassManager.tFunc.codes;
		expr1=BackendClassManager.expr1;
		expr2=BackendClassManager.expr2;
		boolean intint=true;
		if(expr1.tp.toString().equals("int") && expr2.tp.toString().equals("int"))
		{
			intint=true;
		}
		if(expr1.tp.toString().equals("double") && expr2.tp.toString().equals("double"))
		{
			intint=false;
		}
		if(expr1.tp.toString().equals("int") && expr2.tp.toString().equals("double"))
		{
			CodeGenHelper.i2d(al);
			intint=false;
			
		}
		if(expr1.tp.toString().equals("double") && expr2.tp.toString().equals("int"))
		{
			int pos=CodeGenHelper.StoreToLocalTable(al);
			Code code=new Code(0x23);
			al.add(code);
			CodeGenHelper.i2d(al);
			CodeGenHelper.LoadToStack(al, pos);
			intint=false;
			
		}
		if(value.equals(">"))
		{
			if(intint==true)
			{
				Code code=new Code(0x16);//比较
				al.add(code);
				code=new Code(0x01);
				code.Operands.add("1");//压入1
				al.add(code);
				code=new Code(0x16);//和1比较
				al.add(code);
				code=new Code(0x24);//取非
				al.add(code);
			}
			else
			{
				Code code=new Code(0x17);//比较
				al.add(code);
				code=new Code(0x02);
				code.Operands.add("1");//压入1
				al.add(code);
				code=new Code(0x17);//和1比较
				al.add(code);
				code=new Code(0x24);//取非
				al.add(code);
			}
		}
		if(value.equals("<"))
		{
			if(intint==true)
			{
				Code code=new Code(0x16);//比较
				al.add(code);
				code=new Code(0x01);
				code.Operands.add("-1");//压入1
				al.add(code);
				code=new Code(0x16);//和1比较
				al.add(code);
				code=new Code(0x24);//取非
				al.add(code);
			}
			else
			{
				Code code=new Code(0x17);//比较
				al.add(code);
				code=new Code(0x02);
				code.Operands.add("-1");//压入1
				al.add(code);
				code=new Code(0x17);//和1比较
				al.add(code);
				code=new Code(0x24);//取非
				al.add(code);
			}
		}
		if(value.equals(">="))
		{
			if(intint==true)
			{
				Code code=new Code(0x16);//比较
				al.add(code);
				code=new Code(0x01);
				code.Operands.add("-1");//压入1
				al.add(code);
				code=new Code(0x16);//和1比较
				al.add(code);
				
			}
			else
			{
				Code code=new Code(0x17);//比较
				al.add(code);
				code=new Code(0x02);
				code.Operands.add("-1");//压入1
				al.add(code);
				code=new Code(0x17);//和1比较
				al.add(code);
				code=new Code(0x24);//取非
				al.add(code);
			}
		}
		if(value.equals("<="))
		{
			if(intint==true)
			{
				Code code=new Code(0x16);//比较
				al.add(code);
				code=new Code(0x01);
				code.Operands.add("1");//压入1
				al.add(code);
				code=new Code(0x16);//和1比较
				al.add(code);
				
			}
			else
			{
				Code code=new Code(0x17);//比较
				al.add(code);
				code=new Code(0x02);
				code.Operands.add("1");//压入1
				al.add(code);
				code=new Code(0x17);//和1比较
				al.add(code);
				
			}
		}
		if(value.equals("=="))
		{
			if(intint==true)
			{
				Code code=new Code(0x16);//比较
				al.add(code);
				code=new Code(0x01);
				code.Operands.add("0");//压入1
				al.add(code);
				code=new Code(0x16);//和0比较
				al.add(code);
				code=new Code(0x24);//取非
				al.add(code);
			}
			else
			{
				Code code=new Code(0x17);//比较
				al.add(code);
				code=new Code(0x02);
				code.Operands.add("0");//压入1
				al.add(code);
				code=new Code(0x17);//和0比较
				al.add(code);
				code=new Code(0x24);//取非
				al.add(code);
			}
		}
		if(value.equals("!="))
		{
			if(intint==true)
			{
				Code code=new Code(0x16);//比较
				al.add(code);
				code=new Code(0x01);
				code.Operands.add("0");//压入1
				al.add(code);
				code=new Code(0x16);//和0比较
				al.add(code);
			
			}
			else
			{
				Code code=new Code(0x17);//比较
				al.add(code);
				code=new Code(0x02);
				code.Operands.add("0");//压入1
				al.add(code);
				code=new Code(0x17);//和0比较
				al.add(code);
			
			}
		}
		
	}
比较运算符的genCode虽然代码比较长但是逻辑很简单。

首先需要根据待比较的expr来决定是否进行类型转换，目前在语言的设计中，只有double和int是可比的，其它类型的比较虽然在编译器不会报错但在运行时中会进行报错。

其次根据类型来调用不同的比较指令，再次根据逻辑需要进行二次比较（因为比较指令会根据大于小于等于返回1、0或-1，和运算符并不等价，需要通过比较两次使之和运算符等价）。


大体上代码就这么多，目前的编译器已经可以编译出正确的字节码了，但目前代码还无法执行，需要等到Runtime写好之后才能运行。


因此本系列博客到这里暂时告一段落，若给语言再添加一些高级点的特性，也需要等到我把Runtime写好再说了。



ROger__Wong
关注
  • 1
    点赞
  • 踩
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
java源码生成-compiler_pfat:Java编译器：源代码分析和Java代码生成
05-19
从我们的语言到Java的代码生成 构建脚本假定根文件夹中的java_cup_v10k （，）和JLex （，）文件夹中存在CUP和JLex工具。 源语言 G= ET= {PROG, IDENT, IN, OUT, LOCAL, PC, TYPE, COMMA, CBRAC, CKET, ASOP, IF, ...
经典编译器组成（前端+优化器+后端）以及LLVM和Clang简介
DayDayUp
03-28 9770
LLVM简介原文，有兴趣的同学可以直接读原文：LLVMLLVM是开源的编译器(compiler)架构，以C++编写而成，用于优化以随意程序语言编写的程序的编译时间(compile-time)、链接时间(link-time)、执行时间(run-time)以及空暇时间(idle-time)，对开发人员保持开放，并兼容已有脚本。LLVM的设计就采用了上述前端+优化器+后端的设计。如下图所示：基于这个认知，我们可以认为 LLVM 包括了两个概念：一个广义的 LLVM 和一个狭义的 LLVM。
编译器之后端原理(三十六)
Android系统攻城狮
01-13 4978
一、编译器的后端技术 1. 编译器的前端技术，重点是让编译器能够读懂程序，无结构的代码文本经过前端的处理以后，就变成了Token、AST和语义属性、符号表等结构化的信息，基于这些信息，可以实现简单的脚本解释器。但很多情况下，需要继续把程序编译成机器能读懂的代码，并高效运行。这时就面临了三个问题： （1）必须了解计算机运行一个程序的原理（也就是运行期机制），只有这样才知道如何生成这样的程序。 （2）要能利用前端生成的AST和属性信息，将其正确翻译成目标代码。 （3）需要对程序做尽可能多的优化，比如让程序
编译原理详解：从词法分析至目标代码生成的全程探索之旅
最新发布
极客代码
03-15 980
编译原理，又称编译器构造，是计算机科学中的核心领域之一，它涵盖了从源代码到可执行程序这一过程的所有理论和技术细节。本文将以C语言为例，深度解析编译器工作的各个环节，带领读者步入这个充满神秘感而又至关重要的技术领域，揭开源代码如何转化为机器码的秘密面纱。编译过程大致分为以下几个阶段：为了加深理解，我们可以通过一个简化的C语言函数实例，一步步展示编译器如何从源代码到生成目标代码的过程： 1. 词法分析： 2. 语法分析： 3. 语义分析： 4. 中间代码生成： 5. 优化： 6
编译型语言后端原理笔记
书忆江南的IT博客
10-17 3007
一、编译器的后端技术 1. 编译器的前端技术，重点是让编译器能够读懂程序，无结构的代码文本经过前端的处理以后，就变成了Token、AST和语义属性、符号表等结构化的信息，基于这些信息，可以实现简单的脚本解释器。但很多情况下，需要继续把程序编译成机器能读懂的代码，并高效运行。这时就面临了三个问题： （1）必须了解计算机运行一个程序的原理（也就是运行期机制），只有这样才知道如何生成这样的程序。 （2）要能利用前端生成的AST和属性信息，将其正确翻译成目标代码。 （3）需要对程序做尽可能多的优化，比如让程
自制编译器：后端代码生成
西红柿炒土豆
10-06 1597
所谓的编译器后端的作用就是将语法树翻译成目标机器码。所谓目标机器码，考虑到直接翻译成具体平台（如X86，ARM等）过于复杂，因此先设计一个虚拟机，并翻译成这个虚拟机的机器码。 对于虚拟机以及其指令格式可参考这篇文章http://blog.csdn.net/roger__wong/article/details/8947720，如何去尝试实现这个虚拟机是在我的另外一个系列的博客里进行论述。
这几款非常好用的代码编辑器分享给你
07-18 193
在这篇文章中，我将与你分享几款非常好用的代码编辑器，它们在开发者社区中备受认可，并提供了出色的编辑体验和工作流程。通过构建在Atom的代码基础之上，Pulsar保留了许多Atom的优点，如插件生态系统、语法高亮和强大的编辑功能。然而，正是通过开源社区的共同努力和持续贡献，Pulsar将得到进一步改进和发展，以满足开发者们的需求并成为一个可靠的代码编辑器选择。这就是Pulsar诞生的原因。它建立在与Atom相同的代码库上，并通过逆向工程的努力实现了一个开源的后端，同时还对依赖项进行了更新和改进。
univ-lib:Gambit 编译器通用后端库
06-04
univ-lib Gambit 编译器通用后端库
idris-codegen-wasm:用于Idris编译器的WebAssembly代码生成后端
05-10
FFI和Idris级对新后端的支持 建造 当前的实现完全取决于 。 要构建，您需要克隆 cd ./idris-codegen-wasm && cabal build 示例代码现在可以正常运行 module Main factorial : Int -> Int factoria
py-icg:中间代码生成器
06-14
CS335A：编译器设计（作业 3：中间代码生成器） 源语言： Python 目标语言： MIPS 汇编实现语言： Python 作者：Abhilash Kumar、Arnab Ghosh 和 Saurav Kumar 使用的工具：PLY（Python Lex 和 Yacc）三地址码表示...
FakeCc:自制编译器FakeCc
05-19
自制编译器FakeCc 介绍 以C语言编译过程为基础,融合一些java的语法,用java语言编写出一门新的编程语言,使用者可以更改源代码src中的文件,按照自己喜欢的语法规则来定制. 语法规则的改变 实现了c语言的基本数据类型,...
自己动手写编译器、链接器源代码
05-26
自己动手写编译器、链接器源代码 自己动手写编译器、链接器源代码 自己动手写编译器、链接器源代码
编译器的设计分析和转换
06-13
Abstract While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In this book the authors systematically describe the analysis and transformation of imperative and functional programs. In addition to a detailed description of important efficiency-improving transformations, the book offers a concise introduction to the necessary concepts and methods, namely to operational semantics, lattices, and fixed-point algorithms. This book is intended for students of computer science. The book is supported throughout with examples, exercises and program fragments. 漏 Springer-Verlag Berlin Heidelberg 2012. All rights are reserved
【编译、链接、装载五】编译器后端——gcc生成的汇编代码
junxuezheng的博客
06-11 1285
编译器后端——gcc生成的汇编代码
Compiler Lab2- 自制极简编译器
青衫客36的博客
05-03 1616
笔者实现的这个超级迷你版编译器（词法分析、语法分析、生成中间代码（cpp））仅支持四则运算，功能真的是非常非常简单，不过其中的流程（词法分析 -> 语法分析 -> 中间代码生成）还是有一定的学习价值的，可以把这些阶段都给串起来，看看不同的处理阶段是如何衔接的，而不是仅仅停留在教科书中各个分裂的模块里。
Java后端编译与优化
KEEP CODING
07-09 624
如果我们将字节码看作是程序语言的一种中间表示形式，那编译器无论在何时、在何种状态下把Class文件转换成与本地基础设施相关的二进制机器码，它都可以视为整个编译过程的后端。
自制编译器（—）
qq_42106837的博客
09-06 1227
本系列参考国外自制编译器系列教程：https://ruslanspivak.com/lsbasi-part1/ 中文版参考如下两位大神： http://www.opython.com/interpreter https://www.zhihu.com/column/c_1383722427357159424 目标是实现一个简单的基于python的编译器，目的是为了加深对python的理解。 目前进度如下：已成功实现第一、第二两部分内容。 不过，在实现过程中，发现原文的小小失误，特来记录。
编译器的前端后端是怎么回事？
delfelis999025的博客
08-26 1462
根据完成任务不同，可以将编译器的组成部分划分为前端（Front End）与后端（Back End）。 前端主要指与源语言有关但与目标机无关的部分，包括词法分析、语法分析、语义分析与中间表示生成。 后端主要指与目标机有关的部分，包括代码优化和目标代码生成等。 "端"概念的提出对于编译技术的发展起到了至关重要的作用，它使编译器的框架更明晰，更利于集成与构造。 转载于:https://ww...
后端编译与优化（JIT，即时编译器）
weixin_52383177的博客
11-05 806
Java程序最初都是通过解释器 （Interpreter）进行解释执行的，当虚拟机发现某个方法或代码块的运行特别频繁，就会把这些代码认定为“热点代码”（Hot Spot Code），为了提高热点代码的执行效率，在运行时，虚拟机将会把这些代码编译成本地机器码，并以各种手段尽可能地进行代码优化，运行时完成这个任务的后端编译器被称为即时编译器。
以下产品需要安装支持的编译器: simulink coder
09-06
Simulink Coder 是一款用于生成可在目标硬件上运行的 C 或 C++ 代码的产品。在使用 Simulink Coder 进行代码生成之前，确实需要安装支持的编译器。 Simulink Coder 可以与多种编译器兼容，包括 GNU Compiler Collection (GCC)、MinGW-W64、Microsoft Visual C++ (MSVC) 和 Green Hills Software (GHS) 编译器等。根据目标硬件和操作系统的不同，需要选择适合的编译器。 如果是在 Windows 上，可以选择使用支持的版本的 MSVC 编译器，比如 MSVC 2017 或 MSVC 2019。在安装 Simulink Coder 之前，您需要先安装相应的编译器并配置其环境变量，以便在 Simulink Coder 中正确识别和使用编译器。 如果是在 Linux 上，可以选择使用 GCC 或 Green Hills 编译器。安装相应的编译器后，还需要设置环境变量，使得 Simulink Coder 能够找到编译器并进行代码生成。 值得注意的是，不同版本的 Simulink Coder 对于编译器的要求可能会有所不同，因此在安装 Simulink Coder 之前，建议参考官方文档或技术支持资料，确保选择和安装了正确的编译器版本。 综上所述，Simulink Coder 需要安装支持的编译器，选择适合的编译器并安装配置好后，才能利用 Simulink Coder 进行代码生成。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值