跳到主要内容
文章
免费访问

部分死代码消除

出版:1994年6月1日出版历史
跳过抽象节

摘要

提出了一种新的主动算法,用于消除部分死代码,即只在某些程序路径上死的代码。除了比通常的死代码消除方法更强大外,该算法还包括最优的从以下意义上说:如果不改变程序的分支结构或语义,或者不影响某些程序的执行,就无法消除结果程序中剩余的部分死代码。

我们的方法基于部分冗余消除技术。除了一些新的技术问题外,这里还有一个显著的区别:部分死代码消除引入了二阶效应,我们通过穷举运动和消除步骤来克服这种效应。通过一种新技术证明了所获得程序的最优性和唯一性,这种新技术在相互依赖的程序优化中具有普遍适用性和特别有用性。

工具书类

  1. 1A.V.Aho、S.C.Johnson和J.D.UUman。具有常见子表达式的表达式的代码生成参见《ACM杂志》,24(1):146-160~1977。谷歌学者谷歌学者数字图书馆数字图书馆
  2. 2A.Vo Aho、R.Sethi和J.D.Ullman。编译器:原理、技术和工具。艾迪生-卫斯理,1985年谷歌学者谷歌学者数字图书馆数字图书馆
  3. 3D.Bernstein和Mo Rodeh。超标量机器的全局指令调度。程序中。CM-SIGPLAN编程语言设计与实现会议S91,CM-SIGLAN通告第26,6卷,第241-255页,安大略省多伦多,1991年6月。谷歌学者谷歌学者数字图书馆数字图书馆
  4. 4P.Briggs和K.D.Cooper。有效消除部分冗余。程序中。1994年CM-SIGPLAN编程语言设计与实现会议。谷歌学者谷歌学者数字图书馆数字图书馆
  5. 5R.Cytron、J.Ferrante、B.Rosen、M.Wegman和F.K.Zadeck。高效计算静态单赋值表和控件依赖关系图。编程语言和系统的CM汇刊,13(4):451-4901991。谷歌学者谷歌学者数字图书馆数字图书馆
  6. 6D.M.Dhamdhere博士。代码移动优化的快速算法。CM-SIGPLAN通告,23(10):172-1801988。谷歌学者谷歌学者数字图书馆数字图书馆
  7. 7D.M.Dhamdhere博士。使用代码放置技术进行寄存器分配。计算机语言杂志,13(2):75-931988。谷歌学者谷歌学者数字图书馆数字图书馆
  8. 8D.M.Dhamdhere博士。使用加载和存储指令的边缘位置进行寄存器分配的通常线性算法。计算机语言杂志,15(2):83-941990。谷歌学者谷歌学者数字图书馆数字图书馆
  9. 9D.M.Dhamdhere博士。Morel和Renvoise全局优化算法的实际改编。编程语言和系统的CM汇刊,13(2):291-2941991。技术通信。谷歌学者谷歌学者数字图书馆数字图书馆
  10. 10D.M.Dhamdhere、B.K.Rosen和F.K.Zadeck。如何高效、信息化地分析大型程序。程序中。1992年《CM-SIGPLAN编程语言设计与实现会议》,第27卷,第7页,第212-223页,加利福尼亚州旧金山,1992年6月。谷歌学者谷歌学者数字图书馆数字图书馆
  11. 11K.-H.Drechsler和M.P.Stadel。用Morel和Renvoise的“通过抑制部分冗余进行全局优化”解决问题。编程语言和系统的CM事务,10(4):635-6401988。技术通信。谷歌学者谷歌学者数字图书馆数字图书馆
  12. 12K.-H.Drechsler和M.Po Stadel。Knoop、Riithing和Steffen的懒惰代码运动的变体。CM SIGPLAN通知,28(5):29-381993。谷歌学者谷歌学者数字图书馆数字图书馆
  13. 13L.Feigen、D.Klappholz、R.Casazza和X.Xue。复兴的转变——1994年俄勒冈州波特兰21“d CM编程语言原理研讨会纪要谷歌学者谷歌学者数字图书馆数字图书馆
  14. 14A.Geser、J~Knoop、G.L/ittgen、O.Riithing和B.Steffeno混沌不动点迭代。MiP-Bericht 9403,Fakultiit flit Mathematik und Informatik,德国帕索大学,1994年。谷歌学者谷歌学者
  15. 15P.B.Gibbons和S.S.Muchnik。管道体系结构的高效指令调度。程序中。1986年6月,CM-SIGPLAN通告第21卷第7页,CM-SIGPLAN编译器构造研讨会。谷歌学者谷歌学者数字图书馆数字图书馆
  16. 16R.Giegerich、U.M5ncke和R.Wilhelm。近似语义相对于程序转换的不变性。程序中。第三届欧洲一体化合作会议,Informatik-Fachberichte 50,第1-10页。施普林格,1981年。谷歌学者谷歌学者数字图书馆数字图书馆
  17. 17M.S.Hecht先生。计算机程序流分析。Elsevier,北荷兰人,1977年。谷歌学者谷歌学者数字图书馆数字图书馆
  18. 18S.Horwitz、A.Demers和T.Teitelbaum。数据流分析的一种有效的通用迭代算法。《信息学报》,24:679-6941987年。谷歌学者谷歌学者数字图书馆数字图书馆
  19. 19J.B.Kam和J.D.Ullman。全球数据流分析和迭代算法。《~4cM杂志》,~2(1).l~S-171,107~。谷歌学者谷歌学者数字图书馆数字图书馆
  20. 20肯尼迪。应用于数据流分析的节点列表。1975年,加利福尼亚州帕洛阿尔托,第10-21页,《第二届年度股东大会关于编程语言原理研讨会的会议记录》。谷歌学者谷歌学者数字图书馆数字图书馆
  21. 21肯尼迪。数据流分析技术综述。S.S.Muchnick和N.D.Jones主编,《程序流分析:理论和应用》,第1章,第5-54页。普伦蒂斯·霍尔,恩格尔伍德悬崖,新泽西州,1981年。谷歌学者谷歌学者
  22. 22J.Knoop、O.Riithing和B.Steffen。最佳代码运动:理论与实践。出现在《ACM编程语言和系统事务》中。MIP-Bericht 9310,Fakult/it-fiir Mathematik und Informatik,Universit/it Passau,德国,1993.35页。谷歌学者谷歌学者数字图书馆数字图书馆
  23. 23J.Knoop、O.Riithing和B.Steffen。懒惰的代码运动。程序中。92年CM-SIGPLAN编程语言设计与实现会议,CM$IGPLAN通告第27、7卷,第224-234页,加利福尼亚州旧金山,1992年6月。谷歌学者谷歌学者数字图书馆数字图书馆
  24. 24L.T.寇。全局数据流问题的实时分析。美国医学杂志,24(3):473-4831977年7月。谷歌学者谷歌学者数字图书馆数字图书馆
  25. 25R.J.Mintz、G.A.Fisher和M.Sharir。全局优化器的设计。程序中。ACM SIC-PLAN编译器构造研讨会,79年,第1卷,第8页,CM-SIGPLAN通告,第226-234页,丹佛,Col.,1979年。谷歌学者谷歌学者数字图书馆数字图书馆
  26. 26E.Morel和C.Renvoise。通过抑制部分冗余实现全局优化。A CM通讯,22(2):96-1031979。谷歌学者谷歌学者数字图书馆数字图书馆
  27. 27B.K.Rosen、M.N.Wegman和F.K.Zadeck。全局值数字和冗余计算。1988年,加利福尼亚州圣地亚哥,第15届CM编程语言原理研讨会会议记录,第12-27页。谷歌学者谷歌学者数字图书馆数字图书馆
  28. 28R.Sethi和J.D.Ullman。为算术表达式生成最佳代码。美国医学杂志,17(4):715-7281970。谷歌学者谷歌学者数字图书馆数字图书馆
  29. 29R.E.Tarjan。路径压缩在平衡树上的应用。美国医学杂志,26(4):690-7151979。谷歌学者谷歌学者数字图书馆数字图书馆
  30. 30M.N.Wegman和F.K.Zadeck。带条件分支的常量传播。编程语言和系统的CM汇刊,13(2),1991年4月。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 部分死代码消除

          建议

          评论

          登录选项

          检查您是否可以通过登录凭据或您的机构访问本文。

          登录

          完全访问权限

          • 发布于

            封面图片ACM SIGPLAN注意事项
            ACM SIGPLAN通知 第29卷第6期
            1994年6月
            360页
            国际标准编号:0362-1340
            EISSN公司:1558-1160
            内政部:10.1145/773473
            期刊目录
            • 封面图片ACM会议
              PLDI’94:ACM SIGPLAN 1994编程语言设计和实现会议记录
              1994年8月
              360页
              国际标准图书编号:089791662倍
              内政部:10.1145/178243

            版权所有©1994 ACM

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

            出版商

            计算机协会

            美国纽约州纽约市

            出版历史

            • 出版:1994年6月1日

            检查更新

            限定符

            • 文章

          PDF格式

          以PDF文件查看或下载。

          PDF格式

          电子阅读器

          使用eReader在线查看。

          电子阅读器