* 三地址表达式：表达式中最多只能出现3个地址，因为cpu无法处理4个及其以上地址的操作。可以看成是抽象语法树的一种线性表示。* 三地址代码基于两个基本的概念：地址和指令。简单地说，地址就是运算分量，指令就是运算符，一个地址的表现形式可以是变量名、常量或者编译器生成的临时变量。下面是几种常见的三地址指令形式：


  图解各种三地址码的特点2：https://blog.csdn.net/raojun/article/details/103605349

* 要使目标代码正确执行，由上面的三地址码直接转为的目标代码还是不够的，例如在不同作用域中存在同样变量名，我们如何在运行时确定变量的存储单元。所以我们还需要知道程序执行时的上下文环境、变量的作用域等信息才能生成准确的机器码。这些知识我们将在[04_运行时刻环境](../04_运行时刻环境/README.md)中学习到，并生成正确的中间代码

  从词法分析，到语法分析，到三地址代码生成，这个几个阶段的本质还只是对字符串的转换，是静态编译阶段。而运行时指的是程序执行顺序、执行环境、内存动态分配等内容。

</br>

&emsp;&emsp;运行时刻跟编译时刻虽然是两个不同的阶段，但是由于运行时刻用到的指令是由编译器生成的，要使编译器生成正确指令，必需对程序运行时有足够的了解。

* 代码生成器的主要任务：

~ 指令选择：代码生成器将中间码转换成目标机器码。一个中间码可以有多种机器码转换，所以代码生成器负责选择指令。

~ 寄存器申请：程序执行过程中可能需要保存一系列值。目标机器架构可能不允许所有的值都保存在CPU内存或寄存器。代码生成器决定寄存器保存哪些值。同样，也决定寄存器保存哪些值。

~ 指令顺序：一个代码生成器决定指令执行的顺序，它创建指令调度来执行它。

* 一个目标原型非常复杂，我们不可能描述出全部细节，所以我们通常会将其简化为一个简单目标机原型。

* 一个简单目标机原型：

~ 加载、保存、运算、跳转等操作

~ 内存按字节、寄存器、指针指向寻址或其他间接寻址

~ n个通用寄存器R0,R1,....,Rn-1

~ 所以运算分量都是整数

~ 指令之间可能有一个标号

* 目标通常一个机器指令有几十上百个指令，为了简化通常只选取一些典型指令：

~ 加载指令：LD r, x

~ 保存指令：ST x,r

~ 运算指令：OP dst,src1,src2

~ 无条件跳转指令：BR L

~ 条件跳转指令：Bcond r,L

~ 压栈操作指令：push #1 将数字1压栈

push TOP 将寄存器TOP压栈指令：压栈：

push @sp 将指针sp指向的值压栈

~ 移动指令：MOVE R0,R1 将寄存器R0的值移入到R1中

MOVE #1 R0 将数字1移入寄存器R0中

MOVE #1 @TOP 将数字1移到寄存器指向的位置

MOVE #1 @(TOP+4) 将数字1移到寄存器指向的位置基础上再加4位的位置

~ 比较指令：CMP R0,R1 比较两个寄存器中值的大小

* 运算语句的三地址转目标代码：

三地址码：

x=y-z

目标代码：

LD R1,y //R1=Y

LD R2,z //R2=Z

SUB R1,R1,R2 //R1=R1-R2

ST x,R1 //X=R1

解析：优秀的代码生成器应该避免使用上面的全部4个指令，如果：

①所需的分量已经在寄存器中了

②运算结果不需要存放内存

```

import { Parser } from '../parser/parser'

const ast = new Parser().parse(`

console.log('ast', JSON.stringify(ast.stmts, null, 4))

import { Tokenizer } from '../tokenizer/tokenizer'

let tokenizer = new Tokenizer('var myName = jacksplwxy + test')

console.log('结果:', JSON.stringify(tokenizer.tokens,null,2))