接下来介绍各种常用语句在语义分析中如何翻译。
声明语句的翻译
程序语言中的声明语句都是给编译程序提供信息的，其作用是告知编译器把某个名字和某个类型联系起来，并为它分配相应的内存空间。
因此对声明语句一般不生成代码，只是在编译时把有关信息填入相应表格即可。
为局部名字建立符号表条目，其中包含名字的类型和分配给它的存储单元的相对地址等信息
赋值语句的翻译
简单算术表达式的赋值语句
所谓简单指不考虑数组元素、记录、函数引用等情况。
如C语言中的：
a = 1;
对应的四元式为：
(=, a, _, 1)
类型转换
有的程序设计语言允许混合运算，有的不允许。如果不允许，则发现有类型不相同的运算分量就应该报错。如果允许，就要进行隐式类型转换。
控制流语句的翻译
条件语句中布尔表达式的翻译
出现在条件语句 if E then S1 else S2 中的布尔表达式E，它的作用仅在于控制对S1或S2的选择,亦即提供“真”、“假”出口。除非在条件语句之后还有对E的引用（这种情况很少），否则其值无需保留。大致翻译模板为：
其中，可以没有跳转到E.true的语句，因为在布尔语句之后便是E.true，因此只需要跳转到E.false即可。
循环语句的翻译
while，do-while语句
while语句的模板：
do-while语句的模板：
for循环
其他跳转语句
1、break
2、continue
