用于循环迭代依赖成本的索引标签
编程语言
2013-06-13 v1
摘要
我们提出了一种对标签方法的扩展，该技术用于将资源消耗信息从编译代码提升回源代码。该方法是将 C 语言的大部分片段编译为 8051 汇编的 CerCo 项目注释编译器的核心，但当同一段代码的成本因代码变换（如循环优化）或高级架构特性（如缓存）而产生差异时，该方法会失去精确性。我们建议通过将成本标签正式地索引为其所在循环的迭代来解决这一弱点。这些索引可以在编译过程中进行转换，当提升回源代码时，它们会产生依赖成本。所提出的更改已在 CerCo 不可信原型编译器中实现，该编译器将 C 语言的大部分片段编译为 8051 汇编。
引用
@article{arxiv.1306.2692,
title = {Indexed Labels for Loop Iteration Dependent Costs},
author = {Paolo Tranquilli},
journal= {arXiv preprint arXiv:1306.2692},
year = {2013}
}
备注
In Proceedings QAPL 2013, arXiv:1306.2413