论文部分内容阅读
在显式并行的体系结构的编译器的调度中,经常需要判断某处是否能插入一条指令,某语句是否能被安全地删除等问题.本文介绍了如何用一个标准的数据流问题的模型来刻划这个问题,并介绍了解决这个问题的数据流分析的方法.这个方法已经在M-machine的编译器MCC中实现,本文还给出了算法描述和实例分析.