高效合成指令选择的最低成本重写规则
系统与控制
2024-05-13 v1 系统与控制
摘要
将程序编译到指令集架构（ISA）需要一组将由编译器指令构成的模式映射到由ISA指令构成的模式的重写规则。我们通过构建SMT查询来合成此类规则，其解决方案代表两个功能等价的程序。这两个程序被解释为一条指令选择重写规则。现有工作仅限于单指令ISA模式，而本方案不受此限制。此外，我们针对现有工作的效率问题，开发了两个优化算法。第一个仅生成唯一规则，通过防止合成重复规则和复合规则。第二个仅生成最低成本规则，通过防止合成高成本规则。我们在多个ISA上对我们的算法进行评估。在我们的优化措施未实施时，合成的绝大多数重写规则要么是重复的，要么是复合的，要么是高成本的。我们的优化措施为两个算法分别实现了最高可达768倍和4004倍的合成速度提升。
引用
@article{arxiv.2405.06125,
title = {Cooperative Route Guidance and Flow Control for Mixed Road Networks Comprising Expressway and Arterial Network},
author = {Yunran Di and Haotian Shi and Weihua Zhang and Heng Ding and Xiaoyan Zheng and Bin Ran},
journal= {arXiv preprint arXiv:2405.06125},
year = {2024}
}