基于整数线性规划的TTA代码优化

摘要

针对传输触发结构代码生成中的指令凋度、多寄存器堆分配、全局寄存器分配和软件旁路等优化问题,给出一个整数线性规划形式化模型,并实现了一个软件架构来验证该模型的正确性.试验结果表明该方法可以有效地应用到40条传输指令以内的基本块,并生成高质量的代码.