中间代码生成函数
pl0程序分成编译器和解释器两个部分，本验证文件只考虑编译器部分，解释器的验证暂不考虑。（验证时间约 35.5sec）
该模块只有1个函数：函数gen把三个参数x、y、z组装成一条目标指令并存放于code数组中，并增加计数器CX的值。
[Back to Index]
验证特点：变量不变式，宏定义
标注说明：因解释器的验证暂不考虑，本函数的函数协议缺省为\ture。
程序样例
可验证文件：pl0_interp_vf.c