{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:10Z","timestamp":1775053090685,"version":"3.50.1"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Archit. Code Optim."],"published-print":{"date-parts":[[2006,3]]},"abstract":"<jats:p>\n            A general framework that integrates both control and data speculation using alias profiling and\/or compiler heuristic rules has shown to improve CPU2000 performance on Itanium systems. However, speculative optimizations require check instructions and recovery code to ensure correct execution when speculation fails at runtime. How to generate check instructions and their associated recovery code efficiently and effectively is an issue yet to be well studied. It is also, very important that the recovery code generated in the earlier phases integrate gracefully in the later optimization phases. At the very least, it should not hinder later optimizations, thus, ensuring overall performance improvement. This paper proposes a framework that uses an\n            <jats:italic>if-block<\/jats:italic>\n            structure to facilitate check instructions and recovery code generation for general speculative optimizations. It allows speculative instructions and their recovery code generated in the early compiler optimization phases to be integrated effectively with the subsequent optimization phases. It also allows\n            <jats:italic>multilevel speculation<\/jats:italic>\n            for multilevel pointers and multilevel expression trees to be handled with no additional complexity. The proposed recovery code generation framework has been implemented and evaluated in the Open Research Compiler (ORC).\n          <\/jats:p>","DOI":"10.1145\/1132462.1132466","type":"journal-article","created":{"date-parts":[[2006,7,25]],"date-time":"2006-07-25T14:14:26Z","timestamp":1153836866000},"page":"67-89","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Recovery code generation for general speculative optimizations"],"prefix":"10.1145","volume":"3","author":[{"given":"Jin","family":"Lin","sequence":"first","affiliation":[{"name":"University of Minnesota, MN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei-Chung","family":"Hsu","sequence":"additional","affiliation":[{"name":"University of Minnesota, MN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[{"name":"University of Minnesota, MN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy Dz-Ching","family":"Ju","sequence":"additional","affiliation":[{"name":"Intel Corporation, Santa, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tin-Fook","family":"Ngai","sequence":"additional","affiliation":[{"name":"Intel Corporation, Santa, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,3]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"MICRO'32","author":"Bharadwaj J."},{"key":"e_1_2_1_2_1","volume-title":"MICRO'26","author":"Bringmann R. A."},{"key":"e_1_2_1_3_1","volume-title":"15th Workshop on Languages and Compilers for Parallel Computing. 151--160","author":"Chen T."},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 14th International Conference on Compiler Construction. 57--62","author":"Chen T."},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the Sixth International Conference on Compiler Construction. 253--267","author":"Chow F."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the ACM SICPLAN Conference on Programming Language Design and Implementation. 273--286","author":"Chow F."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of International Conference on Parallel Architecture and Compiler Technology. 259--268","author":"Ishizaki K."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. 157--168","author":"Ju R. D.-C."},{"key":"e_1_2_1_10_1","unstructured":"Ju R. D.-C. Chan S. and Wu C. 2001. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . MICRO 34.  Ju R. D.-C. Chan S. and Wu C. 2001. Open Research Compiler (ORC) for the Itanium Processor Family. Tutorial. MICRO 34."},{"key":"e_1_2_1_11_1","unstructured":"Heggy B. and Soffa M. L. 1990. . . . In Proceeding of Supercomputing 1990.   Heggy B. and Soffa M. L. 1990. Architectural support for register allocation in the presence of aliasing. In Proceeding of Supercomputing 1990."},{"key":"e_1_2_1_12_1","volume-title":"Proceeding of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems. 10","author":"Kawahito M."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the Seventh International Conference on Compiler Construction. 144--158","author":"Kennedy R."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319348"},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 224--234 . 10","author":"Knoop J."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of ACM SIGPLAN on Programming Language Design and Implementation. 289--299","author":"Lin J."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. 17--28","author":"Lin J.","year":"2004"},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 26--37","author":"Lo R."},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. 169--176","author":"Mahadevan U."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/161541.159765"},{"key":"e_1_2_1_21_1","unstructured":"Pfmon 2003. ftp:\/\/ftp.hpl.hp.com\/pub\/linux-ia64\/pfmon-1.1-0.ia64.rpm.  Pfmon 2003. ftp:\/\/ftp.hpl.hp.com\/pub\/linux-ia64\/pfmon-1.1-0.ia64.rpm."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of International Symposium on Micro Architecture. 235--244","author":"Postiff M."},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the 27th Annual IEEE\/ACM International Symposium on Micro Architecture. 1--11","author":"Wu Y.","year":"1927"}],"container-title":["ACM Transactions on Architecture and Code Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1132462.1132466","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1132462.1132466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:18:50Z","timestamp":1750263530000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1132462.1132466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["10.1145\/1132462.1132466"],"URL":"https:\/\/doi.org\/10.1145\/1132462.1132466","relation":{},"ISSN":["1544-3566","1544-3973"],"issn-type":[{"value":"1544-3566","type":"print"},{"value":"1544-3973","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]},"assertion":[{"value":"2006-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}