第条

免费访问

多寄存器操作机器的代码生成

作者:

交流电压。阿霍,

南卡罗来纳州。约翰逊,

J·D·。乌尔曼作者信息和声明

POPL’77：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

页21-28

https://doi.org/10.1145/512950.512953

出版:1977年1月1日出版历史

PDF格式电子阅读器

摘要

以前关于优化代码生成的工作通常假设底层机器具有相同的寄存器，并且所有操作数都适合于单个寄存器或内存位置。本文考虑使用允许单字指令和双字指令的几种寄存器对机器模型，为包含单长度和双长度操作数的表达式生成最佳代码这一更现实的问题。对于寄存器对机器，出现了一种新现象，这种现象在单寄存器机器的最佳代码生成中并不存在：在表达式的最佳求值中，可能需要在表达式的求值子表达式之间来回摆动。针对所有寄存器都是可互换的寄存器对机器，导出了一种线性时间最优代码生成算法。该算法的基础是，对于该模型，由给定节点的子节点支配的子树之间存在一个振荡有限的最优评价序列。对于其他机器模型，包括熟悉的偶数寄存器对机器，最佳评估序列总是需要无限振荡。

工具书类

[1]

{AJ}A.V.Aho和S.C.Johnson，“表达式树的最佳代码生成”，JACM 23:3（1976年7月），488-501。

数字图书馆

谷歌学者

[2]

{AJU}A.V.Aho、S.C.Johnson和J.D.Ullman，《带公共子表达式的表达式的代码生成》，JACM 24,1（1977年1月），即将出版。

数字图书馆

谷歌学者

[3]

｛AU｝A.V.Aho和J.D.Ullman，“直线代码的优化”，SIAM J.Computing 1,1（1972），1-19。

交叉参考

谷歌学者

[4]

{B} J.C.Beatty，“表达式代码优化的公理方法”，JACM 19:4（1972年10月），613-640。

数字图书馆

谷歌学者

[5]

{BL}J.L.Bruno和T.Lassagne，“堆栈机器最佳代码的生成”，JACM 22:3（1975年7月），382-397。

数字图书馆

谷歌学者

[6]

{BS}J.Bruno和R.Sethi，“单注册机器的代码生成”，JACM 23:3（1976年7月），502-510。

数字图书馆

谷歌学者

[7]

{E} A.P.Ershov，“关于算术运算的编程”，Dokl。A.N.苏联118:3（1958），427-430。（ACM Comm.1:8（1958），3-6中的英文翻译。）

数字图书馆

谷歌学者

[8]

{N} I.Nakata，“关于算术表达式的编译算法”，通信ACM 18:8（1967年8月），492-494。

数字图书馆

谷歌学者

[9]

{R} R.R.Redziejowski，“关于算术表达式和树”，《通信ACM 12:2》（1969年2月），第81-84页。

数字图书馆

谷歌学者

[10]

{RKL}D.M.Ritchie、B.W.Kernighan和M.E.Lesk，“C编程语言”，CSTR#31，贝尔实验室，新泽西州默里山，1975年。

谷歌学者

[11]

{SU}R.Sethi和J.D.Ullman，“算术表达式最佳代码的生成”，JACM 17:4（1970年10月），715-728。

数字图书馆

谷歌学者

[12]

{W} W.Wulf、R.K.Johnsson、C.C.Weinstock、S.O.Hobbs和C.M.Geschke，《优化编译器的设计》，美国爱思唯尔出版社，纽约，1975年。

数字图书馆

谷歌学者

引用人

查看全部

Waite W公司卡特·L(2006)Pascal编译器的分析/合成接口软件：实践与经验10.1002/spe.438011080211:8(769-787)在线发布日期：2006年10月27日
https://doi.org/10.1002/spe.4380110802
阿霍ASethi R公司(2005)编译器代码生成有多难？自动机、语言和编程10.1007/3-540-08342-1_1(1-15)在线发布日期：2005年5月24日
https://doi.org/10.1007/3-540-08342-1_1
Araujo G公司奥托尼G辛特拉M(2002)全局数组引用分配ACM电子系统设计自动化汇刊10.1145/544536.5445427:2(336-357)在线发布日期：2002年4月1日
https://dl.acm.org/doi/10.1145/544536.544542
显示更多引用者

多寄存器操作机器的代码生成
1. 计算数学
  1. 离散数学
    1. 图论

建议

改进QEMU中的SIMD代码生成
日期：2015年欧洲设计、自动化和测试会议暨展览会论文集

现代处理器通常使用SIMD指令进行增强，例如x86体系结构中设置的MMX、SSE和AVX指令集，或ARM体系结构中的NEON指令集。使用这些SIMD指令可以显著增加。。。
流水线sisd机器的代码生成和指令调度
针对特定应用程序处理器的可重定目标代码生成
专题：并行计算技术

为了克服硬件和软件开发之间的差距，提高嵌入式系统的性能，引入了一种智能可重定向编译器的方法。它侧重于对代码生成的知识处理，其中关于。。。

信息和贡献者

问询处

发布于

POPL’77：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

1977年1月

280页

国际标准图书编号：9781450373500

内政部：10.1145/512950

会议主席：
罗伯特·格雷厄姆
马萨诸塞州阿默斯特马萨诸塞大学
,
迈克尔·哈里森
加利福尼亚大学伯克利分校
,
项目主席：
拉维·塞蒂
新泽西州默里山贝尔实验室

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1977年1月1日

权限

请求对此文章的权限。

请求权限

检查更新

限定符

第条

接受率

POPL’77论文接受率105份提交中的25份，24%；

4130份提交文件的总体接受率为824份，20%

即将召开的会议

流行乐'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

13
引文总数
查看引文
498
总下载次数

下载量（最近12个月）90
下载次数（最近6周）16

反映截至2024年9月22日的下载量

其他指标

查看作者指标

引文

引用人

查看全部

Waite W公司卡特·L(2006)Pascal编译器的分析/综合接口软件：实践与经验10.1002/spe.438011080211:8(769-787)在线发布日期：2006年10月27日
https://doi.org/10.1002/spe.4380110802
阿霍ASethi R公司(2005)编译器代码生成有多难？自动机、语言和编程10.1007/3-540-08342-1_1(1-15)在线发布日期：2005年5月24日
https://doi.org/10.1007/3-540-08342-1_1
Araujo G公司奥托尼G辛特拉M(2002)全局数组引用分配ACM电子系统设计自动化汇刊10.1145/544536.5445427:2(336-357)在线发布日期：2002年4月1日
https://dl.acm.org/doi/10.1145/544536.544542
劳·B费希尔J(1993)指令级并行处理超级计算杂志2007年10月10日/BF012051817:1-2(9-50)在线出版日期：1993年5月1日
https://dl.acm.org/doi/10.1007/BF01205181
伯恩斯坦D杰菲J罗德赫M(1987)调度算法和无溢出并行加载操作第14届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录10.1145/41625.41649(263-273)在线发布日期：1987年10月1日
https://dl.acm.org/doi/10.1145/41625.41649
附录A假设K(1987)寄存器分配的Sethi-Ullman算法的推广软件实践与经验10.1002/spe.438017060717:6(417-421)在线发布日期：1987年6月1日
https://dl.acm.org/doi/10.1002/spe.4380170607
阿霍AGanapathi M型范·德森M加利尔Z里德B(1985)高效的树模式匹配（扩展抽象）第十二届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录10.1145/318593.318663(334-340)在线发布日期：1985年1月1日
https://dl.acm.org/doi/101145/31893.318663网址
克鲁姆D阿克利·D(1982)一种实用的基于穷举搜索的代码生成方法ACM SIGPLAN通知10.1145/872726.80699417:6(185-196)在线发布日期：1982年6月1日
https://dl.acm.org/doi/10.1145/872726.806994
克鲁姆D阿克利·D白色J艾伦F(1982)一种实用的基于穷举搜索的代码生成方法1982年SIGPLAN编译器构造研讨会论文集10.1145/800230.806994(185-196)在线发布日期：1982年6月23日
https://dl.acm.org/doi/10.1145/800230.806994
阿霍A(1980)翻译人员写作系统电脑类10.1109/MC.1980.1653739号13:8(9-14)在线发布日期：1980年8月1日
https://dl.acm.org/doi/10.1109/MC.1980.1653739
显示更多引用者

引用人

建议

改进QEMU中的SIMD代码生成

流水线sisd机器的代码生成和指令调度

针对特定应用程序处理器的可重定目标代码生成

评论

发布于

赞助商

出版商

出版历史

权限

检查更新

限定符

接受率

即将召开的会议

其他指标

文章指标

其他指标

引用人

PDF格式

电子阅读器

登录选项

完全访问权限

摘要

工具书类

引用人

建议

改进QEMU中的SIMD代码生成

流水线sisd机器的代码生成和指令调度

针对特定应用程序处理器的可重定目标代码生成

评论

问询处

发布于

赞助商

出版商

出版历史

权限

检查更新

限定符

接受率

即将召开的会议

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

PDF格式

电子阅读器

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司