正在加载 wasm（部分设备可能不支持）。。。

SysYF 语言是 C 语言的一个子集，只有一维数组，没有指针，没有 for 语句。

本页面基于 WebAssembly，在浏览器端展示对 SysYF 语言前端生成的 LLVM IR 的优化效果。

选择开启的优化：

稀疏条件常量传播

公共子表达式删除

死代码消除

int sum_of_two_elements(int a[]) { return a[0] + a[1]; } int sum_of_three_elements(int a[]) { return a[0] + a[1] + a[2]; } int main() { int a[3] = {1, 1, 4}; // main 的返回值。纯函数调用，不会注销数组元素的 store 定值 int ret = sum_of_two_elements(a); // 无用变量，且是纯函数调用，可以作为死代码消除 int useless = sum_of_three_elements(a); // 经过公共子表达式消除（store-load 转发），数组元素的值是确定的 // 再经常量传播计算出实参 putint(114514 + a[0] + a[1] + a[2]); putch(10); // 同理经过公共子表达式消除和常量传播后，可以判断此处是无用控制流 // 因此作为死代码消除 if (a[0] != 1) { a[1] = 114514; return 0; } // 再次检验 store-load 转发 a[0] = -114514; putint(114514 + a[0] + a[1] + a[2]); putch(10); return ret; }

点击编译按钮，结果将在此处展示。。。