多面体模型代码生成算法研究

摘要 编译器中的多面体模型优化框架通常会产生复杂的迭代域,从这些迭代域中生成代码的质量直接影响到优化的效果,现有的优化多基于重叠迭代空间分割,然而这种方法难以控制优化层次,容易为无利可图的变换生成体积膨胀的代码,反而会导致指令缓存命中率下降,影响代码的整体运行效率.针对该问题提出一种新的多面体扫描算法,基于严格数学理论对多面体约束条件进行变换,通过消除循环边界计算开销来执行优化,通过控制优化所涉及的嵌套深度以控制代码冗余度,从而可以在不造成代码体积膨胀的情况下进一步提高代码执行效率.通过仿真实验验证了算法的有效性