25、编程编译优化与Micro-SML语言详解

编程编译优化与Micro-SML语言详解

1. 编译中的栈帧问题与优化

在C语言里，函数调用时栈帧的处理会影响数组和指针的使用。例如下面的代码：

void g() {
    int a[10];
    a[1] = 117;
    f(1, a);
}
void f(int i, int a[]) {
    print a[i];
}

若 g 函数的栈帧被移除并替换为 f 函数的栈帧， a 数组的内容可能被覆盖， f 函数打印的结果就会出错。而Java中数组不在栈上分配，不会出现此问题，C#则和C有类似问题。

为保证安全，编译器进行尾调用优化时，调用函数不能向被尾调用的函数传递指针或数组地址。不过 Contcomp.fs 里基于延续的编译器还是进行了这种不安全的优化，可参考 ex21.c 示例。

2. 生成代码的不足与优化

生成的条件语句代码存在问题，比如下面的语句（ ex16.c 文件）：

if (n)
{ }
else
    print 1111;
print 2222;

编译生成的机器代码如下：

L1: GETBP; LDI; IF