%0 Conference Paper %1 Duboscq:2013:IRS %A Duboscq, Gilles %A Würthinger, Thomas %A Stadler, Lukas %A Wimmer, Christian %A Simon, Doug %A Mössenböck, Hanspeter %B Proceedings of the 7th ACM Workshop on Virtual Machines and Intermediate Languages %D 2013 %I ACM %K Compiler Graal IR Optimization Speculation %P 1--10 %R 10.1145/2542142.2542143 %T An Intermediate Representation for Speculative Optimizations in a Dynamic Compiler %X We present a compiler intermediate representation (IR) that allows dynamic speculative optimizations for high-level languages. The IR is graph-based and contains nodes fixed to control flow as well as floating nodes. Side-effecting nodes include a framestate that maps values back to the original program. Guard nodes dynamically check assumptions and, on failure, deoptimize to the interpreter that continues execution. Guards implicitly use the framestate and program position of the last side-effecting node. Therefore, they can be represented as freely floating nodes in the IR. Exception edges are modeled as explicit control flow and are subject to full optimization. We use profiling and deoptimization to speculatively reduce the number of such edges. The IR is the core of a just-in-time compiler that is integrated with the Java HotSpot VM. We evaluate the design decisions of the IR using major Java benchmark suites. %@ 978-1-4503-2601-8

@inproceedings{Duboscq:2013:IRS, abstract = {We present a compiler intermediate representation (IR) that allows dynamic speculative optimizations for high-level languages. The IR is graph-based and contains nodes fixed to control flow as well as floating nodes. Side-effecting nodes include a framestate that maps values back to the original program. Guard nodes dynamically check assumptions and, on failure, deoptimize to the interpreter that continues execution. Guards implicitly use the framestate and program position of the last side-effecting node. Therefore, they can be represented as freely floating nodes in the IR. Exception edges are modeled as explicit control flow and are subject to full optimization. We use profiling and deoptimization to speculatively reduce the number of such edges. The IR is the core of a just-in-time compiler that is integrated with the Java HotSpot VM. We evaluate the design decisions of the IR using major Java benchmark suites.}, acmid = {2542143}, added-at = {2016-03-14T15:02:20.000+0100}, author = {Duboscq, Gilles and W\"{u}rthinger, Thomas and Stadler, Lukas and Wimmer, Christian and Simon, Doug and M\"{o}ssenb\"{o}ck, Hanspeter}, biburl = {https://www.bibsonomy.org/bibtex/23da1f39c08b26ea6deb153a9f532f19d/gron}, booktitle = {Proceedings of the 7th ACM Workshop on Virtual Machines and Intermediate Languages}, description = {An intermediate representation for speculative optimizations in a dynamic compiler}, doi = {10.1145/2542142.2542143}, interhash = {a8521f201f3a2bcef377a262a4f0259c}, intrahash = {3da1f39c08b26ea6deb153a9f532f19d}, isbn = {978-1-4503-2601-8}, keywords = {Compiler Graal IR Optimization Speculation}, location = {Indianapolis, Indiana, USA}, numpages = {10}, pages = {1--10}, publisher = {ACM}, series = {VMIL '13}, timestamp = {2016-03-14T15:02:20.000+0100}, title = {An Intermediate Representation for Speculative Optimizations in a Dynamic Compiler}, year = 2013 }